Trace number 4405193

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)SAT 186.263 26.2521

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-012.xml
MD5SUM2f6e926eec9d3271c32e6368d6cce3f2
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark18.0419
Satisfiable
(Un)Satisfiability was proved
Number of variables46
Number of constraints49
Number of domains1
Minimum domain size140
Maximum domain size140
Distribution of domain sizes[{"size":140,"count":46}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":44},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity46
Distribution of constraint arities[{"arity":1,"count":47},{"arity":2,"count":1},{"arity":46,"count":1}]
Number of extensional constraints0
Number of intensional constraints48
Distribution of constraint types[{"type":"intension","count":48},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-752-serial-file.bin HOME/instance-4405193-1569338188.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 17:15:51 CEST 2019
0.65/0.57	c PID: 755
0.65/0.57	c IP: 172.20.3.126
0.65/0.57	c HOST: node126.alineos.net
0.65/0.58	c (0,0) Parsing Begin
1.39/0.91	c (0,0) Parsing End
1.39/0.91	c (0,0) CSP: 46 int (0 aux), 0 bool (0 aux), 49 ctr, max domain size 140
1.39/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.91	c (0,0) Constraint Name Generate Begin
1.39/0.92	c (0,0) Ctr:HOME/instance-4405193-1569338188.xml,Le:NoOverlap:Num:Var
1.39/0.92	c (0,0) Constraint Name Generate End
1.39/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/0.92	c (0,0) CSP to CSPinCNF Begin
1.39/1.00	c (0,0) translated 5 (10%) constraints
1.39/1.00	c (0,0) translated 10 (20%) constraints
1.39/1.00	c (0,0) translated 15 (30%) constraints
1.39/1.00	c (0,0) translated 20 (40%) constraints
1.54/1.01	c (0,0) translated 25 (50%) constraints
1.54/1.01	c (0,0) translated 30 (60%) constraints
1.54/1.01	c (0,0) translated 35 (70%) constraints
1.54/1.02	c (0,0) translated 40 (80%) constraints
1.54/1.02	c (0,0) translated 45 (90%) constraints
2.14/1.26	c (0,0) translated 49 (100%) constraints
2.14/1.26	c (0,0) ===========================================
2.14/1.26	c (0,0) Order
2.14/1.26	c (0,0) ===========================================
2.14/1.27	c (0,0) translated 31 (10%) constraints
2.14/1.28	c (0,0) translated 61 (20%) constraints
2.14/1.28	c (0,0) translated 91 (30%) constraints
2.14/1.29	c (0,0) translated 121 (40%) constraints
2.14/1.29	c (0,0) translated 151 (50%) constraints
2.14/1.29	c (0,0) translated 181 (60%) constraints
2.46/1.30	c (0,0) translated 211 (70%) constraints
2.46/1.30	c (0,0) translated 241 (80%) constraints
2.46/1.31	c (0,0) translated 271 (90%) constraints
2.46/1.31	c (0,0) translated 301 (100%) constraints
2.46/1.31	c (0,0) CSP to CSPinCNF End
2.46/1.32	c (0,0) CSP: 46 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 140
2.46/1.32	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.46/1.32	c (0,0) CSPinCNF Propagation Begin
2.46/1.35	c (0,0) 0 values, 6 unsatisfiable literals, and 47 valid clauses are removed
2.46/1.35	c (0,0) CSPinCNF Propagation End
2.46/1.35	c (0,0) CSP: 46 int (0 aux), 0 bool (0 aux), 254 ctr, max domain size 140
2.46/1.35	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.46/1.35	c (0,0) Simplify CSPinCNF Begin
2.77/1.44	c (0,0) Simplify CSPinCNF End
2.77/1.44	c (0,0) CSP: 46 int (0 aux), 1006 bool (1006 aux), 1260 ctr, max domain size 140
2.77/1.44	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.77/1.44	c (0,0) Calculate Precise Domain Begin
2.77/1.45	c (0,0) 0 values are removed by re-calculation
2.77/1.45	c (0,0) Calculate Precise Domain End
2.77/1.45	c (0,0) CSP: 46 int (0 aux), 1006 bool (1006 aux), 1260 ctr, max domain size 140
2.77/1.45	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.77/1.45	c (0,0) CSPinCNF to SatSolver Begin
3.86/1.73	c (1,1) 126 (10 %) CSP clauses are encoded (0 SAT variables, 16893 SAT clauses)
4.27/1.81	c (1,1) 252 (20 %) CSP clauses are encoded (0 SAT variables, 28273 SAT clauses)
4.27/1.88	c (1,1) 378 (30 %) CSP clauses are encoded (0 SAT variables, 39287 SAT clauses)
4.69/1.94	c (1,1) 504 (40 %) CSP clauses are encoded (0 SAT variables, 49453 SAT clauses)
4.69/1.98	c (1,1) 630 (50 %) CSP clauses are encoded (0 SAT variables, 59895 SAT clauses)
5.03/2.02	c (1,1) 756 (60 %) CSP clauses are encoded (0 SAT variables, 69143 SAT clauses)
5.03/2.06	c (1,1) 882 (70 %) CSP clauses are encoded (0 SAT variables, 77631 SAT clauses)
5.03/2.09	c (1,1) 1008 (80 %) CSP clauses are encoded (0 SAT variables, 85684 SAT clauses)
5.25/2.12	c (1,1) 1134 (90 %) CSP clauses are encoded (0 SAT variables, 92551 SAT clauses)
5.25/2.15	c (1,1) 1260 (100 %) CSP clauses are encoded (0 SAT variables, 97747 SAT clauses)
5.25/2.15	c (1,1) CSPinCNF to SatSolver End
5.25/2.15	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
5.25/2.15	c (1,1) 6256 bool, 97790 clause
5.25/2.15	c (1,1) Export Begin
5.39/2.23	c (1,1) Export to HOME/scop-752-serial-file.bin
5.39/2.23	c (1,1) Export End
5.39/2.23	c (1,1) Export File Size: 0.01 MB
5.39/2.23	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
5.39/2.23	c END-Prog: Tue Sep 24 17:15:52 CEST 2019
5.39/2.24	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-752-serial-file.bin
5.46/2.72	c (0,0) Read Serial File Begin
5.46/2.72	c (0,0) HOME/scop-752-serial-file.bin
5.46/2.92	c (0,0) Read Serial File End
5.46/2.93	
5.46/2.93	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
5.46/2.93	(Solving Process)
5.46/2.93	
5.46/2.95	c BEGIN-Prog: Tue Sep 24 17:15:53 CEST 2019
5.46/2.95	c PID: 775
5.46/2.95	c IP: 172.20.3.126
5.46/2.95	c HOST: node126.alineos.net
5.46/2.96	c (0,0) SatSolver.solve Begin
5.46/2.96	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405193-1569338188.xml-scop-755.cnf
5.46/2.99	c (0,0) c
5.46/2.99	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)
5.46/2.99	c (0,0) c
5.46/2.99	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
5.46/2.99	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
5.46/2.99	c (0,0) c ========================================[ Problem Statistics ]===========================================
5.46/2.99	c (0,0) c |                                                                                                       |
6.56/3.02	c (0,0) c |  Number of variables:          6256                                                                   |
6.56/3.02	c (0,0) c |  Number of clauses:           97790                                                                   |
6.56/3.02	c (0,0) c |  Parse time:                   0.03 s                                                                 |
6.56/3.02	c (0,0) c |                                                                                                       |
6.56/3.09	c (0,0) c |  Simplification time:          0.07 s                                                                 |
6.56/3.09	c (0,0) c |                                                                                                       |
6.56/3.09	c (0,0) c |  Generating clones                                                                                    |
6.69/3.13	c (0,0) c |  all clones generated. Memory =    85.58Mb.                                                           |
6.69/3.13	c (0,0) c ========================================================================================================|
6.69/3.13	c (0,0) c
6.69/3.13	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.69/3.13	c (0,0) c
6.69/3.13	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.69/3.13	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.69/3.13	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.69/3.38	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
6.69/3.38	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
6.69/3.38	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
6.69/3.38	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
6.69/3.38	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
6.69/3.38	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
6.69/3.38	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
6.69/3.38	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
6.69/3.38	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
6.69/3.38	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
6.69/3.38	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
6.69/3.38	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
6.69/3.38	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
6.69/3.38	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
6.69/3.38	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
6.69/3.38	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
185.77/26.09	c (23,0) c
185.77/26.09	c (23,0) c real time : 23.1073 s
185.77/26.09	c (23,0) c cpu time  : 178.888 s
185.77/26.09	c (23,0) c
185.77/26.09	c (23,0) c
185.77/26.09	c (23,0) c
185.77/26.09	c (23,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
185.77/26.09	c (23,0) c
185.77/26.09	c (23,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
185.77/26.09	c (23,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
185.77/26.09	c (23,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
185.77/26.09	c (23,0) c | Conflicts     |          841458 |     102943 |     103761 |     108281 |     105190 |     102658 |     105356 |     105776 |     107493 |
185.77/26.09	c (23,0) c | Decisions     |         1411673 |     169286 |     176589 |     180187 |     176160 |     175068 |     175652 |     176488 |     182243 |
185.77/26.09	c (23,0) c | Propagations  |       221281769 |   27453256 |   27091795 |   28291241 |   27640411 |   26753430 |   27589231 |   28467655 |   27994750 |
185.77/26.09	c (23,0) c | ReduceDBs     |              64 |          8 |          8 |          8 |          8 |          8 |          8 |          8 |          8 |
185.77/26.09	c (23,0) c | SimpDBs       |              26 |          4 |          3 |          3 |          3 |          3 |          4 |          3 |          3 |
185.77/26.09	c (23,0) c | Restarts      |            2904 |        301 |        366 |        333 |        363 |        391 |        326 |        398 |        426 |
185.77/26.09	c (23,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
185.77/26.09	c (23,0) c | PropBinClauses|       297762816 |   36667225 |   36284123 |   38433386 |   37308542 |   36270340 |   37141323 |   38225362 |   37432515 |
185.77/26.09	c (23,0) c | PropPreBlocker|      4256900632 |  520672515 |  519322437 |  545151378 |  526758903 |  515260974 |  532320692 |  548311108 |  549102625 |
185.77/26.09	c (23,0) c | PropNotBlocker|      1591604217 |  192335669 |  193803788 |  201273544 |  198072482 |  195866763 |  198716263 |  205697573 |  205838135 |
185.77/26.09	c (23,0) c | LitFullScans  |      9109343340 | 1110052350 | 1111689096 | 1158061499 | 1136056272 | 1110048748 | 1137326431 | 1170052371 | 1176056573 |
185.77/26.09	c (23,0) c | LitScanFracts |          356398 |      42663 |      54223 |      43322 |      41289 |      42970 |      42298 |      44613 |      45020 |
185.77/26.09	c (23,0) c | DecisionLevel0|            2916 |        304 |        367 |        334 |        365 |        392 |        327 |        399 |        428 |
185.77/26.09	c (23,0) c | Periods       |            1517 |        185 |        185 |        193 |        189 |        185 |        189 |        195 |        196 |
185.77/26.09	c (23,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
185.77/26.09	c (23,0) c | Avg_Trail     |                 |       1969 |       1977 |       1966 |       1954 |       1951 |       1960 |       1954 |       1961 |
185.77/26.09	c (23,0) c | Avg_DL        |                 |         21 |         21 |         22 |         21 |         21 |         21 |         22 |         22 |
185.77/26.09	c (23,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
185.77/26.09	c (23,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
185.77/26.09	c (23,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
185.77/26.09	c (23,0) c | Exported      |          126971 |      15383 |      15625 |      15875 |      15883 |      15942 |      16652 |      15914 |      15697 |
185.77/26.09	c (23,0) c | Imported      |          840855 |     104255 |     103994 |     106246 |     105264 |     102662 |     104483 |     106914 |     107037 |
185.77/26.09	c (23,0) c | Good          |             474 |         58 |         63 |         60 |         59 |         59 |         60 |         59 |         56 |
185.77/26.09	c (23,0) c | Purge         |          840381 |     104197 |     103931 |     106186 |     105205 |     102603 |     104423 |     106855 |     106981 |
185.77/26.09	c (23,0) c | Promoted      |           99721 |      12136 |      12082 |      12802 |      12464 |      12406 |      12303 |      12635 |      12893 |
185.77/26.09	c (23,0) c | Remove_Imp    |          453927 |      56603 |      56139 |      55114 |      56482 |      57511 |      56744 |      58173 |      57161 |
185.77/26.09	c (23,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
185.77/26.09	c (23,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
185.77/26.09	c (23,0) c | Unaries       |                 |          3 |          1 |          1 |          2 |          1 |          1 |          1 |          2 |
185.77/26.09	c (23,0) c | Binaries      |                 |         10 |          5 |          8 |          9 |          7 |          8 |          9 |         12 |
185.77/26.09	c (23,0) c | Glues         |                 |        124 |        142 |        149 |        129 |        112 |        128 |        136 |        147 |
185.77/26.09	c (23,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
185.77/26.09	c (23,0) c | Orig_Seen     |            22 % |      21028 |      23734 |      22269 |      21855 |      21901 |      22355 |      20957 |      22278 |
185.77/26.09	c (23,0) c | Diff Orig seen|                 | -     2706 |      X     | -     1465 | -     1879 | -     1833 | -     1379 | -     2777 | -     1456 |
185.77/26.09	c (23,0) c | Hamming       |            27 % |       1516 |      X     |       1920 |       1360 |       1880 |       1589 |       1896 |       1992 |
185.77/26.09	c (23,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
185.77/26.09	c (23,0) c | RunningTime   |                 |   22.5 100%|   22.3 100%|   22.4 100%|   22.3 100%|   22.9 100%|   22.3 100%|   22.3 100%|   22.4 100%|
185.77/26.09	c (23,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%|
185.77/26.09	c (23,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
185.77/26.09	c (23,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%|
185.77/26.09	c (23,0) c | SolvingTime   |                 |   22.5     |   22.3     |   22.4     |   22.3     |   22.9     |   22.3     |   22.3     |   22.4     |
185.77/26.09	c (23,0) c | PropagationTim|                 |   19.4  86%|   19.5  87%|   19.6  87%|   19.5  87%|   19.8  86%|   19.2  86%|   19.1  86%|   19.5  87%|
185.77/26.09	c (23,0) c | AnalysisTime  |                 |    2.5  11%|    2.2  10%|    2.2  10%|    2.2  10%|    2.5  11%|    2.5  11%|    2.6  12%|    2.3  10%|
185.77/26.09	c (23,0) c | ReductionTime |                 |    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|
185.77/26.09	c (23,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
185.77/26.09	c (23,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%|
185.77/26.09	c (23,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%|
185.77/26.09	c (23,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
185.77/26.09	c (23,0) c
185.77/26.09	c (23,0) c
185.77/26.09	c (23,0) c Threads : 8
185.77/26.09	c (23,0) c Winner : 1
185.77/26.09	c (23,0) c Conflicts_0 : 102943
185.77/26.09	c (23,0) c Conflicts_1 : 103761
185.77/26.09	c (23,0) c Conflicts_2 : 108281
185.77/26.09	c (23,0) c Conflicts_3 : 105190
185.77/26.09	c (23,0) c Conflicts_4 : 102658
185.77/26.09	c (23,0) c Conflicts_5 : 105356
185.77/26.09	c (23,0) c Conflicts_6 : 105776
185.77/26.09	c (23,0) c Conflicts_7 : 107493
185.77/26.09	c (23,0) c Conflicts_total : 841458
185.77/26.09	c (23,0) c Conflicts_winner : 103761
185.77/26.09	c (23,0) c Decisions_0 : 169286
185.77/26.09	c (23,0) c Decisions_1 : 176589
185.77/26.09	c (23,0) c Decisions_2 : 180187
185.77/26.09	c (23,0) c Decisions_3 : 176160
185.77/26.09	c (23,0) c Decisions_4 : 175068
185.77/26.09	c (23,0) c Decisions_5 : 175652
185.77/26.09	c (23,0) c Decisions_6 : 176488
185.77/26.09	c (23,0) c Decisions_7 : 182243
185.77/26.09	c (23,0) c Decisions_total : 1411673
185.77/26.09	c (23,0) c Decisions_winner : 176589
185.77/26.09	c (23,0) c Propagations_0 : 27453256
185.77/26.09	c (23,0) c Propagations_1 : 27091795
185.77/26.09	c (23,0) c Propagations_2 : 28291241
185.77/26.09	c (23,0) c Propagations_3 : 27640411
185.77/26.09	c (23,0) c Propagations_4 : 26753430
185.77/26.09	c (23,0) c Propagations_5 : 27589231
185.77/26.09	c (23,0) c Propagations_6 : 28467655
185.77/26.09	c (23,0) c Propagations_7 : 27994750
185.77/26.09	c (23,0) c Propagations_total : 221281769
185.77/26.09	c (23,0) c Propagations_winner : 27091795
185.77/26.09	c (23,0) c ReduceDBs_0 : 8
185.77/26.09	c (23,0) c ReduceDBs_1 : 8
185.77/26.09	c (23,0) c ReduceDBs_2 : 8
185.77/26.09	c (23,0) c ReduceDBs_3 : 8
185.77/26.09	c (23,0) c ReduceDBs_4 : 8
185.77/26.09	c (23,0) c ReduceDBs_5 : 8
185.77/26.09	c (23,0) c ReduceDBs_6 : 8
185.77/26.09	c (23,0) c ReduceDBs_7 : 8
185.77/26.09	c (23,0) c ReduceDBs_total : 64
185.77/26.09	c (23,0) c ReduceDBs_winner : 8
185.77/26.09	c (23,0) c SimpDBs_0 : 4
185.77/26.09	c (23,0) c SimpDBs_1 : 3
185.77/26.09	c (23,0) c SimpDBs_2 : 3
185.77/26.09	c (23,0) c SimpDBs_3 : 3
185.77/26.09	c (23,0) c SimpDBs_4 : 3
185.77/26.09	c (23,0) c SimpDBs_5 : 4
185.77/26.09	c (23,0) c SimpDBs_6 : 3
185.77/26.09	c (23,0) c SimpDBs_7 : 3
185.77/26.09	c (23,0) c SimpDBs_total : 26
185.77/26.09	c (23,0) c SimpDBs_winner : 3
185.77/26.09	c (23,0) c Restarts_0 : 301
185.77/26.09	c (23,0) c Restarts_1 : 366
185.77/26.09	c (23,0) c Restarts_2 : 333
185.77/26.09	c (23,0) c Restarts_3 : 363
185.77/26.09	c (23,0) c Restarts_4 : 391
185.77/26.09	c (23,0) c Restarts_5 : 326
185.77/26.09	c (23,0) c Restarts_6 : 398
185.77/26.09	c (23,0) c Restarts_7 : 426
185.77/26.09	c (23,0) c Restarts_total : 2904
185.77/26.09	c (23,0) c Restarts_winner : 366
185.77/26.09	c (23,0) c ForcedImports_0 : 0
185.77/26.09	c (23,0) c ForcedImports_1 : 0
185.77/26.09	c (23,0) c ForcedImports_2 : 0
185.77/26.09	c (23,0) c ForcedImports_3 : 0
185.77/26.09	c (23,0) c ForcedImports_4 : 0
185.77/26.09	c (23,0) c ForcedImports_5 : 0
185.77/26.09	c (23,0) c ForcedImports_6 : 0
185.77/26.09	c (23,0) c ForcedImports_7 : 0
185.77/26.09	c (23,0) c ForcedImports_total : 0
185.77/26.09	c (23,0) c ForcedImports_winner : 0
185.77/26.09	c (23,0) c PropsBinClauses_0 : 36667225
185.77/26.09	c (23,0) c PropsBinClauses_1 : 36284123
185.77/26.09	c (23,0) c PropsBinClauses_2 : 38433386
185.77/26.09	c (23,0) c PropsBinClauses_3 : 37308542
185.77/26.09	c (23,0) c PropsBinClauses_4 : 36270340
185.77/26.09	c (23,0) c PropsBinClauses_5 : 37141323
185.77/26.09	c (23,0) c PropsBinClauses_6 : 38225362
185.77/26.09	c (23,0) c PropsBinClauses_7 : 37432515
185.77/26.09	c (23,0) c PropsBinClauses_total : 297762816
185.77/26.09	c (23,0) c PropsBinClauses_winner : 36284123
185.77/26.09	c (23,0) c PropsPreBlocker_0 : 520672515
185.77/26.09	c (23,0) c PropsPreBlocker_1 : 519322437
185.77/26.10	c (23,0) c PropsPreBlocker_2 : 545151378
185.77/26.10	c (23,0) c PropsPreBlocker_3 : 526758903
185.77/26.10	c (23,0) c PropsPreBlocker_4 : 515260974
185.77/26.10	c (23,0) c PropsPreBlocker_5 : 532320692
185.77/26.10	c (23,0) c PropsPreBlocker_6 : 548311108
185.77/26.10	c (23,0) c PropsPreBlocker_7 : 549102625
185.77/26.10	c (23,0) c PropsPreBlocker_total : 4256900632
185.77/26.10	c (23,0) c PropsPreBlocker_winner : 519322437
185.77/26.10	c (23,0) c PropsNotBlocker_0 : 192335669
185.77/26.10	c (23,0) c PropsNotBlocker_1 : 193803788
185.77/26.10	c (23,0) c PropsNotBlocker_2 : 201273544
185.77/26.10	c (23,0) c PropsNotBlocker_3 : 198072482
185.77/26.10	c (23,0) c PropsNotBlocker_4 : 195866763
185.77/26.10	c (23,0) c PropsNotBlocker_5 : 198716263
185.77/26.10	c (23,0) c PropsNotBlocker_6 : 205697573
185.77/26.10	c (23,0) c PropsNotBlocker_7 : 205838135
185.77/26.10	c (23,0) c PropsNotBlocker_total : 1591604217
185.77/26.10	c (23,0) c PropsNotBlocker_winner : 193803788
185.77/26.10	c (23,0) c PropsLitFullScans_0 : 1110052350
185.77/26.10	c (23,0) c PropsLitFullScans_1 : 1111689096
185.77/26.10	c (23,0) c PropsLitFullScans_2 : 1158061499
185.77/26.10	c (23,0) c PropsLitFullScans_3 : 1136056272
185.77/26.10	c (23,0) c PropsLitFullScans_4 : 1110048748
185.77/26.10	c (23,0) c PropsLitFullScans_5 : 1137326431
185.77/26.10	c (23,0) c PropsLitFullScans_6 : 1170052371
185.77/26.10	c (23,0) c PropsLitFullScans_7 : 1176056573
185.77/26.10	c (23,0) c PropsLitFullScans_total : 9109343340
185.77/26.10	c (23,0) c PropsLitFullScans_winner : 1111689096
185.77/26.10	c (23,0) c LitScanFractions_0 : 42663
185.77/26.10	c (23,0) c LitScanFractions_1 : 54223
185.77/26.10	c (23,0) c LitScanFractions_2 : 43322
185.77/26.10	c (23,0) c LitScanFractions_3 : 41289
185.77/26.10	c (23,0) c LitScanFractions_4 : 42970
185.77/26.10	c (23,0) c LitScanFractions_5 : 42298
185.77/26.10	c (23,0) c LitScanFractions_6 : 44613
185.77/26.10	c (23,0) c LitScanFractions_7 : 45020
185.77/26.10	c (23,0) c LitScanFractions_total : 356398
185.77/26.10	c (23,0) c LitScanFractions_winner : 54223
185.77/26.10	c (23,0) c DecisionLevel0_0 : 304
185.77/26.10	c (23,0) c DecisionLevel0_1 : 367
185.77/26.10	c (23,0) c DecisionLevel0_2 : 334
185.77/26.10	c (23,0) c DecisionLevel0_3 : 365
185.77/26.10	c (23,0) c DecisionLevel0_4 : 392
185.77/26.10	c (23,0) c DecisionLevel0_5 : 327
185.77/26.10	c (23,0) c DecisionLevel0_6 : 399
185.77/26.10	c (23,0) c DecisionLevel0_7 : 428
185.77/26.10	c (23,0) c DecisionLevel0_total : 2916
185.77/26.10	c (23,0) c DecisionLevel0_winner : 367
185.77/26.10	c (23,0) c Periods_0 : 185
185.77/26.10	c (23,0) c Periods_1 : 185
185.77/26.10	c (23,0) c Periods_2 : 193
185.77/26.10	c (23,0) c Periods_3 : 189
185.77/26.10	c (23,0) c Periods_4 : 185
185.77/26.10	c (23,0) c Periods_5 : 189
185.77/26.10	c (23,0) c Periods_6 : 195
185.77/26.10	c (23,0) c Periods_7 : 196
185.77/26.10	c (23,0) c Periods_total : 1517
185.77/26.10	c (23,0) c Periods_winner : 185
185.77/26.10	c (23,0) c Margin_0 : 20
185.77/26.10	c (23,0) c Margin_1 : 20
185.77/26.10	c (23,0) c Margin_2 : 20
185.77/26.10	c (23,0) c Margin_3 : 20
6.62/26.10	c (23,0) c Margin_4 : 20
6.62/26.10	c (23,0) c Margin_5 : 20
6.62/26.10	c (23,0) c Margin_6 : 20
6.62/26.10	c (23,0) c Margin_7 : 20
6.62/26.10	c (23,0) c Margin_total : 160
6.62/26.10	c (23,0) c Margin_winner : 20
6.62/26.10	c (23,0) c Exported_0 : 15383
6.62/26.10	c (23,0) c Exported_1 : 15625
6.62/26.10	c (23,0) c Exported_2 : 15875
6.62/26.10	c (23,0) c Exported_3 : 15883
6.62/26.10	c (23,0) c Exported_4 : 15942
6.62/26.10	c (23,0) c Exported_5 : 16652
6.62/26.10	c (23,0) c Exported_6 : 15914
6.62/26.10	c (23,0) c Exported_7 : 15697
6.62/26.10	c (23,0) c Exported_total : 126971
6.62/26.10	c (23,0) c Exported_winner : 15625
6.62/26.10	c (23,0) c Imported_0 : 104255
6.62/26.10	c (23,0) c Imported_1 : 103994
6.62/26.10	c (23,0) c Imported_2 : 106246
6.62/26.10	c (23,0) c Imported_3 : 105264
6.62/26.10	c (23,0) c Imported_4 : 102662
6.62/26.10	c (23,0) c Imported_5 : 104483
6.62/26.10	c (23,0) c Imported_6 : 106914
6.62/26.10	c (23,0) c Imported_7 : 107037
6.62/26.10	c (23,0) c Imported_total : 840855
6.62/26.10	c (23,0) c Imported_winner : 103994
6.62/26.10	c (23,0) c Good_0 : 58
6.62/26.10	c (23,0) c Good_1 : 63
6.62/26.10	c (23,0) c Good_2 : 60
6.62/26.10	c (23,0) c Good_3 : 59
6.62/26.10	c (23,0) c Good_4 : 59
6.62/26.10	c (23,0) c Good_5 : 60
6.62/26.10	c (23,0) c Good_6 : 59
6.62/26.10	c (23,0) c Good_7 : 56
6.62/26.10	c (23,0) c Good_total : 474
6.62/26.10	c (23,0) c Good_winner : 63
6.62/26.10	c (23,0) c Purge_0 : 104197
6.62/26.10	c (23,0) c Purge_1 : 103931
6.62/26.10	c (23,0) c Purge_2 : 106186
6.62/26.10	c (23,0) c Purge_3 : 105205
6.62/26.10	c (23,0) c Purge_4 : 102603
6.62/26.10	c (23,0) c Purge_5 : 104423
6.62/26.10	c (23,0) c Purge_6 : 106855
6.62/26.10	c (23,0) c Purge_7 : 106981
6.62/26.10	c (23,0) c Purge_total : 840381
6.62/26.10	c (23,0) c Purge_winner : 103931
6.62/26.10	c (23,0) c Promoted_0 : 12136
6.62/26.10	c (23,0) c Promoted_1 : 12082
6.62/26.10	c (23,0) c Promoted_2 : 12802
6.62/26.10	c (23,0) c Promoted_3 : 12464
6.62/26.10	c (23,0) c Promoted_4 : 12406
6.62/26.10	c (23,0) c Promoted_5 : 12303
6.62/26.10	c (23,0) c Promoted_6 : 12635
6.62/26.10	c (23,0) c Promoted_7 : 12893
6.62/26.10	c (23,0) c Promoted_total : 99721
6.62/26.10	c (23,0) c Promoted_winner : 12082
6.62/26.10	c (23,0) c Remove_Imp_0 : 56603
6.62/26.10	c (23,0) c Remove_Imp_1 : 56139
6.62/26.10	c (23,0) c Remove_Imp_2 : 55114
6.62/26.10	c (23,0) c Remove_Imp_3 : 56482
6.62/26.10	c (23,0) c Remove_Imp_4 : 57511
6.62/26.10	c (23,0) c Remove_Imp_5 : 56744
6.62/26.10	c (23,0) c Remove_Imp_6 : 58173
6.62/26.10	c (23,0) c Remove_Imp_7 : 57161
6.62/26.10	c (23,0) c Remove_Imp_total : 453927
6.62/26.10	c (23,0) c Remove_Imp_winner : 56139
6.62/26.10	c (23,0) c Blocked_Reuse_0 : 0
6.62/26.10	c (23,0) c Blocked_Reuse_1 : 0
6.62/26.10	c (23,0) c Blocked_Reuse_2 : 0
6.62/26.10	c (23,0) c Blocked_Reuse_3 : 0
6.62/26.10	c (23,0) c Blocked_Reuse_4 : 0
6.62/26.10	c (23,0) c Blocked_Reuse_5 : 0
6.62/26.10	c (23,0) c Blocked_Reuse_6 : 0
6.62/26.10	c (23,0) c Blocked_Reuse_7 : 0
6.62/26.10	c (23,0) c Blocked_Reuse_total : 0
6.62/26.10	c (23,0) c Blocked_Reuse_winner : 0
6.62/26.10	c (23,0) c Unaries_0 : 3
6.62/26.10	c (23,0) c Unaries_1 : 1
6.62/26.10	c (23,0) c Unaries_2 : 1
6.62/26.10	c (23,0) c Unaries_3 : 2
6.62/26.10	c (23,0) c Unaries_4 : 1
6.62/26.10	c (23,0) c Unaries_5 : 1
6.62/26.10	c (23,0) c Unaries_6 : 1
6.62/26.10	c (23,0) c Unaries_7 : 2
6.62/26.10	c (23,0) c Unaries_total : 12
6.62/26.10	c (23,0) c Unaries_winner : 1
6.62/26.10	c (23,0) c Binaries_0 : 10
6.62/26.10	c (23,0) c Binaries_1 : 5
6.62/26.10	c (23,0) c Binaries_2 : 8
6.62/26.10	c (23,0) c Binaries_3 : 9
6.62/26.10	c (23,0) c Binaries_4 : 7
6.62/26.10	c (23,0) c Binaries_5 : 8
6.62/26.10	c (23,0) c Binaries_6 : 9
6.62/26.10	c (23,0) c Binaries_7 : 12
6.62/26.10	c (23,0) c Binaries_total : 68
6.62/26.10	c (23,0) c Binaries_winner : 5
6.62/26.10	c (23,0) c Glues_0 : 124
6.62/26.10	c (23,0) c Glues_1 : 142
6.62/26.10	c (23,0) c Glues_2 : 149
6.62/26.10	c (23,0) c Glues_3 : 129
6.62/26.10	c (23,0) c Glues_4 : 112
6.62/26.10	c (23,0) c Glues_5 : 128
6.62/26.10	c (23,0) c Glues_6 : 136
6.62/26.10	c (23,0) c Glues_7 : 147
6.62/26.10	c (23,0) c Glues_total : 1067
6.62/26.10	c (23,0) c Glues_winner : 142
6.62/26.10	c (23,0) c RunningTime_0 : 22.498442
6.62/26.10	c (23,0) c RunningTime_1 : 22.278861
6.62/26.10	c (23,0) c RunningTime_2 : 22.374720
6.62/26.10	c (23,0) c RunningTime_3 : 22.296052
6.62/26.10	c (23,0) c RunningTime_4 : 22.908818
6.62/26.10	c (23,0) c RunningTime_5 : 22.302070
6.62/26.10	c (23,0) c RunningTime_6 : 22.282039
6.62/26.10	c (23,0) c RunningTime_7 : 22.371830
6.62/26.10	c (23,0) c RunningTime_total : 179.312832
6.62/26.10	c (23,0) c RunningTime_winner : 22.278861
6.62/26.10	c (23,0) c WaitingTime_0 : 0.000231
6.62/26.10	c (23,0) c WaitingTime_1 : 0.000242
6.62/26.10	c (23,0) c WaitingTime_2 : 0.000260
6.62/26.10	c (23,0) c WaitingTime_3 : 0.000225
6.62/26.10	c (23,0) c WaitingTime_4 : 0.000196
6.62/26.10	c (23,0) c WaitingTime_5 : 0.000260
6.62/26.10	c (23,0) c WaitingTime_6 : 0.000284
6.62/26.10	c (23,0) c WaitingTime_7 : 0.000300
6.62/26.10	c (23,0) c WaitingTime_total : 0.001997
6.62/26.10	c (23,0) c WaitingTime_winner : 0.000242
6.62/26.10	c (23,0) c ExchangingTime_0 : 0.035092
6.62/26.10	c (23,0) c ExchangingTime_1 : 0.036873
6.62/26.10	c (23,0) c ExchangingTime_2 : 0.041097
6.62/26.10	c (23,0) c ExchangingTime_3 : 0.041327
6.62/26.10	c (23,0) c ExchangingTime_4 : 0.038172
6.62/26.10	c (23,0) c ExchangingTime_5 : 0.039724
6.62/26.10	c (23,0) c ExchangingTime_6 : 0.037753
6.62/26.10	c (23,0) c ExchangingTime_7 : 0.039265
6.62/26.10	c (23,0) c ExchangingTime_total : 0.309304
6.62/26.10	c (23,0) c ExchangingTime_winner : 0.036873
6.62/26.10	c (23,0) c PeriodProcTime_0 : 0.001357
6.62/26.10	c (23,0) c PeriodProcTime_1 : 0.001566
6.62/26.10	c (23,0) c PeriodProcTime_2 : 0.001613
6.62/26.10	c (23,0) c PeriodProcTime_3 : 0.001544
6.62/26.10	c (23,0) c PeriodProcTime_4 : 0.001560
6.62/26.10	c (23,0) c PeriodProcTime_5 : 0.001396
6.62/26.10	c (23,0) c PeriodProcTime_6 : 0.001816
6.62/26.10	c (23,0) c PeriodProcTime_7 : 0.001602
6.62/26.10	c (23,0) c PeriodProcTime_total : 0.012454
6.62/26.10	c (23,0) c PeriodProcTime_winner : 0.001566
6.62/26.10	c (23,0) c SolvingTime_0 : 22.535123
6.62/26.10	c (23,0) c SolvingTime_1 : 22.317542
6.62/26.10	c (23,0) c SolvingTime_2 : 22.417691
6.62/26.10	c (23,0) c SolvingTime_3 : 22.339149
6.62/26.10	c (23,0) c SolvingTime_4 : 22.948745
6.62/26.10	c (23,0) c SolvingTime_5 : 22.343450
6.62/26.10	c (23,0) c SolvingTime_6 : 22.321891
6.62/26.10	c (23,0) c SolvingTime_7 : 22.412996
6.62/26.10	c (23,0) c SolvingTime_total : 179.636587
6.62/26.10	c (23,0) c SolvingTime_winner : 22.317542
6.62/26.10	c (23,0) c PropagationTime_0 : 19.404931
6.62/26.10	c (23,0) c PropagationTime_1 : 19.482362
6.62/26.10	c (23,0) c PropagationTime_2 : 19.605630
6.62/26.10	c (23,0) c PropagationTime_3 : 19.465769
6.62/26.10	c (23,0) c PropagationTime_4 : 19.814872
6.62/26.10	c (23,0) c PropagationTime_5 : 19.241159
6.62/26.10	c (23,0) c PropagationTime_6 : 19.105246
6.62/26.10	c (23,0) c PropagationTime_7 : 19.454163
6.62/26.10	c (23,0) c PropagationTime_total : 155.574132
6.62/26.10	c (23,0) c PropagationTime_winner : 19.482362
6.62/26.10	c (23,0) c AnalysisTime_0 : 2.522795
6.62/26.10	c (23,0) c AnalysisTime_1 : 2.192880
6.62/26.10	c (23,0) c AnalysisTime_2 : 2.193715
6.62/26.10	c (23,0) c AnalysisTime_3 : 2.229262
6.62/26.10	c (23,0) c AnalysisTime_4 : 2.500063
6.62/26.10	c (23,0) c AnalysisTime_5 : 2.452754
6.62/26.10	c (23,0) c AnalysisTime_6 : 2.590163
6.62/26.10	c (23,0) c AnalysisTime_7 : 2.321320
6.62/26.10	c (23,0) c AnalysisTime_total : 19.002953
6.62/26.10	c (23,0) c AnalysisTime_winner : 2.192880
6.62/26.10	c (23,0) c ReductionTime_0 : 0.156101
6.62/26.10	c (23,0) c ReductionTime_1 : 0.178835
6.62/26.10	c (23,0) c ReductionTime_2 : 0.165382
6.62/26.10	c (23,0) c ReductionTime_3 : 0.170751
6.62/26.10	c (23,0) c ReductionTime_4 : 0.170228
6.62/26.10	c (23,0) c ReductionTime_5 : 0.165700
6.62/26.10	c (23,0) c ReductionTime_6 : 0.164133
6.62/26.10	c (23,0) c ReductionTime_7 : 0.167078
6.62/26.10	c (23,0) c ReductionTime_total : 1.338209
6.62/26.10	c (23,0) c ReductionTime_winner : 0.178835
6.62/26.10	c (23,0) c SimplifyTime_0 : 0.008526
6.62/26.10	c (23,0) c SimplifyTime_1 : 0.005032
6.62/26.10	c (23,0) c SimplifyTime_2 : 0.004878
6.62/26.10	c (23,0) c SimplifyTime_3 : 0.004871
6.62/26.10	c (23,0) c SimplifyTime_4 : 0.005540
6.62/26.10	c (23,0) c SimplifyTime_5 : 0.008598
6.62/26.10	c (23,0) c SimplifyTime_6 : 0.005265
6.62/26.10	c (23,0) c SimplifyTime_7 : 0.003970
6.62/26.10	c (23,0) c SimplifyTime_total : 0.046679
6.62/26.10	c (23,0) c SimplifyTime_winner : 0.005032
6.62/26.10	c (23,0) c UsedRateTime_0 : 0.000000
6.62/26.10	c (23,0) c UsedRateTime_1 : 0.000000
6.62/26.10	c (23,0) c UsedRateTime_2 : 0.000000
6.62/26.10	c (23,0) c UsedRateTime_3 : 0.000000
6.62/26.10	c (23,0) c UsedRateTime_4 : 0.000000
6.62/26.10	c (23,0) c UsedRateTime_5 : 0.000000
6.62/26.10	c (23,0) c UsedRateTime_6 : 0.000000
6.62/26.10	c (23,0) c UsedRateTime_7 : 0.000000
6.62/26.10	c (23,0) c UsedRateTime_total : 0.000000
6.62/26.10	c (23,0) c UsedRateTime_winner : 0.000000
6.62/26.10	c (23,0) c OverlapRateTime_0 : 0.000000
6.62/26.10	c (23,0) c OverlapRateTime_1 : 0.000000
6.62/26.10	c (23,0) c OverlapRateTime_2 : 0.000000
6.62/26.10	c (23,0) c OverlapRateTime_3 : 0.000000
6.62/26.10	c (23,0) c OverlapRateTime_4 : 0.000000
6.62/26.10	c (23,0) c OverlapRateTime_5 : 0.000000
6.62/26.10	c (23,0) c OverlapRateTime_6 : 0.000000
6.62/26.10	c (23,0) c OverlapRateTime_7 : 0.000000
6.62/26.10	c (23,0) c OverlapRateTime_total : 0.000000
6.62/26.10	c (23,0) c OverlapRateTime_winner : 0.000000
6.62/26.10	c (23,0) c
6.62/26.10	c (23,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
6.62/26.10	c (23,0) c
6.62/26.10	c (23,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.62/26.10	c (23,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.62/26.10	c (23,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.62/26.10	c (23,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
6.62/26.10	c (23,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
6.62/26.10	c (23,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
6.62/26.10	c (23,0) c | Initial random_seed   |  359170955 | 1680590881 |  947206640 | 1942693503 | 1576204636 | 1938592876 |  754644735 |  170579985 |
6.62/26.10	c (23,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
6.62/26.10	c (23,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
6.62/26.10	c (23,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
6.62/26.10	c (23,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
6.62/26.10	c (23,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
6.62/26.10	c (23,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
6.62/26.10	c (23,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
6.62/26.10	c (23,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
6.62/26.10	c (23,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
6.62/26.10	c (23,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
6.62/26.10	c (23,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
6.62/26.10	c (23,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.62/26.10	c (23,0) 
6.62/26.11	c (23,0) s SATISFIABLE
6.62/26.13	c (23,0) SatSolver.solve End
6.62/26.13	c (23,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
6.62/26.13	c (23,0) Show results Begin
186.16/26.22	c (23,0) x[0] = 65
186.16/26.22	c (23,0) x[1] = 65
186.16/26.22	c (23,0) x[2] = 62
186.16/26.22	c (23,0) x[3] = 75
186.16/26.22	c (23,0) x[4] = 62
186.16/26.22	c (23,0) x[5] = 54
186.16/26.22	c (23,0) x[6] = 38
186.16/26.22	c (23,0) x[7] = 54
186.16/26.22	c (23,0) x[8] = 79
186.16/26.22	c (23,0) x[9] = 79
186.16/26.22	c (23,0) x[10] = 67
186.16/26.22	c (23,0) x[11] = 75
186.16/26.22	c (23,0) x[12] = 48
186.16/26.22	c (23,0) x[13] = 38
186.16/26.22	c (23,0) x[14] = 66
186.16/26.22	c (23,0) x[15] = 48
186.16/26.22	c (23,0) x[16] = 54
186.16/26.22	c (23,0) x[17] = 0
186.16/26.22	c (23,0) x[18] = 98
186.16/26.22	c (23,0) x[19] = 95
186.16/26.22	c (23,0) x[20] = 0
186.16/26.22	c (23,0) x[21] = 87
186.16/26.22	c (23,0) x[22] = 0
186.16/26.22	c (23,0) y[0] = 53
186.16/26.22	c (23,0) y[1] = 51
186.16/26.22	c (23,0) y[2] = 51
186.16/26.22	c (23,0) y[3] = 113
186.16/26.22	c (23,0) y[4] = 46
186.16/26.22	c (23,0) y[5] = 46
186.16/26.22	c (23,0) y[6] = 82
186.16/26.22	c (23,0) y[7] = 33
186.16/26.22	c (23,0) y[8] = 82
186.16/26.22	c (23,0) y[9] = 98
186.16/26.22	c (23,0) y[10] = 33
186.16/26.22	c (23,0) y[11] = 117
186.16/26.22	c (23,0) y[12] = 113
186.16/26.22	c (23,0) y[13] = 54
186.16/26.22	c (23,0) y[14] = 53
186.16/26.22	c (23,0) y[15] = 82
186.16/26.22	c (23,0) y[16] = 0
186.16/26.22	c (23,0) y[17] = 54
186.16/26.22	c (23,0) y[18] = 98
186.16/26.22	c (23,0) y[19] = 53
186.16/26.22	c (23,0) y[20] = 92
186.16/26.22	c (23,0) y[21] = 0
186.16/26.22	c (23,0) y[22] = 0
186.16/26.22	s SATISFIABLE
186.16/26.23	v <instantiation>
186.16/26.23	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22]</list>
186.16/26.23	v     <values>65 65 62 75 62 54 38 54 79 79 67 75 48 38 66 48 54 0 98 95 0 87 0 53 51 51 113 46 46 82 33 82 98 33 117 113 54 53 82 0 54 98 53 92 0 0</values>
186.16/26.23	v </instantiation>
186.16/26.23	c (23,0) Show results End
186.16/26.23	c (23,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
186.16/26.23	c (23,0) 23,23,STOP-AFTER(ALL)
186.16/26.23	c END-Prog: Tue Sep 24 17:16:16 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

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


[startup+0.100106 s]*
/proc/loadavg: 7.54 7.57 5.50 2/211 774
/proc/meminfo: memFree=24401820/32770624 swapFree=66996984/67108860
[pid=752] ppid=749 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/752/stat : 752 (scop.sh) S 749 752 395 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 510086583 115843072 350 33554432000 4194304 5098028 140731932747808 140731932745064 140518575972988 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16662528 140731932750589 140731932750936 140731932750936 140731932753865 0
/proc/752/statm: 28282 350 297 221 0 87 0
[pid=755] ppid=752 vsize=27314120 memory=108084 CPUtime=0.1 cores=0-7
/proc/755/stat : 755 (java) S 752 752 395 0 -1 1077944320 6607 0 0 0 7 3 0 0 20 0 20 0 510086583 27969658880 27021 33554432000 4194304 4196468 140722835315136 140722835297680 140350149517047 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
/proc/755/statm: 6828530 27021 2776 1 0 6790935 0
[pid=755/tid=756] ppid=752 vsize=27314120 memory=8390339637985935414 CPUtime=0.08 cores=0-7
/proc/755/task/756/stat : 756 (java) R 752 752 395 0 -1 4202560 4731 0 0 0 6 2 0 0 20 0 20 0 510086584 27969658880 27021 33554432000 4194304 4196468 140722835315136 140350121330288 140350133597460 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=757] ppid=752 vsize=27314120 memory=288230596134830103 CPUtime=0 cores=0-7
/proc/755/task/757/stat : 757 (java) S 752 752 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086586 27969658880 27021 33554432000 4194304 4196468 140722835315136 140350153759504 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=758] ppid=752 vsize=27314120 memory=140301820975734 CPUtime=0 cores=0-7
/proc/755/task/758/stat : 758 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086586 27969658880 27021 33554432000 4194304 4196468 140722835315136 140349937154960 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=759] ppid=752 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/755/task/759/stat : 759 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086586 27969658880 27021 33554432000 4194304 4196468 140722835315136 140349936102416 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=760] ppid=752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/755/task/760/stat : 760 (java) S 752 752 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510086586 27969658880 27021 33554432000 4194304 4196468 140722835315136 140349569752208 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=761] ppid=752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/755/task/761/stat : 761 (java) S 752 752 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086586 27969658880 27021 33554432000 4194304 4196468 140722835315136 140349568698640 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=762] ppid=752 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/755/task/762/stat : 762 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086586 27969658880 27021 33554432000 4194304 4196468 140722835315136 140349567646096 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=763] ppid=752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/755/task/763/stat : 763 (java) S 752 752 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086586 27969658880 27021 33554432000 4194304 4196468 140722835315136 140349566593552 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=764] ppid=752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/755/task/764/stat : 764 (java) S 752 752 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086586 27969658880 27021 33554432000 4194304 4196468 140722835315136 140349565541008 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=765] ppid=752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/755/task/765/stat : 765 (java) S 752 752 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086588 27969658880 27021 33554432000 4194304 4196468 140722835315136 140349140716016 140350149528194 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=766] ppid=752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/755/task/766/stat : 766 (java) S 752 752 395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510086588 27969658880 27021 33554432000 4194304 4196468 140722835315136 140348055610784 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=767] ppid=752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/755/task/767/stat : 767 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086589 27969658880 27021 33554432000 4194304 4196468 140722835315136 140347787175408 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=768] ppid=752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/755/task/768/stat : 768 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086591 27969658880 27086 33554432000 4194304 4196468 140722835315136 140347412667088 140350149535643 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=769] ppid=752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/755/task/769/stat : 769 (java) S 752 752 395 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 510086591 27969658880 27086 33554432000 4194304 4196468 140722835315136 140349139662832 140350149528194 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=770] ppid=752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/755/task/770/stat : 770 (java) S 752 752 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510086591 27969658880 27086 33554432000 4194304 4196468 140722835315136 140349138610288 140350149528194 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=771] ppid=752 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/755/task/771/stat : 771 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086591 27969658880 27086 33554432000 4194304 4196468 140722835315136 140349137557744 140350149528194 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=772] ppid=752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/755/task/772/stat : 772 (java) S 752 752 395 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 20 0 510086591 27969658880 27086 33554432000 4194304 4196468 140722835315136 140349136505200 140350149528194 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=773] ppid=752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/755/task/773/stat : 773 (java) S 752 752 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510086591 27969658880 27086 33554432000 4194304 4196468 140722835315136 140346914761440 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=774] ppid=752 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/755/task/774/stat : 774 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086591 27969658880 27086 33554432000 4194304 4196468 140722835315136 140349135453104 140350149528194 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109484 KiB

[startup+0.210186 s]*
/proc/loadavg: 7.54 7.57 5.50 5/211 774
/proc/meminfo: memFree=24380420/32770624 swapFree=66996984/67108860
[pid=752] ppid=749 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/752/stat : 752 (scop.sh) S 749 752 395 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 510086583 115843072 350 33554432000 4194304 5098028 140731932747808 140731932745064 140518575972988 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16662528 140731932750589 140731932750936 140731932750936 140731932753865 0
/proc/752/statm: 28282 350 297 221 0 87 0
[pid=755] ppid=752 vsize=27314120 memory=127412 CPUtime=0.25 cores=0-7
/proc/755/stat : 755 (java) S 752 752 395 0 -1 1077944320 12250 0 0 0 20 5 0 0 20 0 20 0 510086583 27969658880 31853 33554432000 4194304 4196468 140722835315136 140722835297680 140350149517047 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
/proc/755/statm: 6828530 31853 2941 1 0 6790935 0
[pid=755/tid=756] ppid=752 vsize=27314120 memory=8390339637985935414 CPUtime=0.2 cores=0-7
/proc/755/task/756/stat : 756 (java) R 752 752 395 0 -1 4202560 9976 0 0 0 16 4 0 0 20 0 20 0 510086584 27969658880 31853 33554432000 4194304 4196468 140722835315136 140350121316432 140350129792377 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=757] ppid=752 vsize=27314120 memory=288230596134830103 CPUtime=0 cores=0-7
/proc/755/task/757/stat : 757 (java) S 752 752 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086586 27969658880 31853 33554432000 4194304 4196468 140722835315136 140350153759504 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=758] ppid=752 vsize=27314120 memory=140301820975734 CPUtime=0 cores=0-7
/proc/755/task/758/stat : 758 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086586 27969658880 31853 33554432000 4194304 4196468 140722835315136 140349937154960 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=759] ppid=752 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/755/task/759/stat : 759 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086586 27969658880 31853 33554432000 4194304 4196468 140722835315136 140349936102416 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=760] ppid=752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/755/task/760/stat : 760 (java) S 752 752 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510086586 27969658880 31853 33554432000 4194304 4196468 140722835315136 140349569752208 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=761] ppid=752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/755/task/761/stat : 761 (java) S 752 752 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086586 27969658880 31853 33554432000 4194304 4196468 140722835315136 140349568698640 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=762] ppid=752 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/755/task/762/stat : 762 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086586 27969658880 31853 33554432000 4194304 4196468 140722835315136 140349567646096 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=763] ppid=752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/755/task/763/stat : 763 (java) S 752 752 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086586 27969658880 31853 33554432000 4194304 4196468 140722835315136 140349566593552 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=764] ppid=752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/755/task/764/stat : 764 (java) S 752 752 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086586 27969658880 31853 33554432000 4194304 4196468 140722835315136 140349565541008 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=765] ppid=752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/755/task/765/stat : 765 (java) S 752 752 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086588 27969658880 31853 33554432000 4194304 4196468 140722835315136 140349140716016 140350149528194 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=766] ppid=752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/755/task/766/stat : 766 (java) S 752 752 395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510086588 27969658880 31853 33554432000 4194304 4196468 140722835315136 140348055610784 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=767] ppid=752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/755/task/767/stat : 767 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086589 27969658880 31853 33554432000 4194304 4196468 140722835315136 140347787175408 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=768] ppid=752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/755/task/768/stat : 768 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086591 27969658880 31853 33554432000 4194304 4196468 140722835315136 140347412667088 140350149535643 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=769] ppid=752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/755/task/769/stat : 769 (java) S 752 752 395 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 510086591 27969658880 31853 33554432000 4194304 4196468 140722835315136 140349139662832 140350149528194 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=770] ppid=752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/755/task/770/stat : 770 (java) S 752 752 395 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 510086591 27969658880 31853 33554432000 4194304 4196468 140722835315136 140349138610288 140350149528194 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=771] ppid=752 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/755/task/771/stat : 771 (java) S 752 752 395 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 20 0 510086591 27969658880 31853 33554432000 4194304 4196468 140722835315136 140349137557744 140350149528194 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=772] ppid=752 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/755/task/772/stat : 772 (java) S 752 752 395 0 -1 1077944384 446 0 0 0 2 0 0 0 20 0 20 0 510086591 27969658880 31853 33554432000 4194304 4196468 140722835315136 140349136505200 140350149528194 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=773] ppid=752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/755/task/773/stat : 773 (java) S 752 752 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510086591 27969658880 31853 33554432000 4194304 4196468 140722835315136 140346914761440 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=774] ppid=752 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/755/task/774/stat : 774 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086591 27969658880 31853 33554432000 4194304 4196468 140722835315136 140349135453104 140350149528194 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128812 KiB

[startup+0.309453 s]*
/proc/loadavg: 7.54 7.57 5.50 2/211 774
/proc/meminfo: memFree=24377124/32770624 swapFree=66996984/67108860
[pid=752] ppid=749 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/752/stat : 752 (scop.sh) S 749 752 395 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 510086583 115843072 350 33554432000 4194304 5098028 140731932747808 140731932745064 140518575972988 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16662528 140731932750589 140731932750936 140731932750936 140731932753865 0
/proc/752/statm: 28282 350 297 221 0 87 0
[pid=755] ppid=752 vsize=27314120 memory=131556 CPUtime=0.42 cores=0-7
/proc/755/stat : 755 (java) S 752 752 395 0 -1 1077944320 12759 0 0 0 37 5 0 0 20 0 20 0 510086583 27969658880 32889 33554432000 4194304 4196468 140722835315136 140722835297680 140350149517047 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
/proc/755/statm: 6828530 32889 3034 1 0 6790935 0
[pid=755/tid=756] ppid=752 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/755/task/756/stat : 756 (java) R 752 752 395 0 -1 4202560 10296 0 0 0 26 4 0 0 20 0 20 0 510086584 27969658880 32889 33554432000 4194304 4196468 140722835315136 140350121342720 140350133597534 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=757] ppid=752 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/755/task/757/stat : 757 (java) S 752 752 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086586 27969658880 32889 33554432000 4194304 4196468 140722835315136 140350153759504 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=758] ppid=752 vsize=27314120 memory=1428 CPUtime=0 cores=0-7
/proc/755/task/758/stat : 758 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086586 27969658880 32889 33554432000 4194304 4196468 140722835315136 140349937154960 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=759] ppid=752 vsize=27314120 memory=1060 CPUtime=0 cores=0-7
/proc/755/task/759/stat : 759 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086586 27969658880 32889 33554432000 4194304 4196468 140722835315136 140349936102416 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=760] ppid=752 vsize=27314120 memory=740 CPUtime=0 cores=0-7
/proc/755/task/760/stat : 760 (java) S 752 752 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510086586 27969658880 32889 33554432000 4194304 4196468 140722835315136 140349569752208 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=761] ppid=752 vsize=27314120 memory=1228 CPUtime=0 cores=0-7
/proc/755/task/761/stat : 761 (java) S 752 752 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086586 27969658880 32889 33554432000 4194304 4196468 140722835315136 140349568698640 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=762] ppid=752 vsize=27314120 memory=9520 CPUtime=0 cores=0-7
/proc/755/task/762/stat : 762 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086586 27969658880 32889 33554432000 4194304 4196468 140722835315136 140349567646096 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=763] ppid=752 vsize=27314120 memory=4076 CPUtime=0 cores=0-7
/proc/755/task/763/stat : 763 (java) S 752 752 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086586 27969658880 32889 33554432000 4194304 4196468 140722835315136 140349566593552 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=764] ppid=752 vsize=27314120 memory=2836 CPUtime=0 cores=0-7
/proc/755/task/764/stat : 764 (java) S 752 752 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086586 27969658880 32889 33554432000 4194304 4196468 140722835315136 140349565541008 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=765] ppid=752 vsize=27314120 memory=1540 CPUtime=0 cores=0-7
/proc/755/task/765/stat : 765 (java) S 752 752 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086588 27969658880 32889 33554432000 4194304 4196468 140722835315136 140349140716016 140350149528194 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=766] ppid=752 vsize=27314120 memory=1732 CPUtime=0 cores=0-7
/proc/755/task/766/stat : 766 (java) S 752 752 395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510086588 27969658880 32889 33554432000 4194304 4196468 140722835315136 140348055610784 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=767] ppid=752 vsize=27314120 memory=6128 CPUtime=0 cores=0-7
/proc/755/task/767/stat : 767 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086589 27969658880 32889 33554432000 4194304 4196468 140722835315136 140347787175408 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=768] ppid=752 vsize=27314120 memory=772 CPUtime=0 cores=0-7
/proc/755/task/768/stat : 768 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086591 27969658880 32889 33554432000 4194304 4196468 140722835315136 140347412667088 140350149535643 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=769] ppid=752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/755/task/769/stat : 769 (java) S 752 752 395 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 510086591 27969658880 32889 33554432000 4194304 4196468 140722835315136 140349139662832 140350149528194 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=770] ppid=752 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/755/task/770/stat : 770 (java) R 752 752 395 0 -1 4202560 110 0 0 0 2 0 0 0 20 0 20 0 510086591 27969658880 32889 33554432000 4194304 4196468 140722835315136 140349138610288 140350134883571 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=771] ppid=752 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/755/task/771/stat : 771 (java) S 752 752 395 0 -1 1077944384 220 0 0 0 1 0 0 0 20 0 20 0 510086591 27969658880 32889 33554432000 4194304 4196468 140722835315136 140349137557744 140350149528194 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=772] ppid=752 vsize=27314120 memory=0 CPUtime=0.07 cores=0-7
/proc/755/task/772/stat : 772 (java) S 752 752 395 0 -1 1077944384 492 0 0 0 7 0 0 0 20 0 20 0 510086591 27969658880 32889 33554432000 4194304 4196468 140722835315136 140349136505200 140350149528194 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=773] ppid=752 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/755/task/773/stat : 773 (java) S 752 752 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510086591 27969658880 32889 33554432000 4194304 4196468 140722835315136 140346914761440 140350149527253 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=774] ppid=752 vsize=27314120 memory=27969658879 CPUtime=0 cores=0-7
/proc/755/task/774/stat : 774 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086591 27969658880 32889 33554432000 4194304 4196468 140722835315136 140349135453104 140350149528194 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 132956 KiB

