Trace number 4405505

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 24.1121 12.7266

General information on the benchmark

NameLatinSquare/LatinSquare-xcsp2-qcp25/
qcp-25-264-12_X2.xml
MD5SUM0da6a8f2891de305d0b0efc67f372d88
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 benchmark3.28665
Satisfiable
(Un)Satisfiability was proved
Number of variables625
Number of constraints15000
Number of domains26
Minimum domain size1
Maximum domain size25
Distribution of domain sizes[{"size":1,"count":361},{"size":25,"count":264}]
Minimum variable degree48
Maximum variable degree48
Distribution of variable degrees[{"degree":48,"count":625}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":15000}]
Number of extensional constraints15000
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":15000}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-18943-serial-file.bin HOME/instance-4405505-1569359399.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 23:09:15 CEST 2019
0.66/0.57	c PID: 18946
0.66/0.57	c IP: 172.20.3.136
0.66/0.57	c HOST: node136.alineos.net
0.66/0.57	c (0,0) Parsing Begin
3.99/1.55	c (1,1) Parsing End
3.99/1.56	c (1,1) CSP: 597 int (0 aux), 28 bool (0 aux), 10142 ctr, max domain size 25
3.99/1.56	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.99/1.56	c (1,1) Constraint Name Generate Begin
4.41/1.60	c (1,1) Ctr:HOME/instance-4405505-1569359399.xml,ExtensionConflict:Var
4.41/1.60	c (1,1) Constraint Name Generate End
4.41/1.60	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
4.41/1.60	c (1,1) CSP to CSPinCNF Begin
8.66/2.60	c (2,2) translated 1015 (10%) constraints
10.83/4.09	c (3,3) translated 2029 (20%) constraints
12.37/5.50	c (4,4) translated 3043 (30%) constraints
12.90/6.05	c (5,5) translated 4057 (40%) constraints
13.01/6.12	c (5,5) translated 5071 (50%) constraints
13.15/6.20	c (5,5) translated 6086 (60%) constraints
13.15/6.27	c (5,5) translated 7100 (70%) constraints
13.32/6.34	c (5,5) translated 8114 (80%) constraints
13.56/6.41	c (5,5) translated 9128 (90%) constraints
13.56/6.48	c (5,5) translated 10142 (100%) constraints
13.56/6.48	c (5,5) ===========================================
13.76/6.55	c (6,6) Hybrid: #OE=625, #LE=0
13.76/6.55	c (6,6) Hybrid
13.76/6.55	c (6,6) ===========================================
14.17/6.75	c (6,6) translated 7087 (10%) constraints
14.51/6.90	c (6,6) translated 14173 (20%) constraints
14.61/7.06	c (6,6) translated 21259 (30%) constraints
14.85/7.21	c (6,6) translated 28345 (40%) constraints
14.95/7.37	c (6,6) translated 35431 (50%) constraints
15.14/7.52	c (6,6) translated 42518 (60%) constraints
15.25/7.68	c (7,7) translated 49604 (70%) constraints
15.45/7.83	c (7,7) translated 56690 (80%) constraints
15.54/7.99	c (7,7) translated 63776 (90%) constraints
15.75/8.13	c (7,7) translated 70862 (100%) constraints
15.75/8.13	c (7,7) CSP to CSPinCNF End
15.75/8.13	c (7,7) CSP: 597 int (0 aux), 28 bool (0 aux), 70862 ctr, max domain size 25
15.75/8.13	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
15.75/8.13	c (7,7) CSPinCNF Propagation Begin
20.04/10.74	c (10,10) 1815 values, 49152 unsatisfiable literals, and 27346 valid clauses are removed
20.04/10.74	c (10,10) CSPinCNF Propagation End
20.04/10.74	c (10,10) CSP: 597 int (0 aux), 28 bool (0 aux), 43516 ctr, max domain size 25
20.04/10.74	c (10,10) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
20.04/10.78	c (10,10) Hybrid: #OE=625, #LE=0
20.04/10.78	c (10,10) Simplify CSPinCNF Begin
20.36/10.91	c (10,10) Simplify CSPinCNF End
20.36/10.91	c (10,10) CSP: 597 int (0 aux), 28 bool (0 aux), 43516 ctr, max domain size 25
20.36/10.91	c (10,10) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
20.36/10.91	c (10,10) Calculate Precise Domain Begin
20.36/10.91	c (10,10) 0 values are removed by re-calculation
20.36/10.91	c (10,10) Calculate Precise Domain End
20.36/10.91	c (10,10) CSP: 597 int (0 aux), 28 bool (0 aux), 43516 ctr, max domain size 25
20.36/10.91	c (10,10) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
20.36/10.91	c (10,10) CSPinCNF to SatSolver Begin
20.98/11.15	c (10,10) 4352 (10 %) CSP clauses are encoded (0 SAT variables, 8608 SAT clauses)
21.34/11.25	c (10,10) 8704 (20 %) CSP clauses are encoded (0 SAT variables, 12960 SAT clauses)
21.68/11.31	c (10,10) 13055 (30 %) CSP clauses are encoded (0 SAT variables, 17311 SAT clauses)
21.68/11.36	c (10,10) 17407 (40 %) CSP clauses are encoded (0 SAT variables, 21663 SAT clauses)
21.82/11.41	c (10,10) 21758 (50 %) CSP clauses are encoded (0 SAT variables, 26014 SAT clauses)
21.82/11.47	c (10,10) 26110 (60 %) CSP clauses are encoded (0 SAT variables, 30366 SAT clauses)
21.92/11.52	c (10,10) 30462 (70 %) CSP clauses are encoded (0 SAT variables, 34718 SAT clauses)
21.92/11.57	c (11,11) 34813 (80 %) CSP clauses are encoded (0 SAT variables, 39069 SAT clauses)
22.01/11.62	c (11,11) 39165 (90 %) CSP clauses are encoded (0 SAT variables, 43421 SAT clauses)
22.01/11.65	c (11,11) 43516 (100 %) CSP clauses are encoded (0 SAT variables, 47772 SAT clauses)
22.01/11.65	c (11,11) CSPinCNF to SatSolver End
22.01/11.65	c (11,11) Heap : 4843 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
22.01/11.65	c (11,11) 4521 bool, 47773 clause
22.01/11.65	c (11,11) Export Begin
22.18/11.77	c (11,11) Export to HOME/scop-18943-serial-file.bin
22.18/11.77	c (11,11) Export End
22.18/11.78	c (11,11) Export File Size: 0.11 MB
22.18/11.78	c (11,11) 1,1,7,10,10,10,11,STOP-AFTER(DIMACS)
22.18/11.78	c END-Prog: Tue Sep 24 23:09:26 CEST 2019
0.00/11.82	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-18943-serial-file.bin
22.91/12.28	c (0,0) Read Serial File Begin
22.91/12.28	c (0,0) HOME/scop-18943-serial-file.bin
23.40/12.53	c (0,0) Read Serial File End
23.40/12.54	
23.40/12.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
23.40/12.54	(Solving Process)
23.40/12.54	
23.40/12.56	c BEGIN-Prog: Tue Sep 24 23:09:27 CEST 2019
23.40/12.56	c PID: 18968
23.40/12.56	c IP: 172.20.3.136
23.40/12.56	c HOST: node136.alineos.net
23.40/12.57	c (0,0) SatSolver.solve Begin
23.40/12.57	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405505-1569359399.xml-scop-18946.cnf
23.40/12.59	c (0,0) c
23.40/12.59	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)
23.40/12.59	c (0,0) c
23.40/12.59	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
23.40/12.59	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
23.40/12.59	c (0,0) c ========================================[ Problem Statistics ]===========================================
23.40/12.59	c (0,0) c |                                                                                                       |
23.67/12.61	c (0,0) c |  Number of variables:          4521                                                                   |
23.67/12.61	c (0,0) c |  Number of clauses:           47773                                                                   |
23.67/12.61	c (0,0) c |  Parse time:                   0.02 s                                                                 |
23.67/12.61	c (0,0) c |                                                                                                       |
23.67/12.64	c (0,0) c |  Simplification time:          0.03 s                                                                 |
23.67/12.64	c (0,0) c |                                                                                                       |
23.67/12.64	c (0,0) c |  Generating clones                                                                                    |
23.67/12.65	c (0,0) c |  all clones generated. Memory =    36.81Mb.                                                           |
23.67/12.65	c (0,0) c ========================================================================================================|
23.67/12.65	c (0,0) c
23.67/12.65	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
23.67/12.65	c (0,0) c
23.67/12.65	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.67/12.65	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
23.67/12.66	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.67/12.66	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
23.67/12.66	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
23.67/12.66	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
23.67/12.66	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
23.67/12.66	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
23.67/12.66	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
23.67/12.66	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
23.67/12.66	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
23.67/12.66	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
23.67/12.66	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
23.67/12.66	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
23.67/12.66	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
23.67/12.66	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
23.67/12.66	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
23.67/12.66	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
23.67/12.66	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.67/12.69	c (0,0) c
23.67/12.69	c (0,0) c real time : 0.101889 s
23.67/12.69	c (0,0) c cpu time  : 0.238767 s
23.67/12.69	c (0,0) c
23.67/12.69	c (0,0) c
23.67/12.69	c (0,0) c
23.67/12.69	c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
23.67/12.69	c (0,0) c
23.67/12.69	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.67/12.69	c (0,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
23.67/12.69	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.67/12.69	c (0,0) c | Conflicts     |           22944 |       2688 |       2819 |       4022 |       1644 |       1846 |       2449 |       3584 |       3892 |
23.67/12.69	c (0,0) c | Decisions     |           31477 |       3621 |       3900 |       5239 |       2369 |       2699 |       3272 |       4786 |       5591 |
23.67/12.69	c (0,0) c | Propagations  |          497107 |      57115 |      66808 |      86714 |      34359 |      40569 |      44489 |      72364 |      94689 |
23.67/12.69	c (0,0) c | ReduceDBs     |               6 |          1 |          1 |          1 |          0 |          0 |          1 |          1 |          1 |
23.67/12.69	c (0,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
23.67/12.69	c (0,0) c | Restarts      |              25 |          1 |          1 |          3 |          3 |          3 |          4 |          4 |          6 |
23.67/12.69	c (0,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.67/12.69	c (0,0) c | PropBinClauses|          566173 |      65253 |      75067 |      96775 |      40369 |      46346 |      51632 |      82907 |     107824 |
23.67/12.69	c (0,0) c | PropPreBlocker|         4478609 |     503747 |     545216 |     985020 |     209923 |     273999 |     355944 |     808950 |     795810 |
23.67/12.69	c (0,0) c | PropNotBlocker|         2136878 |     253473 |     251030 |     456484 |     111715 |     136552 |     179631 |     380921 |     367072 |
23.67/12.69	c (0,0) c | LitFullScans  |        10611166 |    1231447 |    1274245 |    2274633 |     535797 |     662656 |     857553 |    1877666 |    1897169 |
23.67/12.69	c (0,0) c | LitScanFracts |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.67/12.69	c (0,0) c | DecisionLevel0|              82 |          6 |         10 |         11 |          9 |         10 |         14 |         10 |         12 |
23.67/12.69	c (0,0) c | Periods       |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.67/12.69	c (0,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
23.67/12.69	c (0,0) c | Avg_Trail     |                 |        128 |        140 |        123 |        146 |        139 |        129 |        129 |        140 |
23.67/12.69	c (0,0) c | Avg_DL        |                 |         15 |         20 |         14 |         19 |         19 |         18 |         15 |         17 |
23.67/12.69	c (0,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.67/12.69	c (0,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.67/12.69	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.67/12.69	c (0,0) c | Exported      |             723 |         89 |         84 |        102 |         85 |         88 |        113 |         92 |         70 |
23.67/12.69	c (0,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.67/12.69	c (0,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.67/12.69	c (0,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.67/12.69	c (0,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.67/12.69	c (0,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.67/12.69	c (0,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
23.67/12.69	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.67/12.69	c (0,0) c | Unaries       |                 |          5 |          9 |          8 |          6 |          7 |         10 |          6 |          6 |
23.67/12.69	c (0,0) c | Binaries      |                 |         26 |         29 |         26 |         25 |         18 |         20 |         28 |         27 |
23.67/12.69	c (0,0) c | Glues         |                 |         89 |         84 |        102 |         85 |         88 |        113 |         92 |         70 |
23.67/12.69	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.67/12.69	c (0,0) c | Orig_Seen     |            15 % |        870 |        674 |       1118 |        863 |       1082 |        767 |        888 |       1557 |
23.67/12.69	c (0,0) c | Diff Orig seen|                 |      X     | -      196 |        248 | -        7 |        212 | -      103 |         18 |        687 |
23.67/12.69	c (0,0) c | Hamming       |             5 % |      X     |        219 |        221 |        244 |        235 |        252 |        213 |        260 |
23.67/12.69	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.67/12.69	c (0,0) c | RunningTime   |                 |    0.0  99%|    0.0  99%|    0.0  99%|    0.0  99%|    0.0  99%|    0.0  99%|    0.0  99%|    0.0  99%|
23.67/12.69	c (0,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
23.67/12.69	c (0,0) c | ExchangingTime|                 |    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|
23.67/12.69	c (0,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
23.67/12.69	c (0,0) c | SolvingTime   |                 |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |    0.0     |
23.67/12.69	c (0,0) c | PropagationTim|                 |    0.0  62%|    0.0  67%|    0.0  64%|    0.0  66%|    0.0  64%|    0.0  68%|    0.0  67%|    0.0  61%|
23.67/12.69	c (0,0) c | AnalysisTime  |                 |    0.0  23%|    0.0  19%|    0.0  23%|    0.0  23%|    0.0  24%|    0.0  18%|    0.0  21%|    0.0  24%|
23.67/12.69	c (0,0) c | ReductionTime |                 |    0.0   5%|    0.0   4%|    0.0   3%|    0.0   0%|    0.0   0%|    0.0   5%|    0.0   3%|    0.0   3%|
23.67/12.69	c (0,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
23.67/12.69	c (0,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
23.67/12.69	c (0,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
23.67/12.69	c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
23.67/12.69	c (0,0) c
23.67/12.69	c (0,0) c
23.67/12.69	c (0,0) c Threads : 8
23.67/12.69	c (0,0) c Winner : 0
23.67/12.69	c (0,0) c Conflicts_0 : 2688
23.67/12.69	c (0,0) c Conflicts_1 : 2819
23.67/12.69	c (0,0) c Conflicts_2 : 4022
23.67/12.69	c (0,0) c Conflicts_3 : 1644
23.67/12.69	c (0,0) c Conflicts_4 : 1846
23.67/12.69	c (0,0) c Conflicts_5 : 2449
23.67/12.69	c (0,0) c Conflicts_6 : 3584
23.67/12.69	c (0,0) c Conflicts_7 : 3892
23.67/12.69	c (0,0) c Conflicts_total : 22944
23.67/12.69	c (0,0) c Conflicts_winner : 2688
23.67/12.69	c (0,0) c Decisions_0 : 3621
23.67/12.69	c (0,0) c Decisions_1 : 3900
23.67/12.69	c (0,0) c Decisions_2 : 5239
23.67/12.69	c (0,0) c Decisions_3 : 2369
23.67/12.69	c (0,0) c Decisions_4 : 2699
23.67/12.70	c (0,0) c Decisions_5 : 3272
23.67/12.70	c (0,0) c Decisions_6 : 4786
23.67/12.70	c (0,0) c Decisions_7 : 5591
23.67/12.70	c (0,0) c Decisions_total : 31477
23.67/12.70	c (0,0) c Decisions_winner : 3621
23.67/12.70	c (0,0) c Propagations_0 : 57115
23.67/12.70	c (0,0) c Propagations_1 : 66808
23.67/12.70	c (0,0) c Propagations_2 : 86714
23.67/12.70	c (0,0) c Propagations_3 : 34359
23.67/12.70	c (0,0) c Propagations_4 : 40569
23.67/12.70	c (0,0) c Propagations_5 : 44489
23.67/12.70	c (0,0) c Propagations_6 : 72364
23.67/12.70	c (0,0) c Propagations_7 : 94689
23.67/12.70	c (0,0) c Propagations_total : 497107
23.67/12.70	c (0,0) c Propagations_winner : 57115
23.67/12.70	c (0,0) c ReduceDBs_0 : 1
23.67/12.70	c (0,0) c ReduceDBs_1 : 1
23.67/12.70	c (0,0) c ReduceDBs_2 : 1
23.67/12.70	c (0,0) c ReduceDBs_3 : 0
23.67/12.70	c (0,0) c ReduceDBs_4 : 0
23.67/12.70	c (0,0) c ReduceDBs_5 : 1
23.67/12.70	c (0,0) c ReduceDBs_6 : 1
23.67/12.70	c (0,0) c ReduceDBs_7 : 1
23.67/12.70	c (0,0) c ReduceDBs_total : 6
23.67/12.70	c (0,0) c ReduceDBs_winner : 1
23.67/12.70	c (0,0) c SimpDBs_0 : 1
23.67/12.70	c (0,0) c SimpDBs_1 : 1
23.67/12.70	c (0,0) c SimpDBs_2 : 1
23.67/12.70	c (0,0) c SimpDBs_3 : 1
23.67/12.70	c (0,0) c SimpDBs_4 : 1
23.67/12.70	c (0,0) c SimpDBs_5 : 1
23.67/12.70	c (0,0) c SimpDBs_6 : 1
23.67/12.70	c (0,0) c SimpDBs_7 : 1
23.67/12.70	c (0,0) c SimpDBs_total : 8
23.67/12.70	c (0,0) c SimpDBs_winner : 1
23.67/12.70	c (0,0) c Restarts_0 : 1
23.67/12.70	c (0,0) c Restarts_1 : 1
23.67/12.70	c (0,0) c Restarts_2 : 3
23.67/12.70	c (0,0) c Restarts_3 : 3
24.01/12.70	c (0,0) c Restarts_4 : 3
24.01/12.70	c (0,0) c Restarts_5 : 4
24.01/12.70	c (0,0) c Restarts_6 : 4
24.01/12.70	c (0,0) c Restarts_7 : 6
24.01/12.70	c (0,0) c Restarts_total : 25
24.01/12.70	c (0,0) c Restarts_winner : 1
24.01/12.70	c (0,0) c ForcedImports_0 : 0
24.01/12.70	c (0,0) c ForcedImports_1 : 0
24.01/12.70	c (0,0) c ForcedImports_2 : 0
24.01/12.70	c (0,0) c ForcedImports_3 : 0
24.01/12.70	c (0,0) c ForcedImports_4 : 0
24.01/12.70	c (0,0) c ForcedImports_5 : 0
24.01/12.70	c (0,0) c ForcedImports_6 : 0
24.01/12.70	c (0,0) c ForcedImports_7 : 0
24.01/12.70	c (0,0) c ForcedImports_total : 0
24.01/12.70	c (0,0) c ForcedImports_winner : 0
24.01/12.70	c (0,0) c PropsBinClauses_0 : 65253
24.01/12.70	c (0,0) c PropsBinClauses_1 : 75067
24.01/12.70	c (0,0) c PropsBinClauses_2 : 96775
24.01/12.70	c (0,0) c PropsBinClauses_3 : 40369
24.01/12.70	c (0,0) c PropsBinClauses_4 : 46346
24.01/12.70	c (0,0) c PropsBinClauses_5 : 51632
24.01/12.70	c (0,0) c PropsBinClauses_6 : 82907
24.01/12.70	c (0,0) c PropsBinClauses_7 : 107824
24.01/12.70	c (0,0) c PropsBinClauses_total : 566173
24.01/12.70	c (0,0) c PropsBinClauses_winner : 65253
24.01/12.70	c (0,0) c PropsPreBlocker_0 : 503747
24.01/12.70	c (0,0) c PropsPreBlocker_1 : 545216
24.01/12.70	c (0,0) c PropsPreBlocker_2 : 985020
24.01/12.70	c (0,0) c PropsPreBlocker_3 : 209923
24.01/12.70	c (0,0) c PropsPreBlocker_4 : 273999
24.01/12.70	c (0,0) c PropsPreBlocker_5 : 355944
24.01/12.70	c (0,0) c PropsPreBlocker_6 : 808950
24.01/12.70	c (0,0) c PropsPreBlocker_7 : 795810
24.01/12.70	c (0,0) c PropsPreBlocker_total : 4478609
24.01/12.70	c (0,0) c PropsPreBlocker_winner : 503747
24.01/12.70	c (0,0) c PropsNotBlocker_0 : 253473
24.01/12.70	c (0,0) c PropsNotBlocker_1 : 251030
24.01/12.70	c (0,0) c PropsNotBlocker_2 : 456484
24.01/12.70	c (0,0) c PropsNotBlocker_3 : 111715
24.01/12.70	c (0,0) c PropsNotBlocker_4 : 136552
24.01/12.70	c (0,0) c PropsNotBlocker_5 : 179631
24.01/12.70	c (0,0) c PropsNotBlocker_6 : 380921
24.01/12.70	c (0,0) c PropsNotBlocker_7 : 367072
24.01/12.70	c (0,0) c PropsNotBlocker_total : 2136878
24.01/12.70	c (0,0) c PropsNotBlocker_winner : 253473
24.01/12.70	c (0,0) c PropsLitFullScans_0 : 1231447
24.01/12.70	c (0,0) c PropsLitFullScans_1 : 1274245
24.01/12.70	c (0,0) c PropsLitFullScans_2 : 2274633
24.01/12.70	c (0,0) c PropsLitFullScans_3 : 535797
24.01/12.70	c (0,0) c PropsLitFullScans_4 : 662656
24.01/12.70	c (0,0) c PropsLitFullScans_5 : 857553
24.01/12.70	c (0,0) c PropsLitFullScans_6 : 1877666
24.01/12.70	c (0,0) c PropsLitFullScans_7 : 1897169
24.01/12.70	c (0,0) c PropsLitFullScans_total : 10611166
24.01/12.70	c (0,0) c PropsLitFullScans_winner : 1231447
24.01/12.70	c (0,0) c LitScanFractions_0 : 0
24.01/12.70	c (0,0) c LitScanFractions_1 : 0
24.01/12.70	c (0,0) c LitScanFractions_2 : 0
24.01/12.70	c (0,0) c LitScanFractions_3 : 0
24.01/12.70	c (0,0) c LitScanFractions_4 : 0
24.01/12.70	c (0,0) c LitScanFractions_5 : 0
24.01/12.70	c (0,0) c LitScanFractions_6 : 0
24.01/12.70	c (0,0) c LitScanFractions_7 : 0
24.01/12.70	c (0,0) c LitScanFractions_total : 0
24.01/12.70	c (0,0) c LitScanFractions_winner : 0
24.01/12.70	c (0,0) c DecisionLevel0_0 : 6
24.01/12.70	c (0,0) c DecisionLevel0_1 : 10
24.01/12.70	c (0,0) c DecisionLevel0_2 : 11
24.01/12.70	c (0,0) c DecisionLevel0_3 : 9
24.01/12.70	c (0,0) c DecisionLevel0_4 : 10
24.01/12.70	c (0,0) c DecisionLevel0_5 : 14
24.01/12.70	c (0,0) c DecisionLevel0_6 : 10
24.01/12.70	c (0,0) c DecisionLevel0_7 : 12
24.01/12.70	c (0,0) c DecisionLevel0_total : 82
24.01/12.70	c (0,0) c DecisionLevel0_winner : 6
24.01/12.70	c (0,0) c Periods_0 : 0
24.01/12.70	c (0,0) c Periods_1 : 0
24.01/12.70	c (0,0) c Periods_2 : 0
24.01/12.70	c (0,0) c Periods_3 : 0
24.01/12.70	c (0,0) c Periods_4 : 0
24.01/12.70	c (0,0) c Periods_5 : 0
24.01/12.70	c (0,0) c Periods_6 : 0
24.01/12.70	c (0,0) c Periods_7 : 0
24.01/12.70	c (0,0) c Periods_total : 0
24.01/12.70	c (0,0) c Periods_winner : 0
24.01/12.70	c (0,0) c Margin_0 : 20
24.01/12.70	c (0,0) c Margin_1 : 20
24.01/12.70	c (0,0) c Margin_2 : 20
24.01/12.70	c (0,0) c Margin_3 : 20
24.01/12.70	c (0,0) c Margin_4 : 20
24.01/12.70	c (0,0) c Margin_5 : 20
24.01/12.70	c (0,0) c Margin_6 : 20
24.01/12.70	c (0,0) c Margin_7 : 20
24.01/12.70	c (0,0) c Margin_total : 160
24.01/12.70	c (0,0) c Margin_winner : 20
24.01/12.70	c (0,0) c Exported_0 : 89
24.01/12.70	c (0,0) c Exported_1 : 84
24.01/12.70	c (0,0) c Exported_2 : 102
24.01/12.70	c (0,0) c Exported_3 : 85
24.01/12.70	c (0,0) c Exported_4 : 88
24.01/12.70	c (0,0) c Exported_5 : 113
24.01/12.70	c (0,0) c Exported_6 : 92
24.01/12.70	c (0,0) c Exported_7 : 70
24.01/12.70	c (0,0) c Exported_total : 723
24.01/12.70	c (0,0) c Exported_winner : 89
24.01/12.70	c (0,0) c Imported_0 : 0
24.01/12.70	c (0,0) c Imported_1 : 0
24.01/12.70	c (0,0) c Imported_2 : 0
24.01/12.70	c (0,0) c Imported_3 : 0
24.01/12.70	c (0,0) c Imported_4 : 0
24.01/12.70	c (0,0) c Imported_5 : 0
24.01/12.70	c (0,0) c Imported_6 : 0
24.01/12.70	c (0,0) c Imported_7 : 0
24.01/12.70	c (0,0) c Imported_total : 0
24.01/12.70	c (0,0) c Imported_winner : 0
24.01/12.70	c (0,0) c Good_0 : 0
24.01/12.70	c (0,0) c Good_1 : 0
24.01/12.70	c (0,0) c Good_2 : 0
24.01/12.70	c (0,0) c Good_3 : 0
24.01/12.70	c (0,0) c Good_4 : 0
24.01/12.70	c (0,0) c Good_5 : 0
24.01/12.70	c (0,0) c Good_6 : 0
24.01/12.70	c (0,0) c Good_7 : 0
24.01/12.70	c (0,0) c Good_total : 0
24.01/12.70	c (0,0) c Good_winner : 0
24.01/12.70	c (0,0) c Purge_0 : 0
24.01/12.70	c (0,0) c Purge_1 : 0
24.01/12.70	c (0,0) c Purge_2 : 0
24.01/12.70	c (0,0) c Purge_3 : 0
24.01/12.70	c (0,0) c Purge_4 : 0
24.01/12.70	c (0,0) c Purge_5 : 0
24.01/12.70	c (0,0) c Purge_6 : 0
24.01/12.70	c (0,0) c Purge_7 : 0
24.01/12.70	c (0,0) c Purge_total : 0
24.01/12.70	c (0,0) c Purge_winner : 0
24.01/12.70	c (0,0) c Promoted_0 : 0
24.01/12.70	c (0,0) c Promoted_1 : 0
24.01/12.70	c (0,0) c Promoted_2 : 0
24.01/12.70	c (0,0) c Promoted_3 : 0
24.01/12.70	c (0,0) c Promoted_4 : 0
24.01/12.70	c (0,0) c Promoted_5 : 0
24.01/12.70	c (0,0) c Promoted_6 : 0
24.01/12.70	c (0,0) c Promoted_7 : 0
24.01/12.70	c (0,0) c Promoted_total : 0
24.01/12.70	c (0,0) c Promoted_winner : 0
24.01/12.70	c (0,0) c Remove_Imp_0 : 0
24.01/12.70	c (0,0) c Remove_Imp_1 : 0
24.01/12.70	c (0,0) c Remove_Imp_2 : 0
24.01/12.70	c (0,0) c Remove_Imp_3 : 0
24.01/12.70	c (0,0) c Remove_Imp_4 : 0
24.01/12.70	c (0,0) c Remove_Imp_5 : 0
24.01/12.70	c (0,0) c Remove_Imp_6 : 0
24.01/12.70	c (0,0) c Remove_Imp_7 : 0
24.01/12.70	c (0,0) c Remove_Imp_total : 0
24.01/12.70	c (0,0) c Remove_Imp_winner : 0
24.01/12.70	c (0,0) c Blocked_Reuse_0 : 0
24.01/12.70	c (0,0) c Blocked_Reuse_1 : 0
24.01/12.70	c (0,0) c Blocked_Reuse_2 : 0
24.01/12.70	c (0,0) c Blocked_Reuse_3 : 0
24.01/12.70	c (0,0) c Blocked_Reuse_4 : 0
24.01/12.70	c (0,0) c Blocked_Reuse_5 : 0
24.01/12.70	c (0,0) c Blocked_Reuse_6 : 0
24.01/12.70	c (0,0) c Blocked_Reuse_7 : 0
24.01/12.70	c (0,0) c Blocked_Reuse_total : 0
24.01/12.70	c (0,0) c Blocked_Reuse_winner : 0
24.01/12.70	c (0,0) c Unaries_0 : 5
24.01/12.70	c (0,0) c Unaries_1 : 9
24.01/12.70	c (0,0) c Unaries_2 : 8
24.01/12.70	c (0,0) c Unaries_3 : 6
24.01/12.70	c (0,0) c Unaries_4 : 7
24.01/12.70	c (0,0) c Unaries_5 : 10
24.01/12.70	c (0,0) c Unaries_6 : 6
24.01/12.70	c (0,0) c Unaries_7 : 6
24.01/12.70	c (0,0) c Unaries_total : 57
24.01/12.70	c (0,0) c Unaries_winner : 5
24.01/12.70	c (0,0) c Binaries_0 : 26
24.01/12.70	c (0,0) c Binaries_1 : 29
24.01/12.70	c (0,0) c Binaries_2 : 26
24.01/12.70	c (0,0) c Binaries_3 : 25
24.01/12.70	c (0,0) c Binaries_4 : 18
24.01/12.70	c (0,0) c Binaries_5 : 20
24.01/12.70	c (0,0) c Binaries_6 : 28
24.01/12.70	c (0,0) c Binaries_7 : 27
24.01/12.70	c (0,0) c Binaries_total : 199
24.01/12.70	c (0,0) c Binaries_winner : 26
24.01/12.70	c (0,0) c Glues_0 : 89
24.01/12.70	c (0,0) c Glues_1 : 84
24.01/12.70	c (0,0) c Glues_2 : 102
24.01/12.70	c (0,0) c Glues_3 : 85
24.01/12.70	c (0,0) c Glues_4 : 88
24.01/12.70	c (0,0) c Glues_5 : 113
24.01/12.70	c (0,0) c Glues_6 : 92
24.01/12.70	c (0,0) c Glues_7 : 70
24.01/12.70	c (0,0) c Glues_total : 723
24.01/12.70	c (0,0) c Glues_winner : 89
24.01/12.70	c (0,0) c RunningTime_0 : 0.023367
24.01/12.70	c (0,0) c RunningTime_1 : 0.028377
24.01/12.70	c (0,0) c RunningTime_2 : 0.034966
24.01/12.70	c (0,0) c RunningTime_3 : 0.013137
24.01/12.70	c (0,0) c RunningTime_4 : 0.013964
24.01/12.70	c (0,0) c RunningTime_5 : 0.023912
24.01/12.70	c (0,0) c RunningTime_6 : 0.033432
24.01/12.70	c (0,0) c RunningTime_7 : 0.032505
24.01/12.70	c (0,0) c RunningTime_total : 0.203660
24.01/12.70	c (0,0) c RunningTime_winner : 0.023367
24.01/12.70	c (0,0) c WaitingTime_0 : 0.000000
24.01/12.70	c (0,0) c WaitingTime_1 : 0.000000
24.01/12.70	c (0,0) c WaitingTime_2 : 0.000000
24.01/12.70	c (0,0) c WaitingTime_3 : 0.000000
24.01/12.70	c (0,0) c WaitingTime_4 : 0.000000
24.01/12.70	c (0,0) c WaitingTime_5 : 0.000000
24.01/12.70	c (0,0) c WaitingTime_6 : 0.000000
24.01/12.70	c (0,0) c WaitingTime_7 : 0.000000
24.01/12.70	c (0,0) c WaitingTime_total : 0.000000
24.01/12.70	c (0,0) c WaitingTime_winner : 0.000000
24.01/12.70	c (0,0) c ExchangingTime_0 : 0.000145
24.01/12.70	c (0,0) c ExchangingTime_1 : 0.000157
24.01/12.70	c (0,0) c ExchangingTime_2 : 0.000202
24.01/12.70	c (0,0) c ExchangingTime_3 : 0.000119
24.01/12.70	c (0,0) c ExchangingTime_4 : 0.000101
24.01/12.70	c (0,0) c ExchangingTime_5 : 0.000145
24.01/12.71	c (0,0) c ExchangingTime_6 : 0.000182
24.01/12.71	c (0,0) c ExchangingTime_7 : 0.000165
24.01/12.71	c (0,0) c ExchangingTime_total : 0.001217
24.01/12.71	c (0,0) c ExchangingTime_winner : 0.000145
24.01/12.71	c (0,0) c PeriodProcTime_0 : 0.000000
24.01/12.71	c (0,0) c PeriodProcTime_1 : 0.000000
24.01/12.71	c (0,0) c PeriodProcTime_2 : 0.000000
24.01/12.71	c (0,0) c PeriodProcTime_3 : 0.000000
24.01/12.71	c (0,0) c PeriodProcTime_4 : 0.000000
24.01/12.71	c (0,0) c PeriodProcTime_5 : 0.000000
24.01/12.71	c (0,0) c PeriodProcTime_6 : 0.000000
24.01/12.71	c (0,0) c PeriodProcTime_7 : 0.000000
24.01/12.71	c (0,0) c PeriodProcTime_total : 0.000000
24.01/12.71	c (0,0) c PeriodProcTime_winner : 0.000000
24.01/12.71	c (0,0) c SolvingTime_0 : 0.023512
24.01/12.71	c (0,0) c SolvingTime_1 : 0.028534
24.01/12.71	c (0,0) c SolvingTime_2 : 0.035168
24.01/12.71	c (0,0) c SolvingTime_3 : 0.013256
24.01/12.71	c (0,0) c SolvingTime_4 : 0.014065
24.01/12.71	c (0,0) c SolvingTime_5 : 0.024057
24.01/12.71	c (0,0) c SolvingTime_6 : 0.033615
24.01/12.71	c (0,0) c SolvingTime_7 : 0.032670
24.01/12.71	c (0,0) c SolvingTime_total : 0.204877
24.01/12.71	c (0,0) c SolvingTime_winner : 0.023512
24.01/12.71	c (0,0) c PropagationTime_0 : 0.014545
24.01/12.71	c (0,0) c PropagationTime_1 : 0.019196
24.01/12.71	c (0,0) c PropagationTime_2 : 0.022644
24.01/12.71	c (0,0) c PropagationTime_3 : 0.008712
24.01/12.71	c (0,0) c PropagationTime_4 : 0.008972
24.01/12.71	c (0,0) c PropagationTime_5 : 0.016304
24.01/12.71	c (0,0) c PropagationTime_6 : 0.022414
24.01/12.71	c (0,0) c PropagationTime_7 : 0.020068
24.01/12.71	c (0,0) c PropagationTime_total : 0.132856
24.01/12.71	c (0,0) c PropagationTime_winner : 0.014545
24.01/12.71	c (0,0) c AnalysisTime_0 : 0.005374
24.01/12.71	c (0,0) c AnalysisTime_1 : 0.005476
24.01/12.71	c (0,0) c AnalysisTime_2 : 0.008209
24.01/12.71	c (0,0) c AnalysisTime_3 : 0.002986
24.01/12.71	c (0,0) c AnalysisTime_4 : 0.003385
24.01/12.71	c (0,0) c AnalysisTime_5 : 0.004429
24.01/12.71	c (0,0) c AnalysisTime_6 : 0.006974
24.01/12.71	c (0,0) c AnalysisTime_7 : 0.007877
24.01/12.71	c (0,0) c AnalysisTime_total : 0.044710
24.01/12.71	c (0,0) c AnalysisTime_winner : 0.005374
24.01/12.71	c (0,0) c ReductionTime_0 : 0.001175
24.01/12.71	c (0,0) c ReductionTime_1 : 0.001199
24.01/12.71	c (0,0) c ReductionTime_2 : 0.001075
24.01/12.71	c (0,0) c ReductionTime_3 : 0.000000
24.01/12.71	c (0,0) c ReductionTime_4 : 0.000000
24.01/12.71	c (0,0) c ReductionTime_5 : 0.001095
24.01/12.71	c (0,0) c ReductionTime_6 : 0.001093
24.01/12.71	c (0,0) c ReductionTime_7 : 0.001084
24.01/12.71	c (0,0) c ReductionTime_total : 0.006721
24.01/12.71	c (0,0) c ReductionTime_winner : 0.001175
24.01/12.71	c (0,0) c SimplifyTime_0 : 0.000000
24.01/12.71	c (0,0) c SimplifyTime_1 : 0.000000
24.01/12.71	c (0,0) c SimplifyTime_2 : 0.000000
24.01/12.71	c (0,0) c SimplifyTime_3 : 0.000003
24.01/12.71	c (0,0) c SimplifyTime_4 : 0.000000
24.01/12.71	c (0,0) c SimplifyTime_5 : 0.000001
24.01/12.71	c (0,0) c SimplifyTime_6 : 0.000000
24.01/12.71	c (0,0) c SimplifyTime_7 : 0.000001
24.01/12.71	c (0,0) c SimplifyTime_total : 0.000005
24.01/12.71	c (0,0) c SimplifyTime_winner : 0.000000
24.01/12.71	c (0,0) c UsedRateTime_0 : 0.000000
24.01/12.71	c (0,0) c UsedRateTime_1 : 0.000000
24.01/12.71	c (0,0) c UsedRateTime_2 : 0.000000
24.01/12.71	c (0,0) c UsedRateTime_3 : 0.000000
24.01/12.71	c (0,0) c UsedRateTime_4 : 0.000000
24.01/12.71	c (0,0) c UsedRateTime_5 : 0.000000
24.01/12.71	c (0,0) c UsedRateTime_6 : 0.000000
24.01/12.71	c (0,0) c UsedRateTime_7 : 0.000000
24.01/12.71	c (0,0) c UsedRateTime_total : 0.000000
24.01/12.71	c (0,0) c UsedRateTime_winner : 0.000000
24.01/12.71	c (0,0) c OverlapRateTime_0 : 0.000000
24.01/12.71	c (0,0) c OverlapRateTime_1 : 0.000000
24.01/12.71	c (0,0) c OverlapRateTime_2 : 0.000000
24.01/12.71	c (0,0) c OverlapRateTime_3 : 0.000000
24.01/12.71	c (0,0) c OverlapRateTime_4 : 0.000000
24.01/12.71	c (0,0) c OverlapRateTime_5 : 0.000000
24.01/12.71	c (0,0) c OverlapRateTime_6 : 0.000000
24.01/12.71	c (0,0) c OverlapRateTime_7 : 0.000000
24.01/12.71	c (0,0) c OverlapRateTime_total : 0.000000
24.01/12.71	c (0,0) c OverlapRateTime_winner : 0.000000
24.01/12.71	c (0,0) c
24.01/12.71	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
24.01/12.71	c (0,0) c
24.01/12.71	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.01/12.71	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
24.01/12.71	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.01/12.71	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
24.01/12.71	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
24.01/12.71	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
24.01/12.71	c (0,0) c | Initial random_seed   | 1425824736 |  493692453 |  285515130 | 1336035274 |  432559168 |   83386439 | 1018891244 |  935842877 |
24.01/12.71	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
24.01/12.71	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
24.01/12.71	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
24.01/12.71	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
24.01/12.71	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
24.01/12.71	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
24.01/12.71	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
24.01/12.71	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
24.01/12.71	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
24.01/12.71	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
24.01/12.71	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
24.01/12.71	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.01/12.71	c (0,0) 
24.01/12.71	c (0,0) s UNSATISFIABLE
24.01/12.71	c (0,0) SatSolver.solve End
24.01/12.71	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
24.01/12.71	c (0,0) Show results Begin
24.01/12.71	s UNSATISFIABLE
24.01/12.71	c (0,0) Show results End
24.01/12.71	c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
24.01/12.71	c (0,0) 0,0,STOP-AFTER(ALL)
24.01/12.71	c END-Prog: Tue Sep 24 23:09:27 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 (13375 MiB free)
  memory of node 1: 16384 MiB (12486 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405505-1569359399/watcher-4405505-1569359399 -o /var/tmp/evaluation-result-4405505-1569359399/solver-4405505-1569359399 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569359183-18579 --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-4405505-1569359399.xml 

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

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

solver pid=18943, runsolver pid=18940

[startup+0.100169 s]*
/proc/loadavg: 5.82 4.76 5.77 4/211 18965
/proc/meminfo: memFree=26388564/32770624 swapFree=67002124/67108860
[pid=18943] ppid=18940 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18943/stat : 18943 (scop.sh) S 18940 18943 18552 0 -1 4202496 557 320 0 0 0 0 0 0 20 0 1 0 512188475 115843072 349 33554432000 4194304 5098028 140737216848608 140737216845864 140245439144572 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12619776 140737216856828 140737216857176 140737216857176 140737216860105 0
/proc/18943/statm: 28282 349 296 221 0 87 0
[pid=18946] ppid=18943 vsize=27314120 memory=106628 CPUtime=0.1 cores=0-7
/proc/18946/stat : 18946 (java) S 18943 18943 18552 0 -1 1077944320 6676 0 0 0 8 2 0 0 20 0 20 0 512188475 27969658880 26657 33554432000 4194304 4196468 140731644026496 140731644009040 139801723571959 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
/proc/18946/statm: 6828530 26657 2817 1 0 6790935 0
[pid=18946/tid=18947] ppid=18943 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/18946/task/18947/stat : 18947 (java) R 18943 18943 18552 0 -1 4202560 4768 0 0 0 7 2 0 0 20 0 20 0 512188476 27969658880 26657 33554432000 4194304 4196468 140731644026496 139801695404296 139801707652446 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18948] ppid=18943 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18946/task/18948/stat : 18948 (java) S 18943 18943 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512188478 27969658880 26657 33554432000 4194304 4196468 140731644026496 139801727814544 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18949] ppid=18943 vsize=27314120 memory=140144969971328 CPUtime=0 cores=0-7
/proc/18946/task/18949/stat : 18949 (java) S 18943 18943 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512188478 27969658880 26657 33554432000 4194304 4196468 140731644026496 139801541970704 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18950] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18950/stat : 18950 (java) S 18943 18943 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512188478 27969658880 26657 33554432000 4194304 4196468 140731644026496 139801540918416 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18951] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18951/stat : 18951 (java) S 18943 18943 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512188478 27969658880 26657 33554432000 4194304 4196468 140731644026496 139801539865616 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18952] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18952/stat : 18952 (java) S 18943 18943 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512188478 27969658880 26657 33554432000 4194304 4196468 140731644026496 139801538812304 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18953] ppid=18943 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18946/task/18953/stat : 18953 (java) S 18943 18943 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512188478 27969658880 26657 33554432000 4194304 4196468 140731644026496 139801537759504 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18954] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18954/stat : 18954 (java) S 18943 18943 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512188478 27969658880 26657 33554432000 4194304 4196468 140731644026496 139801536707216 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18955] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18955/stat : 18955 (java) S 18943 18943 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512188478 27969658880 26657 33554432000 4194304 4196468 140731644026496 139801535654416 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18956] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18956/stat : 18956 (java) S 18943 18943 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512188480 27969658880 26657 33554432000 4194304 4196468 140731644026496 139799841196656 139801723583106 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18957] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18957/stat : 18957 (java) S 18943 18943 18552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512188480 27969658880 26657 33554432000 4194304 4196468 140731644026496 139799641974048 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18958] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18958/stat : 18958 (java) S 18943 18943 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512188481 27969658880 26657 33554432000 4194304 4196468 140731644026496 139799373538928 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18959] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18959/stat : 18959 (java) S 18943 18943 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512188483 27969658880 26657 33554432000 4194304 4196468 140731644026496 139798999030352 139801723590555 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18960] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18960/stat : 18960 (java) S 18943 18943 18552 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 512188483 27969658880 26657 33554432000 4194304 4196468 140731644026496 139799840143472 139801723583106 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18961] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18961/stat : 18961 (java) S 18943 18943 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512188483 27969658880 26657 33554432000 4194304 4196468 140731644026496 139799839090672 139801723583106 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18962] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18962/stat : 18962 (java) S 18943 18943 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512188483 27969658880 26657 33554432000 4194304 4196468 140731644026496 139799838038384 139801723583106 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18963] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18963/stat : 18963 (java) S 18943 18943 18552 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 20 0 512188483 27969658880 26657 33554432000 4194304 4196468 140731644026496 139799836985584 139801723583106 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18964] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18964/stat : 18964 (java) S 18943 18943 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512188483 27969658880 26657 33554432000 4194304 4196468 140731644026496 139798501124960 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18965] ppid=18943 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18946/task/18965/stat : 18965 (java) S 18943 18943 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512188483 27969658880 26657 33554432000 4194304 4196468 140731644026496 139799835933488 139801723583106 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108024 KiB

