Trace number 4405471

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)UNSAT 52.9071 9.55822

General information on the benchmark

NameKnights/Knights-m1-s1/
Knights-015-09.xml
MD5SUMcfe7c94c3eac37bc9c9baa094de7ccd9
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.089181
Satisfiable
(Un)Satisfiability was proved
Number of variables9
Number of constraints36
Number of domains1
Minimum domain size225
Maximum domain size225
Distribution of domain sizes[{"size":225,"count":9}]
Minimum variable degree7
Maximum variable degree7
Distribution of variable degrees[{"degree":7,"count":9}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":36}]
Number of extensional constraints0
Number of intensional constraints36
Distribution of constraint types[{"type":"intension","count":36}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.12	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-4524-serial-file.bin HOME/instance-4405471-1569238631.xml
0.59/1.29	
0.59/1.29	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.59/1.29	
0.71/1.46	c BEGIN-Prog: Mon Sep 23 12:35:11 CEST 2019
0.71/1.46	c PID: 4527
0.71/1.46	c IP: 172.20.3.107
0.71/1.46	c HOST: node107.alineos.net
0.71/1.47	c (0,0) Parsing Begin
1.39/1.82	c (0,0) Parsing End
1.39/1.82	c (0,0) CSP: 9 int (0 aux), 0 bool (0 aux), 36 ctr, max domain size 225
1.39/1.82	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/1.82	c (0,0) Constraint Name Generate Begin
1.39/1.83	c (0,0) Ctr:HOME/instance-4405471-1569238631.xml,And:Dist:Div:Eq:Mod:Ne:Num:Or:Var
1.39/1.83	c (0,0) Constraint Name Generate End
1.39/1.83	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.39/1.83	c (0,0) CSP to CSPinCNF Begin
1.56/1.91	c (0,0) translated 4 (10%) constraints
1.56/1.91	c (0,0) translated 8 (20%) constraints
1.56/1.91	c (0,0) translated 11 (30%) constraints
1.56/1.91	c (0,0) translated 15 (40%) constraints
1.56/1.91	c (0,0) translated 18 (50%) constraints
1.56/1.91	c (0,0) translated 22 (60%) constraints
1.56/1.91	c (0,0) translated 26 (70%) constraints
1.56/1.97	c (0,0) translated 29 (80%) constraints
1.78/2.02	c (0,0) translated 33 (90%) constraints
1.78/2.05	c (0,0) translated 36 (100%) constraints
1.78/2.06	c (0,0) ===========================================
1.78/2.07	c (0,0) Hybrid: #OE=63, #LE=0
1.78/2.07	c (0,0) Hybrid
1.78/2.07	c (0,0) ===========================================
1.78/2.09	c (0,0) translated 20 (10%) constraints
1.78/2.09	c (0,0) translated 40 (20%) constraints
1.78/2.10	c (0,0) translated 60 (30%) constraints
2.04/2.11	c (0,0) translated 80 (40%) constraints
2.04/2.11	c (0,0) translated 99 (50%) constraints
2.04/2.12	c (0,0) translated 119 (60%) constraints
2.04/2.12	c (0,0) translated 139 (70%) constraints
2.04/2.13	c (0,0) translated 159 (80%) constraints
2.04/2.13	c (0,0) translated 179 (90%) constraints
2.04/2.14	c (0,0) translated 198 (100%) constraints
2.04/2.14	c (0,0) CSP to CSPinCNF End
2.04/2.14	c (0,0) CSP: 45 int (36 aux), 18 bool (18 aux), 216 ctr, max domain size 225
2.04/2.14	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.04/2.14	c (0,0) CSPinCNF Propagation Begin
2.04/2.16	c (0,0) 0 values, 0 unsatisfiable literals, and 36 valid clauses are removed
2.04/2.16	c (0,0) CSPinCNF Propagation End
2.04/2.16	c (0,0) CSP: 45 int (36 aux), 18 bool (18 aux), 180 ctr, max domain size 225
2.04/2.16	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.04/2.16	c (0,0) Hybrid: #OE=63, #LE=0
2.04/2.16	c (0,0) Simplify CSPinCNF Begin
2.04/2.19	c (0,0) Simplify CSPinCNF End
2.04/2.19	c (0,0) CSP: 45 int (36 aux), 144 bool (144 aux), 306 ctr, max domain size 225
2.04/2.19	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.04/2.19	c (0,0) Calculate Precise Domain Begin
2.04/2.19	c (0,0) 0 values are removed by re-calculation
2.04/2.19	c (0,0) Calculate Precise Domain End
2.04/2.19	c (0,0) CSP: 45 int (36 aux), 144 bool (144 aux), 306 ctr, max domain size 225
2.04/2.19	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.04/2.19	c (0,0) CSPinCNF to SatSolver Begin
2.81/2.40	c (1,0) 31 (10 %) CSP clauses are encoded (0 SAT variables, 6985 SAT clauses)
2.81/2.45	c (1,0) 62 (20 %) CSP clauses are encoded (0 SAT variables, 11496 SAT clauses)
2.81/2.48	c (1,1) 92 (30 %) CSP clauses are encoded (0 SAT variables, 14749 SAT clauses)
3.23/2.50	c (1,1) 123 (40 %) CSP clauses are encoded (0 SAT variables, 16788 SAT clauses)
3.23/2.51	c (1,1) 153 (50 %) CSP clauses are encoded (0 SAT variables, 17959 SAT clauses)
3.23/2.53	c (1,1) 184 (60 %) CSP clauses are encoded (0 SAT variables, 19568 SAT clauses)
3.23/2.54	c (1,1) 215 (70 %) CSP clauses are encoded (0 SAT variables, 21161 SAT clauses)
3.23/2.55	c (1,1) 245 (80 %) CSP clauses are encoded (0 SAT variables, 22333 SAT clauses)
3.23/2.55	c (1,1) 276 (90 %) CSP clauses are encoded (0 SAT variables, 23517 SAT clauses)
3.23/2.56	c (1,1) 306 (100 %) CSP clauses are encoded (0 SAT variables, 24690 SAT clauses)
3.23/2.56	c (1,1) CSPinCNF to SatSolver End
3.23/2.56	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
3.23/2.56	c (1,1) 2664 bool, 24705 clause
3.23/2.56	c (1,1) Export Begin
3.64/2.67	c (1,1) Export to HOME/scop-4524-serial-file.bin
3.64/2.67	c (1,1) Export End
3.64/2.67	c (1,1) Export File Size: 0.00 MB
3.64/2.67	c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS)
3.64/2.67	c END-Prog: Mon Sep 23 12:35:12 CEST 2019
3.64/2.69	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-4524-serial-file.bin
4.47/3.14	c (0,0) Read Serial File Begin
4.47/3.14	c (0,0) HOME/scop-4524-serial-file.bin
4.73/3.33	c (0,0) Read Serial File End
4.73/3.35	
4.73/3.35	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
4.73/3.35	(Solving Process)
4.73/3.35	
4.73/3.37	c BEGIN-Prog: Mon Sep 23 12:35:13 CEST 2019
4.73/3.37	c PID: 4547
4.73/3.37	c IP: 172.20.3.107
4.73/3.37	c HOST: node107.alineos.net
4.73/3.37	c (0,0) SatSolver.solve Begin
4.73/3.37	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405471-1569238631.xml-scop-4527.cnf
4.90/3.40	c (0,0) c
4.90/3.40	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)
4.90/3.40	c (0,0) c
4.90/3.40	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
4.90/3.41	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
4.90/3.41	c (0,0) c ========================================[ Problem Statistics ]===========================================
4.90/3.41	c (0,0) c |                                                                                                       |
4.90/3.41	c (0,0) c |  Number of variables:          2664                                                                   |
4.90/3.41	c (0,0) c |  Number of clauses:           24705                                                                   |
4.90/3.41	c (0,0) c |  Parse time:                   0.01 s                                                                 |
4.90/3.41	c (0,0) c |                                                                                                       |
4.90/3.43	c (0,0) c |  Simplification time:          0.02 s                                                                 |
4.90/3.43	c (0,0) c |                                                                                                       |
4.90/3.43	c (0,0) c |  Generating clones                                                                                    |
4.90/3.45	c (0,0) c |  all clones generated. Memory =    38.98Mb.                                                           |
4.90/3.45	c (0,0) c ========================================================================================================|
4.90/3.45	c (0,0) c
4.90/3.45	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
4.90/3.45	c (0,0) c
4.90/3.45	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.90/3.45	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
4.90/3.45	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.90/3.45	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
4.90/3.45	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
4.90/3.45	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
4.90/3.45	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
4.90/3.45	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
4.90/3.45	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
4.90/3.45	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
4.90/3.45	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
4.90/3.45	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
4.90/3.45	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
4.90/3.45	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
4.90/3.45	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
4.90/3.45	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
4.90/3.45	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
4.90/3.45	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
4.90/3.45	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
52.77/9.51	c (6,0) c
52.77/9.51	c (6,0) c real time : 6.11042 s
52.77/9.51	c (6,0) c cpu time  : 47.5853 s
52.77/9.51	c (6,0) c
52.77/9.51	c (6,0) c
52.77/9.51	c (6,0) c
52.77/9.51	c (6,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
52.77/9.51	c (6,0) c
52.77/9.51	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
52.77/9.51	c (6,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
52.77/9.51	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
52.77/9.51	c (6,0) c | Conflicts     |          916178 |     122594 |     116933 |     110533 |     117507 |     114867 |     102438 |     123955 |     107351 |
52.77/9.51	c (6,0) c | Decisions     |         1071807 |     143519 |     138170 |     128840 |     135694 |     137203 |     119272 |     144849 |     124260 |
52.77/9.51	c (6,0) c | Propagations  |       183837333 |   23161713 |   22736581 |   23885472 |   21027902 |   22444468 |   24306124 |   22855581 |   23419492 |
52.77/9.51	c (6,0) c | ReduceDBs     |              94 |         19 |          9 |         13 |          9 |          9 |          8 |         19 |          8 |
52.77/9.51	c (6,0) c | SimpDBs       |              21 |          5 |          2 |          2 |          3 |          2 |          2 |          1 |          4 |
52.77/9.51	c (6,0) c | Restarts      |             610 |         82 |        107 |         63 |         30 |        193 |         43 |         42 |         50 |
52.77/9.51	c (6,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
52.77/9.51	c (6,0) c | PropBinClauses|       259701690 |   32899163 |   32035948 |   33672605 |   29938269 |   31645515 |   34067822 |   32659635 |   32782733 |
52.77/9.51	c (6,0) c | PropPreBlocker|      2624998611 |  324606140 |  335433025 |  329593993 |  335730319 |  327304946 |  324255283 |  330868088 |  317206817 |
52.77/9.51	c (6,0) c | PropNotBlocker|       543160035 |   67934747 |   67106272 |   70212485 |   64166023 |   66773801 |   70833689 |   66486395 |   69646623 |
52.77/9.51	c (6,0) c | LitFullScans  |      4074788738 |  506926905 |  516024775 |  510028523 |  515672898 |  510034080 |  504025460 |  510028137 |  502047960 |
52.77/9.51	c (6,0) c | LitScanFracts |          154140 |      15380 |      12958 |      14916 |      20001 |      22119 |      14731 |      14369 |      39666 |
52.77/9.51	c (6,0) c | DecisionLevel0|             645 |         90 |        109 |         64 |         43 |        195 |         44 |         42 |         58 |
52.77/9.51	c (6,0) c | Periods       |             677 |         84 |         86 |         85 |         85 |         85 |         84 |         85 |         83 |
52.77/9.51	c (6,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
52.77/9.51	c (6,0) c | Avg_Trail     |                 |       1946 |       1991 |       2017 |       2017 |       2005 |       2000 |       2063 |       1939 |
52.77/9.51	c (6,0) c | Avg_DL        |                 |         15 |         16 |         16 |         16 |         16 |         17 |         17 |         16 |
52.77/9.51	c (6,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
52.77/9.51	c (6,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
52.77/9.51	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
52.77/9.51	c (6,0) c | Exported      |          143238 |      19297 |      17556 |      19741 |      19106 |      16051 |      16208 |      18635 |      16644 |
52.77/9.51	c (6,0) c | Imported      |          759875 |      95156 |      95840 |      94091 |      95549 |      94435 |      95157 |      94650 |      94997 |
52.77/9.51	c (6,0) c | Good          |            1003 |        120 |        131 |        127 |        128 |        116 |        130 |        128 |        123 |
52.77/9.51	c (6,0) c | Purge         |          758872 |      95036 |      95709 |      93964 |      95421 |      94319 |      95027 |      94522 |      94874 |
52.77/9.51	c (6,0) c | Promoted      |           68971 |       9119 |       7494 |       8531 |       9545 |       8688 |       8562 |       7019 |      10013 |
52.77/9.51	c (6,0) c | Remove_Imp    |          436692 |      86728 |      32451 |      86348 |      41691 |      50415 |      42937 |      73266 |      22856 |
52.77/9.51	c (6,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
52.77/9.51	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
52.77/9.51	c (6,0) c | Unaries       |                 |          8 |          2 |          1 |         13 |          2 |          1 |          0 |          8 |
52.77/9.51	c (6,0) c | Binaries      |                 |         58 |         35 |         32 |         58 |         41 |         19 |         16 |         53 |
52.77/9.51	c (6,0) c | Glues         |                 |         88 |         84 |         69 |        100 |        115 |         44 |         52 |         74 |
52.77/9.51	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
52.77/9.51	c (6,0) c | Orig_Seen     |            65 % |      16272 |      14776 |      15785 |      14243 |      14636 |      14481 |      15645 |      13608 |
52.77/9.51	c (6,0) c | Diff Orig seen|                 |       2664 |       1168 |       2177 |        635 |       1028 |        873 |       2037 |      X     |
52.77/9.51	c (6,0) c | Hamming       |            33 % |        845 |       1363 |        493 |       1178 |        562 |       1228 |        610 |      X     |
52.77/9.51	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
52.77/9.51	c (6,0) c | RunningTime   |                 |    6.0  99%|    5.9  99%|    5.9  99%|    5.9  99%|    6.0  99%|    6.0  99%|    5.9  99%|    6.0  99%|
52.77/9.51	c (6,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%|
52.77/9.51	c (6,0) c | ExchangingTime|                 |    0.0   0%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   0%|
52.77/9.51	c (6,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%|
52.77/9.51	c (6,0) c | SolvingTime   |                 |    6.0     |    5.9     |    5.9     |    5.9     |    6.0     |    6.1     |    5.9     |    6.0     |
52.77/9.51	c (6,0) c | PropagationTim|                 |    5.1  84%|    5.1  86%|    5.1  86%|    5.1  86%|    5.1  85%|    5.2  86%|    5.0  85%|    5.2  86%|
52.77/9.51	c (6,0) c | AnalysisTime  |                 |    0.6   9%|    0.5   8%|    0.4   7%|    0.4   8%|    0.5   9%|    0.5   9%|    0.5   9%|    0.4   7%|
52.77/9.51	c (6,0) c | ReductionTime |                 |    0.1   2%|    0.1   2%|    0.1   2%|    0.1   2%|    0.1   2%|    0.1   1%|    0.1   2%|    0.1   1%|
52.77/9.51	c (6,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   1%|
52.77/9.51	c (6,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%|
52.77/9.51	c (6,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%|
52.77/9.51	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
52.77/9.51	c (6,0) c
52.77/9.51	c (6,0) c
52.77/9.51	c (6,0) c Threads : 8
52.77/9.51	c (6,0) c Winner : 7
52.77/9.51	c (6,0) c Conflicts_0 : 122594
52.77/9.51	c (6,0) c Conflicts_1 : 116933
52.77/9.51	c (6,0) c Conflicts_2 : 110533
52.77/9.51	c (6,0) c Conflicts_3 : 117507
52.77/9.51	c (6,0) c Conflicts_4 : 114867
52.77/9.51	c (6,0) c Conflicts_5 : 102438
52.77/9.51	c (6,0) c Conflicts_6 : 123955
52.77/9.51	c (6,0) c Conflicts_7 : 107351
52.77/9.51	c (6,0) c Conflicts_total : 916178
52.77/9.51	c (6,0) c Conflicts_winner : 107351
52.77/9.51	c (6,0) c Decisions_0 : 143519
52.77/9.51	c (6,0) c Decisions_1 : 138170
52.77/9.52	c (6,0) c Decisions_2 : 128840
52.77/9.52	c (6,0) c Decisions_3 : 135694
52.77/9.52	c (6,0) c Decisions_4 : 137203
52.77/9.52	c (6,0) c Decisions_5 : 119272
52.77/9.52	c (6,0) c Decisions_6 : 144849
52.77/9.52	c (6,0) c Decisions_7 : 124260
52.77/9.52	c (6,0) c Decisions_total : 1071807
52.77/9.52	c (6,0) c Decisions_winner : 124260
52.77/9.52	c (6,0) c Propagations_0 : 23161713
52.77/9.52	c (6,0) c Propagations_1 : 22736581
52.77/9.52	c (6,0) c Propagations_2 : 23885472
52.77/9.52	c (6,0) c Propagations_3 : 21027902
52.77/9.52	c (6,0) c Propagations_4 : 22444468
52.77/9.52	c (6,0) c Propagations_5 : 24306124
52.77/9.52	c (6,0) c Propagations_6 : 22855581
52.77/9.52	c (6,0) c Propagations_7 : 23419492
52.77/9.52	c (6,0) c Propagations_total : 183837333
52.77/9.52	c (6,0) c Propagations_winner : 23419492
52.77/9.52	c (6,0) c ReduceDBs_0 : 19
52.77/9.52	c (6,0) c ReduceDBs_1 : 9
52.77/9.52	c (6,0) c ReduceDBs_2 : 13
52.77/9.52	c (6,0) c ReduceDBs_3 : 9
52.77/9.52	c (6,0) c ReduceDBs_4 : 9
52.77/9.52	c (6,0) c ReduceDBs_5 : 8
52.77/9.52	c (6,0) c ReduceDBs_6 : 19
52.77/9.52	c (6,0) c ReduceDBs_7 : 8
52.77/9.52	c (6,0) c ReduceDBs_total : 94
52.77/9.52	c (6,0) c ReduceDBs_winner : 8
52.77/9.52	c (6,0) c SimpDBs_0 : 5
52.77/9.52	c (6,0) c SimpDBs_1 : 2
52.77/9.52	c (6,0) c SimpDBs_2 : 2
52.77/9.52	c (6,0) c SimpDBs_3 : 3
52.77/9.52	c (6,0) c SimpDBs_4 : 2
52.77/9.52	c (6,0) c SimpDBs_5 : 2
52.77/9.52	c (6,0) c SimpDBs_6 : 1
52.77/9.52	c (6,0) c SimpDBs_7 : 4
52.77/9.52	c (6,0) c SimpDBs_total : 21
52.77/9.52	c (6,0) c SimpDBs_winner : 4
52.77/9.52	c (6,0) c Restarts_0 : 82
52.77/9.52	c (6,0) c Restarts_1 : 107
52.77/9.52	c (6,0) c Restarts_2 : 63
52.77/9.52	c (6,0) c Restarts_3 : 30
52.77/9.52	c (6,0) c Restarts_4 : 193
52.77/9.52	c (6,0) c Restarts_5 : 43
52.77/9.52	c (6,0) c Restarts_6 : 42
52.77/9.52	c (6,0) c Restarts_7 : 50
52.77/9.52	c (6,0) c Restarts_total : 610
52.77/9.52	c (6,0) c Restarts_winner : 50
52.77/9.52	c (6,0) c ForcedImports_0 : 0
52.77/9.52	c (6,0) c ForcedImports_1 : 0
52.77/9.52	c (6,0) c ForcedImports_2 : 0
52.77/9.52	c (6,0) c ForcedImports_3 : 0
52.77/9.52	c (6,0) c ForcedImports_4 : 0
52.77/9.52	c (6,0) c ForcedImports_5 : 0
52.77/9.52	c (6,0) c ForcedImports_6 : 0
52.77/9.52	c (6,0) c ForcedImports_7 : 0
52.77/9.52	c (6,0) c ForcedImports_total : 0
52.77/9.52	c (6,0) c ForcedImports_winner : 0
52.77/9.52	c (6,0) c PropsBinClauses_0 : 32899163
52.77/9.52	c (6,0) c PropsBinClauses_1 : 32035948
52.77/9.52	c (6,0) c PropsBinClauses_2 : 33672605
52.77/9.52	c (6,0) c PropsBinClauses_3 : 29938269
52.77/9.52	c (6,0) c PropsBinClauses_4 : 31645515
52.77/9.52	c (6,0) c PropsBinClauses_5 : 34067822
52.77/9.52	c (6,0) c PropsBinClauses_6 : 32659635
52.77/9.52	c (6,0) c PropsBinClauses_7 : 32782733
52.77/9.52	c (6,0) c PropsBinClauses_total : 259701690
52.77/9.52	c (6,0) c PropsBinClauses_winner : 32782733
52.77/9.52	c (6,0) c PropsPreBlocker_0 : 324606140
52.77/9.52	c (6,0) c PropsPreBlocker_1 : 335433025
52.77/9.52	c (6,0) c PropsPreBlocker_2 : 329593993
52.77/9.52	c (6,0) c PropsPreBlocker_3 : 335730319
52.77/9.52	c (6,0) c PropsPreBlocker_4 : 327304946
52.77/9.52	c (6,0) c PropsPreBlocker_5 : 324255283
52.77/9.52	c (6,0) c PropsPreBlocker_6 : 330868088
52.77/9.52	c (6,0) c PropsPreBlocker_7 : 317206817
52.77/9.52	c (6,0) c PropsPreBlocker_total : 2624998611
52.77/9.52	c (6,0) c PropsPreBlocker_winner : 317206817
52.77/9.52	c (6,0) c PropsNotBlocker_0 : 67934747
52.77/9.52	c (6,0) c PropsNotBlocker_1 : 67106272
52.77/9.52	c (6,0) c PropsNotBlocker_2 : 70212485
52.77/9.52	c (6,0) c PropsNotBlocker_3 : 64166023
52.77/9.52	c (6,0) c PropsNotBlocker_4 : 66773801
52.77/9.52	c (6,0) c PropsNotBlocker_5 : 70833689
52.77/9.52	c (6,0) c PropsNotBlocker_6 : 66486395
52.77/9.52	c (6,0) c PropsNotBlocker_7 : 69646623
52.77/9.52	c (6,0) c PropsNotBlocker_total : 543160035
52.77/9.52	c (6,0) c PropsNotBlocker_winner : 69646623
52.77/9.52	c (6,0) c PropsLitFullScans_0 : 506926905
52.77/9.52	c (6,0) c PropsLitFullScans_1 : 516024775
52.77/9.52	c (6,0) c PropsLitFullScans_2 : 510028523
52.77/9.52	c (6,0) c PropsLitFullScans_3 : 515672898
52.77/9.52	c (6,0) c PropsLitFullScans_4 : 510034080
52.77/9.52	c (6,0) c PropsLitFullScans_5 : 504025460
52.77/9.52	c (6,0) c PropsLitFullScans_6 : 510028137
52.77/9.52	c (6,0) c PropsLitFullScans_7 : 502047960
52.77/9.52	c (6,0) c PropsLitFullScans_total : 4074788738
52.77/9.52	c (6,0) c PropsLitFullScans_winner : 502047960
52.77/9.52	c (6,0) c LitScanFractions_0 : 15380
52.77/9.52	c (6,0) c LitScanFractions_1 : 12958
52.77/9.52	c (6,0) c LitScanFractions_2 : 14916
52.77/9.52	c (6,0) c LitScanFractions_3 : 20001
52.77/9.52	c (6,0) c LitScanFractions_4 : 22119
52.77/9.52	c (6,0) c LitScanFractions_5 : 14731
52.77/9.52	c (6,0) c LitScanFractions_6 : 14369
52.77/9.52	c (6,0) c LitScanFractions_7 : 39666
52.77/9.52	c (6,0) c LitScanFractions_total : 154140
52.77/9.52	c (6,0) c LitScanFractions_winner : 39666
52.77/9.52	c (6,0) c DecisionLevel0_0 : 90
52.77/9.52	c (6,0) c DecisionLevel0_1 : 109
52.77/9.52	c (6,0) c DecisionLevel0_2 : 64
52.77/9.52	c (6,0) c DecisionLevel0_3 : 43
52.77/9.52	c (6,0) c DecisionLevel0_4 : 195
52.77/9.52	c (6,0) c DecisionLevel0_5 : 44
52.77/9.52	c (6,0) c DecisionLevel0_6 : 42
52.77/9.52	c (6,0) c DecisionLevel0_7 : 58
52.77/9.52	c (6,0) c DecisionLevel0_total : 645
52.77/9.52	c (6,0) c DecisionLevel0_winner : 58
52.77/9.52	c (6,0) c Periods_0 : 84
52.77/9.52	c (6,0) c Periods_1 : 86
52.77/9.52	c (6,0) c Periods_2 : 85
52.77/9.52	c (6,0) c Periods_3 : 85
52.77/9.52	c (6,0) c Periods_4 : 85
52.77/9.52	c (6,0) c Periods_5 : 84
52.77/9.52	c (6,0) c Periods_6 : 85
52.77/9.52	c (6,0) c Periods_7 : 83
52.77/9.52	c (6,0) c Periods_total : 677
52.77/9.52	c (6,0) c Periods_winner : 83
52.77/9.52	c (6,0) c Margin_0 : 20
52.77/9.52	c (6,0) c Margin_1 : 20
52.77/9.52	c (6,0) c Margin_2 : 20
52.77/9.52	c (6,0) c Margin_3 : 20
52.77/9.52	c (6,0) c Margin_4 : 20
52.77/9.52	c (6,0) c Margin_5 : 20
52.77/9.52	c (6,0) c Margin_6 : 20
52.77/9.52	c (6,0) c Margin_7 : 20
52.77/9.52	c (6,0) c Margin_total : 160
52.77/9.52	c (6,0) c Margin_winner : 20
52.77/9.52	c (6,0) c Exported_0 : 19297
52.77/9.52	c (6,0) c Exported_1 : 17556
52.77/9.52	c (6,0) c Exported_2 : 19741
52.77/9.52	c (6,0) c Exported_3 : 19106
52.77/9.52	c (6,0) c Exported_4 : 16051
52.77/9.52	c (6,0) c Exported_5 : 16208
52.77/9.52	c (6,0) c Exported_6 : 18635
52.77/9.52	c (6,0) c Exported_7 : 16644
52.77/9.52	c (6,0) c Exported_total : 143238
52.77/9.52	c (6,0) c Exported_winner : 16644
52.77/9.52	c (6,0) c Imported_0 : 95156
52.77/9.52	c (6,0) c Imported_1 : 95840
52.77/9.52	c (6,0) c Imported_2 : 94091
52.77/9.52	c (6,0) c Imported_3 : 95549
52.77/9.52	c (6,0) c Imported_4 : 94435
52.77/9.52	c (6,0) c Imported_5 : 95157
52.77/9.52	c (6,0) c Imported_6 : 94650
52.77/9.52	c (6,0) c Imported_7 : 94997
52.77/9.52	c (6,0) c Imported_total : 759875
52.77/9.52	c (6,0) c Imported_winner : 94997
52.77/9.52	c (6,0) c Good_0 : 120
52.77/9.52	c (6,0) c Good_1 : 131
52.77/9.52	c (6,0) c Good_2 : 127
52.77/9.52	c (6,0) c Good_3 : 128
52.77/9.52	c (6,0) c Good_4 : 116
52.77/9.52	c (6,0) c Good_5 : 130
52.77/9.52	c (6,0) c Good_6 : 128
52.77/9.52	c (6,0) c Good_7 : 123
52.77/9.52	c (6,0) c Good_total : 1003
52.77/9.52	c (6,0) c Good_winner : 123
52.77/9.52	c (6,0) c Purge_0 : 95036
52.77/9.52	c (6,0) c Purge_1 : 95709
52.77/9.52	c (6,0) c Purge_2 : 93964
52.77/9.52	c (6,0) c Purge_3 : 95421
52.77/9.52	c (6,0) c Purge_4 : 94319
52.77/9.52	c (6,0) c Purge_5 : 95027
52.77/9.52	c (6,0) c Purge_6 : 94522
52.77/9.52	c (6,0) c Purge_7 : 94874
52.77/9.52	c (6,0) c Purge_total : 758872
52.77/9.52	c (6,0) c Purge_winner : 94874
52.77/9.52	c (6,0) c Promoted_0 : 9119
52.77/9.52	c (6,0) c Promoted_1 : 7494
52.77/9.52	c (6,0) c Promoted_2 : 8531
52.77/9.52	c (6,0) c Promoted_3 : 9545
52.77/9.52	c (6,0) c Promoted_4 : 8688
52.77/9.52	c (6,0) c Promoted_5 : 8562
52.77/9.52	c (6,0) c Promoted_6 : 7019
52.77/9.52	c (6,0) c Promoted_7 : 10013
52.77/9.52	c (6,0) c Promoted_total : 68971
52.77/9.52	c (6,0) c Promoted_winner : 10013
52.77/9.52	c (6,0) c Remove_Imp_0 : 86728
52.77/9.52	c (6,0) c Remove_Imp_1 : 32451
52.77/9.52	c (6,0) c Remove_Imp_2 : 86348
52.77/9.52	c (6,0) c Remove_Imp_3 : 41691
52.77/9.52	c (6,0) c Remove_Imp_4 : 50415
52.77/9.52	c (6,0) c Remove_Imp_5 : 42937
52.77/9.52	c (6,0) c Remove_Imp_6 : 73266
52.77/9.52	c (6,0) c Remove_Imp_7 : 22856
52.77/9.52	c (6,0) c Remove_Imp_total : 436692
52.77/9.52	c (6,0) c Remove_Imp_winner : 22856
52.77/9.52	c (6,0) c Blocked_Reuse_0 : 0
52.77/9.52	c (6,0) c Blocked_Reuse_1 : 0
52.77/9.52	c (6,0) c Blocked_Reuse_2 : 0
52.77/9.52	c (6,0) c Blocked_Reuse_3 : 0
52.77/9.52	c (6,0) c Blocked_Reuse_4 : 0
52.77/9.52	c (6,0) c Blocked_Reuse_5 : 0
52.77/9.52	c (6,0) c Blocked_Reuse_6 : 0
52.77/9.52	c (6,0) c Blocked_Reuse_7 : 0
52.77/9.52	c (6,0) c Blocked_Reuse_total : 0
52.77/9.52	c (6,0) c Blocked_Reuse_winner : 0
52.77/9.52	c (6,0) c Unaries_0 : 8
52.77/9.52	c (6,0) c Unaries_1 : 2
52.77/9.52	c (6,0) c Unaries_2 : 1
52.77/9.52	c (6,0) c Unaries_3 : 13
52.77/9.52	c (6,0) c Unaries_4 : 2
52.77/9.52	c (6,0) c Unaries_5 : 1
52.77/9.52	c (6,0) c Unaries_6 : 0
52.77/9.52	c (6,0) c Unaries_7 : 8
52.77/9.52	c (6,0) c Unaries_total : 35
52.77/9.52	c (6,0) c Unaries_winner : 8
52.77/9.52	c (6,0) c Binaries_0 : 58
52.77/9.52	c (6,0) c Binaries_1 : 35
52.77/9.52	c (6,0) c Binaries_2 : 32
52.77/9.52	c (6,0) c Binaries_3 : 58
52.77/9.52	c (6,0) c Binaries_4 : 41
52.77/9.52	c (6,0) c Binaries_5 : 19
52.77/9.52	c (6,0) c Binaries_6 : 16
52.77/9.52	c (6,0) c Binaries_7 : 53
52.77/9.52	c (6,0) c Binaries_total : 312
52.77/9.52	c (6,0) c Binaries_winner : 53
52.77/9.52	c (6,0) c Glues_0 : 88
52.77/9.52	c (6,0) c Glues_1 : 84
52.77/9.52	c (6,0) c Glues_2 : 69
52.77/9.52	c (6,0) c Glues_3 : 100
52.77/9.52	c (6,0) c Glues_4 : 115
52.77/9.52	c (6,0) c Glues_5 : 44
52.77/9.52	c (6,0) c Glues_6 : 52
52.77/9.52	c (6,0) c Glues_7 : 74
52.77/9.52	c (6,0) c Glues_total : 626
52.77/9.52	c (6,0) c Glues_winner : 74
52.77/9.52	c (6,0) c RunningTime_0 : 5.985497
52.77/9.52	c (6,0) c RunningTime_1 : 5.895941
52.77/9.52	c (6,0) c RunningTime_2 : 5.882266
52.77/9.52	c (6,0) c RunningTime_3 : 5.875364
52.77/9.52	c (6,0) c RunningTime_4 : 6.010922
52.77/9.52	c (6,0) c RunningTime_5 : 6.024187
52.77/9.52	c (6,0) c RunningTime_6 : 5.895511
52.77/9.52	c (6,0) c RunningTime_7 : 5.970038
52.77/9.52	c (6,0) c RunningTime_total : 47.539727
52.77/9.52	c (6,0) c RunningTime_winner : 5.970038
52.77/9.52	c (6,0) c WaitingTime_0 : 0.000078
52.77/9.52	c (6,0) c WaitingTime_1 : 0.000089
52.77/9.52	c (6,0) c WaitingTime_2 : 0.000090
52.77/9.52	c (6,0) c WaitingTime_3 : 0.000086
52.77/9.52	c (6,0) c WaitingTime_4 : 0.000075
52.77/9.52	c (6,0) c WaitingTime_5 : 0.000057
52.77/9.52	c (6,0) c WaitingTime_6 : 0.000083
52.77/9.52	c (6,0) c WaitingTime_7 : 0.000069
52.77/9.52	c (6,0) c WaitingTime_total : 0.000627
52.77/9.52	c (6,0) c WaitingTime_winner : 0.000069
52.77/9.52	c (6,0) c ExchangingTime_0 : 0.029806
52.77/9.52	c (6,0) c ExchangingTime_1 : 0.031703
52.77/9.52	c (6,0) c ExchangingTime_2 : 0.034897
52.77/9.52	c (6,0) c ExchangingTime_3 : 0.032390
52.77/9.53	c (6,0) c ExchangingTime_4 : 0.030807
52.77/9.53	c (6,0) c ExchangingTime_5 : 0.031319
52.77/9.53	c (6,0) c ExchangingTime_6 : 0.030324
52.77/9.53	c (6,0) c ExchangingTime_7 : 0.029899
52.77/9.53	c (6,0) c ExchangingTime_total : 0.251145
52.77/9.53	c (6,0) c ExchangingTime_winner : 0.029899
52.77/9.53	c (6,0) c PeriodProcTime_0 : 0.000519
52.77/9.53	c (6,0) c PeriodProcTime_1 : 0.000533
52.77/9.53	c (6,0) c PeriodProcTime_2 : 0.000530
52.77/9.53	c (6,0) c PeriodProcTime_3 : 0.000656
52.77/9.53	c (6,0) c PeriodProcTime_4 : 0.000727
52.77/9.53	c (6,0) c PeriodProcTime_5 : 0.000511
52.77/9.53	c (6,0) c PeriodProcTime_6 : 0.000657
52.77/9.53	c (6,0) c PeriodProcTime_7 : 0.000640
52.77/9.53	c (6,0) c PeriodProcTime_total : 0.004773
52.77/9.53	c (6,0) c PeriodProcTime_winner : 0.000640
52.77/9.53	c (6,0) c SolvingTime_0 : 6.015901
52.77/9.53	c (6,0) c SolvingTime_1 : 5.928268
52.77/9.53	c (6,0) c SolvingTime_2 : 5.917783
52.77/9.53	c (6,0) c SolvingTime_3 : 5.908495
52.77/9.53	c (6,0) c SolvingTime_4 : 6.042531
52.77/9.53	c (6,0) c SolvingTime_5 : 6.056074
52.77/9.53	c (6,0) c SolvingTime_6 : 5.926575
52.77/9.53	c (6,0) c SolvingTime_7 : 6.000647
52.77/9.53	c (6,0) c SolvingTime_total : 47.796273
52.77/9.53	c (6,0) c SolvingTime_winner : 6.000647
52.77/9.53	c (6,0) c PropagationTime_0 : 5.066327
52.77/9.53	c (6,0) c PropagationTime_1 : 5.109184
52.77/9.53	c (6,0) c PropagationTime_2 : 5.107704
52.77/9.53	c (6,0) c PropagationTime_3 : 5.088000
52.77/9.53	c (6,0) c PropagationTime_4 : 5.145204
52.77/9.53	c (6,0) c PropagationTime_5 : 5.188564
52.77/9.53	c (6,0) c PropagationTime_6 : 5.021883
52.77/9.53	c (6,0) c PropagationTime_7 : 5.190187
52.77/9.53	c (6,0) c PropagationTime_total : 40.917053
52.77/9.53	c (6,0) c PropagationTime_winner : 5.190187
52.77/9.53	c (6,0) c AnalysisTime_0 : 0.561141
52.77/9.53	c (6,0) c AnalysisTime_1 : 0.453273
52.77/9.53	c (6,0) c AnalysisTime_2 : 0.441252
52.77/9.53	c (6,0) c AnalysisTime_3 : 0.444250
52.77/9.53	c (6,0) c AnalysisTime_4 : 0.534497
52.77/9.53	c (6,0) c AnalysisTime_5 : 0.527456
52.77/9.53	c (6,0) c AnalysisTime_6 : 0.512119
52.77/9.53	c (6,0) c AnalysisTime_7 : 0.437730
52.77/9.53	c (6,0) c AnalysisTime_total : 3.911716
52.77/9.53	c (6,0) c AnalysisTime_winner : 0.437730
52.77/9.53	c (6,0) c ReductionTime_0 : 0.116758
52.77/9.53	c (6,0) c ReductionTime_1 : 0.098670
52.77/9.53	c (6,0) c ReductionTime_2 : 0.100548
52.77/9.53	c (6,0) c ReductionTime_3 : 0.117651
52.77/9.53	c (6,0) c ReductionTime_4 : 0.095481
52.77/9.53	c (6,0) c ReductionTime_5 : 0.085304
52.77/9.53	c (6,0) c ReductionTime_6 : 0.119011
52.77/9.53	c (6,0) c ReductionTime_7 : 0.088725
52.77/9.53	c (6,0) c ReductionTime_total : 0.822147
52.77/9.53	c (6,0) c ReductionTime_winner : 0.088725
52.77/9.53	c (6,0) c SimplifyTime_0 : 0.007807
52.77/9.53	c (6,0) c SimplifyTime_1 : 0.013276
52.77/9.53	c (6,0) c SimplifyTime_2 : 0.004026
52.77/9.53	c (6,0) c SimplifyTime_3 : 0.015708
52.77/9.53	c (6,0) c SimplifyTime_4 : 0.020289
52.77/9.53	c (6,0) c SimplifyTime_5 : 0.011085
52.77/9.53	c (6,0) c SimplifyTime_6 : 0.000006
52.77/9.53	c (6,0) c SimplifyTime_7 : 0.038403
52.77/9.53	c (6,0) c SimplifyTime_total : 0.110600
52.77/9.53	c (6,0) c SimplifyTime_winner : 0.038403
52.77/9.53	c (6,0) c UsedRateTime_0 : 0.000000
52.77/9.53	c (6,0) c UsedRateTime_1 : 0.000000
52.77/9.53	c (6,0) c UsedRateTime_2 : 0.000000
52.77/9.53	c (6,0) c UsedRateTime_3 : 0.000000
52.77/9.53	c (6,0) c UsedRateTime_4 : 0.000000
52.77/9.53	c (6,0) c UsedRateTime_5 : 0.000000
52.77/9.53	c (6,0) c UsedRateTime_6 : 0.000000
52.77/9.53	c (6,0) c UsedRateTime_7 : 0.000000
52.77/9.53	c (6,0) c UsedRateTime_total : 0.000000
52.77/9.53	c (6,0) c UsedRateTime_winner : 0.000000
52.77/9.53	c (6,0) c OverlapRateTime_0 : 0.000000
52.77/9.53	c (6,0) c OverlapRateTime_1 : 0.000000
52.77/9.53	c (6,0) c OverlapRateTime_2 : 0.000000
52.77/9.53	c (6,0) c OverlapRateTime_3 : 0.000000
52.77/9.53	c (6,0) c OverlapRateTime_4 : 0.000000
52.77/9.53	c (6,0) c OverlapRateTime_5 : 0.000000
52.77/9.53	c (6,0) c OverlapRateTime_6 : 0.000000
52.77/9.53	c (6,0) c OverlapRateTime_7 : 0.000000
52.77/9.53	c (6,0) c OverlapRateTime_total : 0.000000
52.77/9.53	c (6,0) c OverlapRateTime_winner : 0.000000
52.77/9.53	c (6,0) c
52.77/9.53	c (6,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
52.77/9.53	c (6,0) c
52.77/9.53	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
52.77/9.53	c (6,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
52.77/9.53	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
52.77/9.53	c (6,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
52.77/9.53	c (6,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
52.77/9.53	c (6,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
52.77/9.53	c (6,0) c | Initial random_seed   |  155448226 |  711608428 |  919692571 | 2020288249 | 1975086584 | 1167927294 |  375686169 | 1750087892 |
52.77/9.53	c (6,0) c | chanseokStrategy      |       True |      False |       True |      False |      False |      False |       True |      False |
52.77/9.53	c (6,0) c | coLBDBound            |          4 |          5 |          4 |          5 |          5 |          5 |          4 |          5 |
52.77/9.53	c (6,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
52.77/9.53	c (6,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
52.77/9.53	c (6,0) c | incReduceDB           |          0 |        300 |          0 |        300 |        300 |        300 |          0 |        300 |
52.77/9.53	c (6,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
52.77/9.53	c (6,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
52.77/9.53	c (6,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
52.77/9.53	c (6,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
52.77/9.53	c (6,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
52.77/9.53	c (6,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
52.77/9.53	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
52.77/9.53	c (6,0) 
52.77/9.53	c (6,0) s UNSATISFIABLE
52.77/9.53	c (6,0) SatSolver.solve End
52.77/9.53	c (6,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
52.77/9.53	c (6,0) Show results Begin
52.77/9.53	s UNSATISFIABLE
52.77/9.53	c (6,0) Show results End
52.77/9.53	c (6,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 15 MiB used (max 0 MiB)
52.77/9.54	c (6,0) 6,6,STOP-AFTER(ALL)
52.77/9.54	c END-Prog: Mon Sep 23 12:35:19 CEST 2019

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405471-1569238631/watcher-4405471-1569238631 -o /var/tmp/evaluation-result-4405471-1569238631/solver-4405471-1569238631 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569234908-4507 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405471-1569238631.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=4524, runsolver pid=4521
Current StackSize limit: 8192 KiB


[startup+0.100151 s]*
/proc/loadavg: 0.08 0.03 0.05 1/191 4526
/proc/meminfo: memFree=25169112/32770624 swapFree=66953704/67108860
[pid=4524] ppid=4521 vsize=113124 memory=1192 CPUtime=0 cores=0-7
/proc/4524/stat : 4524 (scop.sh) S 4521 4524 4480 0 -1 4202496 505 0 0 0 0 0 0 0 20 0 1 0 500118599 115838976 298 33554432000 4194304 5098028 140737475208368 140737475206312 140000542313472 0 0 4100 65536 18446744071580971376 0 0 17 2 0 0 0 0 0 7196144 7232144 18554880 140737475216124 140737475216472 140737475216472 140737475219401 0
/proc/4524/statm: 28281 298 249 221 0 86 0
[pid=4526] ppid=4524 vsize=113124 memory=400 CPUtime=0 cores=0-7
/proc/4526/stat : 4526 (scop.sh) D 4524 4524 4480 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 1 0 500118600 115838976 100 33554432000 4194304 5098028 140737475208368 140737475205368 140000542311797 0 0 4096 65538 18446744072101547556 0 0 17 3 0 0 0 0 0 7196144 7232144 18554880 140737475216124 140737475216472 140737475216472 140737475219401 0
/proc/4526/statm: 28281 100 47 221 0 86 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 226248 KiB
Current children cumulated memory: 1592 KiB

[startup+0.209158 s]*
/proc/loadavg: 0.08 0.03 0.05 1/191 4527
/proc/meminfo: memFree=25168848/32770624 swapFree=66953704/67108860
[pid=4524] ppid=4521 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/4524/stat : 4524 (scop.sh) S 4521 4524 4480 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500118599 115843072 350 33554432000 4194304 5098028 140737475208368 140737475205624 140000542139004 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18554880 140737475216124 140737475216472 140737475216472 140737475219401 0
/proc/4524/statm: 28282 350 297 221 0 87 0
[pid=4527] ppid=4524 vsize=10648 memory=664 CPUtime=0 cores=0-7
/proc/4527/stat : 4527 (java) D 4524 4524 4480 0 -1 1077944320 314 0 0 0 0 0 0 0 20 0 1 0 500118611 10903552 166 33554432000 4194304 4196468 140729741590400 140729741568600 140409535777296 0 0 4102 0 18446744072101547556 0 0 17 2 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
/proc/4527/statm: 2662 166 133 1 0 84 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 123776 KiB
Current children cumulated memory: 2064 KiB

[startup+0.308775 s]*
/proc/loadavg: 0.08 0.03 0.05 1/192 4528
/proc/meminfo: memFree=25167856/32770624 swapFree=66953704/67108860
[pid=4524] ppid=4521 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/4524/stat : 4524 (scop.sh) S 4521 4524 4480 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500118599 115843072 350 33554432000 4194304 5098028 140737475208368 140737475205624 140000542139004 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18554880 140737475216124 140737475216472 140737475216472 140737475219401 0
/proc/4524/statm: 28282 350 297 221 0 87 0
[pid=4527] ppid=4524 vsize=231880 memory=4960 CPUtime=0 cores=0-7
/proc/4527/stat : 4527 (java) S 4524 4524 4480 0 -1 1077944320 1464 0 0 0 0 0 0 0 20 0 2 0 500118611 237445120 1240 33554432000 4194304 4196468 140729741590400 140729741572944 140409543098103 0 0 4102 0 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
/proc/4527/statm: 57970 1240 880 1 0 49568 0
[pid=4527/tid=4528] ppid=4524 vsize=233080 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/4527/task/4528/stat : 4528 (java) D 4524 4524 4480 0 -1 1077944384 197 0 0 0 0 0 0 0 20 0 2 0 500118626 238673920 1197 33554432000 4194304 4196468 140729741590400 140409514932248 140409535776117 0 0 4102 0 18446744072101547556 0 0 -1 1 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 345008 KiB
Current children cumulated memory: 6360 KiB

[startup+0.700583 s]
/proc/loadavg: 0.08 0.03 0.05 1/200 4536
/proc/meminfo: memFree=25087912/32770624 swapFree=66953704/67108860
[pid=4524] ppid=4521 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/4524/stat : 4524 (scop.sh) S 4521 4524 4480 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500118599 115843072 350 33554432000 4194304 5098028 140737475208368 140737475205624 140000542139004 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18554880 140737475216124 140737475216472 140737475216472 140737475219401 0
/proc/4524/statm: 28282 350 297 221 0 87 0
[pid=4527] ppid=4524 vsize=26918300 memory=96680 CPUtime=0.06 cores=0-7
/proc/4527/stat : 4527 (java) S 4524 4524 4480 0 -1 1077944320 5731 0 0 0 4 2 0 0 20 0 16 0 500118611 27564339200 24170 33554432000 4194304 4196468 140729741590400 140729741572944 140409543098103 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
/proc/4527/statm: 6729575 24170 2178 1 0 6692116 0
[pid=4527/tid=4528] ppid=4524 vsize=26918300 memory=7681421203011431829 CPUtime=0.05 cores=0-7
/proc/4527/task/4528/stat : 4528 (java) D 4524 4524 4480 0 -1 4202560 4361 0 0 0 4 1 0 0 20 0 16 0 500118626 27564339200 24170 33554432000 4194304 4196468 140729741590400 140409514940104 140409535815255 0 4 2 16800973 18446744071582151463 0 0 -1 6 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4529] ppid=4524 vsize=26918300 memory=6648615548753253269 CPUtime=0 cores=0-7
/proc/4527/task/4529/stat : 4529 (java) S 4524 4524 4480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 500118649 27564339200 24170 33554432000 4194304 4196468 140729741590400 140409547340048 140409543108309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4530] ppid=4524 vsize=26918300 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/4527/task/4530/stat : 4530 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 500118649 27564339200 24170 33554432000 4194304 4196468 140729741590400 140409330735504 140409543108309 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4531] ppid=4524 vsize=26918300 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/4527/task/4531/stat : 4531 (java) S 4524 4524 4480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 500118649 27564339200 24170 33554432000 4194304 4196468 140729741590400 140409329682960 140409543108309 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4532] ppid=4524 vsize=26918300 memory=7896318971486248851 CPUtime=0 cores=0-7
/proc/4527/task/4532/stat : 4532 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 500118649 27564339200 24170 33554432000 4194304 4196468 140729741590400 140409328630416 140409543108309 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4533] ppid=4524 vsize=26918300 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/4527/task/4533/stat : 4533 (java) S 4524 4524 4480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 500118649 27564339200 24170 33554432000 4194304 4196468 140729741590400 140409327577872 140409543108309 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4534] ppid=4524 vsize=26918300 memory=3616 CPUtime=0 cores=0-7
/proc/4527/task/4534/stat : 4534 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 500118649 27564339200 24170 33554432000 4194304 4196468 140729741590400 140408961096592 140409543108309 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4535] ppid=4524 vsize=26918300 memory=1556 CPUtime=0 cores=0-7
/proc/4527/task/4535/stat : 4535 (java) S 4524 4524 4480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 17 0 500118649 27564339200 24170 33554432000 4194304 4196468 140729741590400 140408960044048 140409543108309 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4536] ppid=4524 vsize=26918300 memory=2832 CPUtime=0 cores=0-7
/proc/4527/task/4536/stat : 4536 (java) S 4524 4524 4480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 17 0 500118649 27564339200 24170 33554432000 4194304 4196468 140729741590400 140408958991504 140409543108309 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 27031428 KiB
Current children cumulated memory: 98080 KiB

[startup+1.50091 s]
/proc/loadavg: 0.08 0.03 0.05 1/210 4546
/proc/meminfo: memFree=25054340/32770624 swapFree=66953704/67108860
[pid=4524] ppid=4521 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/4524/stat : 4524 (scop.sh) S 4521 4524 4480 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500118599 115843072 350 33554432000 4194304 5098028 140737475208368 140737475205624 140000542139004 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18554880 140737475216124 140737475216472 140737475216472 140737475219401 0
/proc/4524/statm: 28282 350 297 221 0 87 0
[pid=4527] ppid=4524 vsize=27318344 memory=156516 CPUtime=0.79 cores=0-7
/proc/4527/stat : 4527 (java) S 4524 4524 4480 0 -1 1077944320 19292 0 0 0 72 7 0 0 20 0 20 0 500118611 27973984256 39129 33554432000 4194304 4196468 140729741590400 140729741572944 140409543098103 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
/proc/4527/statm: 6829586 39129 3107 1 0 6790935 0
[pid=4527/tid=4528] ppid=4524 vsize=27318344 memory=47368 CPUtime=0.58 cores=0-7
/proc/4527/task/4528/stat : 4528 (java) R 4524 4524 4480 0 -1 4202560 16695 0 0 0 53 5 0 0 20 0 20 0 500118626 27973984256 39129 33554432000 4194304 4196468 140729741590400 140409514920656 140409543120029 0 4 2 25189581 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4529] ppid=4524 vsize=27318344 memory=988 CPUtime=0 cores=0-7
/proc/4527/task/4529/stat : 4529 (java) S 4524 4524 4480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500118649 27973984256 39129 33554432000 4194304 4196468 140729741590400 140409547340048 140409543108309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4530] ppid=4524 vsize=27318344 memory=33 CPUtime=0 cores=0-7
/proc/4527/task/4530/stat : 4530 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500118649 27973984256 39129 33554432000 4194304 4196468 140729741590400 140409330735504 140409543108309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4531] ppid=4524 vsize=27318344 memory=8747226831578988619 CPUtime=0 cores=0-7
/proc/4527/task/4531/stat : 4531 (java) S 4524 4524 4480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500118649 27973984256 39129 33554432000 4194304 4196468 140729741590400 140409329682960 140409543108309 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4532] ppid=4524 vsize=27318344 memory=6944656591801717405 CPUtime=0 cores=0-7
/proc/4527/task/4532/stat : 4532 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500118649 27973984256 39129 33554432000 4194304 4196468 140729741590400 140409328630416 140409543108309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4533] ppid=4524 vsize=27318344 memory=55 CPUtime=0 cores=0-7
/proc/4527/task/4533/stat : 4533 (java) S 4524 4524 4480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500118649 27973984256 39129 33554432000 4194304 4196468 140729741590400 140409327577872 140409543108309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4534] ppid=4524 vsize=27318344 memory=288230377007612191 CPUtime=0 cores=0-7
/proc/4527/task/4534/stat : 4534 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500118649 27973984256 39129 33554432000 4194304 4196468 140729741590400 140408961096592 140409543108309 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4535] ppid=4524 vsize=27318344 memory=14133333739177384 CPUtime=0 cores=0-7
/proc/4527/task/4535/stat : 4535 (java) S 4524 4524 4480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500118649 27973984256 39129 33554432000 4194304 4196468 140729741590400 140408960044048 140409543108309 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4536] ppid=4524 vsize=27318344 memory=0 CPUtime=0 cores=0-7
/proc/4527/task/4536/stat : 4536 (java) S 4524 4524 4480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500118649 27973984256 39177 33554432000 4194304 4196468 140729741590400 140408958991504 140409543108309 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4537] ppid=4524 vsize=27318344 memory=-3253322038155611931 CPUtime=0 cores=0-7
/proc/4527/task/4537/stat : 4537 (java) S 4524 4524 4480 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 500118652 27973984256 39177 33554432000 4194304 4196468 140729741590400 140408534300656 140409543109250 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4538] ppid=4524 vsize=27318344 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/4527/task/4538/stat : 4538 (java) S 4524 4524 4480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500118652 27973984256 39177 33554432000 4194304 4196468 140729741590400 140407446954912 140409543108309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4539] ppid=4524 vsize=27318344 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/4527/task/4539/stat : 4539 (java) S 4524 4524 4480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500118653 27973984256 39177 33554432000 4194304 4196468 140729741590400 140407312733168 140409543108309 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4540] ppid=4524 vsize=27318344 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/4527/task/4540/stat : 4540 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500118669 27973984256 39177 33554432000 4194304 4196468 140729741590400 140406938228944 140409543116699 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4541] ppid=4524 vsize=27318344 memory=-7812193691855986592 CPUtime=0.01 cores=0-7
/proc/4527/task/4541/stat : 4541 (java) S 4524 4524 4480 0 -1 1077944384 400 0 0 0 1 0 0 0 20 0 20 0 500118669 27973984256 39177 33554432000 4194304 4196468 140729741590400 140408533248496 140409543109250 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4542] ppid=4524 vsize=27318344 memory=-7965959130280075168 CPUtime=0.03 cores=0-7
/proc/4527/task/4542/stat : 4542 (java) S 4524 4524 4480 0 -1 1077944384 232 0 0 0 3 0 0 0 20 0 20 0 500118669 27973984256 39177 33554432000 4194304 4196468 140729741590400 140408532195952 140409543109250 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4543] ppid=4524 vsize=27318344 memory=6944656591801719708 CPUtime=0.01 cores=0-7
/proc/4527/task/4543/stat : 4543 (java) S 4524 4524 4480 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 20 0 500118669 27973984256 39177 33554432000 4194304 4196468 140729741590400 140408531143408 140409543109250 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4544] ppid=4524 vsize=27318344 memory=-7395679465411340375 CPUtime=0.12 cores=0-7
/proc/4527/task/4544/stat : 4544 (java) S 4524 4524 4480 0 -1 1077944384 551 0 0 0 12 0 0 0 20 0 20 0 500118669 27973984256 39177 33554432000 4194304 4196468 140729741590400 140408530090864 140409543109250 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4545] ppid=4524 vsize=27318344 memory=0 CPUtime=0 cores=0-7
/proc/4527/task/4545/stat : 4545 (java) S 4524 4524 4480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500118669 27973984256 39177 33554432000 4194304 4196468 140729741590400 140406440323296 140409543108309 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
[pid=4527/tid=4546] ppid=4524 vsize=27318344 memory=0 CPUtime=0 cores=0-7
/proc/4527/task/4546/stat : 4546 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500118673 27973984256 39177 33554432000 4194304 4196468 140729741590400 140408529037744 140409543109250 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39358464 140729741599431 140729741599878 140729741599878 140729741602767 0
Current children cumulated CPU time: 0.79 s
Current children cumulated vsize: 27431472 KiB
Current children cumulated memory: 157916 KiB

[startup+3.10988 s]
/proc/loadavg: 0.08 0.03 0.05 2/210 4566
/proc/meminfo: memFree=25107100/32770624 swapFree=66953704/67108860
[pid=4524] ppid=4521 vsize=113128 memory=1476 CPUtime=3.93 cores=0-7
/proc/4524/stat : 4524 (scop.sh) S 4521 4524 4480 0 -1 4202496 583 26699 0 0 0 0 379 14 20 0 1 0 500118599 115843072 369 33554432000 4194304 5098028 140737475208368 140737475205112 140000542139004 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18554880 140737475216124 140737475216472 140737475216472 140737475219401 0
/proc/4524/statm: 28282 369 311 221 0 87 0
[pid=4547] ppid=4524 vsize=7752268 memory=72652 CPUtime=0.54 cores=0-7
/proc/4547/stat : 4547 (java) S 4524 4524 4480 0 -1 1077944320 12846 0 0 0 50 4 0 0 20 0 20 0 500118868 7938322432 18163 33554432000 4194304 4196468 140723037519936 140723037502480 139689589714679 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
/proc/4547/statm: 1938067 18163 3044 1 0 1899951 0
[pid=4547/tid=4548] ppid=4524 vsize=7752268 memory=1400 CPUtime=0.4 cores=0-7
/proc/4547/task/4548/stat : 4548 (java) R 4524 4524 4480 0 -1 4202560 10567 0 0 0 37 3 0 0 20 0 20 0 500118869 7938322432 18163 33554432000 4194304 4196468 140723037519936 139689561543352 139689573795166 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4549] ppid=4524 vsize=7752268 memory=278028 CPUtime=0 cores=0-7
/proc/4547/task/4549/stat : 4549 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500118870 7938322432 18163 33554432000 4194304 4196468 140723037519936 139689593957136 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4550] ppid=4524 vsize=7752268 memory=2524 CPUtime=0 cores=0-7
/proc/4547/task/4550/stat : 4550 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500118870 7938322432 18163 33554432000 4194304 4196468 140723037519936 139689394125712 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4551] ppid=4524 vsize=7752268 memory=813 CPUtime=0 cores=0-7
/proc/4547/task/4551/stat : 4551 (java) S 4524 4524 4480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500118870 7938322432 18163 33554432000 4194304 4196468 140723037519936 139689393073168 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4552] ppid=4524 vsize=7752268 memory=3 CPUtime=0 cores=0-7
/proc/4547/task/4552/stat : 4552 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500118870 7938322432 18163 33554432000 4194304 4196468 140723037519936 139689392020624 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4553] ppid=4524 vsize=7752268 memory=1296 CPUtime=0 cores=0-7
/proc/4547/task/4553/stat : 4553 (java) S 4524 4524 4480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500118870 7938322432 18163 33554432000 4194304 4196468 140723037519936 139689390967056 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4554] ppid=4524 vsize=7752268 memory=1400 CPUtime=0 cores=0-7
/proc/4547/task/4554/stat : 4554 (java) S 4524 4524 4480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500118870 7938322432 18163 33554432000 4194304 4196468 140723037519936 139689389914512 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4555] ppid=4524 vsize=7752268 memory=104284 CPUtime=0 cores=0-7
/proc/4547/task/4555/stat : 4555 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500118870 7938322432 18163 33554432000 4194304 4196468 140723037519936 139689388861968 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4556] ppid=4524 vsize=7752268 memory=19284 CPUtime=0 cores=0-7
/proc/4547/task/4556/stat : 4556 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500118870 7938322432 18163 33554432000 4194304 4196468 140723037519936 139689387809424 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4557] ppid=4524 vsize=7752268 memory=2120 CPUtime=0 cores=0-7
/proc/4547/task/4557/stat : 4557 (java) S 4524 4524 4480 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 500118871 7938322432 18163 33554432000 4194304 4196468 140723037519936 139688347703792 139689589725826 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4558] ppid=4524 vsize=7752268 memory=12036 CPUtime=0 cores=0-7
/proc/4547/task/4558/stat : 4558 (java) S 4524 4524 4480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500118872 7938322432 18163 33554432000 4194304 4196468 140723037519936 139688241259936 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4559] ppid=4524 vsize=7752268 memory=496 CPUtime=0 cores=0-7
/proc/4547/task/4559/stat : 4559 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500118872 7938322432 18163 33554432000 4194304 4196468 140723037519936 139687972824560 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4560] ppid=4524 vsize=7752268 memory=1560 CPUtime=0 cores=0-7
/proc/4547/task/4560/stat : 4560 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500118874 7938322432 18163 33554432000 4194304 4196468 140723037519936 139687598316240 139689589733275 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4561] ppid=4524 vsize=7752268 memory=928 CPUtime=0.01 cores=0-7
/proc/4547/task/4561/stat : 4561 (java) S 4524 4524 4480 0 -1 1077944384 516 0 0 0 1 0 0 0 20 0 20 0 500118874 7938322432 18163 33554432000 4194304 4196468 140723037519936 139688346650608 139689589725826 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4562] ppid=4524 vsize=7752268 memory=1680 CPUtime=0.02 cores=0-7
/proc/4547/task/4562/stat : 4562 (java) S 4524 4524 4480 0 -1 1077944384 79 0 0 0 2 0 0 0 20 0 20 0 500118874 7938322432 18163 33554432000 4194304 4196468 140723037519936 139688345598064 139689589725826 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4563] ppid=4524 vsize=7752268 memory=1444 CPUtime=0 cores=0-7
/proc/4547/task/4563/stat : 4563 (java) S 4524 4524 4480 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 500118874 7938322432 18163 33554432000 4194304 4196468 140723037519936 139688344545520 139689589725826 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4564] ppid=4524 vsize=7752268 memory=0 CPUtime=0.08 cores=0-7
/proc/4547/task/4564/stat : 4564 (java) R 4524 4524 4480 0 -1 4202560 295 0 0 0 8 0 0 0 20 0 20 0 500118874 7938322432 18163 33554432000 4194304 4196468 140723037519936 139688343492976 139689568688154 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4565] ppid=4524 vsize=7752268 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/4547/task/4565/stat : 4565 (java) S 4524 4524 4480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500118875 7938322432 18163 33554432000 4194304 4196468 140723037519936 139687100410592 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4566] ppid=4524 vsize=7752268 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/4547/task/4566/stat : 4566 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500118875 7938322432 18163 33554432000 4194304 4196468 140723037519936 139688342440880 139689589725826 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0

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

