Trace number 4392687

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)UNSAT 95.8554 77.8324

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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-21956-serial-file.bin HOME/instance-4392687-1568435950.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 05:37:55 CEST 2019
0.66/0.56	c PID: 21959
0.66/0.56	c IP: 172.20.3.106
0.66/0.56	c HOST: node106.alineos.net
0.66/0.57	c (0,0) Parsing Begin
13.37/10.09	c (9,9) Parsing End
13.37/10.10	c (9,9) CSP: 72 int (0 aux), 0 bool (0 aux), 44 ctr, max domain size 8
13.37/10.10	c (9,9) Heap : 6226 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
13.37/10.10	c (9,9) Constraint Name Generate Begin
13.37/10.10	c (9,9) Ctr:HOME/instance-4392687-1568435950.xml,ExtensionSupport:Var
13.37/10.10	c (9,9) Constraint Name Generate End
13.37/10.10	c (9,9) Heap : 6226 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
13.37/10.10	c (9,9) CSP to CSPinCNF Begin
13.79/10.38	c (9,9) translated 5 (10%) constraints
14.02/10.44	c (9,9) translated 9 (20%) constraints
14.02/10.49	c (9,9) translated 14 (30%) constraints
14.32/10.52	c (9,9) translated 18 (40%) constraints
14.32/10.55	c (10,9) translated 22 (50%) constraints
14.32/10.58	c (10,9) translated 27 (60%) constraints
79.04/64.59	c (64,62) translated 31 (70%) constraints
90.96/74.61	c (74,72) translated 36 (80%) constraints
92.87/76.57	c (76,74) translated 40 (90%) constraints
92.87/76.59	c (76,74) translated 44 (100%) constraints
92.87/76.59	c (76,74) ===========================================
93.08/76.60	c (76,74) Hybrid: #OE=436, #LE=0
93.08/76.60	c (76,74) Hybrid
93.08/76.60	c (76,74) ===========================================
93.08/76.62	c (76,74) translated 146 (10%) constraints
93.08/76.63	c (76,74) translated 292 (20%) constraints
93.08/76.64	c (76,74) translated 438 (30%) constraints
93.08/76.64	c (76,74) translated 584 (40%) constraints
93.08/76.65	c (76,74) translated 730 (50%) constraints
93.08/76.66	c (76,74) translated 876 (60%) constraints
93.08/76.67	c (76,74) translated 1022 (70%) constraints
93.08/76.68	c (76,74) translated 1168 (80%) constraints
93.08/76.68	c (76,74) translated 1314 (90%) constraints
93.08/76.69	c (76,74) translated 1460 (100%) constraints
93.08/76.69	c (76,74) CSP to CSPinCNF End
93.08/76.69	c (76,74) CSP: 72 int (0 aux), 364 bool (364 aux), 1460 ctr, max domain size 8
93.08/76.69	c (76,74) Heap : 2637 MiB used (max 21639 MiB), NonHeap : 27 MiB used (max 0 MiB)
93.08/76.69	c (76,74) CSPinCNF Propagation Begin
93.47/76.73	c (76,74) 0 values, 44 unsatisfiable literals, and 0 valid clauses are removed
93.47/76.73	c (76,74) CSPinCNF Propagation End
93.47/76.73	c (76,74) CSP: 72 int (0 aux), 364 bool (364 aux), 1460 ctr, max domain size 8
93.47/76.73	c (76,74) Heap : 2637 MiB used (max 21639 MiB), NonHeap : 28 MiB used (max 0 MiB)
93.47/76.73	c (76,74) Hybrid: #OE=436, #LE=0
93.47/76.73	c (76,74) Simplify CSPinCNF Begin
93.47/76.75	c (76,74) Simplify CSPinCNF End
93.47/76.75	c (76,74) CSP: 72 int (0 aux), 364 bool (364 aux), 1460 ctr, max domain size 8
93.47/76.75	c (76,74) Heap : 2637 MiB used (max 21639 MiB), NonHeap : 28 MiB used (max 0 MiB)
93.47/76.75	c (76,74) Calculate Precise Domain Begin
93.47/76.75	c (76,74) 0 values are removed by re-calculation
93.47/76.75	c (76,74) Calculate Precise Domain End
93.47/76.75	c (76,74) CSP: 72 int (0 aux), 364 bool (364 aux), 1460 ctr, max domain size 8
93.47/76.75	c (76,74) Heap : 2637 MiB used (max 21639 MiB), NonHeap : 28 MiB used (max 0 MiB)
93.47/76.75	c (76,74) CSPinCNF to SatSolver Begin
93.88/76.82	c (76,74) 146 (10 %) CSP clauses are encoded (0 SAT variables, 569 SAT clauses)
93.88/76.84	c (76,74) 292 (20 %) CSP clauses are encoded (0 SAT variables, 715 SAT clauses)
93.88/76.85	c (76,74) 438 (30 %) CSP clauses are encoded (0 SAT variables, 861 SAT clauses)
93.88/76.85	c (76,74) 584 (40 %) CSP clauses are encoded (0 SAT variables, 1007 SAT clauses)
93.88/76.86	c (76,74) 730 (50 %) CSP clauses are encoded (0 SAT variables, 1153 SAT clauses)
93.88/76.87	c (76,74) 876 (60 %) CSP clauses are encoded (0 SAT variables, 1299 SAT clauses)
93.88/76.87	c (76,74) 1022 (70 %) CSP clauses are encoded (0 SAT variables, 1445 SAT clauses)
93.88/76.88	c (76,74) 1168 (80 %) CSP clauses are encoded (0 SAT variables, 1591 SAT clauses)
93.88/76.88	c (76,74) 1314 (90 %) CSP clauses are encoded (0 SAT variables, 1737 SAT clauses)
93.88/76.89	c (76,74) 1460 (100 %) CSP clauses are encoded (0 SAT variables, 1883 SAT clauses)
93.88/76.89	c (76,74) CSPinCNF to SatSolver End
93.88/76.89	c (76,74) Heap : 2637 MiB used (max 21639 MiB), NonHeap : 29 MiB used (max 0 MiB)
93.88/76.89	c (76,74) 860 bool, 1884 clause
93.88/76.89	c (76,74) Export Begin
94.27/76.98	c (76,74) Export to HOME/scop-21956-serial-file.bin
94.27/76.98	c (76,74) Export End
94.27/76.98	c (76,74) Export File Size: 0.02 MB
94.27/76.98	c (76,74) 9,9,76,76,76,76,76,STOP-AFTER(DIMACS)
94.27/76.98	c END-Prog: Sat Sep 14 05:39:11 CEST 2019
0.00/77.02	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-21956-serial-file.bin
94.52/77.49	c (0,0) Read Serial File Begin
94.52/77.49	c (0,0) HOME/scop-21956-serial-file.bin
94.52/77.71	c (0,0) Read Serial File End
94.52/77.72	
94.52/77.72	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
94.52/77.72	(Solving Process)
94.52/77.72	
94.52/77.74	c BEGIN-Prog: Sat Sep 14 05:39:12 CEST 2019
94.52/77.74	c PID: 21982
94.52/77.74	c IP: 172.20.3.106
94.52/77.74	c HOST: node106.alineos.net
94.52/77.75	c (0,0) SatSolver.solve Begin
94.52/77.75	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392687-1568435950.xml-scop-21959.cnf
94.52/77.78	c (0,0) c
94.52/77.78	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)
94.52/77.78	c (0,0) c
94.52/77.78	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
94.52/77.78	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
94.52/77.78	c (0,0) c ========================================[ Problem Statistics ]===========================================
94.52/77.78	c (0,0) c |                                                                                                       |
94.52/77.78	c (0,0) c |  Number of variables:           860                                                                   |
94.52/77.78	c (0,0) c |  Number of clauses:            1884                                                                   |
94.52/77.78	c (0,0) c |  Parse time:                   0.00 s                                                                 |
94.52/77.78	c (0,0) c |                                                                                                       |
94.52/77.78	c (0,0) c |  Simplification time:          0.00 s                                                                 |
94.52/77.78	c (0,0) c |                                                                                                       |
94.52/77.78	c (0,0) c |  Generating clones                                                                                    |
94.52/77.78	c (0,0) c |  all clones generated. Memory =    24.34Mb.                                                           |
94.52/77.78	c (0,0) c ========================================================================================================|
94.52/77.78	c (0,0) c
94.52/77.78	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
94.52/77.78	c (0,0) c
94.52/77.78	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
94.52/77.78	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
94.52/77.78	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
94.52/77.78	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
94.52/77.78	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
94.52/77.78	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
94.52/77.78	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
94.52/77.78	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
94.52/77.78	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
94.52/77.78	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
94.52/77.78	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
94.52/77.78	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
94.52/77.78	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
94.52/77.78	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
94.52/77.78	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
94.52/77.78	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
94.52/77.78	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
94.52/77.78	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
94.52/77.78	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
94.52/77.79	c (0,0) c
94.52/77.79	c (0,0) c real time : 0.01965 s
94.52/77.79	c (0,0) c cpu time  : 0.058293 s
94.52/77.79	c (0,0) c
94.52/77.79	c (0,0) c
94.52/77.79	c (0,0) c
94.52/77.79	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
94.52/77.79	c (0,0) c
94.52/77.79	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
94.52/77.79	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
94.52/77.79	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
94.52/77.79	c (0,0) c | Conflicts     |           10355 |       1540 |       1510 |       1176 |       1211 |        710 |       1269 |       1655 |       1284 |
94.52/77.79	c (0,0) c | Decisions     |           13475 |       1993 |       1992 |       1583 |       1624 |        882 |       1634 |       2087 |       1680 |
94.52/77.79	c (0,0) c | Propagations  |           88496 |      13255 |      12545 |      10006 |      10346 |       5919 |      11301 |      13766 |      11358 |
94.52/77.79	c (0,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
94.52/77.79	c (0,0) c | SimpDBs       |              17 |          3 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |
94.52/77.79	c (0,0) c | Restarts      |              12 |          5 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
94.52/77.79	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
94.52/77.79	c (0,0) c | PropBinClauses|          115722 |      17343 |      16989 |      12814 |      13341 |       7541 |      13981 |      19214 |      14499 |
94.52/77.79	c (0,0) c | PropPreBlocker|         1789782 |     280150 |     265874 |     198732 |     186560 |      89072 |     217228 |     345064 |     207102 |
94.52/77.79	c (0,0) c | PropNotBlocker|          706695 |      98829 |     101808 |      83967 |      75683 |      32455 |      92005 |     139158 |      82790 |
94.52/77.79	c (0,0) c | LitFullScans  |         3917254 |     566814 |     577425 |     442542 |     410226 |     212246 |     485774 |     765144 |     457083 |
94.52/77.79	c (0,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
94.52/77.79	c (0,0) c | DecisionLevel0|              77 |         18 |          9 |         12 |          8 |          2 |          8 |         11 |          9 |
94.52/77.79	c (0,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
94.52/77.79	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
94.52/77.79	c (0,0) c | Avg_Trail     |                 |         43 |         43 |         42 |         42 |         46 |         43 |         44 |         43 |
94.52/77.79	c (0,0) c | Avg_DL        |                 |          7 |          7 |          6 |          6 |          7 |          7 |          7 |          6 |
94.52/77.79	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
94.52/77.79	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
94.52/77.79	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
94.52/77.79	c (0,0) c | Exported      |             723 |        157 |         92 |         94 |        105 |         35 |         61 |        100 |         79 |
94.52/77.79	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
94.52/77.79	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
94.52/77.79	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
94.52/77.79	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
94.52/77.79	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
94.52/77.79	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
94.52/77.79	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
94.52/77.79	c (0,0) c | Unaries       |                 |         13 |          8 |         11 |          7 |          1 |          7 |         10 |          8 |
94.52/77.79	c (0,0) c | Binaries      |                 |         39 |         20 |         30 |         26 |          0 |         16 |         21 |         20 |
94.52/77.80	c (0,0) c | Glues         |                 |        157 |         92 |         94 |        105 |         35 |         61 |        100 |         79 |
94.52/77.80	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
94.52/77.80	c (0,0) c | Orig_Seen     |           202 % |        232 |        233 |        221 |        223 |        197 |        220 |        232 |        224 |
94.52/77.80	c (0,0) c | Diff Orig seen|                 |      X     |          1 | -       11 | -        9 | -       35 | -       12 | -        0 | -        8 |
94.52/77.80	c (0,0) c | Hamming       |             2 % |      X     |         19 |         21 |         24 |         27 |         23 |         19 |         18 |
94.52/77.80	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
94.52/77.80	c (0,0) c | RunningTime   |                 |    0.0  98%|    0.0  94%|    0.0  95%|    0.0  98%|    0.0  99%|    0.0  99%|    0.0  99%|    0.0  99%|
94.52/77.80	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%|
94.52/77.80	c (0,0) c | ExchangingTime|                 |    0.0   2%|    0.0   6%|    0.0   5%|    0.0   2%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|
94.52/77.80	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%|
94.52/77.80	c (0,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
94.52/77.80	c (0,0) c | PropagationTim|                 |    0.0  51%|    0.0  63%|    0.0  50%|    0.0  61%|    0.0  68%|    0.0  68%|    0.0  64%|    0.0  78%|
94.52/77.80	c (0,0) c | AnalysisTime  |                 |    0.0  17%|    0.0  20%|    0.0  18%|    0.0  23%|    0.0  14%|    0.0  20%|    0.0  23%|    0.0  14%|
94.52/77.80	c (0,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
94.52/77.80	c (0,0) c | SimplifyTime  |                 |    0.0   2%|    0.0   1%|    0.0   0%|    0.0   2%|    0.0   0%|    0.0   2%|    0.0   2%|    0.0   1%|
94.52/77.80	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%|
94.52/77.80	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%|
94.52/77.80	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
94.52/77.80	c (0,0) c
94.52/77.80	c (0,0) c
94.52/77.80	c (0,0) c Threads : 8
94.52/77.80	c (0,0) c Winner : 0
94.52/77.80	c (0,0) c Conflicts_0 : 1540
94.52/77.80	c (0,0) c Conflicts_1 : 1510
94.52/77.80	c (0,0) c Conflicts_2 : 1176
94.52/77.80	c (0,0) c Conflicts_3 : 1211
94.52/77.80	c (0,0) c Conflicts_4 : 710
94.52/77.80	c (0,0) c Conflicts_5 : 1269
94.52/77.80	c (0,0) c Conflicts_6 : 1655
94.52/77.80	c (0,0) c Conflicts_7 : 1284
94.52/77.80	c (0,0) c Conflicts_total : 10355
94.52/77.80	c (0,0) c Conflicts_winner : 1540
94.52/77.80	c (0,0) c Decisions_0 : 1993
94.52/77.80	c (0,0) c Decisions_1 : 1992
94.52/77.80	c (0,0) c Decisions_2 : 1583
94.52/77.80	c (0,0) c Decisions_3 : 1624
94.52/77.80	c (0,0) c Decisions_4 : 882
94.52/77.80	c (0,0) c Decisions_5 : 1634
94.52/77.80	c (0,0) c Decisions_6 : 2087
94.52/77.80	c (0,0) c Decisions_7 : 1680
94.52/77.80	c (0,0) c Decisions_total : 13475
94.52/77.80	c (0,0) c Decisions_winner : 1993
94.52/77.80	c (0,0) c Propagations_0 : 13255
94.52/77.80	c (0,0) c Propagations_1 : 12545
94.52/77.80	c (0,0) c Propagations_2 : 10006
94.52/77.80	c (0,0) c Propagations_3 : 10346
94.52/77.80	c (0,0) c Propagations_4 : 5919
94.52/77.80	c (0,0) c Propagations_5 : 11301
94.52/77.80	c (0,0) c Propagations_6 : 13766
94.52/77.80	c (0,0) c Propagations_7 : 11358
94.52/77.80	c (0,0) c Propagations_total : 88496
94.52/77.80	c (0,0) c Propagations_winner : 13255
94.52/77.80	c (0,0) c ReduceDBs_0 : 0
94.52/77.80	c (0,0) c ReduceDBs_1 : 0
94.52/77.80	c (0,0) c ReduceDBs_2 : 0
94.52/77.80	c (0,0) c ReduceDBs_3 : 0
94.52/77.80	c (0,0) c ReduceDBs_4 : 0
94.52/77.80	c (0,0) c ReduceDBs_5 : 0
94.52/77.80	c (0,0) c ReduceDBs_6 : 0
94.52/77.80	c (0,0) c ReduceDBs_7 : 0
94.52/77.80	c (0,0) c ReduceDBs_total : 0
94.52/77.80	c (0,0) c ReduceDBs_winner : 0
94.52/77.80	c (0,0) c SimpDBs_0 : 3
94.52/77.80	c (0,0) c SimpDBs_1 : 2
94.52/77.80	c (0,0) c SimpDBs_2 : 2
94.52/77.80	c (0,0) c SimpDBs_3 : 2
94.52/77.80	c (0,0) c SimpDBs_4 : 2
94.52/77.80	c (0,0) c SimpDBs_5 : 2
94.52/77.80	c (0,0) c SimpDBs_6 : 2
94.52/77.80	c (0,0) c SimpDBs_7 : 2
94.52/77.80	c (0,0) c SimpDBs_total : 17
94.52/77.80	c (0,0) c SimpDBs_winner : 3
94.52/77.80	c (0,0) c Restarts_0 : 5
94.52/77.80	c (0,0) c Restarts_1 : 1
94.52/77.80	c (0,0) c Restarts_2 : 1
94.52/77.80	c (0,0) c Restarts_3 : 1
94.52/77.80	c (0,0) c Restarts_4 : 1
94.52/77.80	c (0,0) c Restarts_5 : 1
94.52/77.80	c (0,0) c Restarts_6 : 1
94.52/77.80	c (0,0) c Restarts_7 : 1
94.52/77.80	c (0,0) c Restarts_total : 12
94.52/77.80	c (0,0) c Restarts_winner : 5
94.52/77.80	c (0,0) c ForcedImports_0 : 0
94.52/77.80	c (0,0) c ForcedImports_1 : 0
94.52/77.80	c (0,0) c ForcedImports_2 : 0
94.52/77.80	c (0,0) c ForcedImports_3 : 0
94.52/77.80	c (0,0) c ForcedImports_4 : 0
94.52/77.80	c (0,0) c ForcedImports_5 : 0
94.52/77.80	c (0,0) c ForcedImports_6 : 0
94.52/77.80	c (0,0) c ForcedImports_7 : 0
94.52/77.80	c (0,0) c ForcedImports_total : 0
94.52/77.80	c (0,0) c ForcedImports_winner : 0
94.52/77.80	c (0,0) c PropsBinClauses_0 : 17343
94.52/77.80	c (0,0) c PropsBinClauses_1 : 16989
94.52/77.80	c (0,0) c PropsBinClauses_2 : 12814
94.52/77.80	c (0,0) c PropsBinClauses_3 : 13341
94.52/77.80	c (0,0) c PropsBinClauses_4 : 7541
94.52/77.80	c (0,0) c PropsBinClauses_5 : 13981
94.52/77.80	c (0,0) c PropsBinClauses_6 : 19214
94.52/77.80	c (0,0) c PropsBinClauses_7 : 14499
94.52/77.80	c (0,0) c PropsBinClauses_total : 115722
94.52/77.80	c (0,0) c PropsBinClauses_winner : 17343
94.52/77.80	c (0,0) c PropsPreBlocker_0 : 280150
94.52/77.80	c (0,0) c PropsPreBlocker_1 : 265874
94.52/77.80	c (0,0) c PropsPreBlocker_2 : 198732
94.52/77.80	c (0,0) c PropsPreBlocker_3 : 186560
94.52/77.80	c (0,0) c PropsPreBlocker_4 : 89072
94.52/77.80	c (0,0) c PropsPreBlocker_5 : 217228
94.52/77.80	c (0,0) c PropsPreBlocker_6 : 345064
94.52/77.80	c (0,0) c PropsPreBlocker_7 : 207102
94.52/77.80	c (0,0) c PropsPreBlocker_total : 1789782
94.52/77.80	c (0,0) c PropsPreBlocker_winner : 280150
94.52/77.80	c (0,0) c PropsNotBlocker_0 : 98829
94.52/77.80	c (0,0) c PropsNotBlocker_1 : 101808
94.52/77.80	c (0,0) c PropsNotBlocker_2 : 83967
94.52/77.80	c (0,0) c PropsNotBlocker_3 : 75683
94.52/77.80	c (0,0) c PropsNotBlocker_4 : 32455
94.52/77.80	c (0,0) c PropsNotBlocker_5 : 92005
94.52/77.80	c (0,0) c PropsNotBlocker_6 : 139158
94.52/77.80	c (0,0) c PropsNotBlocker_7 : 82790
94.52/77.80	c (0,0) c PropsNotBlocker_total : 706695
94.52/77.80	c (0,0) c PropsNotBlocker_winner : 98829
94.52/77.80	c (0,0) c PropsLitFullScans_0 : 566814
94.52/77.80	c (0,0) c PropsLitFullScans_1 : 577425
94.52/77.80	c (0,0) c PropsLitFullScans_2 : 442542
94.52/77.80	c (0,0) c PropsLitFullScans_3 : 410226
94.52/77.80	c (0,0) c PropsLitFullScans_4 : 212246
94.52/77.80	c (0,0) c PropsLitFullScans_5 : 485774
94.52/77.80	c (0,0) c PropsLitFullScans_6 : 765144
94.52/77.80	c (0,0) c PropsLitFullScans_7 : 457083
94.52/77.80	c (0,0) c PropsLitFullScans_total : 3917254
94.52/77.80	c (0,0) c PropsLitFullScans_winner : 566814
94.52/77.80	c (0,0) c LitScanFractions_0 : 0
94.52/77.80	c (0,0) c LitScanFractions_1 : 0
94.52/77.80	c (0,0) c LitScanFractions_2 : 0
94.52/77.80	c (0,0) c LitScanFractions_3 : 0
94.52/77.80	c (0,0) c LitScanFractions_4 : 0
94.52/77.80	c (0,0) c LitScanFractions_5 : 0
94.52/77.80	c (0,0) c LitScanFractions_6 : 0
94.52/77.80	c (0,0) c LitScanFractions_7 : 0
94.52/77.80	c (0,0) c LitScanFractions_total : 0
94.52/77.80	c (0,0) c LitScanFractions_winner : 0
94.52/77.80	c (0,0) c DecisionLevel0_0 : 18
94.52/77.80	c (0,0) c DecisionLevel0_1 : 9
94.52/77.80	c (0,0) c DecisionLevel0_2 : 12
94.52/77.80	c (0,0) c DecisionLevel0_3 : 8
94.52/77.80	c (0,0) c DecisionLevel0_4 : 2
94.52/77.80	c (0,0) c DecisionLevel0_5 : 8
94.52/77.80	c (0,0) c DecisionLevel0_6 : 11
94.52/77.80	c (0,0) c DecisionLevel0_7 : 9
94.52/77.80	c (0,0) c DecisionLevel0_total : 77
94.52/77.80	c (0,0) c DecisionLevel0_winner : 18
94.52/77.80	c (0,0) c Periods_0 : 0
94.52/77.80	c (0,0) c Periods_1 : 0
94.52/77.80	c (0,0) c Periods_2 : 0
94.52/77.80	c (0,0) c Periods_3 : 0
94.52/77.80	c (0,0) c Periods_4 : 0
94.52/77.80	c (0,0) c Periods_5 : 0
94.52/77.80	c (0,0) c Periods_6 : 0
94.52/77.80	c (0,0) c Periods_7 : 0
94.52/77.80	c (0,0) c Periods_total : 0
94.52/77.80	c (0,0) c Periods_winner : 0
94.52/77.80	c (0,0) c Margin_0 : 20
94.52/77.80	c (0,0) c Margin_1 : 20
94.52/77.80	c (0,0) c Margin_2 : 20
94.52/77.80	c (0,0) c Margin_3 : 20
94.52/77.80	c (0,0) c Margin_4 : 20
94.52/77.80	c (0,0) c Margin_5 : 20
94.52/77.80	c (0,0) c Margin_6 : 20
94.52/77.80	c (0,0) c Margin_7 : 20
94.52/77.80	c (0,0) c Margin_total : 160
94.52/77.80	c (0,0) c Margin_winner : 20
94.52/77.80	c (0,0) c Exported_0 : 157
94.52/77.80	c (0,0) c Exported_1 : 92
94.52/77.80	c (0,0) c Exported_2 : 94
94.52/77.80	c (0,0) c Exported_3 : 105
94.52/77.80	c (0,0) c Exported_4 : 35
94.52/77.80	c (0,0) c Exported_5 : 61
94.52/77.80	c (0,0) c Exported_6 : 100
94.52/77.80	c (0,0) c Exported_7 : 79
94.52/77.80	c (0,0) c Exported_total : 723
94.52/77.80	c (0,0) c Exported_winner : 157
94.52/77.80	c (0,0) c Imported_0 : 0
94.52/77.80	c (0,0) c Imported_1 : 0
94.52/77.80	c (0,0) c Imported_2 : 0
94.52/77.80	c (0,0) c Imported_3 : 0
94.52/77.80	c (0,0) c Imported_4 : 0
94.52/77.80	c (0,0) c Imported_5 : 0
94.52/77.80	c (0,0) c Imported_6 : 0
94.52/77.80	c (0,0) c Imported_7 : 0
94.52/77.80	c (0,0) c Imported_total : 0
94.52/77.80	c (0,0) c Imported_winner : 0
94.52/77.80	c (0,0) c Good_0 : 0
94.52/77.80	c (0,0) c Good_1 : 0
94.52/77.80	c (0,0) c Good_2 : 0
94.52/77.80	c (0,0) c Good_3 : 0
94.52/77.80	c (0,0) c Good_4 : 0
94.52/77.80	c (0,0) c Good_5 : 0
94.52/77.80	c (0,0) c Good_6 : 0
94.52/77.80	c (0,0) c Good_7 : 0
94.52/77.80	c (0,0) c Good_total : 0
94.52/77.80	c (0,0) c Good_winner : 0
94.52/77.80	c (0,0) c Purge_0 : 0
94.52/77.80	c (0,0) c Purge_1 : 0
94.52/77.80	c (0,0) c Purge_2 : 0
94.52/77.80	c (0,0) c Purge_3 : 0
94.52/77.80	c (0,0) c Purge_4 : 0
94.52/77.80	c (0,0) c Purge_5 : 0
94.52/77.80	c (0,0) c Purge_6 : 0
94.52/77.80	c (0,0) c Purge_7 : 0
94.52/77.80	c (0,0) c Purge_total : 0
94.52/77.80	c (0,0) c Purge_winner : 0
94.52/77.80	c (0,0) c Promoted_0 : 0
94.52/77.80	c (0,0) c Promoted_1 : 0
94.52/77.80	c (0,0) c Promoted_2 : 0
94.52/77.80	c (0,0) c Promoted_3 : 0
94.52/77.80	c (0,0) c Promoted_4 : 0
94.52/77.80	c (0,0) c Promoted_5 : 0
94.52/77.80	c (0,0) c Promoted_6 : 0
94.52/77.80	c (0,0) c Promoted_7 : 0
94.52/77.80	c (0,0) c Promoted_total : 0
94.52/77.80	c (0,0) c Promoted_winner : 0
94.52/77.80	c (0,0) c Remove_Imp_0 : 0
94.52/77.80	c (0,0) c Remove_Imp_1 : 0
94.52/77.80	c (0,0) c Remove_Imp_2 : 0
94.52/77.80	c (0,0) c Remove_Imp_3 : 0
94.52/77.80	c (0,0) c Remove_Imp_4 : 0
94.52/77.80	c (0,0) c Remove_Imp_5 : 0
94.52/77.80	c (0,0) c Remove_Imp_6 : 0
94.52/77.80	c (0,0) c Remove_Imp_7 : 0
94.52/77.80	c (0,0) c Remove_Imp_total : 0
94.52/77.80	c (0,0) c Remove_Imp_winner : 0
94.52/77.80	c (0,0) c Blocked_Reuse_0 : 0
94.52/77.80	c (0,0) c Blocked_Reuse_1 : 0
94.52/77.80	c (0,0) c Blocked_Reuse_2 : 0
94.52/77.80	c (0,0) c Blocked_Reuse_3 : 0
94.52/77.80	c (0,0) c Blocked_Reuse_4 : 0
94.52/77.80	c (0,0) c Blocked_Reuse_5 : 0
94.52/77.80	c (0,0) c Blocked_Reuse_6 : 0
94.52/77.80	c (0,0) c Blocked_Reuse_7 : 0
94.52/77.80	c (0,0) c Blocked_Reuse_total : 0
94.52/77.80	c (0,0) c Blocked_Reuse_winner : 0
94.52/77.80	c (0,0) c Unaries_0 : 13
94.52/77.80	c (0,0) c Unaries_1 : 8
94.52/77.80	c (0,0) c Unaries_2 : 11
94.52/77.80	c (0,0) c Unaries_3 : 7
94.52/77.80	c (0,0) c Unaries_4 : 1
94.52/77.80	c (0,0) c Unaries_5 : 7
94.52/77.80	c (0,0) c Unaries_6 : 10
94.52/77.80	c (0,0) c Unaries_7 : 8
94.52/77.80	c (0,0) c Unaries_total : 65
94.52/77.80	c (0,0) c Unaries_winner : 13
94.52/77.80	c (0,0) c Binaries_0 : 39
94.52/77.80	c (0,0) c Binaries_1 : 20
94.52/77.80	c (0,0) c Binaries_2 : 30
94.52/77.80	c (0,0) c Binaries_3 : 26
94.52/77.80	c (0,0) c Binaries_4 : 0
94.52/77.80	c (0,0) c Binaries_5 : 16
94.52/77.80	c (0,0) c Binaries_6 : 21
94.52/77.80	c (0,0) c Binaries_7 : 20
94.52/77.80	c (0,0) c Binaries_total : 172
94.52/77.80	c (0,0) c Binaries_winner : 39
94.52/77.80	c (0,0) c Glues_0 : 157
94.52/77.80	c (0,0) c Glues_1 : 92
94.52/77.80	c (0,0) c Glues_2 : 94
94.52/77.80	c (0,0) c Glues_3 : 105
94.52/77.80	c (0,0) c Glues_4 : 35
94.52/77.80	c (0,0) c Glues_5 : 61
94.52/77.80	c (0,0) c Glues_6 : 100
94.52/77.80	c (0,0) c Glues_7 : 79
94.52/77.80	c (0,0) c Glues_total : 723
94.52/77.80	c (0,0) c Glues_winner : 157
94.52/77.80	c (0,0) c RunningTime_0 : 0.010590
94.52/77.80	c (0,0) c RunningTime_1 : 0.008898
94.52/77.80	c (0,0) c RunningTime_2 : 0.007205
94.52/77.80	c (0,0) c RunningTime_3 : 0.006996
94.52/77.81	c (0,0) c RunningTime_4 : 0.006991
94.52/77.81	c (0,0) c RunningTime_5 : 0.007536
94.52/77.81	c (0,0) c RunningTime_6 : 0.009285
94.52/77.81	c (0,0) c RunningTime_7 : 0.011320
94.52/77.81	c (0,0) c RunningTime_total : 0.068820
94.52/77.81	c (0,0) c RunningTime_winner : 0.010590
94.52/77.81	c (0,0) c WaitingTime_0 : 0.000000
94.52/77.81	c (0,0) c WaitingTime_1 : 0.000000
94.52/77.81	c (0,0) c WaitingTime_2 : 0.000000
94.52/77.81	c (0,0) c WaitingTime_3 : 0.000000
94.52/77.81	c (0,0) c WaitingTime_4 : 0.000000
94.52/77.81	c (0,0) c WaitingTime_5 : 0.000000
94.52/77.81	c (0,0) c WaitingTime_6 : 0.000000
94.52/77.81	c (0,0) c WaitingTime_7 : 0.000000
94.52/77.81	c (0,0) c WaitingTime_total : 0.000000
94.52/77.81	c (0,0) c WaitingTime_winner : 0.000000
94.52/77.81	c (0,0) c ExchangingTime_0 : 0.000165
94.52/77.81	c (0,0) c ExchangingTime_1 : 0.000612
94.52/77.81	c (0,0) c ExchangingTime_2 : 0.000389
94.52/77.81	c (0,0) c ExchangingTime_3 : 0.000129
94.52/77.81	c (0,0) c ExchangingTime_4 : 0.000038
94.52/77.81	c (0,0) c ExchangingTime_5 : 0.000065
94.52/77.81	c (0,0) c ExchangingTime_6 : 0.000107
94.52/77.81	c (0,0) c ExchangingTime_7 : 0.000060
94.52/77.81	c (0,0) c ExchangingTime_total : 0.001565
94.52/77.81	c (0,0) c ExchangingTime_winner : 0.000165
94.52/77.81	c (0,0) c PeriodProcTime_0 : 0.000000
94.52/77.81	c (0,0) c PeriodProcTime_1 : 0.000000
94.52/77.81	c (0,0) c PeriodProcTime_2 : 0.000000
94.52/77.81	c (0,0) c PeriodProcTime_3 : 0.000000
94.52/77.81	c (0,0) c PeriodProcTime_4 : 0.000000
94.52/77.81	c (0,0) c PeriodProcTime_5 : 0.000000
94.52/77.81	c (0,0) c PeriodProcTime_6 : 0.000000
94.52/77.81	c (0,0) c PeriodProcTime_7 : 0.000000
94.52/77.81	c (0,0) c PeriodProcTime_total : 0.000000
94.52/77.81	c (0,0) c PeriodProcTime_winner : 0.000000
94.52/77.81	c (0,0) c SolvingTime_0 : 0.010755
94.52/77.81	c (0,0) c SolvingTime_1 : 0.009510
94.52/77.81	c (0,0) c SolvingTime_2 : 0.007594
94.52/77.81	c (0,0) c SolvingTime_3 : 0.007125
94.52/77.81	c (0,0) c SolvingTime_4 : 0.007029
94.52/77.81	c (0,0) c SolvingTime_5 : 0.007600
94.52/77.81	c (0,0) c SolvingTime_6 : 0.009392
94.52/77.81	c (0,0) c SolvingTime_7 : 0.011380
94.52/77.81	c (0,0) c SolvingTime_total : 0.070385
94.52/77.81	c (0,0) c SolvingTime_winner : 0.010755
94.52/77.81	c (0,0) c PropagationTime_0 : 0.005487
94.52/77.81	c (0,0) c PropagationTime_1 : 0.005991
94.52/77.81	c (0,0) c PropagationTime_2 : 0.003792
94.52/77.81	c (0,0) c PropagationTime_3 : 0.004354
94.52/77.81	c (0,0) c PropagationTime_4 : 0.004784
94.52/77.81	c (0,0) c PropagationTime_5 : 0.005204
94.52/77.81	c (0,0) c PropagationTime_6 : 0.005998
94.52/77.81	c (0,0) c PropagationTime_7 : 0.008877
94.52/77.81	c (0,0) c PropagationTime_total : 0.044486
94.52/77.81	c (0,0) c PropagationTime_winner : 0.005487
94.52/77.81	c (0,0) c AnalysisTime_0 : 0.001871
94.52/77.81	c (0,0) c AnalysisTime_1 : 0.001858
94.52/77.81	c (0,0) c AnalysisTime_2 : 0.001353
94.52/77.81	c (0,0) c AnalysisTime_3 : 0.001672
94.52/77.81	c (0,0) c AnalysisTime_4 : 0.001017
94.52/77.81	c (0,0) c AnalysisTime_5 : 0.001494
94.52/77.81	c (0,0) c AnalysisTime_6 : 0.002134
94.52/77.81	c (0,0) c AnalysisTime_7 : 0.001575
94.52/77.81	c (0,0) c AnalysisTime_total : 0.012974
94.52/77.81	c (0,0) c AnalysisTime_winner : 0.001871
94.52/77.81	c (0,0) c ReductionTime_0 : 0.000000
94.52/77.81	c (0,0) c ReductionTime_1 : 0.000000
94.52/77.81	c (0,0) c ReductionTime_2 : 0.000000
94.52/77.81	c (0,0) c ReductionTime_3 : 0.000000
94.52/77.81	c (0,0) c ReductionTime_4 : 0.000000
94.52/77.81	c (0,0) c ReductionTime_5 : 0.000000
94.52/77.81	c (0,0) c ReductionTime_6 : 0.000000
94.52/77.81	c (0,0) c ReductionTime_7 : 0.000000
94.52/77.81	c (0,0) c ReductionTime_total : 0.000000
94.52/77.81	c (0,0) c ReductionTime_winner : 0.000000
94.52/77.81	c (0,0) c SimplifyTime_0 : 0.000225
94.52/77.81	c (0,0) c SimplifyTime_1 : 0.000141
94.52/77.81	c (0,0) c SimplifyTime_2 : 0.000026
94.52/77.81	c (0,0) c SimplifyTime_3 : 0.000134
94.52/77.81	c (0,0) c SimplifyTime_4 : 0.000021
94.52/77.81	c (0,0) c SimplifyTime_5 : 0.000121
94.52/77.81	c (0,0) c SimplifyTime_6 : 0.000159
94.52/77.81	c (0,0) c SimplifyTime_7 : 0.000132
94.52/77.81	c (0,0) c SimplifyTime_total : 0.000959
94.52/77.81	c (0,0) c SimplifyTime_winner : 0.000225
94.52/77.81	c (0,0) c UsedRateTime_0 : 0.000000
94.52/77.81	c (0,0) c UsedRateTime_1 : 0.000000
94.52/77.81	c (0,0) c UsedRateTime_2 : 0.000000
94.52/77.81	c (0,0) c UsedRateTime_3 : 0.000000
94.52/77.81	c (0,0) c UsedRateTime_4 : 0.000000
94.52/77.81	c (0,0) c UsedRateTime_5 : 0.000000
94.52/77.81	c (0,0) c UsedRateTime_6 : 0.000000
94.52/77.81	c (0,0) c UsedRateTime_7 : 0.000000
94.52/77.81	c (0,0) c UsedRateTime_total : 0.000000
94.52/77.81	c (0,0) c UsedRateTime_winner : 0.000000
94.52/77.81	c (0,0) c OverlapRateTime_0 : 0.000000
94.52/77.81	c (0,0) c OverlapRateTime_1 : 0.000000
94.52/77.81	c (0,0) c OverlapRateTime_2 : 0.000000
94.52/77.81	c (0,0) c OverlapRateTime_3 : 0.000000
94.52/77.81	c (0,0) c OverlapRateTime_4 : 0.000000
94.52/77.81	c (0,0) c OverlapRateTime_5 : 0.000000
94.52/77.81	c (0,0) c OverlapRateTime_6 : 0.000000
94.52/77.81	c (0,0) c OverlapRateTime_7 : 0.000000
94.52/77.81	c (0,0) c OverlapRateTime_total : 0.000000
94.52/77.81	c (0,0) c OverlapRateTime_winner : 0.000000
94.52/77.81	c (0,0) c
94.52/77.81	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
94.52/77.81	c (0,0) c
94.52/77.81	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
94.52/77.81	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
94.52/77.81	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
94.52/77.81	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
94.52/77.81	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
94.52/77.81	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
94.52/77.81	c (0,0) c | Initial random_seed   |  108725193 |  793543347 |  359304245 | 1922107444 |  333467193 |  949751545 |   28669100 |  879225517 |
94.52/77.81	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
94.52/77.81	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
94.52/77.81	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
94.52/77.81	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
94.52/77.81	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
94.52/77.81	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
94.52/77.81	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
94.52/77.81	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
94.52/77.81	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
94.52/77.81	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
94.52/77.81	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
94.52/77.81	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
94.52/77.81	c (0,0) 
94.52/77.81	c (0,0) s UNSATISFIABLE
94.52/77.82	c (0,0) SatSolver.solve End
94.52/77.82	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
94.52/77.82	c (0,0) Show results Begin
94.52/77.82	s UNSATISFIABLE
94.52/77.82	c (0,0) Show results End
94.52/77.82	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
94.52/77.82	c (0,0) 0,0,STOP-AFTER(ALL)
94.52/77.82	c END-Prog: Sat Sep 14 05:39:12 CEST 2019

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14642 MiB free)
  memory of node 1: 16384 MiB (15175 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100156 s]*
/proc/loadavg: 7.52 7.81 7.75 2/210 21978
/proc/meminfo: memFree=30438240/32770624 swapFree=66997752/67108860
[pid=21956] ppid=21953 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21956/stat : 21956 (scop.sh) S 21953 21956 21430 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419849764 115843072 349 33554432000 4194304 5098028 140721404509568 140721404506824 140300830548604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33263616 140721404515108 140721404515436 140721404515436 140721404518349 0
/proc/21956/statm: 28282 349 296 221 0 87 0
[pid=21959] ppid=21956 vsize=27314120 memory=107632 CPUtime=0.1 cores=0-7
/proc/21959/stat : 21959 (java) S 21956 21956 21430 0 -1 1077944320 6411 0 0 0 8 2 0 0 20 0 20 0 419849764 27969658880 26908 33554432000 4194304 4196468 140728794543584 140728794526128 140690461994743 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
/proc/21959/statm: 6828530 26908 2794 1 0 6790935 0
[pid=21959/tid=21960] ppid=21956 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/21959/task/21960/stat : 21960 (java) R 21956 21956 21430 0 -1 4202560 4502 0 0 0 7 2 0 0 20 0 20 0 419849764 27969658880 26908 33554432000 4194304 4196468 140728794543584 140690433798944 140690462006678 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21961] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21961/stat : 21961 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849767 27969658880 26908 33554432000 4194304 4196468 140728794543584 140690466236688 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21962] ppid=21956 vsize=27314120 memory=140714866714036 CPUtime=0 cores=0-7
/proc/21959/task/21962/stat : 21962 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849767 27969658880 26908 33554432000 4194304 4196468 140728794543584 140690249632144 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21963] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21963/stat : 21963 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849767 27969658880 26908 33554432000 4194304 4196468 140728794543584 140690248579600 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21964] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21964/stat : 21964 (java) S 21956 21956 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419849767 27969658880 26908 33554432000 4194304 4196468 140728794543584 140690247527056 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21965] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21965/stat : 21965 (java) S 21956 21956 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419849767 27969658880 26908 33554432000 4194304 4196468 140728794543584 140690246474512 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21966] ppid=21956 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21959/task/21966/stat : 21966 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849767 27969658880 26908 33554432000 4194304 4196468 140728794543584 140690245421968 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21967] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21967/stat : 21967 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849767 27969658880 26908 33554432000 4194304 4196468 140728794543584 140689878801424 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21968] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21968/stat : 21968 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849767 27969658880 26908 33554432000 4194304 4196468 140728794543584 140689877748880 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21969] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21969/stat : 21969 (java) S 21956 21956 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419849768 27969658880 26908 33554432000 4194304 4196468 140728794543584 140688580642800 140690462005890 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21970] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21970/stat : 21970 (java) S 21956 21956 21430 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419849769 27969658880 26908 33554432000 4194304 4196468 140728794543584 140688431768480 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21971] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21971/stat : 21971 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849769 27969658880 26908 33554432000 4194304 4196468 140728794543584 140688163333104 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21972] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21972/stat : 21972 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849771 27969658880 26908 33554432000 4194304 4196468 140728794543584 140687788824784 140690462013339 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21973] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21973/stat : 21973 (java) R 21956 21956 21430 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 419849771 27969658880 26908 33554432000 4194304 4196468 140728794543584 140688579590640 140690462005890 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21974] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21974/stat : 21974 (java) S 21956 21956 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419849771 27969658880 26908 33554432000 4194304 4196468 140728794543584 140688578538096 140690462005890 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21975] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21975/stat : 21975 (java) S 21956 21956 21430 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 20 0 419849771 27969658880 26908 33554432000 4194304 4196468 140728794543584 140688577485552 140690462005890 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21976] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21976/stat : 21976 (java) S 21956 21956 21430 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 20 0 419849771 27969658880 26908 33554432000 4194304 4196468 140728794543584 140688576433008 140690462005890 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21977] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21977/stat : 21977 (java) S 21956 21956 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419849772 27969658880 26908 33554432000 4194304 4196468 140728794543584 140687290919136 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21978] ppid=21956 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21959/task/21978/stat : 21978 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849772 27969658880 26908 33554432000 4194304 4196468 140728794543584 140688575379888 140690462005890 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109028 KiB