[startup+0.700916 s]
/proc/loadavg: 7.54 7.57 5.50 4/211 774
/proc/meminfo: memFree=24356276/32770624 swapFree=66996984/67108860
[pid=752] ppid=749 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/752/stat : 752 (scop.sh) S 749 752 395 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 510086583 115843072 350 33554432000 4194304 5098028 140731932747808 140731932745064 140518575972988 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16662528 140731932750589 140731932750936 140731932750936 140731932753865 0
/proc/752/statm: 28282 350 297 221 0 87 0
[pid=755] ppid=752 vsize=27322516 memory=167372 CPUtime=0.99 cores=0-7
/proc/755/stat : 755 (java) S 752 752 395 0 -1 1077944320 20473 0 0 0 91 8 0 0 20 0 20 0 510086583 27978256384 41843 33554432000 4194304 4196468 140722835315136 140722835297680 140350149517047 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
/proc/755/statm: 6830629 41843 3184 1 0 6791959 0
[pid=755/tid=756] ppid=752 vsize=27322516 memory=7379548651516027736 CPUtime=0.67 cores=0-7
/proc/755/task/756/stat : 756 (java) R 752 752 395 0 -1 4202560 17493 0 0 0 61 6 0 0 20 0 20 0 510086584 27978256384 41843 33554432000 4194304 4196468 140722835315136 140350121348816 140350133597534 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=757] ppid=752 vsize=27322516 memory=140301817738880 CPUtime=0 cores=0-7
/proc/755/task/757/stat : 757 (java) S 752 752 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510086586 27978256384 41843 33554432000 4194304 4196468 140722835315136 140350153759504 140350149527253 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=758] ppid=752 vsize=27322516 memory=280603367202272 CPUtime=0 cores=0-7
/proc/755/task/758/stat : 758 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086586 27978256384 41843 33554432000 4194304 4196468 140722835315136 140349937154960 140350149527253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0
[pid=755/tid=759] ppid=752 vsize=27322516 memory=2004 CPUtime=0 cores=0-7
/proc/755/task/759/stat : 759 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510086586 27978256384 41843 33554432000 4194304 4196468 140722835315136 140349936102416 140350149527253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23363584 140722835321545 140722835321990 140722835321990 140722835324879 0

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