[pid=4547/tid=4561] ppid=4524 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7
/proc/4547/task/4561/stat : 4561 (java) S 4524 4524 4480 0 -1 1077944384 542 0 0 0 3 0 0 0 20 0 24 0 500118874 8616062976 29802 33554432000 4194304 4196468 140723037519936 139688346650608 139689589725826 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4562] ppid=4524 vsize=8414124 memory=55 CPUtime=0.07 cores=0-7
/proc/4547/task/4562/stat : 4562 (java) S 4524 4524 4480 0 -1 1077944384 263 0 0 0 7 0 0 0 20 0 24 0 500118874 8616062976 29802 33554432000 4194304 4196468 140723037519936 139688345598064 139689589725826 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4563] ppid=4524 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/4547/task/4563/stat : 4563 (java) S 4524 4524 4480 0 -1 1077944384 295 0 0 0 5 0 0 0 20 0 24 0 500118874 8616062976 29802 33554432000 4194304 4196468 140723037519936 139688344545520 139689589725826 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4564] ppid=4524 vsize=8414124 memory=0 CPUtime=0.17 cores=0-7
/proc/4547/task/4564/stat : 4564 (java) S 4524 4524 4480 0 -1 1077944384 448 0 0 0 17 0 0 0 20 0 24 0 500118874 8616062976 29802 33554432000 4194304 4196468 140723037519936 139688343492976 139689589725826 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4565] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4565/stat : 4565 (java) S 4524 4524 4480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500118875 8616062976 29802 33554432000 4194304 4196468 140723037519936 139687100410592 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4566] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4566/stat : 4566 (java) S 4524 4524 4480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500118875 8616062976 29802 33554432000 4194304 4196468 140723037519936 139688342440880 139689589725826 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4568] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4568/stat : 4568 (java) S 4524 4524 4480 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500118940 8616062976 29802 33554432000 4194304 4196468 140723037519936 139688334407360 139689589739289 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4570] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4570/stat : 4570 (java) S 4524 4524 4480 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500118940 8616062976 29802 33554432000 4194304 4196468 140723037519936 139686429310224 139689589736605 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4571] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4571/stat : 4571 (java) S 4524 4524 4480 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500118940 8616062976 29802 33554432000 4194304 4196468 140723037519936 139686697745808 139689589736605 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4572] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4572/stat : 4572 (java) S 4524 4524 4480 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 500118942 8616062976 29802 33554432000 4194304 4196468 140723037519936 139686160882864 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 9162284 KiB
Current children cumulated memory: 295516 KiB