[startup+0.210172 s]*
/proc/loadavg: 7.52 7.81 7.75 2/210 21978
/proc/meminfo: memFree=30416804/32770624 swapFree=66997752/67108860
[pid=21956] ppid=21953 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21956/stat : 21956 (scop.sh) S 21953 21956 21430 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419849764 115843072 349 33554432000 4194304 5098028 140721404509568 140721404506824 140300830548604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33263616 140721404515108 140721404515436 140721404515436 140721404518349 0
/proc/21956/statm: 28282 349 296 221 0 87 0
[pid=21959] ppid=21956 vsize=27314120 memory=126652 CPUtime=0.24 cores=0-7
/proc/21959/stat : 21959 (java) S 21956 21956 21430 0 -1 1077944320 12015 0 0 0 20 4 0 0 20 0 20 0 419849764 27969658880 31663 33554432000 4194304 4196468 140728794543584 140728794526128 140690461994743 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
/proc/21959/statm: 6828530 31663 2917 1 0 6790935 0
[pid=21959/tid=21960] ppid=21956 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/21959/task/21960/stat : 21960 (java) R 21956 21956 21430 0 -1 4202560 9718 0 0 0 16 3 0 0 20 0 20 0 419849764 27969658880 31663 33554432000 4194304 4196468 140728794543584 140690433815696 140690462008630 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21961] ppid=21956 vsize=27314120 memory=288230591823085922 CPUtime=0 cores=0-7
/proc/21959/task/21961/stat : 21961 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849767 27969658880 31663 33554432000 4194304 4196468 140728794543584 140690466236688 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21962] ppid=21956 vsize=27314120 memory=4050339341627274912 CPUtime=0 cores=0-7
/proc/21959/task/21962/stat : 21962 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849767 27969658880 31663 33554432000 4194304 4196468 140728794543584 140690249632144 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21963] ppid=21956 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21959/task/21963/stat : 21963 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849767 27969658880 31663 33554432000 4194304 4196468 140728794543584 140690248579600 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21964] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21964/stat : 21964 (java) S 21956 21956 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419849767 27969658880 31663 33554432000 4194304 4196468 140728794543584 140690247527056 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21965] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21965/stat : 21965 (java) S 21956 21956 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419849767 27969658880 31663 33554432000 4194304 4196468 140728794543584 140690246474512 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21966] ppid=21956 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21959/task/21966/stat : 21966 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849767 27969658880 31663 33554432000 4194304 4196468 140728794543584 140690245421968 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21967] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21967/stat : 21967 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849767 27969658880 31663 33554432000 4194304 4196468 140728794543584 140689878801424 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21968] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21968/stat : 21968 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849767 27969658880 31663 33554432000 4194304 4196468 140728794543584 140689877748880 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21969] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21969/stat : 21969 (java) S 21956 21956 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419849768 27969658880 31663 33554432000 4194304 4196468 140728794543584 140688580642800 140690462005890 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21970] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21970/stat : 21970 (java) S 21956 21956 21430 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419849769 27969658880 31663 33554432000 4194304 4196468 140728794543584 140688431768480 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21971] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21971/stat : 21971 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849769 27969658880 31663 33554432000 4194304 4196468 140728794543584 140688163333104 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21972] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21972/stat : 21972 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849771 27969658880 31663 33554432000 4194304 4196468 140728794543584 140687788824784 140690462013339 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21973] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21973/stat : 21973 (java) S 21956 21956 21430 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 20 0 419849771 27969658880 31663 33554432000 4194304 4196468 140728794543584 140688579590640 140690462005890 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21974] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21974/stat : 21974 (java) S 21956 21956 21430 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 419849771 27969658880 31663 33554432000 4194304 4196468 140728794543584 140688578538096 140690462005890 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21975] ppid=21956 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21959/task/21975/stat : 21975 (java) S 21956 21956 21430 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 20 0 419849771 27969658880 31663 33554432000 4194304 4196468 140728794543584 140688577485552 140690462005890 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21976] ppid=21956 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/21959/task/21976/stat : 21976 (java) S 21956 21956 21430 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 20 0 419849771 27969658880 31663 33554432000 4194304 4196468 140728794543584 140688576433008 140690462005890 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21977] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21977/stat : 21977 (java) S 21956 21956 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419849772 27969658880 31663 33554432000 4194304 4196468 140728794543584 140687290919136 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21978] ppid=21956 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21959/task/21978/stat : 21978 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849772 27969658880 31663 33554432000 4194304 4196468 140728794543584 140688575379888 140690462005890 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128048 KiB