/proc/775/task/784/stat : 784 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510086809 8616062976 30007 33554432000 4194304 4196468 140728321093648 140676543835280 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=785] ppid=752 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/775/task/785/stat : 785 (java) S 752 752 395 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510086811 8616062976 30007 33554432000 4194304 4196468 140728321093648 140676494104560 140677065050754 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=786] ppid=752 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/775/task/786/stat : 786 (java) S 752 752 395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510086811 8616062976 30007 33554432000 4194304 4196468 140728321093648 140675681084320 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=787] ppid=752 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/775/task/787/stat : 787 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510086812 8616062976 30007 33554432000 4194304 4196468 140728321093648 140675412648944 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=788] ppid=752 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/775/task/788/stat : 788 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510086814 8616062976 30007 33554432000 4194304 4196468 140728321093648 140675038140624 140677065058203 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=789] ppid=752 vsize=8414124 memory=120028 CPUtime=0.06 cores=0-7
/proc/775/task/789/stat : 789 (java) S 752 752 395 0 -1 1077944384 603 0 0 0 6 0 0 0 20 0 24 0 510086816 8616062976 30007 33554432000 4194304 4196468 140728321093648 140676493052400 140677065050754 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=790] ppid=752 vsize=8414124 memory=1476 CPUtime=0.04 cores=0-7
/proc/775/task/790/stat : 790 (java) S 752 752 395 0 -1 1077944384 282 0 0 0 4 0 0 0 20 0 24 0 510086816 8616062976 30007 33554432000 4194304 4196468 140728321093648 140676491999856 140677065050754 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=791] ppid=752 vsize=8414124 memory=120028 CPUtime=0.06 cores=0-7
/proc/775/task/791/stat : 791 (java) S 752 752 395 0 -1 1077944384 276 0 0 0 6 0 0 0 20 0 24 0 510086816 8616062976 30007 33554432000 4194304 4196468 140728321093648 140676490947312 140677065050754 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=792] ppid=752 vsize=8414124 memory=273564 CPUtime=0.18 cores=0-7
/proc/775/task/792/stat : 792 (java) S 752 752 395 0 -1 1077944384 500 0 0 0 18 0 0 0 20 0 24 0 510086816 8616062976 30007 33554432000 4194304 4196468 140728321093648 140676489894768 140677065050754 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=793] ppid=752 vsize=8414124 memory=7161658449353532776 CPUtime=0 cores=0-7
/proc/775/task/793/stat : 793 (java) S 752 752 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510086816 8616062976 30007 33554432000 4194304 4196468 140728321093648 140674540234976 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=794] ppid=752 vsize=8414124 memory=120028 CPUtime=0.01 cores=0-7
/proc/775/task/794/stat : 794 (java) S 752 752 395 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 510086816 8616062976 30007 33554432000 4194304 4196468 140728321093648 140676488841648 140677065050754 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=796] ppid=752 vsize=8414124 memory=207884 CPUtime=0 cores=0-7
/proc/775/task/796/stat : 796 (java) S 752 752 395 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510086882 8616062976 30007 33554432000 4194304 4196468 140728321093648 140676487230656 140677065064217 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=798] ppid=752 vsize=8414124 memory=9520 CPUtime=0 cores=0-7
/proc/775/task/798/stat : 798 (java) S 752 752 395 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510086882 8616062976 30007 33554432000 4194304 4196468 140728321093648 140673869135632 140677065061533 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=799] ppid=752 vsize=8414124 memory=3620 CPUtime=0 cores=0-7
/proc/775/task/799/stat : 799 (java) S 752 752 395 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510086882 8616062976 30007 33554432000 4194304 4196468 140728321093648 140674137571216 140677065061533 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=800] ppid=752 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/775/task/800/stat : 800 (java) S 752 752 395 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510086884 8616062976 30007 33554432000 4194304 4196468 140728321093648 140673600708272 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
Current children cumulated CPU time: 184.98 s
Current children cumulated vsize: 9204868 KiB
Current children cumulated memory: 393096 KiB