[startup+0.210112 s]*
/proc/loadavg: 5.82 4.76 5.77 4/211 18965
/proc/meminfo: memFree=26367264/32770624 swapFree=67002124/67108860
[pid=18943] ppid=18940 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18943/stat : 18943 (scop.sh) S 18940 18943 18552 0 -1 4202496 557 320 0 0 0 0 0 0 20 0 1 0 512188475 115843072 349 33554432000 4194304 5098028 140737216848608 140737216845864 140245439144572 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12619776 140737216856828 140737216857176 140737216857176 140737216860105 0
/proc/18943/statm: 28282 349 296 221 0 87 0
[pid=18946] ppid=18943 vsize=27314120 memory=125656 CPUtime=0.25 cores=0-7
/proc/18946/stat : 18946 (java) S 18943 18943 18552 0 -1 1077944320 12283 0 0 0 21 4 0 0 20 0 20 0 512188475 27969658880 31414 33554432000 4194304 4196468 140731644026496 140731644009040 139801723571959 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
/proc/18946/statm: 6828530 31414 2941 1 0 6790935 0
[pid=18946/tid=18947] ppid=18943 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/18946/task/18947/stat : 18947 (java) R 18943 18943 18552 0 -1 4202560 9981 0 0 0 16 4 0 0 20 0 20 0 512188476 27969658880 31414 33554432000 4194304 4196468 140731644026496 139801695392928 139801703847134 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18948] ppid=18943 vsize=27314120 memory=330 CPUtime=0 cores=0-7
/proc/18946/task/18948/stat : 18948 (java) S 18943 18943 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512188478 27969658880 31414 33554432000 4194304 4196468 140731644026496 139801727814544 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18949] ppid=18943 vsize=27314120 memory=140144973769121 CPUtime=0 cores=0-7
/proc/18946/task/18949/stat : 18949 (java) S 18943 18943 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512188478 27969658880 31414 33554432000 4194304 4196468 140731644026496 139801541970704 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18950] ppid=18943 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18946/task/18950/stat : 18950 (java) S 18943 18943 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512188478 27969658880 31414 33554432000 4194304 4196468 140731644026496 139801540918416 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18951] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18951/stat : 18951 (java) S 18943 18943 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512188478 27969658880 31414 33554432000 4194304 4196468 140731644026496 139801539865616 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18952] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18952/stat : 18952 (java) S 18943 18943 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512188478 27969658880 31414 33554432000 4194304 4196468 140731644026496 139801538812304 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18953] ppid=18943 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18946/task/18953/stat : 18953 (java) S 18943 18943 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512188478 27969658880 31414 33554432000 4194304 4196468 140731644026496 139801537759504 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18954] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18954/stat : 18954 (java) S 18943 18943 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512188478 27969658880 31414 33554432000 4194304 4196468 140731644026496 139801536707216 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18955] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18955/stat : 18955 (java) S 18943 18943 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512188478 27969658880 31414 33554432000 4194304 4196468 140731644026496 139801535654416 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18956] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18956/stat : 18956 (java) S 18943 18943 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512188480 27969658880 31414 33554432000 4194304 4196468 140731644026496 139799841196656 139801723583106 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18957] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18957/stat : 18957 (java) S 18943 18943 18552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512188480 27969658880 31414 33554432000 4194304 4196468 140731644026496 139799641974048 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18958] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18958/stat : 18958 (java) S 18943 18943 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512188481 27969658880 31414 33554432000 4194304 4196468 140731644026496 139799373538928 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18959] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18959/stat : 18959 (java) S 18943 18943 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512188483 27969658880 31414 33554432000 4194304 4196468 140731644026496 139798999030352 139801723590555 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18960] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18960/stat : 18960 (java) S 18943 18943 18552 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 20 0 512188483 27969658880 31414 33554432000 4194304 4196468 140731644026496 139799840143472 139801723583106 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18961] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18961/stat : 18961 (java) S 18943 18943 18552 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 512188483 27969658880 31414 33554432000 4194304 4196468 140731644026496 139799839090672 139801723583106 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18962] ppid=18943 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18946/task/18962/stat : 18962 (java) S 18943 18943 18552 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 512188483 27969658880 31414 33554432000 4194304 4196468 140731644026496 139799838038384 139801723583106 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18963] ppid=18943 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/18946/task/18963/stat : 18963 (java) S 18943 18943 18552 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 20 0 512188483 27969658880 31414 33554432000 4194304 4196468 140731644026496 139799836985584 139801723583106 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18964] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18964/stat : 18964 (java) S 18943 18943 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512188483 27969658880 31414 33554432000 4194304 4196468 140731644026496 139798501124960 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18965] ppid=18943 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18946/task/18965/stat : 18965 (java) S 18943 18943 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512188483 27969658880 31414 33554432000 4194304 4196468 140731644026496 139799835933488 139801723583106 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127052 KiB