[startup+0.309472 s]*
/proc/loadavg: 7.52 7.81 7.75 2/210 21978
/proc/meminfo: memFree=30414136/32770624 swapFree=66997752/67108860
[pid=21956] ppid=21953 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21956/stat : 21956 (scop.sh) S 21953 21956 21430 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419849764 115843072 349 33554432000 4194304 5098028 140721404509568 140721404506824 140300830548604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33263616 140721404515108 140721404515436 140721404515436 140721404518349 0
/proc/21956/statm: 28282 349 296 221 0 87 0
[pid=21959] ppid=21956 vsize=27314120 memory=129988 CPUtime=0.43 cores=0-7
/proc/21959/stat : 21959 (java) S 21956 21956 21430 0 -1 1077944320 12384 0 0 0 38 5 0 0 20 0 20 0 419849764 27969658880 32497 33554432000 4194304 4196468 140728794543584 140728794526128 140690461994743 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
/proc/21959/statm: 6828530 32497 3012 1 0 6790935 0
[pid=21959/tid=21960] ppid=21956 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/21959/task/21960/stat : 21960 (java) R 21956 21956 21430 0 -1 4202560 9905 0 0 0 26 3 0 0 20 0 20 0 419849764 27969658880 32497 33554432000 4194304 4196468 140728794543584 140690433823336 140690446075230 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21961] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21961/stat : 21961 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849767 27969658880 32497 33554432000 4194304 4196468 140728794543584 140690466236688 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21962] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21962/stat : 21962 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849767 27969658880 32497 33554432000 4194304 4196468 140728794543584 140690249632144 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21963] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21963/stat : 21963 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849767 27969658880 32497 33554432000 4194304 4196468 140728794543584 140690248579600 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21964] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21964/stat : 21964 (java) S 21956 21956 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419849767 27969658880 32497 33554432000 4194304 4196468 140728794543584 140690247527056 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21965] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21965/stat : 21965 (java) S 21956 21956 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419849767 27969658880 32497 33554432000 4194304 4196468 140728794543584 140690246474512 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21966] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21966/stat : 21966 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849767 27969658880 32497 33554432000 4194304 4196468 140728794543584 140690245421968 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21967] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21967/stat : 21967 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849767 27969658880 32497 33554432000 4194304 4196468 140728794543584 140689878801424 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21968] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21968/stat : 21968 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849767 27969658880 32497 33554432000 4194304 4196468 140728794543584 140689877748880 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21969] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21969/stat : 21969 (java) S 21956 21956 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419849768 27969658880 32497 33554432000 4194304 4196468 140728794543584 140688580642800 140690462005890 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21970] ppid=21956 vsize=27314120 memory=281429477105024 CPUtime=0 cores=0-7
/proc/21959/task/21970/stat : 21970 (java) S 21956 21956 21430 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419849769 27969658880 32497 33554432000 4194304 4196468 140728794543584 140688431768480 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21971] ppid=21956 vsize=27314120 memory=281429477109632 CPUtime=0 cores=0-7
/proc/21959/task/21971/stat : 21971 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849769 27969658880 32497 33554432000 4194304 4196468 140728794543584 140688163333104 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21972] ppid=21956 vsize=27314120 memory=281429477114240 CPUtime=0 cores=0-7
/proc/21959/task/21972/stat : 21972 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849771 27969658880 32497 33554432000 4194304 4196468 140728794543584 140687788824784 140690462013339 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21973] ppid=21956 vsize=27314120 memory=281429477118848 CPUtime=0 cores=0-7
/proc/21959/task/21973/stat : 21973 (java) S 21956 21956 21430 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 20 0 419849771 27969658880 32497 33554432000 4194304 4196468 140728794543584 140688579590640 140690462005890 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21974] ppid=21956 vsize=27314120 memory=281429477123456 CPUtime=0.01 cores=0-7
/proc/21959/task/21974/stat : 21974 (java) S 21956 21956 21430 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 20 0 419849771 27969658880 32497 33554432000 4194304 4196468 140728794543584 140688578538096 140690462005890 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21975] ppid=21956 vsize=27314120 memory=281429477128064 CPUtime=0.01 cores=0-7
/proc/21959/task/21975/stat : 21975 (java) R 21956 21956 21430 0 -1 4202560 374 0 0 0 1 0 0 0 20 0 20 0 419849771 27969658880 32497 33554432000 4194304 4196468 140728794543584 140688577485552 140690439629392 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21976] ppid=21956 vsize=27314120 memory=281429477132672 CPUtime=0.07 cores=0-7
/proc/21959/task/21976/stat : 21976 (java) S 21956 21956 21430 0 -1 1077944384 496 0 0 0 7 0 0 0 20 0 20 0 419849771 27969658880 32497 33554432000 4194304 4196468 140728794543584 140688576433008 140690462005890 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21977] ppid=21956 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21977/stat : 21977 (java) S 21956 21956 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419849772 27969658880 32497 33554432000 4194304 4196468 140728794543584 140687290919136 140690462004949 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21978] ppid=21956 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21959/task/21978/stat : 21978 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849772 27969658880 32497 33554432000 4194304 4196468 140728794543584 140688575379888 140690462005890 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131384 KiB