[startup+26.252 s]
# the end of solver process 752 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=185.553 s, system=0.710022 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+25.8012 s]
/proc/loadavg: 7.71 7.61 5.57 9/224 809
/proc/meminfo: memFree=24118216/32770624 swapFree=66996984/67108860
[pid=752] ppid=749 vsize=113128 memory=1476 CPUtime=5.46 cores=0-7
/proc/752/stat : 752 (scop.sh) S 749 752 395 0 -1 4202496 583 27624 0 0 0 0 527 19 20 0 1 0 510086583 115843072 369 33554432000 4194304 5098028 140731932747808 140731932744552 140518575972988 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16662528 140731932750589 140731932750936 140731932750936 140731932753865 0
/proc/752/statm: 28282 369 311 221 0 87 0
[pid=775] ppid=752 vsize=8414124 memory=120028 CPUtime=1.13 cores=0-7
/proc/775/stat : 775 (java) S 752 752 395 0 -1 1077944320 19945 0 0 0 106 7 0 0 20 0 24 0 510086808 8616062976 30007 33554432000 4194304 4196468 140728321093648 140728321076192 140677065039607 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
/proc/775/statm: 2103531 30007 3202 1 0 2064875 0
[pid=795] ppid=775 vsize=677616 memory=271596 CPUtime=178.98 cores=0-7
/proc/795/stat : 795 (manyglucose-4.1) S 775 752 395 0 -1 1077944320 139518 0 0 0 17859 39 0 0 20 0 2 0 510086881 693878784 67899 33554432000 4194304 4454172 140731884508832 140731884507216 140558462717687 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 6934528 140731884512079 140731884512284 140731884512284 140731884515254 0
/proc/795/statm: 169404 67899 415 64 0 165072 0
[pid=795/tid=805] ppid=775 vsize=677616 memory=-7003737579269690708 CPUtime=22.65 cores=0-7
/proc/795/task/805/stat : 805 (manyglucose-4.1) R 775 752 395 0 -1 4202560 15754 0 0 0 2261 4 0 0 20 0 2 0 510086896 693878784 67899 33554432000 4194304 4454172 140731884508832 140558405008488 4353718 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 6934528 140731884512079 140731884512284 140731884512284 140731884515254 0
[pid=775/tid=776] ppid=752 vsize=8414124 memory=8443538352883892301 CPUtime=0.74 cores=0-7
/proc/775/task/776/stat : 776 (java) S 752 752 395 0 -1 1077944384 16885 0 0 0 69 5 0 0 20 0 24 0 510086808 8616062976 30007 33554432000 4194304 4196468 140728321093648 140677036879776 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=777] ppid=752 vsize=8414124 memory=288292155850752805 CPUtime=0 cores=0-7
/proc/775/task/777/stat : 777 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510086809 8616062976 30007 33554432000 4194304 4196468 140728321093648 140677069281552 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=778] ppid=752 vsize=8414124 memory=3544955445930361121 CPUtime=0 cores=0-7
/proc/775/task/778/stat : 778 (java) S 752 752 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510086809 8616062976 30007 33554432000 4194304 4196468 140728321093648 140676550150544 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=779] ppid=752 vsize=8414124 memory=7521385556658645080 CPUtime=0 cores=0-7
/proc/775/task/779/stat : 779 (java) S 752 752 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510086809 8616062976 30007 33554432000 4194304 4196468 140728321093648 140676549098000 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=780] ppid=752 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/775/task/780/stat : 780 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510086809 8616062976 30007 33554432000 4194304 4196468 140728321093648 140676548045456 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=781] ppid=752 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/775/task/781/stat : 781 (java) S 752 752 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510086809 8616062976 30007 33554432000 4194304 4196468 140728321093648 140676546992912 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=782] ppid=752 vsize=8414124 memory=120028 CPUtime=0 cores=0-7
/proc/775/task/782/stat : 782 (java) S 752 752 395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510086809 8616062976 30007 33554432000 4194304 4196468 140728321093648 140676545940368 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=783] ppid=752 vsize=8414124 memory=232420 CPUtime=0 cores=0-7
/proc/775/task/783/stat : 783 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510086809 8616062976 30007 33554432000 4194304 4196468 140728321093648 140676544887824 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=784] ppid=752 vsize=8414124 memory=182448 CPUtime=0 cores=0-7
/proc/775/task/784/stat : 784 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510086809 8616062976 30007 33554432000 4194304 4196468 140728321093648 140676543835280 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=785] ppid=752 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/775/task/785/stat : 785 (java) S 752 752 395 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510086811 8616062976 30007 33554432000 4194304 4196468 140728321093648 140676494104560 140677065050754 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=786] ppid=752 vsize=8414124 memory=120028 CPUtime=0 cores=0-7
/proc/775/task/786/stat : 786 (java) S 752 752 395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510086811 8616062976 30007 33554432000 4194304 4196468 140728321093648 140675681084320 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=787] ppid=752 vsize=8414124 memory=205492 CPUtime=0 cores=0-7
/proc/775/task/787/stat : 787 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510086812 8616062976 30007 33554432000 4194304 4196468 140728321093648 140675412648944 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=788] ppid=752 vsize=8414124 memory=2004 CPUtime=0 cores=0-7
/proc/775/task/788/stat : 788 (java) S 752 752 395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510086814 8616062976 30007 33554432000 4194304 4196468 140728321093648 140675038140624 140677065058203 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=789] ppid=752 vsize=8414124 memory=1428 CPUtime=0.06 cores=0-7
/proc/775/task/789/stat : 789 (java) S 752 752 395 0 -1 1077944384 603 0 0 0 6 0 0 0 20 0 24 0 510086816 8616062976 30007 33554432000 4194304 4196468 140728321093648 140676493052400 140677065050754 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=790] ppid=752 vsize=8414124 memory=280603367261824 CPUtime=0.04 cores=0-7
/proc/775/task/790/stat : 790 (java) S 752 752 395 0 -1 1077944384 282 0 0 0 4 0 0 0 20 0 24 0 510086816 8616062976 30007 33554432000 4194304 4196468 140728321093648 140676491999856 140677065050754 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=791] ppid=752 vsize=8414124 memory=590288433611763242 CPUtime=0.06 cores=0-7
/proc/775/task/791/stat : 791 (java) S 752 752 395 0 -1 1077944384 276 0 0 0 6 0 0 0 20 0 24 0 510086816 8616062976 30007 33554432000 4194304 4196468 140728321093648 140676490947312 140677065050754 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=792] ppid=752 vsize=8414124 memory=13565 CPUtime=0.18 cores=0-7
/proc/775/task/792/stat : 792 (java) S 752 752 395 0 -1 1077944384 500 0 0 0 18 0 0 0 20 0 24 0 510086816 8616062976 30007 33554432000 4194304 4196468 140728321093648 140676489894768 140677065050754 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=793] ppid=752 vsize=8414124 memory=302339533577142630 CPUtime=0 cores=0-7
/proc/775/task/793/stat : 793 (java) S 752 752 395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510086816 8616062976 30007 33554432000 4194304 4196468 140728321093648 140674540234976 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=794] ppid=752 vsize=8414124 memory=3053811428158493008 CPUtime=0.01 cores=0-7
/proc/775/task/794/stat : 794 (java) S 752 752 395 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 510086816 8616062976 30007 33554432000 4194304 4196468 140728321093648 140676488841648 140677065050754 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=796] ppid=752 vsize=8414124 memory=3467841327405295936 CPUtime=0 cores=0-7
/proc/775/task/796/stat : 796 (java) S 752 752 395 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510086882 8616062976 30007 33554432000 4194304 4196468 140728321093648 140676487230656 140677065064217 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=798] ppid=752 vsize=8414124 memory=7156589670733795416 CPUtime=0 cores=0-7
/proc/775/task/798/stat : 798 (java) S 752 752 395 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510086882 8616062976 30007 33554432000 4194304 4196468 140728321093648 140673869135632 140677065061533 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=799] ppid=752 vsize=8414124 memory=7445122403691156079 CPUtime=0 cores=0-7
/proc/775/task/799/stat : 799 (java) S 752 752 395 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510086882 8616062976 30007 33554432000 4194304 4196468 140728321093648 140674137571216 140677065061533 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=800] ppid=752 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/775/task/800/stat : 800 (java) S 752 752 395 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510086884 8616062976 30007 33554432000 4194304 4196468 140728321093648 140673600708272 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
Current children cumulated CPU time: 185.57 s
Current children cumulated vsize: 9204868 KiB
Current children cumulated memory: 393100 KiB