[startup+0.309515 s]*
/proc/loadavg: 5.82 4.76 5.77 2/211 18965
/proc/meminfo: memFree=26364832/32770624 swapFree=67002124/67108860
[pid=18943] ppid=18940 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18943/stat : 18943 (scop.sh) S 18940 18943 18552 0 -1 4202496 557 320 0 0 0 0 0 0 20 0 1 0 512188475 115843072 349 33554432000 4194304 5098028 140737216848608 140737216845864 140245439144572 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12619776 140737216856828 140737216857176 140737216857176 140737216860105 0
/proc/18943/statm: 28282 349 296 221 0 87 0
[pid=18946] ppid=18943 vsize=27314120 memory=129240 CPUtime=0.42 cores=0-7
/proc/18946/stat : 18946 (java) S 18943 18943 18552 0 -1 1077944320 12787 0 0 0 37 5 0 0 20 0 20 0 512188475 27969658880 32310 33554432000 4194304 4196468 140731644026496 140731644009040 139801723571959 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
/proc/18946/statm: 6828530 32310 2989 1 0 6790935 0
[pid=18946/tid=18947] ppid=18943 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18946/task/18947/stat : 18947 (java) R 18943 18943 18552 0 -1 4202560 10293 0 0 0 25 4 0 0 20 0 20 0 512188476 27969658880 32310 33554432000 4194304 4196468 140731644026496 139801695384304 139801707652446 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18948] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18948/stat : 18948 (java) S 18943 18943 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512188478 27969658880 32310 33554432000 4194304 4196468 140731644026496 139801727814544 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18949] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18949/stat : 18949 (java) S 18943 18943 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512188478 27969658880 32310 33554432000 4194304 4196468 140731644026496 139801541970704 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18950] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18950/stat : 18950 (java) S 18943 18943 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512188478 27969658880 32310 33554432000 4194304 4196468 140731644026496 139801540918416 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18951] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18951/stat : 18951 (java) S 18943 18943 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512188478 27969658880 32310 33554432000 4194304 4196468 140731644026496 139801539865616 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18952] ppid=18943 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/18946/task/18952/stat : 18952 (java) S 18943 18943 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512188478 27969658880 32310 33554432000 4194304 4196468 140731644026496 139801538812304 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18953] ppid=18943 vsize=27314120 memory=140144850072495 CPUtime=0 cores=0-7
/proc/18946/task/18953/stat : 18953 (java) S 18943 18943 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512188478 27969658880 32310 33554432000 4194304 4196468 140731644026496 139801537759504 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18954] ppid=18943 vsize=27314120 memory=140144850074800 CPUtime=0 cores=0-7
/proc/18946/task/18954/stat : 18954 (java) S 18943 18943 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512188478 27969658880 32310 33554432000 4194304 4196468 140731644026496 139801536707216 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18955] ppid=18943 vsize=27314120 memory=140144850077104 CPUtime=0 cores=0-7
/proc/18946/task/18955/stat : 18955 (java) S 18943 18943 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512188478 27969658880 32310 33554432000 4194304 4196468 140731644026496 139801535654416 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18956] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18956/stat : 18956 (java) S 18943 18943 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512188480 27969658880 32310 33554432000 4194304 4196468 140731644026496 139799841196656 139801723583106 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18957] ppid=18943 vsize=27314120 memory=280289700161168 CPUtime=0 cores=0-7
/proc/18946/task/18957/stat : 18957 (java) S 18943 18943 18552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512188480 27969658880 32310 33554432000 4194304 4196468 140731644026496 139799641974048 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18958] ppid=18943 vsize=27314120 memory=280289700168080 CPUtime=0 cores=0-7
/proc/18946/task/18958/stat : 18958 (java) S 18943 18943 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512188481 27969658880 32310 33554432000 4194304 4196468 140731644026496 139799373538928 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18959] ppid=18943 vsize=27314120 memory=280289700109360 CPUtime=0 cores=0-7
/proc/18946/task/18959/stat : 18959 (java) S 18943 18943 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512188483 27969658880 32310 33554432000 4194304 4196468 140731644026496 139798999030352 139801723590555 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18960] ppid=18943 vsize=27314120 memory=280289700181904 CPUtime=0 cores=0-7
/proc/18946/task/18960/stat : 18960 (java) S 18943 18943 18552 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 20 0 512188483 27969658880 32310 33554432000 4194304 4196468 140731644026496 139799840143472 139801723583106 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18961] ppid=18943 vsize=27314120 memory=280289700188816 CPUtime=0.01 cores=0-7
/proc/18946/task/18961/stat : 18961 (java) R 18943 18943 18552 0 -1 4202560 121 0 0 0 1 0 0 0 20 0 20 0 512188483 27969658880 32310 33554432000 4194304 4196468 140731644026496 139799839090672 139801702761408 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18962] ppid=18943 vsize=27314120 memory=280289700186512 CPUtime=0.01 cores=0-7
/proc/18946/task/18962/stat : 18962 (java) S 18943 18943 18552 0 -1 1077944384 181 0 0 0 1 0 0 0 20 0 20 0 512188483 27969658880 32310 33554432000 4194304 4196468 140731644026496 139799838038384 139801723583106 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18963] ppid=18943 vsize=27314120 memory=280289700202672 CPUtime=0.07 cores=0-7
/proc/18946/task/18963/stat : 18963 (java) S 18943 18943 18552 0 -1 1077944384 527 0 0 0 7 0 0 0 20 0 20 0 512188483 27969658880 32310 33554432000 4194304 4196468 140731644026496 139799836985584 139801723583106 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18964] ppid=18943 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18964/stat : 18964 (java) S 18943 18943 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512188483 27969658880 32310 33554432000 4194304 4196468 140731644026496 139798501124960 139801723582165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18965] ppid=18943 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/18946/task/18965/stat : 18965 (java) S 18943 18943 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512188483 27969658880 32310 33554432000 4194304 4196468 140731644026496 139799835933488 139801723583106 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130636 KiB