[startup+0.700861 s]
/proc/loadavg: 7.52 7.81 7.75 2/210 21978
/proc/meminfo: memFree=30393168/32770624 swapFree=66997752/67108860
[pid=21956] ppid=21953 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21956/stat : 21956 (scop.sh) S 21953 21956 21430 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419849764 115843072 349 33554432000 4194304 5098028 140721404509568 140721404506824 140300830548604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33263616 140721404515108 140721404515436 140721404515436 140721404518349 0
/proc/21956/statm: 28282 349 296 221 0 87 0
[pid=21959] ppid=21956 vsize=27320392 memory=167464 CPUtime=1 cores=0-7
/proc/21959/stat : 21959 (java) S 21956 21956 21430 0 -1 1077944320 19969 0 0 0 93 7 0 0 20 0 20 0 419849764 27976081408 41866 33554432000 4194304 4196468 140728794543584 140728794526128 140690461994743 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
/proc/21959/statm: 6830098 41866 3186 1 0 6791447 0
[pid=21959/tid=21960] ppid=21956 vsize=27320392 memory=4580 CPUtime=0.67 cores=0-7
/proc/21959/task/21960/stat : 21960 (java) R 21956 21956 21430 0 -1 4202560 16879 0 0 0 62 5 0 0 20 0 20 0 419849764 27976081408 41866 33554432000 4194304 4196468 140728794543584 140690433827616 140689927301875 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21961] ppid=21956 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21961/stat : 21961 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849767 27976081408 41866 33554432000 4194304 4196468 140728794543584 140690466236688 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21962] ppid=21956 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/21959/task/21962/stat : 21962 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849767 27976081408 41866 33554432000 4194304 4196468 140728794543584 140690249632144 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21963] ppid=21956 vsize=27320392 memory=4008 CPUtime=0 cores=0-7
/proc/21959/task/21963/stat : 21963 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849767 27976081408 41866 33554432000 4194304 4196468 140728794543584 140690248579600 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0

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