[startup+9.40146 s]
/proc/loadavg: 0.72 0.16 0.09 9/223 4581
/proc/meminfo: memFree=24883088/32770624 swapFree=66953704/67108860
[pid=4524] ppid=4521 vsize=113128 memory=1476 CPUtime=3.93 cores=0-7
/proc/4524/stat : 4524 (scop.sh) S 4521 4524 4480 0 -1 4202496 583 26699 0 0 0 0 379 14 20 0 1 0 500118599 115843072 369 33554432000 4194304 5098028 140737475208368 140737475205112 140000542139004 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18554880 140737475216124 140737475216472 140737475216472 140737475219401 0
/proc/4524/statm: 28282 369 311 221 0 87 0
[pid=4547] ppid=4524 vsize=8414124 memory=119208 CPUtime=1.1 cores=0-7
/proc/4547/stat : 4547 (java) S 4524 4524 4480 0 -1 1077944320 19333 0 0 0 103 7 0 0 20 0 24 0 500118868 8616062976 29802 33554432000 4194304 4196468 140723037519936 140723037502480 139689589714679 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
/proc/4547/statm: 2103531 29802 3208 1 0 2064875 0
[pid=4567] ppid=4547 vsize=635228 memory=177700 CPUtime=47.4 cores=0-7
/proc/4567/stat : 4567 (manyglucose-4.1) S 4547 4524 4480 0 -1 1077944320 92124 0 0 0 4723 17 0 0 20 0 5 0 500118939 650473472 44425 33554432000 4194304 4454172 140731320793568 140731320791952 140518482276087 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 38825984 140731320795982 140731320796188 140731320796188 140731320799158 0
/proc/4567/statm: 158807 44425 417 64 0 154475 0
[pid=4567/tid=4573] ppid=4547 vsize=635228 memory=0 CPUtime=5.94 cores=0-7
/proc/4567/task/4573/stat : 4573 (manyglucose-4.1) R 4547 4524 4480 0 -1 4202560 10444 0 0 0 593 1 0 0 20 0 5 0 500118944 650473472 44425 33554432000 4194304 4454172 140731320793568 140518467058792 4351516 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 38825984 140731320795982 140731320796188 140731320796188 140731320799158 0
[pid=4567/tid=4577] ppid=4547 vsize=635228 memory=7156894239835449171 CPUtime=5.94 cores=0-7
/proc/4567/task/4577/stat : 4577 (manyglucose-4.1) R 4547 4524 4480 0 -1 4202560 11060 0 0 0 592 2 0 0 20 0 5 0 500118944 650473472 44425 33554432000 4194304 4454172 140731320793568 140518433487800 4351800 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 38825984 140731320795982 140731320796188 140731320796188 140731320799158 0
[pid=4567/tid=4578] ppid=4547 vsize=635228 memory=5791722924532589650 CPUtime=5.93 cores=0-7
/proc/4567/task/4578/stat : 4578 (manyglucose-4.1) R 4547 4524 4480 0 -1 4202560 9830 0 0 0 592 1 0 0 20 0 5 0 500118944 650473472 44425 33554432000 4194304 4454172 140731320793568 140518425095320 4351747 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 38825984 140731320795982 140731320796188 140731320796188 140731320799158 0
[pid=4567/tid=4580] ppid=4547 vsize=635228 memory=0 CPUtime=5.94 cores=0-7
/proc/4567/task/4580/stat : 4580 (manyglucose-4.1) R 4547 4524 4480 0 -1 4202560 10602 0 0 0 592 2 0 0 20 0 5 0 500118944 650473472 44425 33554432000 4194304 4454172 140731320793568 140518408309608 4351321 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 38825984 140731320795982 140731320796188 140731320796188 140731320799158 0
[pid=4547/tid=4548] ppid=4524 vsize=8414124 memory=7020311512937346356 CPUtime=0.73 cores=0-7
/proc/4547/task/4548/stat : 4548 (java) S 4524 4524 4480 0 -1 1077944384 16390 0 0 0 68 5 0 0 20 0 24 0 500118869 8616062976 29802 33554432000 4194304 4196468 140723037519936 139689561554848 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4549] ppid=4524 vsize=8414124 memory=4638778402627867496 CPUtime=0 cores=0-7
/proc/4547/task/4549/stat : 4549 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500118870 8616062976 29802 33554432000 4194304 4196468 140723037519936 139689593957136 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4550] ppid=4524 vsize=8414124 memory=7378976914161363008 CPUtime=0 cores=0-7
/proc/4547/task/4550/stat : 4550 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500118870 8616062976 29802 33554432000 4194304 4196468 140723037519936 139689394125712 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4551] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4551/stat : 4551 (java) S 4524 4524 4480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500118870 8616062976 29802 33554432000 4194304 4196468 140723037519936 139689393073168 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4552] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4552/stat : 4552 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500118870 8616062976 29802 33554432000 4194304 4196468 140723037519936 139689392020624 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4553] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4553/stat : 4553 (java) S 4524 4524 4480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500118870 8616062976 29802 33554432000 4194304 4196468 140723037519936 139689390967056 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4554] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4554/stat : 4554 (java) S 4524 4524 4480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500118870 8616062976 29802 33554432000 4194304 4196468 140723037519936 139689389914512 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4555] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4555/stat : 4555 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500118870 8616062976 29802 33554432000 4194304 4196468 140723037519936 139689388861968 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4556] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4556/stat : 4556 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500118870 8616062976 29802 33554432000 4194304 4196468 140723037519936 139689387809424 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4557] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4557/stat : 4557 (java) S 4524 4524 4480 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 500118871 8616062976 29802 33554432000 4194304 4196468 140723037519936 139688347703792 139689589725826 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4558] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4558/stat : 4558 (java) S 4524 4524 4480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500118872 8616062976 29802 33554432000 4194304 4196468 140723037519936 139688241259936 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4559] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4559/stat : 4559 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500118872 8616062976 29802 33554432000 4194304 4196468 140723037519936 139687972824560 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4560] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4560/stat : 4560 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500118874 8616062976 29802 33554432000 4194304 4196468 140723037519936 139687598316240 139689589733275 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4561] ppid=4524 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7
/proc/4547/task/4561/stat : 4561 (java) S 4524 4524 4480 0 -1 1077944384 542 0 0 0 3 0 0 0 20 0 24 0 500118874 8616062976 29802 33554432000 4194304 4196468 140723037519936 139688346650608 139689589725826 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4562] ppid=4524 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/4547/task/4562/stat : 4562 (java) S 4524 4524 4480 0 -1 1077944384 263 0 0 0 7 0 0 0 20 0 24 0 500118874 8616062976 29802 33554432000 4194304 4196468 140723037519936 139688345598064 139689589725826 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4563] ppid=4524 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7
/proc/4547/task/4563/stat : 4563 (java) S 4524 4524 4480 0 -1 1077944384 295 0 0 0 5 0 0 0 20 0 24 0 500118874 8616062976 29802 33554432000 4194304 4196468 140723037519936 139688344545520 139689589725826 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4564] ppid=4524 vsize=8414124 memory=0 CPUtime=0.17 cores=0-7
/proc/4547/task/4564/stat : 4564 (java) S 4524 4524 4480 0 -1 1077944384 448 0 0 0 17 0 0 0 20 0 24 0 500118874 8616062976 29802 33554432000 4194304 4196468 140723037519936 139688343492976 139689589725826 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4565] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4565/stat : 4565 (java) S 4524 4524 4480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500118875 8616062976 29802 33554432000 4194304 4196468 140723037519936 139687100410592 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4566] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4566/stat : 4566 (java) S 4524 4524 4480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500118875 8616062976 29802 33554432000 4194304 4196468 140723037519936 139688342440880 139689589725826 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4568] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4568/stat : 4568 (java) S 4524 4524 4480 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500118940 8616062976 29802 33554432000 4194304 4196468 140723037519936 139688334407360 139689589739289 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4570] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4570/stat : 4570 (java) S 4524 4524 4480 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500118940 8616062976 29802 33554432000 4194304 4196468 140723037519936 139686429310224 139689589736605 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4571] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4571/stat : 4571 (java) S 4524 4524 4480 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500118940 8616062976 29802 33554432000 4194304 4196468 140723037519936 139686697745808 139689589736605 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4572] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4572/stat : 4572 (java) S 4524 4524 4480 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 500118942 8616062976 29802 33554432000 4194304 4196468 140723037519936 139686160882864 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
Current children cumulated CPU time: 52.43 s
Current children cumulated vsize: 9162480 KiB
Current children cumulated memory: 298384 KiB