[startup+0.700859 s]
/proc/loadavg: 5.82 4.76 5.77 2/211 18965
/proc/meminfo: memFree=26343240/32770624 swapFree=67002124/67108860
[pid=18943] ppid=18940 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18943/stat : 18943 (scop.sh) S 18940 18943 18552 0 -1 4202496 557 320 0 0 0 0 0 0 20 0 1 0 512188475 115843072 349 33554432000 4194304 5098028 140737216848608 140737216845864 140245439144572 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12619776 140737216856828 140737216857176 140737216857176 140737216860105 0
/proc/18943/statm: 28282 349 296 221 0 87 0
[pid=18946] ppid=18943 vsize=27320392 memory=165508 CPUtime=1.01 cores=0-7
/proc/18946/stat : 18946 (java) S 18943 18943 18552 0 -1 1077944320 20510 0 0 0 93 8 0 0 20 0 20 0 512188475 27976081408 41377 33554432000 4194304 4196468 140731644026496 140731644009040 139801723571959 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
/proc/18946/statm: 6830098 41377 3186 1 0 6791447 0
[pid=18946/tid=18947] ppid=18943 vsize=27320392 memory=280289700560560 CPUtime=0.68 cores=0-7
/proc/18946/task/18947/stat : 18947 (java) R 18943 18943 18552 0 -1 4202560 17357 0 0 0 62 6 0 0 20 0 20 0 512188476 27976081408 41377 33554432000 4194304 4196468 140731644026496 139801695409200 139801202356432 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18948] ppid=18943 vsize=27320392 memory=140144850281328 CPUtime=0 cores=0-7
/proc/18946/task/18948/stat : 18948 (java) S 18943 18943 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512188478 27976081408 41377 33554432000 4194304 4196468 140731644026496 139801727814544 139801723582165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18949] ppid=18943 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18949/stat : 18949 (java) S 18943 18943 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512188478 27976081408 41377 33554432000 4194304 4196468 140731644026496 139801541970704 139801723582165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18950] ppid=18943 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/18946/task/18950/stat : 18950 (java) S 18943 18943 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512188478 27976081408 41377 33554432000 4194304 4196468 140731644026496 139801540918416 139801723582165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0

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