[startup+26.2012 s]*
/proc/loadavg: 7.71 7.61 5.57 2/213 809
/proc/meminfo: memFree=24381924/32770624 swapFree=66996984/67108860
[pid=752] ppid=749 vsize=113128 memory=1476 CPUtime=5.46 cores=0-7
/proc/752/stat : 752 (scop.sh) S 749 752 395 0 -1 4202496 583 27624 0 0 0 0 527 19 20 0 1 0 510086583 115843072 369 33554432000 4194304 5098028 140731932747808 140731932744552 140518575972988 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16662528 140731932750589 140731932750936 140731932750936 140731932753865 0
/proc/752/statm: 28282 369 311 221 0 87 0
[pid=775] ppid=752 vsize=8283048 memory=127856 CPUtime=180.7 cores=0-7
/proc/775/stat : 775 (java) S 752 752 395 0 -1 1077944320 21466 139591 0 0 132 9 17888 41 20 0 22 0 510086808 8481841152 31964 33554432000 4194304 4196468 140728321093648 140728321076192 140677065039607 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
/proc/775/statm: 2070762 31964 3223 1 0 2032106 0
[pid=775/tid=776] ppid=752 vsize=8283048 memory=1398722017469774279 CPUtime=180.11 cores=0-7
/proc/775/task/776/stat : 776 (java) R 752 752 395 0 -1 4202560 17155 139591 0 0 76 6 17888 41 20 0 22 0 510086808 8481841152 32027 33554432000 4194304 4196468 140728321093648 140677036877088 140677065051542 0 4 2 25189581 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=777] ppid=752 vsize=8283048 memory=4126316290023845779 CPUtime=179.29 cores=0-7
/proc/775/task/777/stat : 777 (java) S 752 752 395 0 -1 1077944384 1 139591 0 0 0 0 17888 41 20 0 22 0 510086809 8481841152 32027 33554432000 4194304 4196468 140728321093648 140677069281552 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=778] ppid=752 vsize=8283048 memory=-7965950325593906079 CPUtime=179.29 cores=0-7
/proc/775/task/778/stat : 778 (java) S 752 752 395 0 -1 1077944384 3 139591 0 0 0 0 17888 41 20 0 22 0 510086809 8481841152 32027 33554432000 4194304 4196468 140728321093648 140676550150544 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=779] ppid=752 vsize=8283048 memory=6958453264360695866 CPUtime=179.29 cores=0-7
/proc/775/task/779/stat : 779 (java) S 752 752 395 0 -1 1077944384 2 139591 0 0 0 0 17888 41 20 0 22 0 510086809 8481841152 32027 33554432000 4194304 4196468 140728321093648 140676549098000 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=780] ppid=752 vsize=8283048 memory=-9001733975035308135 CPUtime=179.29 cores=0-7
/proc/775/task/780/stat : 780 (java) S 752 752 395 0 -1 1077944384 1 139591 0 0 0 0 17888 41 20 0 22 0 510086809 8481841152 32027 33554432000 4194304 4196468 140728321093648 140676548045456 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=781] ppid=752 vsize=8283048 memory=6946866654921323415 CPUtime=179.29 cores=0-7
/proc/775/task/781/stat : 781 (java) S 752 752 395 0 -1 1077944384 2 139591 0 0 0 0 17888 41 20 0 22 0 510086809 8481841152 32027 33554432000 4194304 4196468 140728321093648 140676546992912 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=782] ppid=752 vsize=8283048 memory=8401352418782109792 CPUtime=179.29 cores=0-7
/proc/775/task/782/stat : 782 (java) S 752 752 395 0 -1 1077944384 2 139591 0 0 0 0 17888 41 20 0 22 0 510086809 8481841152 32027 33554432000 4194304 4196468 140728321093648 140676545940368 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=783] ppid=752 vsize=8283048 memory=0 CPUtime=179.29 cores=0-7
/proc/775/task/783/stat : 783 (java) S 752 752 395 0 -1 1077944384 1 139591 0 0 0 0 17888 41 20 0 22 0 510086809 8481841152 32027 33554432000 4194304 4196468 140728321093648 140676544887824 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=784] ppid=752 vsize=8283048 memory=0 CPUtime=179.29 cores=0-7
/proc/775/task/784/stat : 784 (java) S 752 752 395 0 -1 1077944384 1 139591 0 0 0 0 17888 41 20 0 22 0 510086809 8481841152 32027 33554432000 4194304 4196468 140728321093648 140676543835280 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=785] ppid=752 vsize=8283048 memory=0 CPUtime=179.29 cores=0-7
/proc/775/task/785/stat : 785 (java) S 752 752 395 0 -1 1077944384 8 139591 0 0 0 0 17888 41 20 0 22 0 510086811 8481841152 32027 33554432000 4194304 4196468 140728321093648 140676494104560 140677065050754 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=786] ppid=752 vsize=8283048 memory=0 CPUtime=179.29 cores=0-7
/proc/775/task/786/stat : 786 (java) S 752 752 395 0 -1 1077944384 13 139591 0 0 0 0 17888 41 20 0 22 0 510086811 8481841152 32027 33554432000 4194304 4196468 140728321093648 140675681084320 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=787] ppid=752 vsize=8283048 memory=0 CPUtime=179.29 cores=0-7
/proc/775/task/787/stat : 787 (java) S 752 752 395 0 -1 1077944384 1 139591 0 0 0 0 17888 41 20 0 22 0 510086812 8481841152 32027 33554432000 4194304 4196468 140728321093648 140675412648944 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=788] ppid=752 vsize=8283048 memory=0 CPUtime=179.29 cores=0-7
/proc/775/task/788/stat : 788 (java) S 752 752 395 0 -1 1077944384 1 139591 0 0 0 0 17888 41 20 0 22 0 510086814 8481841152 32027 33554432000 4194304 4196468 140728321093648 140675038140624 140677065058203 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=789] ppid=752 vsize=8283048 memory=0 CPUtime=179.39 cores=0-7
/proc/775/task/789/stat : 789 (java) S 752 752 395 0 -1 1077944384 708 139591 0 0 10 0 17888 41 20 0 22 0 510086816 8481841152 32027 33554432000 4194304 4196468 140728321093648 140676493052400 140677065050754 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=790] ppid=752 vsize=8283048 memory=0 CPUtime=179.36 cores=0-7
/proc/775/task/790/stat : 790 (java) R 752 752 395 0 -1 4202560 361 139591 0 0 7 0 17888 41 20 0 22 0 510086816 8481841152 32027 33554432000 4194304 4196468 140728321093648 140676491999856 140677044291544 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=791] ppid=752 vsize=8283048 memory=0 CPUtime=179.37 cores=0-7
/proc/775/task/791/stat : 791 (java) S 752 752 395 0 -1 1077944384 360 139591 0 0 8 0 17888 41 20 0 22 0 510086816 8481841152 32027 33554432000 4194304 4196468 140728321093648 140676490947312 140677065050754 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=792] ppid=752 vsize=8283048 memory=0 CPUtime=179.53 cores=0-7
/proc/775/task/792/stat : 792 (java) S 752 752 395 0 -1 1077944384 931 139591 0 0 24 0 17888 41 20 0 22 0 510086816 8481841152 32027 33554432000 4194304 4196468 140728321093648 140676489894768 140677065050754 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=793] ppid=752 vsize=8283048 memory=0 CPUtime=179.29 cores=0-7
/proc/775/task/793/stat : 793 (java) S 752 752 395 0 -1 1077944384 3 139591 0 0 0 0 17888 41 20 0 22 0 510086816 8481841152 32027 33554432000 4194304 4196468 140728321093648 140674540234976 140677065049813 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=794] ppid=752 vsize=8283048 memory=0 CPUtime=179.3 cores=0-7
/proc/775/task/794/stat : 794 (java) S 752 752 395 0 -1 1077944384 3 139591 0 0 0 1 17888 41 20 0 22 0 510086816 8481841152 32027 33554432000 4194304 4196468 140728321093648 140676488841648 140677065050754 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=796] ppid=752 vsize=8283048 memory=0 CPUtime=179.29 cores=0-7
/proc/775/task/796/stat : 796 (java) S 752 752 395 0 -1 1077944384 31 139591 0 0 0 0 17888 41 20 0 22 0 510086882 8481841152 32027 33554432000 4194304 4196468 140728321093648 140676487229840 140677065050754 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
[pid=775/tid=800] ppid=752 vsize=8283048 memory=0 CPUtime=179.29 cores=0-7
/proc/775/task/800/stat : 800 (java) S 752 752 395 0 -1 1077944384 11 139591 0 0 0 0 17888 41 20 0 22 0 510086884 8481841152 32027 33554432000 4194304 4196468 140728321093648 140673600710064 140677065050754 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28409856 140728321098721 140728321098886 140728321098886 140728321101775 0
Current children cumulated CPU time: 186.16 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 129332 KiB