[pid=21959/tid=21962] ppid=21956 vsize=27326612 memory=7525948 CPUtime=1.78 cores=0-7
/proc/21959/task/21962/stat : 21962 (java) S 21956 21956 21430 0 -1 1077944384 1517 0 0 0 150 28 0 0 20 0 20 0 419849767 27982450688 1881491 33554432000 4194304 4196468 140728794543584 140690249632144 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21963] ppid=21956 vsize=27326612 memory=7525820 CPUtime=1.75 cores=0-7
/proc/21959/task/21963/stat : 21963 (java) S 21956 21956 21430 0 -1 1077944384 2630 0 0 0 145 30 0 0 20 0 20 0 419849767 27982450688 1881491 33554432000 4194304 4196468 140728794543584 140690248579600 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21964] ppid=21956 vsize=27326612 memory=14012 CPUtime=1.77 cores=0-7
/proc/21959/task/21964/stat : 21964 (java) S 21956 21956 21430 0 -1 1077944384 1921 0 0 0 149 28 0 0 20 0 20 0 419849767 27982450688 1881491 33554432000 4194304 4196468 140728794543584 140690247527056 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21965] ppid=21956 vsize=27326612 memory=2116 CPUtime=1.76 cores=0-7
/proc/21959/task/21965/stat : 21965 (java) S 21956 21956 21430 0 -1 1077944384 1576 0 0 0 144 32 0 0 20 0 20 0 419849767 27982450688 1881491 33554432000 4194304 4196468 140728794543584 140690246474512 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21966] ppid=21956 vsize=27326612 memory=1556 CPUtime=1.77 cores=0-7
/proc/21959/task/21966/stat : 21966 (java) S 21956 21956 21430 0 -1 1077944384 1534 0 0 0 146 31 0 0 20 0 20 0 419849767 27982450688 1881491 33554432000 4194304 4196468 140728794543584 140690245421968 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21967] ppid=21956 vsize=27326612 memory=500 CPUtime=1.77 cores=0-7
/proc/21959/task/21967/stat : 21967 (java) S 21956 21956 21430 0 -1 1077944384 1520 0 0 0 144 33 0 0 20 0 20 0 419849767 27982450688 1881491 33554432000 4194304 4196468 140728794543584 140689878801424 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21968] ppid=21956 vsize=27326612 memory=928 CPUtime=1.76 cores=0-7
/proc/21959/task/21968/stat : 21968 (java) S 21956 21956 21430 0 -1 1077944384 1617 0 0 0 145 31 0 0 20 0 20 0 419849767 27982450688 1881491 33554432000 4194304 4196468 140728794543584 140689877748880 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21969] ppid=21956 vsize=27326612 memory=1396 CPUtime=0.01 cores=0-7
/proc/21959/task/21969/stat : 21969 (java) S 21956 21956 21430 0 -1 1077944384 510 0 0 0 1 0 0 0 20 0 20 0 419849768 27982450688 1881491 33554432000 4194304 4196468 140728794543584 140688580642800 140690462005890 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21970] ppid=21956 vsize=27326612 memory=7525964 CPUtime=0 cores=0-7
/proc/21959/task/21970/stat : 21970 (java) S 21956 21956 21430 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 419849769 27982450688 1881491 33554432000 4194304 4196468 140728794543584 140688431768544 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21971] ppid=21956 vsize=27326612 memory=1396 CPUtime=0 cores=0-7
/proc/21959/task/21971/stat : 21971 (java) S 21956 21956 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419849769 27982450688 1881491 33554432000 4194304 4196468 140728794543584 140688163333120 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21972] ppid=21956 vsize=27326612 memory=7525948 CPUtime=0 cores=0-7
/proc/21959/task/21972/stat : 21972 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849771 27982450688 1881491 33554432000 4194304 4196468 140728794543584 140687788824784 140690462013339 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21973] ppid=21956 vsize=27326612 memory=2024 CPUtime=0.97 cores=0-7
/proc/21959/task/21973/stat : 21973 (java) S 21956 21956 21430 0 -1 1077944384 4742 0 0 0 95 2 0 0 20 0 20 0 419849771 27982450688 1881491 33554432000 4194304 4196468 140728794543584 140688579590640 140690462005890 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21974] ppid=21956 vsize=27326612 memory=1380 CPUtime=1.13 cores=0-7
/proc/21959/task/21974/stat : 21974 (java) S 21956 21956 21430 0 -1 1077944384 4676 0 0 0 112 1 0 0 20 0 20 0 419849771 27982450688 1881491 33554432000 4194304 4196468 140728794543584 140688578538096 140690462005890 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21975] ppid=21956 vsize=27326612 memory=1128 CPUtime=1.17 cores=0-7
/proc/21959/task/21975/stat : 21975 (java) S 21956 21956 21430 0 -1 1077944384 3701 0 0 0 116 1 0 0 20 0 20 0 419849771 27982450688 1881491 33554432000 4194304 4196468 140728794543584 140688577485552 140690462005890 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21976] ppid=21956 vsize=27326612 memory=772 CPUtime=0.75 cores=0-7
/proc/21959/task/21976/stat : 21976 (java) S 21956 21956 21430 0 -1 1077944384 3779 0 0 0 74 1 0 0 20 0 20 0 419849771 27982450688 1881491 33554432000 4194304 4196468 140728794543584 140688576433008 140690462005890 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21977] ppid=21956 vsize=27326612 memory=111632 CPUtime=0 cores=0-7
/proc/21959/task/21977/stat : 21977 (java) S 21956 21956 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419849772 27982450688 1881491 33554432000 4194304 4196468 140728794543584 140687290919136 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21978] ppid=21956 vsize=27326612 memory=800 CPUtime=0.02 cores=0-7
/proc/21959/task/21978/stat : 21978 (java) S 21956 21956 21430 0 -1 1077944384 280 0 0 0 1 1 0 0 20 0 20 0 419849772 27982450688 1881491 33554432000 4194304 4196468 140728794543584 140688575379888 140690462005890 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
Current children cumulated CPU time: 89.96 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 7527360 KiB