/proc/loadavg: 5.51 4.71 5.75 2/211 18965
/proc/meminfo: memFree=24515192/32770624 swapFree=67002124/67108860
[pid=18943] ppid=18940 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/18943/stat : 18943 (scop.sh) S 18940 18943 18552 0 -1 4202496 557 320 0 0 0 0 0 0 20 0 1 0 512188475 115843072 349 33554432000 4194304 5098028 140737216848608 140737216845864 140245439144572 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 12619776 140737216856828 140737216857176 140737216857176 140737216860105 0
/proc/18943/statm: 28282 349 296 221 0 87 0
[pid=18946] ppid=18943 vsize=27326612 memory=2070516 CPUtime=13.32 cores=0-7
/proc/18946/stat : 18946 (java) S 18943 18943 18552 0 -1 1077944320 35089 0 0 0 1290 42 0 0 20 0 20 0 512188475 27982450688 517629 33554432000 4194304 4196468 140731644026496 140731644009040 139801723571959 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
/proc/18946/statm: 6831653 517629 3267 1 0 6792983 0
[pid=18946/tid=18947] ppid=18943 vsize=27326612 memory=56 CPUtime=6.27 cores=0-7
/proc/18946/task/18947/stat : 18947 (java) R 18943 18943 18552 0 -1 4202560 23616 0 0 0 590 37 0 0 20 0 20 0 512188476 27982450688 517629 33554432000 4194304 4196468 140731644026496 139801695408560 139801212041780 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18948] ppid=18943 vsize=27326612 memory=13841 CPUtime=0 cores=0-7
/proc/18946/task/18948/stat : 18948 (java) S 18943 18943 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512188478 27982450688 517629 33554432000 4194304 4196468 140731644026496 139801727814544 139801723582165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18949] ppid=18943 vsize=27326612 memory=23625 CPUtime=0 cores=0-7
/proc/18946/task/18949/stat : 18949 (java) S 18943 18943 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512188478 27982450688 517629 33554432000 4194304 4196468 140731644026496 139801541970704 139801723582165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18950] ppid=18943 vsize=27326612 memory=1396 CPUtime=0 cores=0-7
/proc/18946/task/18950/stat : 18950 (java) S 18943 18943 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512188478 27982450688 517629 33554432000 4194304 4196468 140731644026496 139801540918416 139801723582165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18951] ppid=18943 vsize=27326612 memory=33 CPUtime=0 cores=0-7
/proc/18946/task/18951/stat : 18951 (java) S 18943 18943 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512188478 27982450688 517629 33554432000 4194304 4196468 140731644026496 139801539865616 139801723582165 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18952] ppid=18943 vsize=27326612 memory=7954592171886404948 CPUtime=0 cores=0-7
/proc/18946/task/18952/stat : 18952 (java) S 18943 18943 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512188478 27982450688 517629 33554432000 4194304 4196468 140731644026496 139801538812304 139801723582165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18953] ppid=18943 vsize=27326612 memory=7954592171886404948 CPUtime=0 cores=0-7
/proc/18946/task/18953/stat : 18953 (java) S 18943 18943 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512188478 27982450688 517629 33554432000 4194304 4196468 140731644026496 139801537759504 139801723582165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18954] ppid=18943 vsize=27326612 memory=7954592171886404948 CPUtime=0 cores=0-7
/proc/18946/task/18954/stat : 18954 (java) S 18943 18943 18552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512188478 27982450688 517629 33554432000 4194304 4196468 140731644026496 139801536707216 139801723582165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18955] ppid=18943 vsize=27326612 memory=6083910524857377893 CPUtime=0 cores=0-7
/proc/18946/task/18955/stat : 18955 (java) S 18943 18943 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512188478 27982450688 517629 33554432000 4194304 4196468 140731644026496 139801535654416 139801723582165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18956] ppid=18943 vsize=27326612 memory=8026087872298640483 CPUtime=0 cores=0-7
/proc/18946/task/18956/stat : 18956 (java) S 18943 18943 18552 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 512188480 27982450688 517629 33554432000 4194304 4196468 140731644026496 139799841196656 139801723583106 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18957] ppid=18943 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/18946/task/18957/stat : 18957 (java) S 18943 18943 18552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512188480 27982450688 517629 33554432000 4194304 4196468 140731644026496 139799641974048 139801723582165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18958] ppid=18943 vsize=27326612 memory=140149077836188 CPUtime=0 cores=0-7
/proc/18946/task/18958/stat : 18958 (java) S 18943 18943 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512188481 27982450688 517629 33554432000 4194304 4196468 140731644026496 139799373538928 139801723582165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18959] ppid=18943 vsize=27326612 memory=140149077836200 CPUtime=0 cores=0-7
/proc/18946/task/18959/stat : 18959 (java) S 18943 18943 18552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512188483 27982450688 517629 33554432000 4194304 4196468 140731644026496 139798999030352 139801723590555 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18960] ppid=18943 vsize=27326612 memory=140149077836227 CPUtime=2.05 cores=0-7
/proc/18946/task/18960/stat : 18960 (java) S 18943 18943 18552 0 -1 1077944384 1995 0 0 0 204 1 0 0 20 0 20 0 512188483 27982450688 517629 33554432000 4194304 4196468 140731644026496 139799840143472 139801723583106 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18961] ppid=18943 vsize=27326612 memory=140149077836322 CPUtime=2.01 cores=0-7
/proc/18946/task/18961/stat : 18961 (java) S 18943 18943 18552 0 -1 1077944384 2665 0 0 0 201 0 0 0 20 0 20 0 512188483 27982450688 517629 33554432000 4194304 4196468 140731644026496 139799839090672 139801723583106 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18962] ppid=18943 vsize=27326612 memory=140149077836344 CPUtime=2.04 cores=0-7
/proc/18946/task/18962/stat : 18962 (java) R 18943 18943 18552 0 -1 4202560 3011 0 0 0 204 0 0 0 20 0 20 0 512188483 27982450688 517629 33554432000 4194304 4196468 140731644026496 139799838019176 139801704272657 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18963] ppid=18943 vsize=27326612 memory=140149077836348 CPUtime=0.92 cores=0-7
/proc/18946/task/18963/stat : 18963 (java) S 18943 18943 18552 0 -1 1077944384 2457 0 0 0 90 2 0 0 20 0 20 0 512188483 27982450688 517629 33554432000 4194304 4196468 140731644026496 139799836985584 139801723583106 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18964] ppid=18943 vsize=27326612 memory=140149077836351 CPUtime=0 cores=0-7
/proc/18946/task/18964/stat : 18964 (java) S 18943 18943 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512188483 27982450688 517629 33554432000 4194304 4196468 140731644026496 139798501124960 139801723582165 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
[pid=18946/tid=18965] ppid=18943 vsize=27326612 memory=140149077836355 CPUtime=0 cores=0-7
/proc/18946/task/18965/stat : 18965 (java) S 18943 18943 18552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512188483 27982450688 517629 33554432000 4194304 4196468 140731644026496 139799835933488 139801723583106 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27471872 140731644027590 140731644028038 140731644028038 140731644030927 0
Current children cumulated CPU time: 13.32 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 2071912 KiB