[startup+9.50146 s]
/proc/loadavg: 0.72 0.16 0.09 9/223 4581
/proc/meminfo: memFree=24883088/32770624 swapFree=66953704/67108860
[pid=4524] ppid=4521 vsize=113128 memory=1476 CPUtime=3.93 cores=0-7
/proc/4524/stat : 4524 (scop.sh) S 4521 4524 4480 0 -1 4202496 583 26699 0 0 0 0 379 14 20 0 1 0 500118599 115843072 369 33554432000 4194304 5098028 140737475208368 140737475205112 140000542139004 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18554880 140737475216124 140737475216472 140737475216472 140737475219401 0
/proc/4524/statm: 28282 369 311 221 0 87 0
[pid=4547] ppid=4524 vsize=8414124 memory=119208 CPUtime=1.1 cores=0-7
/proc/4547/stat : 4547 (java) S 4524 4524 4480 0 -1 1077944320 19333 0 0 0 103 7 0 0 20 0 24 0 500118868 8616062976 29802 33554432000 4194304 4196468 140723037519936 140723037502480 139689589714679 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
/proc/4547/statm: 2103531 29802 3208 1 0 2064875 0
[pid=4567] ppid=4547 vsize=635228 memory=177840 CPUtime=47.74 cores=0-7
/proc/4567/stat : 4567 (manyglucose-4.1) S 4547 4524 4480 0 -1 1077944320 92191 0 0 0 4757 17 0 0 20 0 3 0 500118939 650473472 44460 33554432000 4194304 4454172 140731320793568 140731320791952 140518482276087 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 38825984 140731320795982 140731320796188 140731320796188 140731320799158 0
/proc/4567/statm: 158807 44460 417 64 0 154475 0
[pid=4567/tid=4577] ppid=4547 vsize=635228 memory=281093664464304 CPUtime=6.04 cores=0-7
/proc/4567/task/4577/stat : 4577 (manyglucose-4.1) R 4547 4524 4480 0 -1 4202560 11060 0 0 0 602 2 0 0 20 0 3 0 500118944 650473472 44460 33554432000 4194304 4454172 140731320793568 140518433487800 4350046 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 38825984 140731320795982 140731320796188 140731320796188 140731320799158 0
[pid=4567/tid=4578] ppid=4547 vsize=635228 memory=7669746066754137968 CPUtime=6.03 cores=0-7
/proc/4567/task/4578/stat : 4578 (manyglucose-4.1) R 4547 4524 4480 0 -1 4202560 9873 0 0 0 602 1 0 0 20 0 3 0 500118944 650473472 44460 33554432000 4194304 4454172 140731320793568 140518425095320 4351099 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 38825984 140731320795982 140731320796188 140731320796188 140731320799158 0
[pid=4547/tid=4548] ppid=4524 vsize=8414124 memory=7679937539659563834 CPUtime=0.73 cores=0-7
/proc/4547/task/4548/stat : 4548 (java) S 4524 4524 4480 0 -1 1077944384 16390 0 0 0 68 5 0 0 20 0 24 0 500118869 8616062976 29802 33554432000 4194304 4196468 140723037519936 139689561554848 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4549] ppid=4524 vsize=8414124 memory=6944656592455360608 CPUtime=0 cores=0-7
/proc/4547/task/4549/stat : 4549 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500118870 8616062976 29802 33554432000 4194304 4196468 140723037519936 139689593957136 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4550] ppid=4524 vsize=8414124 memory=6944656591801717918 CPUtime=0 cores=0-7
/proc/4547/task/4550/stat : 4550 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500118870 8616062976 29802 33554432000 4194304 4196468 140723037519936 139689394125712 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4551] ppid=4524 vsize=8414124 memory=571 CPUtime=0 cores=0-7
/proc/4547/task/4551/stat : 4551 (java) S 4524 4524 4480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500118870 8616062976 29802 33554432000 4194304 4196468 140723037519936 139689393073168 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4552] ppid=4524 vsize=8414124 memory=584 CPUtime=0 cores=0-7
/proc/4547/task/4552/stat : 4552 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500118870 8616062976 29802 33554432000 4194304 4196468 140723037519936 139689392020624 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4553] ppid=4524 vsize=8414124 memory=73 CPUtime=0 cores=0-7
/proc/4547/task/4553/stat : 4553 (java) S 4524 4524 4480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500118870 8616062976 29802 33554432000 4194304 4196468 140723037519936 139689390967056 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4554] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4554/stat : 4554 (java) S 4524 4524 4480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500118870 8616062976 29802 33554432000 4194304 4196468 140723037519936 139689389914512 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4555] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4555/stat : 4555 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500118870 8616062976 29802 33554432000 4194304 4196468 140723037519936 139689388861968 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4556] ppid=4524 vsize=8414124 memory=14 CPUtime=0 cores=0-7
/proc/4547/task/4556/stat : 4556 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500118870 8616062976 29802 33554432000 4194304 4196468 140723037519936 139689387809424 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4557] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4557/stat : 4557 (java) S 4524 4524 4480 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 500118871 8616062976 29802 33554432000 4194304 4196468 140723037519936 139688347703792 139689589725826 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4558] ppid=4524 vsize=8414124 memory=110 CPUtime=0 cores=0-7
/proc/4547/task/4558/stat : 4558 (java) S 4524 4524 4480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500118872 8616062976 29802 33554432000 4194304 4196468 140723037519936 139688241259936 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4559] ppid=4524 vsize=8414124 memory=2043 CPUtime=0 cores=0-7
/proc/4547/task/4559/stat : 4559 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500118872 8616062976 29802 33554432000 4194304 4196468 140723037519936 139687972824560 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4560] ppid=4524 vsize=8414124 memory=6015 CPUtime=0 cores=0-7
/proc/4547/task/4560/stat : 4560 (java) S 4524 4524 4480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500118874 8616062976 29802 33554432000 4194304 4196468 140723037519936 139687598316240 139689589733275 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4561] ppid=4524 vsize=8414124 memory=1476 CPUtime=0.03 cores=0-7
/proc/4547/task/4561/stat : 4561 (java) S 4524 4524 4480 0 -1 1077944384 542 0 0 0 3 0 0 0 20 0 24 0 500118874 8616062976 29802 33554432000 4194304 4196468 140723037519936 139688346650608 139689589725826 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4562] ppid=4524 vsize=8414124 memory=119208 CPUtime=0.07 cores=0-7
/proc/4547/task/4562/stat : 4562 (java) S 4524 4524 4480 0 -1 1077944384 263 0 0 0 7 0 0 0 20 0 24 0 500118874 8616062976 29802 33554432000 4194304 4196468 140723037519936 139688345598064 139689589725826 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4563] ppid=4524 vsize=8414124 memory=137652 CPUtime=0.05 cores=0-7
/proc/4547/task/4563/stat : 4563 (java) S 4524 4524 4480 0 -1 1077944384 295 0 0 0 5 0 0 0 20 0 24 0 500118874 8616062976 29802 33554432000 4194304 4196468 140723037519936 139688344545520 139689589725826 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4564] ppid=4524 vsize=8414124 memory=0 CPUtime=0.17 cores=0-7
/proc/4547/task/4564/stat : 4564 (java) S 4524 4524 4480 0 -1 1077944384 448 0 0 0 17 0 0 0 20 0 24 0 500118874 8616062976 29802 33554432000 4194304 4196468 140723037519936 139688343492976 139689589725826 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4565] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4565/stat : 4565 (java) S 4524 4524 4480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500118875 8616062976 29802 33554432000 4194304 4196468 140723037519936 139687100410592 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4566] ppid=4524 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/4547/task/4566/stat : 4566 (java) S 4524 4524 4480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500118875 8616062976 29802 33554432000 4194304 4196468 140723037519936 139688342440880 139689589725826 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4568] ppid=4524 vsize=8414124 memory=47368 CPUtime=0 cores=0-7
/proc/4547/task/4568/stat : 4568 (java) S 4524 4524 4480 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500118940 8616062976 29802 33554432000 4194304 4196468 140723037519936 139688334407360 139689589739289 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4570] ppid=4524 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/4547/task/4570/stat : 4570 (java) S 4524 4524 4480 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 500118940 8616062976 29802 33554432000 4194304 4196468 140723037519936 139686429310224 139689589736605 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4571] ppid=4524 vsize=8414124 memory=2016 CPUtime=0 cores=0-7
/proc/4547/task/4571/stat : 4571 (java) S 4524 4524 4480 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500118940 8616062976 29802 33554432000 4194304 4196468 140723037519936 139686697745808 139689589736605 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
[pid=4547/tid=4572] ppid=4524 vsize=8414124 memory=119208 CPUtime=0 cores=0-7
/proc/4547/task/4572/stat : 4572 (java) S 4524 4524 4480 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 500118942 8616062976 29802 33554432000 4194304 4196468 140723037519936 139686160882864 139689589724885 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37593088 140723037524960 140723037525126 140723037525126 140723037528015 0
Current children cumulated CPU time: 52.77 s
Current children cumulated vsize: 9162480 KiB
Current children cumulated memory: 298524 KiB