[startup+75.2009 s]
/proc/loadavg: 2.82 6.28 7.22 2/210 21981
/proc/meminfo: memFree=23008248/32770624 swapFree=66997752/67108860
[pid=21956] ppid=21953 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21956/stat : 21956 (scop.sh) S 21953 21956 21430 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419849764 115843072 349 33554432000 4194304 5098028 140721404509568 140721404506824 140300830548604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33263616 140721404515108 140721404515436 140721404515436 140721404518349 0
/proc/21956/statm: 28282 349 296 221 0 87 0
[pid=21959] ppid=21956 vsize=27326612 memory=7526016 CPUtime=91.56 cores=0-7
/proc/21959/stat : 21959 (java) S 21956 21956 21430 0 -1 1077944320 62151 0 0 0 8809 347 0 0 20 0 20 0 419849764 27982450688 1881504 33554432000 4194304 4196468 140728794543584 140728794526128 140690461994743 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
/proc/21959/statm: 6831653 1881504 3280 1 0 6792983 0
[pid=21959/tid=21960] ppid=21956 vsize=27326612 memory=6944652177228980320 CPUtime=73.23 cores=0-7
/proc/21959/task/21960/stat : 21960 (java) R 21956 21956 21430 0 -1 4202560 28992 0 0 0 7229 94 0 0 20 0 20 0 419849764 27982450688 1881504 33554432000 4194304 4196468 140728794543584 140690433825152 140689933099974 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21961] ppid=21956 vsize=27326612 memory=6791534058613427641 CPUtime=1.77 cores=0-7
/proc/21959/task/21961/stat : 21961 (java) S 21956 21956 21430 0 -1 1077944384 1787 0 0 0 149 28 0 0 20 0 20 0 419849767 27982450688 1881504 33554432000 4194304 4196468 140728794543584 140690466236688 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21962] ppid=21956 vsize=27326612 memory=7526016 CPUtime=1.78 cores=0-7
/proc/21959/task/21962/stat : 21962 (java) S 21956 21956 21430 0 -1 1077944384 1517 0 0 0 150 28 0 0 20 0 20 0 419849767 27982450688 1881504 33554432000 4194304 4196468 140728794543584 140690249632144 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21963] ppid=21956 vsize=27326612 memory=111632 CPUtime=1.75 cores=0-7
/proc/21959/task/21963/stat : 21963 (java) S 21956 21956 21430 0 -1 1077944384 2630 0 0 0 145 30 0 0 20 0 20 0 419849767 27982450688 1881504 33554432000 4194304 4196468 140728794543584 140690248579600 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21964] ppid=21956 vsize=27326612 memory=800 CPUtime=1.77 cores=0-7
/proc/21959/task/21964/stat : 21964 (java) S 21956 21956 21430 0 -1 1077944384 1921 0 0 0 149 28 0 0 20 0 20 0 419849767 27982450688 1881504 33554432000 4194304 4196468 140728794543584 140690247527056 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21965] ppid=21956 vsize=27326612 memory=6791534058613427641 CPUtime=1.76 cores=0-7
/proc/21959/task/21965/stat : 21965 (java) S 21956 21956 21430 0 -1 1077944384 1576 0 0 0 144 32 0 0 20 0 20 0 419849767 27982450688 1881504 33554432000 4194304 4196468 140728794543584 140690246474512 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21966] ppid=21956 vsize=27326612 memory=6791534058613427641 CPUtime=1.77 cores=0-7
/proc/21959/task/21966/stat : 21966 (java) S 21956 21956 21430 0 -1 1077944384 1534 0 0 0 146 31 0 0 20 0 20 0 419849767 27982450688 1881504 33554432000 4194304 4196468 140728794543584 140690245421968 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21967] ppid=21956 vsize=27326612 memory=288230617509003574 CPUtime=1.77 cores=0-7
/proc/21959/task/21967/stat : 21967 (java) S 21956 21956 21430 0 -1 1077944384 1520 0 0 0 144 33 0 0 20 0 20 0 419849767 27982450688 1881504 33554432000 4194304 4196468 140728794543584 140689878801424 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21968] ppid=21956 vsize=27326612 memory=15252636593031516 CPUtime=1.76 cores=0-7
/proc/21959/task/21968/stat : 21968 (java) S 21956 21956 21430 0 -1 1077944384 1617 0 0 0 145 31 0 0 20 0 20 0 419849767 27982450688 1881504 33554432000 4194304 4196468 140728794543584 140689877748880 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21969] ppid=21956 vsize=27326612 memory=4008 CPUtime=0.01 cores=0-7
/proc/21959/task/21969/stat : 21969 (java) S 21956 21956 21430 0 -1 1077944384 510 0 0 0 1 0 0 0 20 0 20 0 419849768 27982450688 1881504 33554432000 4194304 4196468 140728794543584 140688580642800 140690462005890 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21970] ppid=21956 vsize=27326612 memory=928 CPUtime=0 cores=0-7
/proc/21959/task/21970/stat : 21970 (java) S 21956 21956 21430 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 419849769 27982450688 1881504 33554432000 4194304 4196468 140728794543584 140688431768544 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21971] ppid=21956 vsize=27326612 memory=1396 CPUtime=0 cores=0-7
/proc/21959/task/21971/stat : 21971 (java) S 21956 21956 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419849769 27982450688 1881504 33554432000 4194304 4196468 140728794543584 140688163333120 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21972] ppid=21956 vsize=27326612 memory=948 CPUtime=0 cores=0-7
/proc/21959/task/21972/stat : 21972 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849771 27982450688 1881504 33554432000 4194304 4196468 140728794543584 140687788824784 140690462013339 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21973] ppid=21956 vsize=27326612 memory=2832 CPUtime=0.97 cores=0-7
/proc/21959/task/21973/stat : 21973 (java) S 21956 21956 21430 0 -1 1077944384 4742 0 0 0 95 2 0 0 20 0 20 0 419849771 27982450688 1881504 33554432000 4194304 4196468 140728794543584 140688579590640 140690462005890 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21974] ppid=21956 vsize=27326612 memory=9404 CPUtime=1.13 cores=0-7
/proc/21959/task/21974/stat : 21974 (java) S 21956 21956 21430 0 -1 1077944384 4676 0 0 0 112 1 0 0 20 0 20 0 419849771 27982450688 1881504 33554432000 4194304 4196468 140728794543584 140688578538096 140690462005890 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21975] ppid=21956 vsize=27326612 memory=1548 CPUtime=1.17 cores=0-7
/proc/21959/task/21975/stat : 21975 (java) S 21956 21956 21430 0 -1 1077944384 3701 0 0 0 116 1 0 0 20 0 20 0 419849771 27982450688 1881504 33554432000 4194304 4196468 140728794543584 140688577485552 140690462005890 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21976] ppid=21956 vsize=27326612 memory=281429478102064 CPUtime=0.76 cores=0-7
/proc/21959/task/21976/stat : 21976 (java) S 21956 21956 21430 0 -1 1077944384 3824 0 0 0 75 1 0 0 20 0 20 0 419849771 27982450688 1881504 33554432000 4194304 4196468 140728794543584 140688576433008 140690462005890 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21977] ppid=21956 vsize=27326612 memory=3624 CPUtime=0 cores=0-7
/proc/21959/task/21977/stat : 21977 (java) S 21956 21956 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419849772 27982450688 1881504 33554432000 4194304 4196468 140728794543584 140687290919136 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21978] ppid=21956 vsize=27326612 memory=27076 CPUtime=0.02 cores=0-7
/proc/21959/task/21978/stat : 21978 (java) S 21956 21956 21430 0 -1 1077944384 280 0 0 0 1 1 0 0 20 0 20 0 419849772 27982450688 1881504 33554432000 4194304 4196468 140728794543584 140688575379888 140690462005890 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
Current children cumulated CPU time: 91.56 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 7527412 KiB