[startup+12.701 s]
/proc/loadavg: 5.15 4.65 5.72 4/212 18987
/proc/meminfo: memFree=26435192/32770624 swapFree=67002124/67108860
[pid=18943] ppid=18940 vsize=113128 memory=1476 CPUtime=22.42 cores=0-7
/proc/18943/stat : 18943 (scop.sh) S 18940 18943 18552 0 -1 4202496 583 40889 0 0 0 0 2153 89 20 0 1 0 512188475 115843072 369 33554432000 4194304 5098028 140737216848608 140737216845352 140245439144572 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12619776 140737216856828 140737216857176 140737216857176 140737216860105 0
/proc/18943/statm: 28282 369 311 221 0 87 0
[pid=18968] ppid=18943 vsize=8414124 memory=122180 CPUtime=1.59 cores=0-7
/proc/18968/stat : 18968 (java) S 18943 18943 18552 0 -1 1077944320 20493 5800 0 0 125 10 23 1 20 0 23 0 512189658 8616062976 30545 33554432000 4194304 4196468 140720783283712 140720783266256 140412608274167 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
/proc/18968/statm: 2103531 30545 3214 1 0 2064875 0
[pid=18968/tid=18969] ppid=18943 vsize=8414124 memory=1476 CPUtime=1.04 cores=0-7
/proc/18968/task/18969/stat : 18969 (java) S 18943 18943 18552 0 -1 1077944384 16941 5800 0 0 72 8 23 1 20 0 23 0 512189658 8616062976 30545 33554432000 4194304 4196468 140720783283712 140412580114336 140412608284373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18970] ppid=18943 vsize=8414124 memory=73432 CPUtime=0.24 cores=0-7
/proc/18968/task/18970/stat : 18970 (java) S 18943 18943 18552 0 -1 1077944384 1 5800 0 0 0 0 23 1 20 0 23 0 512189659 8616062976 30545 33554432000 4194304 4196468 140720783283712 140412612517008 140412608284373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18971] ppid=18943 vsize=8414124 memory=3172976 CPUtime=0.24 cores=0-7
/proc/18968/task/18971/stat : 18971 (java) S 18943 18943 18552 0 -1 1077944384 1 5800 0 0 0 0 23 1 20 0 23 0 512189659 8616062976 30545 33554432000 4194304 4196468 140720783283712 140412418280464 140412608284373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18972] ppid=18943 vsize=8414124 memory=13841 CPUtime=0.24 cores=0-7
/proc/18968/task/18972/stat : 18972 (java) S 18943 18943 18552 0 -1 1077944384 1 5800 0 0 0 0 23 1 20 0 23 0 512189659 8616062976 30545 33554432000 4194304 4196468 140720783283712 140412417227664 140412608284373 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18973] ppid=18943 vsize=8414124 memory=23625 CPUtime=0.24 cores=0-7
/proc/18968/task/18973/stat : 18973 (java) S 18943 18943 18552 0 -1 1077944384 2 5800 0 0 0 0 23 1 20 0 23 0 512189659 8616062976 30545 33554432000 4194304 4196468 140720783283712 140412416174864 140412608284373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18974] ppid=18943 vsize=8414124 memory=288230574492221466 CPUtime=0.24 cores=0-7
/proc/18968/task/18974/stat : 18974 (java) S 18943 18943 18552 0 -1 1077944384 2 5800 0 0 0 0 23 1 20 0 23 0 512189659 8616062976 30545 33554432000 4194304 4196468 140720783283712 140412415122064 140412608284373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18975] ppid=18943 vsize=8414124 memory=0 CPUtime=0.24 cores=0-7
/proc/18968/task/18975/stat : 18975 (java) S 18943 18943 18552 0 -1 1077944384 2 5800 0 0 0 0 23 1 20 0 23 0 512189659 8616062976 30545 33554432000 4194304 4196468 140720783283712 140412414069264 140412608284373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18976] ppid=18943 vsize=8414124 memory=0 CPUtime=0.24 cores=0-7
/proc/18968/task/18976/stat : 18976 (java) S 18943 18943 18552 0 -1 1077944384 1 5800 0 0 0 0 23 1 20 0 23 0 512189659 8616062976 30545 33554432000 4194304 4196468 140720783283712 140412088650128 140412608284373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18977] ppid=18943 vsize=8414124 memory=0 CPUtime=0.24 cores=0-7
/proc/18968/task/18977/stat : 18977 (java) S 18943 18943 18552 0 -1 1077944384 3 5800 0 0 0 0 23 1 20 0 23 0 512189659 8616062976 30545 33554432000 4194304 4196468 140720783283712 140412087597328 140412608284373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18978] ppid=18943 vsize=8414124 memory=1396 CPUtime=0.24 cores=0-7
/proc/18968/task/18978/stat : 18978 (java) S 18943 18943 18552 0 -1 1077944384 5 5800 0 0 0 0 23 1 20 0 23 0 512189661 8616062976 30545 33554432000 4194304 4196468 140720783283712 140411634662256 140412608285314 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18979] ppid=18943 vsize=8414124 memory=4010976 CPUtime=0.24 cores=0-7
/proc/18968/task/18979/stat : 18979 (java) S 18943 18943 18552 0 -1 1077944384 13 5800 0 0 0 0 23 1 20 0 23 0 512189661 8616062976 30545 33554432000 4194304 4196468 140720783283712 140411205051936 140412608284373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18980] ppid=18943 vsize=8414124 memory=0 CPUtime=0.24 cores=0-7
/proc/18968/task/18980/stat : 18980 (java) S 18943 18943 18552 0 -1 1077944384 21 5800 0 0 0 0 23 1 20 0 23 0 512189661 8616062976 30545 33554432000 4194304 4196468 140720783283712 140411070829936 140412608284373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18981] ppid=18943 vsize=8414124 memory=0 CPUtime=0.24 cores=0-7
/proc/18968/task/18981/stat : 18981 (java) S 18943 18943 18552 0 -1 1077944384 1 5800 0 0 0 0 23 1 20 0 23 0 512189664 8616062976 30545 33554432000 4194304 4196468 140720783283712 140410696325456 140412608292763 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18982] ppid=18943 vsize=8414124 memory=1396 CPUtime=0.37 cores=0-7
/proc/18968/task/18982/stat : 18982 (java) S 18943 18943 18552 0 -1 1077944384 1019 5800 0 0 13 0 23 1 20 0 23 0 512189664 8616062976 30545 33554432000 4194304 4196468 140720783283712 140411633609072 140412608285314 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18983] ppid=18943 vsize=8414124 memory=690044 CPUtime=0.3 cores=0-7
/proc/18968/task/18983/stat : 18983 (java) S 18943 18943 18552 0 -1 1077944384 231 5800 0 0 6 0 23 1 20 0 23 0 512189664 8616062976 30545 33554432000 4194304 4196468 140720783283712 140411632556272 140412608285314 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18984] ppid=18943 vsize=8414124 memory=280289699958160 CPUtime=0.31 cores=0-7
/proc/18968/task/18984/stat : 18984 (java) S 18943 18943 18552 0 -1 1077944384 278 5800 0 0 7 0 23 1 20 0 23 0 512189664 8616062976 30545 33554432000 4194304 4196468 140720783283712 140411631503472 140412608285314 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18985] ppid=18943 vsize=8414124 memory=280289699958032 CPUtime=0.48 cores=0-7
/proc/18968/task/18985/stat : 18985 (java) S 18943 18943 18552 0 -1 1077944384 604 5800 0 0 24 0 23 1 20 0 23 0 512189664 8616062976 30545 33554432000 4194304 4196468 140720783283712 140411630450672 140412608285314 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18986] ppid=18943 vsize=8414124 memory=3616 CPUtime=0.24 cores=0-7
/proc/18968/task/18986/stat : 18986 (java) S 18943 18943 18552 0 -1 1077944384 3 5800 0 0 0 0 23 1 20 0 23 0 512189664 8616062976 30545 33554432000 4194304 4196468 140720783283712 140410198420576 140412608284373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18987] ppid=18943 vsize=8414124 memory=64836 CPUtime=0.24 cores=0-7
/proc/18968/task/18987/stat : 18987 (java) S 18943 18943 18552 0 -1 1077944384 1 5800 0 0 0 0 23 1 20 0 23 0 512189664 8616062976 30545 33554432000 4194304 4196468 140720783283712 140411629399088 140412608285314 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
Current children cumulated CPU time: 24.01 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 123656 KiB