Child status: 0
Real time (s): 26.2521
CPU time (s): 186.263
CPU user time (s): 185.553
CPU system time (s): 0.710022
CPU usage (%): 709.517
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 573424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 185.553
system time used= 0.710022
maximum resident set size= 574784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189371
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12547
involuntary context switches= 2014


# summary of solver processes directly reported to runsolver:
#   pid: 752
#   total CPU time (s): 186.263
#   total CPU user time (s): 185.553
#   total CPU system time (s): 0.710022

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.273294 second user time and 0.37439 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-24 17:15:50
IDJOB=4405193
IDBENCH=127909
IDSOLVER=2867
FILE ID=node126/4405193-1569338188
RUNJOBID= node126-1569335941-423
PBS_JOBID= 21705059
Free space on /var/tmp= 13508 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-012.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405193-1569338188/watcher-4405193-1569338188 -o /var/tmp/evaluation-result-4405193-1569338188/solver-4405193-1569338188 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569335941-423 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405193-1569338188.xml

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

MD5SUM BENCH= 2f6e926eec9d3271c32e6368d6cce3f2
RANDOM SEED=969539028

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24499048 kB
MemAvailable:   31844540 kB
Buffers:           86164 kB
Cached:          7489332 kB
SwapCached:         7636 kB
Active:          3762896 kB
Inactive:        3822148 kB
Active(anon):       2072 kB
Inactive(anon):    57684 kB
Active(file):    3760824 kB
Inactive(file):  3764464 kB
Unevictable:      109424 kB
Mlocked:          109424 kB
SwapTotal:      67108860 kB
SwapFree:       66996984 kB
Dirty:             20584 kB
Writeback:             0 kB
AnonPages:        113056 kB
Mapped:            54116 kB
Shmem:             41564 kB
Slab:             277088 kB
SReclaimable:     248664 kB
SUnreclaim:        28424 kB
KernelStack:        3392 kB
PageTables:         5356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /var/tmp at the end= 13488 MiB
End job on node126 at 2019-09-24 17:16:17