[startup+76.8009 s]
/proc/loadavg: 2.82 6.28 7.22 2/210 21981
/proc/meminfo: memFree=23008248/32770624 swapFree=66997752/67108860
[pid=21956] ppid=21953 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21956/stat : 21956 (scop.sh) S 21953 21956 21430 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419849764 115843072 349 33554432000 4194304 5098028 140721404509568 140721404506824 140300830548604 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33263616 140721404515108 140721404515436 140721404515436 140721404518349 0
/proc/21956/statm: 28282 349 296 221 0 87 0
[pid=21959] ppid=21956 vsize=27328728 memory=7530220 CPUtime=93.88 cores=0-7
/proc/21959/stat : 21959 (java) S 21956 21956 21430 0 -1 1077944320 66073 0 0 0 9039 349 0 0 20 0 20 0 419849764 27984617472 1882555 33554432000 4194304 4196468 140728794543584 140728794526128 140690461994743 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
/proc/21959/statm: 6832182 1882555 3292 1 0 6792983 0
[pid=21959/tid=21960] ppid=21956 vsize=27328728 memory=7525904 CPUtime=74.83 cores=0-7
/proc/21959/task/21960/stat : 21960 (java) R 21956 21956 21430 0 -1 4202560 29996 0 0 0 7388 95 0 0 20 0 20 0 419849764 27984617472 1882555 33554432000 4194304 4196468 140728794543584 140690433830992 140689926082230 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21961] ppid=21956 vsize=27328728 memory=4108 CPUtime=1.77 cores=0-7
/proc/21959/task/21961/stat : 21961 (java) S 21956 21956 21430 0 -1 1077944384 1787 0 0 0 149 28 0 0 20 0 20 0 419849767 27984617472 1882555 33554432000 4194304 4196468 140728794543584 140690466236688 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21962] ppid=21956 vsize=27328728 memory=1412 CPUtime=1.78 cores=0-7
/proc/21959/task/21962/stat : 21962 (java) S 21956 21956 21430 0 -1 1077944384 1517 0 0 0 150 28 0 0 20 0 20 0 419849767 27984617472 1882555 33554432000 4194304 4196468 140728794543584 140690249632144 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21963] ppid=21956 vsize=27328728 memory=56 CPUtime=1.75 cores=0-7
/proc/21959/task/21963/stat : 21963 (java) S 21956 21956 21430 0 -1 1077944384 2630 0 0 0 145 30 0 0 20 0 20 0 419849767 27984617472 1882571 33554432000 4194304 4196468 140728794543584 140690248579600 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21964] ppid=21956 vsize=27328728 memory=7453282923427948884 CPUtime=1.77 cores=0-7
/proc/21959/task/21964/stat : 21964 (java) S 21956 21956 21430 0 -1 1077944384 1921 0 0 0 149 28 0 0 20 0 20 0 419849767 27984617472 1882571 33554432000 4194304 4196468 140728794543584 140690247527056 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21965] ppid=21956 vsize=27328728 memory=5865184620842347118 CPUtime=1.76 cores=0-7
/proc/21959/task/21965/stat : 21965 (java) S 21956 21956 21430 0 -1 1077944384 1576 0 0 0 144 32 0 0 20 0 20 0 419849767 27984617472 1882571 33554432000 4194304 4196468 140728794543584 140690246474512 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21966] ppid=21956 vsize=27328728 memory=7739276948477865575 CPUtime=1.77 cores=0-7
/proc/21959/task/21966/stat : 21966 (java) S 21956 21956 21430 0 -1 1077944384 1534 0 0 0 146 31 0 0 20 0 20 0 419849767 27984617472 1882571 33554432000 4194304 4196468 140728794543584 140690245421968 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21967] ppid=21956 vsize=27328728 memory=2832 CPUtime=1.77 cores=0-7
/proc/21959/task/21967/stat : 21967 (java) S 21956 21956 21430 0 -1 1077944384 1520 0 0 0 144 33 0 0 20 0 20 0 419849767 27984617472 1882571 33554432000 4194304 4196468 140728794543584 140689878801424 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21968] ppid=21956 vsize=27328728 memory=9404 CPUtime=1.76 cores=0-7
/proc/21959/task/21968/stat : 21968 (java) S 21956 21956 21430 0 -1 1077944384 1617 0 0 0 145 31 0 0 20 0 20 0 419849767 27984617472 1882571 33554432000 4194304 4196468 140728794543584 140689877748880 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21969] ppid=21956 vsize=27328728 memory=1548 CPUtime=0.01 cores=0-7
/proc/21959/task/21969/stat : 21969 (java) S 21956 21956 21430 0 -1 1077944384 512 0 0 0 1 0 0 0 20 0 20 0 419849768 27984617472 1882571 33554432000 4194304 4196468 140728794543584 140688580642800 140690462005890 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21970] ppid=21956 vsize=27328728 memory=628 CPUtime=0 cores=0-7
/proc/21959/task/21970/stat : 21970 (java) S 21956 21956 21430 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 419849769 27984617472 1882571 33554432000 4194304 4196468 140728794543584 140688431768544 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21971] ppid=21956 vsize=27328728 memory=7525752 CPUtime=0 cores=0-7
/proc/21959/task/21971/stat : 21971 (java) S 21956 21956 21430 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419849769 27984617472 1882571 33554432000 4194304 4196468 140728794543584 140688163333120 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21972] ppid=21956 vsize=27328728 memory=772 CPUtime=0 cores=0-7
/proc/21959/task/21972/stat : 21972 (java) S 21956 21956 21430 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419849771 27984617472 1882571 33554432000 4194304 4196468 140728794543584 140687788824784 140690462013339 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21973] ppid=21956 vsize=27328728 memory=4008 CPUtime=1.15 cores=0-7
/proc/21959/task/21973/stat : 21973 (java) S 21956 21956 21430 0 -1 1077944384 5510 0 0 0 112 3 0 0 20 0 20 0 419849771 27984617472 1882571 33554432000 4194304 4196468 140728794543584 140688579590640 140690462005890 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21974] ppid=21956 vsize=27328728 memory=948 CPUtime=1.34 cores=0-7
/proc/21959/task/21974/stat : 21974 (java) S 21956 21956 21430 0 -1 1077944384 5240 0 0 0 133 1 0 0 20 0 20 0 419849771 27984617472 1882571 33554432000 4194304 4196468 140728794543584 140688578538096 140690462005890 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21975] ppid=21956 vsize=27328728 memory=3624 CPUtime=1.38 cores=0-7
/proc/21959/task/21975/stat : 21975 (java) R 21956 21956 21430 0 -1 4202560 4454 0 0 0 137 1 0 0 20 0 20 0 419849771 27984617472 1882571 33554432000 4194304 4196468 140728794543584 140688577467120 140690440011731 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21976] ppid=21956 vsize=27328728 memory=27076 CPUtime=0.88 cores=0-7
/proc/21959/task/21976/stat : 21976 (java) R 21956 21956 21430 0 -1 4202560 4658 0 0 0 86 2 0 0 20 0 20 0 419849771 27984617472 1882571 33554432000 4194304 4196468 140728794543584 140688576428080 140690462016090 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21977] ppid=21956 vsize=27328728 memory=984 CPUtime=0 cores=0-7
/proc/21959/task/21977/stat : 21977 (java) S 21956 21956 21430 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419849772 27984617472 1882571 33554432000 4194304 4196468 140728794543584 140687290919136 140690462004949 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
[pid=21959/tid=21978] ppid=21956 vsize=27328728 memory=2024 CPUtime=0.02 cores=0-7
/proc/21959/task/21978/stat : 21978 (java) S 21956 21956 21430 0 -1 1077944384 280 0 0 0 1 1 0 0 20 0 20 0 419849772 27984617472 1882571 33554432000 4194304 4196468 140728794543584 140688575379888 140690462005890 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 34476032 140728794551018 140728794551446 140728794551446 140728794554319 0
Current children cumulated CPU time: 93.88 s
Current children cumulated vsize: 27441856 KiB
Current children cumulated memory: 7531616 KiB