[startup+12.7265 s]
# the end of solver process 18943 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=23.0838 s, system=1.0283 s

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

[startup+12.701 s]
/proc/loadavg: 5.15 4.65 5.72 4/212 18987
/proc/meminfo: memFree=26435192/32770624 swapFree=67002124/67108860
[pid=18943] ppid=18940 vsize=113128 memory=1476 CPUtime=22.42 cores=0-7
/proc/18943/stat : 18943 (scop.sh) S 18940 18943 18552 0 -1 4202496 583 40889 0 0 0 0 2153 89 20 0 1 0 512188475 115843072 369 33554432000 4194304 5098028 140737216848608 140737216845352 140245439144572 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12619776 140737216856828 140737216857176 140737216857176 140737216860105 0
/proc/18943/statm: 28282 369 311 221 0 87 0
[pid=18968] ppid=18943 vsize=8414124 memory=122180 CPUtime=1.59 cores=0-7
/proc/18968/stat : 18968 (java) S 18943 18943 18552 0 -1 1077944320 20493 5800 0 0 125 10 23 1 20 0 23 0 512189658 8616062976 30545 33554432000 4194304 4196468 140720783283712 140720783266256 140412608274167 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
/proc/18968/statm: 2103531 30545 3214 1 0 2064875 0
[pid=18968/tid=18969] ppid=18943 vsize=8414124 memory=1476 CPUtime=1.04 cores=0-7
/proc/18968/task/18969/stat : 18969 (java) S 18943 18943 18552 0 -1 1077944384 16941 5800 0 0 72 8 23 1 20 0 23 0 512189658 8616062976 30545 33554432000 4194304 4196468 140720783283712 140412580114336 140412608284373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18970] ppid=18943 vsize=8414124 memory=73432 CPUtime=0.24 cores=0-7
/proc/18968/task/18970/stat : 18970 (java) S 18943 18943 18552 0 -1 1077944384 1 5800 0 0 0 0 23 1 20 0 23 0 512189659 8616062976 30545 33554432000 4194304 4196468 140720783283712 140412612517008 140412608284373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18971] ppid=18943 vsize=8414124 memory=3172976 CPUtime=0.24 cores=0-7
/proc/18968/task/18971/stat : 18971 (java) S 18943 18943 18552 0 -1 1077944384 1 5800 0 0 0 0 23 1 20 0 23 0 512189659 8616062976 30545 33554432000 4194304 4196468 140720783283712 140412418280464 140412608284373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18972] ppid=18943 vsize=8414124 memory=13841 CPUtime=0.24 cores=0-7
/proc/18968/task/18972/stat : 18972 (java) S 18943 18943 18552 0 -1 1077944384 1 5800 0 0 0 0 23 1 20 0 23 0 512189659 8616062976 30545 33554432000 4194304 4196468 140720783283712 140412417227664 140412608284373 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18973] ppid=18943 vsize=8414124 memory=23625 CPUtime=0.24 cores=0-7
/proc/18968/task/18973/stat : 18973 (java) S 18943 18943 18552 0 -1 1077944384 2 5800 0 0 0 0 23 1 20 0 23 0 512189659 8616062976 30545 33554432000 4194304 4196468 140720783283712 140412416174864 140412608284373 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18974] ppid=18943 vsize=8414124 memory=288230574492221466 CPUtime=0.24 cores=0-7
/proc/18968/task/18974/stat : 18974 (java) S 18943 18943 18552 0 -1 1077944384 2 5800 0 0 0 0 23 1 20 0 23 0 512189659 8616062976 30545 33554432000 4194304 4196468 140720783283712 140412415122064 140412608284373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18975] ppid=18943 vsize=8414124 memory=0 CPUtime=0.24 cores=0-7
/proc/18968/task/18975/stat : 18975 (java) S 18943 18943 18552 0 -1 1077944384 2 5800 0 0 0 0 23 1 20 0 23 0 512189659 8616062976 30545 33554432000 4194304 4196468 140720783283712 140412414069264 140412608284373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18976] ppid=18943 vsize=8414124 memory=0 CPUtime=0.24 cores=0-7
/proc/18968/task/18976/stat : 18976 (java) S 18943 18943 18552 0 -1 1077944384 1 5800 0 0 0 0 23 1 20 0 23 0 512189659 8616062976 30545 33554432000 4194304 4196468 140720783283712 140412088650128 140412608284373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18977] ppid=18943 vsize=8414124 memory=0 CPUtime=0.24 cores=0-7
/proc/18968/task/18977/stat : 18977 (java) S 18943 18943 18552 0 -1 1077944384 3 5800 0 0 0 0 23 1 20 0 23 0 512189659 8616062976 30545 33554432000 4194304 4196468 140720783283712 140412087597328 140412608284373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18978] ppid=18943 vsize=8414124 memory=1396 CPUtime=0.24 cores=0-7
/proc/18968/task/18978/stat : 18978 (java) S 18943 18943 18552 0 -1 1077944384 5 5800 0 0 0 0 23 1 20 0 23 0 512189661 8616062976 30545 33554432000 4194304 4196468 140720783283712 140411634662256 140412608285314 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18979] ppid=18943 vsize=8414124 memory=4010976 CPUtime=0.24 cores=0-7
/proc/18968/task/18979/stat : 18979 (java) S 18943 18943 18552 0 -1 1077944384 13 5800 0 0 0 0 23 1 20 0 23 0 512189661 8616062976 30545 33554432000 4194304 4196468 140720783283712 140411205051936 140412608284373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18980] ppid=18943 vsize=8414124 memory=0 CPUtime=0.24 cores=0-7
/proc/18968/task/18980/stat : 18980 (java) S 18943 18943 18552 0 -1 1077944384 21 5800 0 0 0 0 23 1 20 0 23 0 512189661 8616062976 30545 33554432000 4194304 4196468 140720783283712 140411070829936 140412608284373 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18981] ppid=18943 vsize=8414124 memory=0 CPUtime=0.24 cores=0-7
/proc/18968/task/18981/stat : 18981 (java) S 18943 18943 18552 0 -1 1077944384 1 5800 0 0 0 0 23 1 20 0 23 0 512189664 8616062976 30545 33554432000 4194304 4196468 140720783283712 140410696325456 140412608292763 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18982] ppid=18943 vsize=8414124 memory=1396 CPUtime=0.37 cores=0-7
/proc/18968/task/18982/stat : 18982 (java) S 18943 18943 18552 0 -1 1077944384 1019 5800 0 0 13 0 23 1 20 0 23 0 512189664 8616062976 30545 33554432000 4194304 4196468 140720783283712 140411633609072 140412608285314 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18983] ppid=18943 vsize=8414124 memory=690044 CPUtime=0.3 cores=0-7
/proc/18968/task/18983/stat : 18983 (java) S 18943 18943 18552 0 -1 1077944384 231 5800 0 0 6 0 23 1 20 0 23 0 512189664 8616062976 30545 33554432000 4194304 4196468 140720783283712 140411632556272 140412608285314 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18984] ppid=18943 vsize=8414124 memory=280289699958160 CPUtime=0.31 cores=0-7
/proc/18968/task/18984/stat : 18984 (java) S 18943 18943 18552 0 -1 1077944384 278 5800 0 0 7 0 23 1 20 0 23 0 512189664 8616062976 30545 33554432000 4194304 4196468 140720783283712 140411631503472 140412608285314 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18985] ppid=18943 vsize=8414124 memory=280289699958032 CPUtime=0.48 cores=0-7
/proc/18968/task/18985/stat : 18985 (java) S 18943 18943 18552 0 -1 1077944384 604 5800 0 0 24 0 23 1 20 0 23 0 512189664 8616062976 30545 33554432000 4194304 4196468 140720783283712 140411630450672 140412608285314 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18986] ppid=18943 vsize=8414124 memory=3616 CPUtime=0.24 cores=0-7
/proc/18968/task/18986/stat : 18986 (java) S 18943 18943 18552 0 -1 1077944384 3 5800 0 0 0 0 23 1 20 0 23 0 512189664 8616062976 30545 33554432000 4194304 4196468 140720783283712 140410198420576 140412608284373 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
[pid=18968/tid=18987] ppid=18943 vsize=8414124 memory=64836 CPUtime=0.24 cores=0-7
/proc/18968/task/18987/stat : 18987 (java) S 18943 18943 18552 0 -1 1077944384 1 5800 0 0 0 0 23 1 20 0 23 0 512189664 8616062976 30545 33554432000 4194304 4196468 140720783283712 140411629399088 140412608285314 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22310912 140720783287263 140720783287430 140720783287430 140720783290319 0
Current children cumulated CPU time: 24.01 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 123656 KiB