Child status: 0
Real time (s): 9.55822
CPU time (s): 52.9071
CPU user time (s): 52.4913
CPU system time (s): 0.415809
CPU usage (%): 553.525
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 298524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 52.4913
system time used= 0.415809
maximum resident set size= 285132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139557
page faults= 0
swaps= 0
block input operations= 16272
block output operations= 1032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7526
involuntary context switches= 791


# summary of solver processes directly reported to runsolver:
#   pid: 4524
#   total CPU time (s): 52.9071
#   total CPU user time (s): 52.4913
#   total CPU system time (s): 0.415809

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.096867 second user time and 0.159993 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-23 12:35:08
IDJOB=4405471
IDBENCH=120664
IDSOLVER=2868
FILE ID=node107/4405471-1569238631
RUNJOBID= node107-1569234908-4507
PBS_JOBID= 21704913
Free space on /var/tmp= 12564 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Knights/Knights-m1-s1/Knights-015-09.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405471-1569238631/watcher-4405471-1569238631 -o /var/tmp/evaluation-result-4405471-1569238631/solver-4405471-1569238631 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569234908-4507 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405471-1569238631.xml

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

MD5SUM BENCH= cfe7c94c3eac37bc9c9baa094de7ccd9
RANDOM SEED=924268393

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25169056 kB
MemAvailable:   31803456 kB
Buffers:           89812 kB
Cached:          6616076 kB
SwapCached:        48408 kB
Active:          3308456 kB
Inactive:        3445556 kB
Active(anon):       2996 kB
Inactive(anon):    98040 kB
Active(file):    3305460 kB
Inactive(file):  3347516 kB
Unevictable:      110960 kB
Mlocked:          110960 kB
SwapTotal:      67108860 kB
SwapFree:       66953704 kB
Dirty:             20564 kB
Writeback:             0 kB
AnonPages:        112132 kB
Mapped:            52136 kB
Shmem:             44184 kB
Slab:             438784 kB
SReclaimable:     409884 kB
SUnreclaim:        28900 kB
KernelStack:        3328 kB
PageTables:         5156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505292 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:      101760 kB
DirectMap2M:    33443840 kB

Free space on /var/tmp at the end= 12544 MiB
End job on node107 at 2019-09-23 12:35:19