[startup+77.6003 s]
/proc/loadavg: 2.67 6.19 7.18 2/192 21981
/proc/meminfo: memFree=25602128/32770624 swapFree=66997752/67108860
[pid=21956] ppid=21953 vsize=113128 memory=1476 CPUtime=94.52 cores=0-7
/proc/21956/stat : 21956 (scop.sh) S 21953 21956 21430 0 -1 4202496 583 68227 0 0 0 0 9099 353 20 0 1 0 419849764 115843072 369 33554432000 4194304 5098028 140721404509568 140721404506312 140300830548604 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33263616 140721404515108 140721404515436 140721404515436 140721404518349 0
/proc/21956/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 94.52 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

[startup+77.8002 s]
/proc/loadavg: 2.67 6.19 7.18 2/192 21981
/proc/meminfo: memFree=25602128/32770624 swapFree=66997752/67108860
[pid=21956] ppid=21953 vsize=113128 memory=1476 CPUtime=94.52 cores=0-7
/proc/21956/stat : 21956 (scop.sh) S 21953 21956 21430 0 -1 4202496 583 68227 0 0 0 0 9099 353 20 0 1 0 419849764 115843072 369 33554432000 4194304 5098028 140721404509568 140721404506312 140300830548604 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33263616 140721404515108 140721404515436 140721404515436 140721404518349 0
/proc/21956/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 94.52 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 77.8324
CPU time (s): 95.8554
CPU user time (s): 92.2376
CPU system time (s): 3.61783
CPU usage (%): 123.156
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 7534388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.2376
system time used= 3.61783
maximum resident set size= 7534996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91246
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= 11986
involuntary context switches= 220


# summary of solver processes directly reported to runsolver:
#   pid: 21956
#   total CPU time (s): 95.8554
#   total CPU user time (s): 92.2376
#   total CPU system time (s): 3.61783

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.443802 second user time and 0.846402 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-14 05:37:53
IDJOB=4392687
IDBENCH=134289
IDSOLVER=2839
FILE ID=node106/4392687-1568435950
RUNJOBID= node106-1568429735-21457
PBS_JOBID= 21702316
Free space on /tmp= 59020 MiB

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

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

MD5SUM BENCH= a4344d82eae68729eeb0bbc0b13d3fa1
RANDOM SEED=1348752901

node106.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.79
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.79
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.79
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.79
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:        30534432 kB
MemAvailable:   31902356 kB
Buffers:          186820 kB
Cached:          1462112 kB
SwapCached:         9312 kB
Active:           578724 kB
Inactive:        1084180 kB
Active(anon):      13392 kB
Inactive(anon):    34568 kB
Active(file):     565332 kB
Inactive(file):  1049612 kB
Unevictable:      107200 kB
Mlocked:          107200 kB
SwapTotal:      67108860 kB
SwapFree:       66997752 kB
Dirty:             27792 kB
Writeback:            68 kB
AnonPages:        114792 kB
Mapped:            38272 kB
Shmem:             25368 kB
Slab:             167556 kB
SReclaimable:     137632 kB
SUnreclaim:        29924 kB
KernelStack:        3360 kB
PageTables:         4892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     489812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 59000 MiB
End job on node106 at 2019-09-14 05:39:12