Child status: 0
Real time (s): 12.7266
CPU time (s): 24.1121
CPU user time (s): 23.0838
CPU system time (s): 1.0283
CPU usage (%): 189.462
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 4651212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.0838
system time used= 1.0283
maximum resident set size= 4655380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67873
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8504
involuntary context switches= 41


# summary of solver processes directly reported to runsolver:
#   pid: 18943
#   total CPU time (s): 24.1121
#   total CPU user time (s): 23.0838
#   total CPU system time (s): 1.0283

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.106198 second user time and 0.176612 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-24 23:09:14
IDJOB=4405505
IDBENCH=139116
IDSOLVER=2868
FILE ID=node136/4405505-1569359399
RUNJOBID= node136-1569359183-18579
PBS_JOBID= 21705119
Free space on /var/tmp= 13484 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/LatinSquare/LatinSquare-xcsp2-qcp25/qcp-25-264-12_X2.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-4405505-1569359399/watcher-4405505-1569359399 -o /var/tmp/evaluation-result-4405505-1569359399/solver-4405505-1569359399 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569359183-18579 --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-4405505-1569359399.xml

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

MD5SUM BENCH= 0da6a8f2891de305d0b0efc67f372d88
RANDOM SEED=34760373

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26483248 kB
MemAvailable:   31842064 kB
Buffers:          152528 kB
Cached:          5330672 kB
SwapCached:         3556 kB
Active:          2729852 kB
Inactive:        2759576 kB
Active(anon):       3328 kB
Inactive(anon):    59704 kB
Active(file):    2726524 kB
Inactive(file):  2699872 kB
Unevictable:      108576 kB
Mlocked:          108576 kB
SwapTotal:      67108860 kB
SwapFree:       67002124 kB
Dirty:             21124 kB
Writeback:             0 kB
AnonPages:        110604 kB
Mapped:            57292 kB
Shmem:             48260 kB
Slab:             390232 kB
SReclaimable:     360880 kB
SUnreclaim:        29352 kB
KernelStack:        3456 kB
PageTables:         5224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     65536 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13464 MiB
End job on node136 at 2019-09-24 23:09:27