Trace number 4405650

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)SAT 211.356 32.0576

General information on the benchmark

NameQuasiGroups/QuasiGroups-elt-qg3/
QuasiGroup-3-12.xml
MD5SUMe29963f3eb1abf29691517033ab1fcf0
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark10.0419
Satisfiable
(Un)Satisfiability was proved
Number of variables288
Number of constraints266
Number of domains2
Minimum domain size12
Maximum domain size144
Distribution of domain sizes[{"size":12,"count":144},{"size":144,"count":132}]
Minimum variable degree0
Maximum variable degree135
Distribution of variable degrees[{"degree":0,"count":12},{"degree":2,"count":132},{"degree":134,"count":12},{"degree":135,"count":132}]
Minimum constraint arity3
Maximum constraint arity145
Distribution of constraint arities[{"arity":3,"count":132},{"arity":12,"count":1},{"arity":144,"count":1},{"arity":145,"count":132}]
Number of extensional constraints0
Number of intensional constraints132
Distribution of constraint types[{"type":"intension","count":132},{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":132}]
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-17484-serial-file.bin HOME/instance-4405650-1569341677.xml
0.62/0.56	
0.62/0.56	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.62/0.56	
0.62/0.58	c BEGIN-Prog: Tue Sep 24 18:13:57 CEST 2019
0.62/0.58	c PID: 17487
0.62/0.58	c IP: 172.20.3.150
0.62/0.58	c HOST: node150.alineos.net
0.62/0.59	c (0,0) Parsing Begin
1.98/1.14	c (0,0) Parsing End
1.98/1.14	c (0,0) CSP: 274 int (0 aux), 2 bool (0 aux), 266 ctr, max domain size 144
1.98/1.15	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.98/1.15	c (0,0) Constraint Name Generate Begin
1.98/1.16	c (0,0) Ctr:HOME/instance-4405650-1569341677.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:Mul:Num:Var
1.98/1.16	c (0,0) Constraint Name Generate End
1.98/1.16	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.98/1.16	c (0,0) CSP to CSPinCNF Begin
4.12/1.85	c (1,1) translated 27 (10%) constraints
4.87/2.03	c (1,1) translated 54 (20%) constraints
5.11/2.18	c (1,1) translated 80 (30%) constraints
5.32/2.33	c (1,1) translated 107 (40%) constraints
5.41/2.48	c (1,1) translated 133 (50%) constraints
5.52/2.54	c (1,1) translated 160 (60%) constraints
5.52/2.56	c (1,1) translated 187 (70%) constraints
5.52/2.57	c (2,2) translated 213 (80%) constraints
5.52/2.58	c (2,2) translated 240 (90%) constraints
5.52/2.59	c (2,2) translated 266 (100%) constraints
5.52/2.59	c (2,2) ===========================================
5.90/2.62	c (2,2) Hybrid: #OE=276, #LE=0
5.90/2.62	c (2,2) Hybrid
5.90/2.62	c (2,2) ===========================================
7.61/3.02	c (2,2) translated 2108 (10%) constraints
8.26/3.20	c (2,2) translated 4215 (20%) constraints
8.57/3.35	c (2,2) translated 6322 (30%) constraints
9.04/3.74	c (2,2) translated 8429 (40%) constraints
9.04/3.74	c (3,3) translated 10536 (50%) constraints
9.04/3.76	c (3,3) translated 12644 (60%) constraints
9.15/3.89	c (3,3) translated 14751 (70%) constraints
9.35/4.03	c (3,3) translated 16858 (80%) constraints
9.46/4.16	c (3,3) translated 18965 (90%) constraints
9.66/4.31	c (3,3) translated 21072 (100%) constraints
9.66/4.31	c (3,3) CSP to CSPinCNF End
9.66/4.31	c (3,3) CSP: 274 int (0 aux), 1730 bool (1728 aux), 66144 ctr, max domain size 144
9.66/4.31	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.66/4.31	c (3,3) CSPinCNF Propagation Begin
11.68/4.86	c (4,4) 494 values, 6012 unsatisfiable literals, and 9412 valid clauses are removed
11.68/4.86	c (4,4) CSPinCNF Propagation End
11.68/4.86	c (4,4) CSP: 274 int (0 aux), 1730 bool (1728 aux), 56732 ctr, max domain size 142
11.68/4.86	c (4,4) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.68/4.89	c (4,4) Hybrid: #OE=2004, #LE=0
11.68/4.89	c (4,4) Simplify CSPinCNF Begin
12.77/5.13	c (4,4) Simplify CSPinCNF End
12.77/5.13	c (4,4) CSP: 274 int (0 aux), 4802 bool (4800 aux), 59804 ctr, max domain size 142
12.77/5.13	c (4,4) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
12.77/5.13	c (4,4) Calculate Precise Domain Begin
12.77/5.13	c (4,4) 0 values are removed by re-calculation
12.77/5.13	c (4,4) Calculate Precise Domain End
12.77/5.14	c (4,4) CSP: 274 int (0 aux), 4802 bool (4800 aux), 59804 ctr, max domain size 142
12.77/5.14	c (4,4) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
12.77/5.14	c (4,4) CSPinCNF to SatSolver Begin
14.81/5.60	c (5,5) 5981 (10 %) CSP clauses are encoded (0 SAT variables, 41078 SAT clauses)
15.12/5.74	c (5,5) 11961 (20 %) CSP clauses are encoded (0 SAT variables, 58628 SAT clauses)
15.12/5.79	c (5,5) 17942 (30 %) CSP clauses are encoded (0 SAT variables, 64609 SAT clauses)
15.25/5.84	c (5,5) 23922 (40 %) CSP clauses are encoded (0 SAT variables, 70589 SAT clauses)
15.25/5.89	c (5,5) 29902 (50 %) CSP clauses are encoded (0 SAT variables, 76569 SAT clauses)
15.35/5.95	c (5,5) 35883 (60 %) CSP clauses are encoded (0 SAT variables, 82550 SAT clauses)
15.35/6.00	c (5,5) 41863 (70 %) CSP clauses are encoded (0 SAT variables, 88530 SAT clauses)
15.46/6.05	c (5,5) 47844 (80 %) CSP clauses are encoded (0 SAT variables, 94511 SAT clauses)
15.46/6.10	c (5,5) 53824 (90 %) CSP clauses are encoded (0 SAT variables, 100491 SAT clauses)
15.78/6.29	c (5,5) 59804 (100 %) CSP clauses are encoded (0 SAT variables, 141374 SAT clauses)
15.78/6.29	c (5,5) CSPinCNF to SatSolver End
15.78/6.29	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
15.78/6.29	c (5,5) 23990 bool, 141472 clause
15.78/6.29	c (5,5) Export Begin
16.18/6.39	c (5,5) Export to HOME/scop-17484-serial-file.bin
16.18/6.39	c (5,5) Export End
16.18/6.39	c (5,5) Export File Size: 0.05 MB
16.18/6.39	c (5,5) 0,0,3,4,4,4,5,STOP-AFTER(DIMACS)
16.18/6.39	c END-Prog: Tue Sep 24 18:14:02 CEST 2019
16.63/6.46	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-17484-serial-file.bin
16.69/6.93	c (0,0) Read Serial File Begin
16.69/6.93	c (0,0) HOME/scop-17484-serial-file.bin
17.53/7.16	c (0,0) Read Serial File End
17.53/7.17	
17.53/7.17	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
17.53/7.17	(Solving Process)
17.53/7.17	
17.53/7.19	c BEGIN-Prog: Tue Sep 24 18:14:03 CEST 2019
17.53/7.19	c PID: 17507
17.53/7.19	c IP: 172.20.3.150
17.53/7.19	c HOST: node150.alineos.net
17.53/7.19	c (0,0) SatSolver.solve Begin
17.53/7.19	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405650-1569341677.xml-scop-17487.cnf
17.75/7.22	c (0,0) c
17.75/7.22	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)
17.75/7.22	c (0,0) c
17.75/7.22	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
17.75/7.22	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
17.75/7.22	c (0,0) c ========================================[ Problem Statistics ]===========================================
17.75/7.22	c (0,0) c |                                                                                                       |
17.75/7.27	c (0,0) c |  Number of variables:         23990                                                                   |
17.75/7.27	c (0,0) c |  Number of clauses:          141472                                                                   |
17.75/7.27	c (0,0) c |  Parse time:                   0.05 s                                                                 |
17.75/7.27	c (0,0) c |                                                                                                       |
17.94/7.38	c (0,0) c |  Simplification time:          0.11 s                                                                 |
17.94/7.38	c (0,0) c |                                                                                                       |
17.94/7.38	c (0,0) c |  Generating clones                                                                                    |
17.94/7.46	c (0,0) c |  all clones generated. Memory =   136.36Mb.                                                           |
17.94/7.46	c (0,0) c ========================================================================================================|
17.94/7.46	c (0,0) c
17.94/7.46	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
17.94/7.46	c (0,0) c
17.94/7.46	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.94/7.46	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
17.94/7.46	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.94/7.46	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
17.94/7.47	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
17.94/7.47	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
17.94/7.47	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
17.94/7.47	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
17.94/7.47	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
17.94/7.47	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
17.94/7.47	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
17.94/7.47	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
17.94/7.47	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
17.94/7.47	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
17.94/7.47	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
17.94/7.47	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
17.94/7.47	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
17.94/7.47	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
17.94/7.47	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
210.70/31.81	c (24,0) c
210.70/31.81	c (24,0) c real time : 24.5961 s
210.70/31.81	c (24,0) c cpu time  : 192.111 s
210.70/31.81	c (24,0) c
210.70/31.81	c (24,0) c
210.70/31.81	c (24,0) c
210.70/31.81	c (24,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
210.70/31.81	c (24,0) c
210.70/31.81	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
210.70/31.81	c (24,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
210.70/31.81	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
210.70/31.81	c (24,0) c | Conflicts     |          285581 |      35771 |      35881 |      35691 |      35391 |      36135 |      35236 |      36097 |      35379 |
210.70/31.81	c (24,0) c | Decisions     |         1372014 |     168036 |     183631 |     171862 |     171220 |     170573 |     174879 |     168582 |     163231 |
210.70/31.81	c (24,0) c | Propagations  |       420135403 |   52945639 |   52751775 |   53030992 |   51720094 |   52595045 |   52177550 |   53280805 |   51633503 |
210.70/31.81	c (24,0) c | ReduceDBs     |              34 |          4 |          4 |          4 |          4 |          5 |          4 |          5 |          4 |
210.70/31.81	c (24,0) c | SimpDBs       |             380 |         50 |         51 |         49 |         49 |         44 |         49 |         44 |         44 |
210.70/31.81	c (24,0) c | Restarts      |            1444 |        177 |        221 |        199 |        173 |        159 |        195 |        166 |        154 |
210.70/31.81	c (24,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
210.70/31.81	c (24,0) c | PropBinClauses|       722128828 |   91160452 |   90366509 |   91160263 |   88775173 |   90466271 |   89460455 |   91592094 |   89147611 |
210.70/31.81	c (24,0) c | PropPreBlocker|      2895589586 |  367078082 |  360325778 |  365552464 |  356012945 |  364208095 |  356938670 |  367465795 |  358007757 |
210.70/31.81	c (24,0) c | PropNotBlocker|       814854392 |  102843229 |  102237000 |  102721214 |  100646642 |  102399509 |  100662566 |  103024062 |  100320170 |
210.70/31.81	c (24,0) c | LitFullScans  |      5450668824 |  693027653 |  678050737 |  688311117 |  672179612 |  684380528 |  672157362 |  690061864 |  672499951 |
210.70/31.81	c (24,0) c | LitScanFracts |         1853263 |     522272 |      45616 |      76405 |     173550 |     372888 |     133375 |      51146 |     478011 |
210.70/31.81	c (24,0) c | DecisionLevel0|            1914 |        232 |        292 |        258 |        233 |        211 |        257 |        216 |        215 |
210.70/31.81	c (24,0) c | Periods       |             907 |        115 |        113 |        114 |        112 |        114 |        112 |        115 |        112 |
210.70/31.81	c (24,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
210.70/31.81	c (24,0) c | Avg_Trail     |                 |       8629 |       8387 |       8525 |       8480 |       8564 |       8459 |       8528 |       8559 |
210.70/31.81	c (24,0) c | Avg_DL        |                 |         78 |         78 |         78 |         78 |         77 |         78 |         77 |         78 |
210.70/31.81	c (24,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
210.70/31.81	c (24,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
210.70/31.81	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
210.70/31.81	c (24,0) c | Exported      |           51191 |       6372 |       6492 |       6366 |       6339 |       6493 |       6321 |       6454 |       6354 |
210.70/31.82	c (24,0) c | Imported      |          296480 |      37856 |      36077 |      37890 |      36641 |      37368 |      36533 |      37504 |      36611 |
210.70/31.82	c (24,0) c | Good          |           13599 |       1721 |       1638 |       1765 |       1686 |       1732 |       1645 |       1758 |       1654 |
210.70/31.82	c (24,0) c | Purge         |          282881 |      36135 |      34439 |      36125 |      34955 |      35636 |      34888 |      35746 |      34957 |
210.70/31.82	c (24,0) c | Promoted      |           22086 |       2719 |       2774 |       2783 |       2736 |       2834 |       2640 |       2836 |       2764 |
210.70/31.82	c (24,0) c | Remove_Imp    |           64505 |       5297 |       4750 |       4257 |       5331 |      17146 |       5170 |      17676 |       4878 |
210.70/31.82	c (24,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
210.70/31.82	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
210.70/31.82	c (24,0) c | Unaries       |                 |         55 |         71 |         59 |         60 |         52 |         62 |         50 |         61 |
210.70/31.82	c (24,0) c | Binaries      |                 |        327 |        333 |        285 |        297 |        312 |        337 |        288 |        332 |
210.70/31.82	c (24,0) c | Glues         |                 |       1114 |       1200 |       1091 |       1101 |       1138 |       1151 |       1027 |       1141 |
210.70/31.82	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
210.70/31.82	c (24,0) c | Orig_Seen     |            68 % |      70976 |      70836 |      70838 |      70968 |      70804 |      70642 |      70945 |      70891 |
210.70/31.82	c (24,0) c | Diff Orig seen|                 |        334 |        194 |        196 |        326 |        162 |      X     |        303 |        249 |
210.70/31.82	c (24,0) c | Hamming       |            19 % |       4750 |       4527 |       4583 |       5068 |       4784 |      X     |       4915 |       4656 |
210.70/31.82	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
210.70/31.82	c (24,0) c | RunningTime   |                 |   24.1 100%|   24.1 100%|   24.1 100%|   24.2 100%|   24.1 100%|   24.1 100%|   24.2 100%|   24.3 100%|
210.70/31.82	c (24,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%|
210.70/31.82	c (24,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
210.70/31.82	c (24,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%|
210.70/31.82	c (24,0) c | SolvingTime   |                 |   24.1     |   24.1     |   24.1     |   24.2     |   24.1     |   24.1     |   24.3     |   24.3     |
210.70/31.82	c (24,0) c | PropagationTim|                 |   21.8  90%|   21.8  90%|   21.8  90%|   21.8  90%|   21.8  90%|   21.8  90%|   21.9  90%|   22.0  90%|
210.70/31.82	c (24,0) c | AnalysisTime  |                 |    1.3   6%|    1.3   5%|    1.3   5%|    1.3   5%|    1.3   5%|    1.3   5%|    1.3   5%|    1.3   5%|
210.70/31.82	c (24,0) c | ReductionTime |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
210.70/31.82	c (24,0) c | SimplifyTime  |                 |    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|
210.70/31.82	c (24,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%|
210.70/31.82	c (24,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%|
210.70/31.82	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
210.70/31.82	c (24,0) c
210.70/31.82	c (24,0) c
210.70/31.82	c (24,0) c Threads : 8
210.70/31.82	c (24,0) c Winner : 5
210.70/31.82	c (24,0) c Conflicts_0 : 35771
210.70/31.82	c (24,0) c Conflicts_1 : 35881
210.70/31.82	c (24,0) c Conflicts_2 : 35691
210.70/31.82	c (24,0) c Conflicts_3 : 35391
210.70/31.82	c (24,0) c Conflicts_4 : 36135
210.70/31.82	c (24,0) c Conflicts_5 : 35236
210.70/31.82	c (24,0) c Conflicts_6 : 36097
210.70/31.82	c (24,0) c Conflicts_7 : 35379
210.70/31.82	c (24,0) c Conflicts_total : 285581
210.70/31.82	c (24,0) c Conflicts_winner : 35236
210.70/31.82	c (24,0) c Decisions_0 : 168036
210.70/31.82	c (24,0) c Decisions_1 : 183631
210.70/31.82	c (24,0) c Decisions_2 : 171862
210.70/31.82	c (24,0) c Decisions_3 : 171220
210.70/31.82	c (24,0) c Decisions_4 : 170573
210.70/31.82	c (24,0) c Decisions_5 : 174879
210.70/31.82	c (24,0) c Decisions_6 : 168582
210.70/31.82	c (24,0) c Decisions_7 : 163231
210.70/31.82	c (24,0) c Decisions_total : 1372014
210.70/31.82	c (24,0) c Decisions_winner : 174879
210.70/31.82	c (24,0) c Propagations_0 : 52945639
210.70/31.82	c (24,0) c Propagations_1 : 52751775
210.70/31.82	c (24,0) c Propagations_2 : 53030992
210.70/31.82	c (24,0) c Propagations_3 : 51720094
210.70/31.82	c (24,0) c Propagations_4 : 52595045
210.70/31.82	c (24,0) c Propagations_5 : 52177550
210.70/31.82	c (24,0) c Propagations_6 : 53280805
210.70/31.82	c (24,0) c Propagations_7 : 51633503
210.70/31.82	c (24,0) c Propagations_total : 420135403
210.70/31.82	c (24,0) c Propagations_winner : 52177550
210.70/31.82	c (24,0) c ReduceDBs_0 : 4
210.70/31.82	c (24,0) c ReduceDBs_1 : 4
210.70/31.82	c (24,0) c ReduceDBs_2 : 4
210.70/31.82	c (24,0) c ReduceDBs_3 : 4
210.70/31.82	c (24,0) c ReduceDBs_4 : 5
210.70/31.82	c (24,0) c ReduceDBs_5 : 4
210.70/31.82	c (24,0) c ReduceDBs_6 : 5
210.70/31.82	c (24,0) c ReduceDBs_7 : 4
210.70/31.82	c (24,0) c ReduceDBs_total : 34
210.70/31.82	c (24,0) c ReduceDBs_winner : 4
210.70/31.82	c (24,0) c SimpDBs_0 : 50
210.70/31.82	c (24,0) c SimpDBs_1 : 51
210.70/31.82	c (24,0) c SimpDBs_2 : 49
210.70/31.82	c (24,0) c SimpDBs_3 : 49
210.70/31.82	c (24,0) c SimpDBs_4 : 44
210.70/31.82	c (24,0) c SimpDBs_5 : 49
210.70/31.82	c (24,0) c SimpDBs_6 : 44
210.70/31.82	c (24,0) c SimpDBs_7 : 44
210.70/31.82	c (24,0) c SimpDBs_total : 380
210.70/31.82	c (24,0) c SimpDBs_winner : 49
210.70/31.82	c (24,0) c Restarts_0 : 177
210.70/31.82	c (24,0) c Restarts_1 : 221
210.70/31.82	c (24,0) c Restarts_2 : 199
210.70/31.82	c (24,0) c Restarts_3 : 173
210.70/31.82	c (24,0) c Restarts_4 : 159
210.70/31.82	c (24,0) c Restarts_5 : 195
210.70/31.82	c (24,0) c Restarts_6 : 166
210.70/31.82	c (24,0) c Restarts_7 : 154
210.70/31.82	c (24,0) c Restarts_total : 1444
210.70/31.82	c (24,0) c Restarts_winner : 195
210.70/31.82	c (24,0) c ForcedImports_0 : 0
210.70/31.82	c (24,0) c ForcedImports_1 : 0
210.70/31.82	c (24,0) c ForcedImports_2 : 0
210.70/31.82	c (24,0) c ForcedImports_3 : 0
210.70/31.82	c (24,0) c ForcedImports_4 : 0
210.70/31.82	c (24,0) c ForcedImports_5 : 0
210.70/31.82	c (24,0) c ForcedImports_6 : 0
210.70/31.82	c (24,0) c ForcedImports_7 : 0
210.70/31.82	c (24,0) c ForcedImports_total : 0
210.70/31.82	c (24,0) c ForcedImports_winner : 0
210.70/31.82	c (24,0) c PropsBinClauses_0 : 91160452
210.70/31.82	c (24,0) c PropsBinClauses_1 : 90366509
210.70/31.82	c (24,0) c PropsBinClauses_2 : 91160263
210.70/31.82	c (24,0) c PropsBinClauses_3 : 88775173
210.70/31.82	c (24,0) c PropsBinClauses_4 : 90466271
210.70/31.82	c (24,0) c PropsBinClauses_5 : 89460455
210.70/31.82	c (24,0) c PropsBinClauses_6 : 91592094
210.70/31.82	c (24,0) c PropsBinClauses_7 : 89147611
210.70/31.82	c (24,0) c PropsBinClauses_total : 722128828
210.70/31.82	c (24,0) c PropsBinClauses_winner : 89460455
210.70/31.82	c (24,0) c PropsPreBlocker_0 : 367078082
210.70/31.82	c (24,0) c PropsPreBlocker_1 : 360325778
210.70/31.82	c (24,0) c PropsPreBlocker_2 : 365552464
210.70/31.82	c (24,0) c PropsPreBlocker_3 : 356012945
210.70/31.82	c (24,0) c PropsPreBlocker_4 : 364208095
210.70/31.82	c (24,0) c PropsPreBlocker_5 : 356938670
210.70/31.82	c (24,0) c PropsPreBlocker_6 : 367465795
210.70/31.82	c (24,0) c PropsPreBlocker_7 : 358007757
210.70/31.82	c (24,0) c PropsPreBlocker_total : 2895589586
210.70/31.82	c (24,0) c PropsPreBlocker_winner : 356938670
210.70/31.82	c (24,0) c PropsNotBlocker_0 : 102843229
210.70/31.82	c (24,0) c PropsNotBlocker_1 : 102237000
210.70/31.82	c (24,0) c PropsNotBlocker_2 : 102721214
210.70/31.82	c (24,0) c PropsNotBlocker_3 : 100646642
210.70/31.82	c (24,0) c PropsNotBlocker_4 : 102399509
210.70/31.82	c (24,0) c PropsNotBlocker_5 : 100662566
210.70/31.82	c (24,0) c PropsNotBlocker_6 : 103024062
210.70/31.82	c (24,0) c PropsNotBlocker_7 : 100320170
210.70/31.82	c (24,0) c PropsNotBlocker_total : 814854392
210.70/31.82	c (24,0) c PropsNotBlocker_winner : 100662566
210.70/31.82	c (24,0) c PropsLitFullScans_0 : 693027653
210.70/31.82	c (24,0) c PropsLitFullScans_1 : 678050737
210.70/31.82	c (24,0) c PropsLitFullScans_2 : 688311117
210.70/31.82	c (24,0) c PropsLitFullScans_3 : 672179612
210.70/31.82	c (24,0) c PropsLitFullScans_4 : 684380528
210.70/31.82	c (24,0) c PropsLitFullScans_5 : 672157362
210.70/31.82	c (24,0) c PropsLitFullScans_6 : 690061864
210.70/31.82	c (24,0) c PropsLitFullScans_7 : 672499951
210.70/31.82	c (24,0) c PropsLitFullScans_total : 5450668824
210.70/31.82	c (24,0) c PropsLitFullScans_winner : 672157362
210.70/31.82	c (24,0) c LitScanFractions_0 : 522272
210.70/31.82	c (24,0) c LitScanFractions_1 : 45616
210.70/31.82	c (24,0) c LitScanFractions_2 : 76405
210.70/31.82	c (24,0) c LitScanFractions_3 : 173550
210.70/31.82	c (24,0) c LitScanFractions_4 : 372888
210.70/31.82	c (24,0) c LitScanFractions_5 : 133375
210.70/31.82	c (24,0) c LitScanFractions_6 : 51146
210.70/31.82	c (24,0) c LitScanFractions_7 : 478011
210.70/31.82	c (24,0) c LitScanFractions_total : 1853263
210.70/31.82	c (24,0) c LitScanFractions_winner : 133375
210.70/31.82	c (24,0) c DecisionLevel0_0 : 232
210.70/31.82	c (24,0) c DecisionLevel0_1 : 292
210.70/31.82	c (24,0) c DecisionLevel0_2 : 258
210.70/31.82	c (24,0) c DecisionLevel0_3 : 233
210.70/31.82	c (24,0) c DecisionLevel0_4 : 211
210.70/31.82	c (24,0) c DecisionLevel0_5 : 257
210.70/31.82	c (24,0) c DecisionLevel0_6 : 216
210.70/31.82	c (24,0) c DecisionLevel0_7 : 215
210.70/31.82	c (24,0) c DecisionLevel0_total : 1914
210.70/31.82	c (24,0) c DecisionLevel0_winner : 257
210.70/31.82	c (24,0) c Periods_0 : 115
210.70/31.82	c (24,0) c Periods_1 : 113
210.70/31.82	c (24,0) c Periods_2 : 114
210.70/31.82	c (24,0) c Periods_3 : 112
210.70/31.82	c (24,0) c Periods_4 : 114
210.70/31.82	c (24,0) c Periods_5 : 112
210.70/31.82	c (24,0) c Periods_6 : 115
210.70/31.82	c (24,0) c Periods_7 : 112
210.70/31.82	c (24,0) c Periods_total : 907
210.70/31.82	c (24,0) c Periods_winner : 112
210.70/31.82	c (24,0) c Margin_0 : 20
210.70/31.82	c (24,0) c Margin_1 : 20
210.70/31.82	c (24,0) c Margin_2 : 20
210.70/31.82	c (24,0) c Margin_3 : 20
210.70/31.82	c (24,0) c Margin_4 : 20
210.70/31.82	c (24,0) c Margin_5 : 20
210.70/31.82	c (24,0) c Margin_6 : 20
210.70/31.82	c (24,0) c Margin_7 : 20
210.70/31.82	c (24,0) c Margin_total : 160
210.70/31.82	c (24,0) c Margin_winner : 20
210.70/31.82	c (24,0) c Exported_0 : 6372
210.70/31.82	c (24,0) c Exported_1 : 6492
210.70/31.82	c (24,0) c Exported_2 : 6366
210.70/31.82	c (24,0) c Exported_3 : 6339
210.70/31.82	c (24,0) c Exported_4 : 6493
210.70/31.82	c (24,0) c Exported_5 : 6321
210.70/31.82	c (24,0) c Exported_6 : 6454
210.70/31.82	c (24,0) c Exported_7 : 6354
210.70/31.82	c (24,0) c Exported_total : 51191
210.70/31.82	c (24,0) c Exported_winner : 6321
210.70/31.82	c (24,0) c Imported_0 : 37856
210.70/31.82	c (24,0) c Imported_1 : 36077
210.70/31.82	c (24,0) c Imported_2 : 37890
210.70/31.82	c (24,0) c Imported_3 : 36641
210.70/31.82	c (24,0) c Imported_4 : 37368
210.70/31.82	c (24,0) c Imported_5 : 36533
210.70/31.82	c (24,0) c Imported_6 : 37504
210.70/31.82	c (24,0) c Imported_7 : 36611
210.70/31.82	c (24,0) c Imported_total : 296480
210.70/31.82	c (24,0) c Imported_winner : 36533
210.70/31.82	c (24,0) c Good_0 : 1721
210.70/31.82	c (24,0) c Good_1 : 1638
210.70/31.82	c (24,0) c Good_2 : 1765
210.70/31.82	c (24,0) c Good_3 : 1686
210.70/31.82	c (24,0) c Good_4 : 1732
210.70/31.82	c (24,0) c Good_5 : 1645
210.70/31.82	c (24,0) c Good_6 : 1758
210.70/31.82	c (24,0) c Good_7 : 1654
210.70/31.82	c (24,0) c Good_total : 13599
210.70/31.82	c (24,0) c Good_winner : 1645
210.70/31.82	c (24,0) c Purge_0 : 36135
210.70/31.82	c (24,0) c Purge_1 : 34439
210.70/31.82	c (24,0) c Purge_2 : 36125
210.70/31.82	c (24,0) c Purge_3 : 34955
210.70/31.82	c (24,0) c Purge_4 : 35636
210.70/31.82	c (24,0) c Purge_5 : 34888
210.70/31.82	c (24,0) c Purge_6 : 35746
210.70/31.82	c (24,0) c Purge_7 : 34957
210.70/31.82	c (24,0) c Purge_total : 282881
210.70/31.82	c (24,0) c Purge_winner : 34888
210.70/31.82	c (24,0) c Promoted_0 : 2719
210.70/31.82	c (24,0) c Promoted_1 : 2774
210.70/31.82	c (24,0) c Promoted_2 : 2783
210.70/31.82	c (24,0) c Promoted_3 : 2736
210.70/31.82	c (24,0) c Promoted_4 : 2834
210.70/31.82	c (24,0) c Promoted_5 : 2640
210.70/31.82	c (24,0) c Promoted_6 : 2836
210.70/31.82	c (24,0) c Promoted_7 : 2764
210.70/31.82	c (24,0) c Promoted_total : 22086
210.70/31.82	c (24,0) c Promoted_winner : 2640
210.70/31.82	c (24,0) c Remove_Imp_0 : 5297
210.70/31.82	c (24,0) c Remove_Imp_1 : 4750
210.70/31.82	c (24,0) c Remove_Imp_2 : 4257
210.70/31.82	c (24,0) c Remove_Imp_3 : 5331
210.70/31.82	c (24,0) c Remove_Imp_4 : 17146
210.70/31.82	c (24,0) c Remove_Imp_5 : 5170
210.70/31.82	c (24,0) c Remove_Imp_6 : 17676
210.70/31.82	c (24,0) c Remove_Imp_7 : 4878
210.70/31.82	c (24,0) c Remove_Imp_total : 64505
210.70/31.82	c (24,0) c Remove_Imp_winner : 5170
210.70/31.82	c (24,0) c Blocked_Reuse_0 : 0
210.70/31.82	c (24,0) c Blocked_Reuse_1 : 0
210.70/31.82	c (24,0) c Blocked_Reuse_2 : 0
210.70/31.82	c (24,0) c Blocked_Reuse_3 : 0
210.70/31.82	c (24,0) c Blocked_Reuse_4 : 0
210.70/31.82	c (24,0) c Blocked_Reuse_5 : 0
210.70/31.82	c (24,0) c Blocked_Reuse_6 : 0
210.70/31.82	c (24,0) c Blocked_Reuse_7 : 0
210.70/31.82	c (24,0) c Blocked_Reuse_total : 0
210.70/31.82	c (24,0) c Blocked_Reuse_winner : 0
210.70/31.82	c (24,0) c Unaries_0 : 55
210.70/31.82	c (24,0) c Unaries_1 : 71
210.70/31.83	c (24,0) c Unaries_2 : 59
210.70/31.83	c (24,0) c Unaries_3 : 60
210.70/31.83	c (24,0) c Unaries_4 : 52
210.70/31.83	c (24,0) c Unaries_5 : 62
210.70/31.83	c (24,0) c Unaries_6 : 50
210.70/31.83	c (24,0) c Unaries_7 : 61
210.70/31.83	c (24,0) c Unaries_total : 470
210.70/31.83	c (24,0) c Unaries_winner : 62
210.70/31.83	c (24,0) c Binaries_0 : 327
210.70/31.83	c (24,0) c Binaries_1 : 333
210.70/31.83	c (24,0) c Binaries_2 : 285
210.70/31.83	c (24,0) c Binaries_3 : 297
210.70/31.83	c (24,0) c Binaries_4 : 312
210.70/31.83	c (24,0) c Binaries_5 : 337
210.70/31.83	c (24,0) c Binaries_6 : 288
210.70/31.83	c (24,0) c Binaries_7 : 332
210.70/31.83	c (24,0) c Binaries_total : 2511
210.70/31.83	c (24,0) c Binaries_winner : 337
210.70/31.83	c (24,0) c Glues_0 : 1114
210.70/31.83	c (24,0) c Glues_1 : 1200
210.70/31.83	c (24,0) c Glues_2 : 1091
210.70/31.83	c (24,0) c Glues_3 : 1101
210.70/31.83	c (24,0) c Glues_4 : 1138
210.70/31.83	c (24,0) c Glues_5 : 1151
210.70/31.83	c (24,0) c Glues_6 : 1027
210.70/31.83	c (24,0) c Glues_7 : 1141
210.70/31.83	c (24,0) c Glues_total : 8963
210.70/31.83	c (24,0) c Glues_winner : 1151
210.70/31.83	c (24,0) c RunningTime_0 : 24.083743
210.70/31.83	c (24,0) c RunningTime_1 : 24.091164
210.70/31.83	c (24,0) c RunningTime_2 : 24.094304
210.70/31.83	c (24,0) c RunningTime_3 : 24.175519
210.70/31.83	c (24,0) c RunningTime_4 : 24.093409
210.70/31.83	c (24,0) c RunningTime_5 : 24.082904
210.70/31.83	c (24,0) c RunningTime_6 : 24.240456
210.70/31.83	c (24,0) c RunningTime_7 : 24.325810
210.70/31.83	c (24,0) c RunningTime_total : 193.187309
210.70/31.83	c (24,0) c RunningTime_winner : 24.082904
210.70/31.83	c (24,0) c WaitingTime_0 : 0.000134
210.70/31.83	c (24,0) c WaitingTime_1 : 0.000131
210.70/31.83	c (24,0) c WaitingTime_2 : 0.000145
210.70/31.83	c (24,0) c WaitingTime_3 : 0.000136
210.70/31.83	c (24,0) c WaitingTime_4 : 0.000132
210.70/31.83	c (24,0) c WaitingTime_5 : 0.000112
210.70/31.83	c (24,0) c WaitingTime_6 : 0.000118
210.70/31.83	c (24,0) c WaitingTime_7 : 0.000096
210.70/31.83	c (24,0) c WaitingTime_total : 0.001005
210.70/31.83	c (24,0) c WaitingTime_winner : 0.000112
210.70/31.83	c (24,0) c ExchangingTime_0 : 0.018727
210.70/31.83	c (24,0) c ExchangingTime_1 : 0.014978
210.70/31.83	c (24,0) c ExchangingTime_2 : 0.015285
210.70/31.83	c (24,0) c ExchangingTime_3 : 0.014704
210.70/31.83	c (24,0) c ExchangingTime_4 : 0.017080
210.70/31.83	c (24,0) c ExchangingTime_5 : 0.015255
210.70/31.83	c (24,0) c ExchangingTime_6 : 0.017666
210.70/31.83	c (24,0) c ExchangingTime_7 : 0.014640
210.70/31.83	c (24,0) c ExchangingTime_total : 0.128335
210.70/31.83	c (24,0) c ExchangingTime_winner : 0.015255
210.70/31.83	c (24,0) c PeriodProcTime_0 : 0.000915
210.70/31.83	c (24,0) c PeriodProcTime_1 : 0.000909
210.70/31.83	c (24,0) c PeriodProcTime_2 : 0.000935
210.70/31.83	c (24,0) c PeriodProcTime_3 : 0.001187
210.70/31.83	c (24,0) c PeriodProcTime_4 : 0.001158
210.70/31.83	c (24,0) c PeriodProcTime_5 : 0.001152
210.70/31.83	c (24,0) c PeriodProcTime_6 : 0.001041
210.70/31.83	c (24,0) c PeriodProcTime_7 : 0.000920
210.70/31.83	c (24,0) c PeriodProcTime_total : 0.008216
210.70/31.83	c (24,0) c PeriodProcTime_winner : 0.001152
210.70/31.83	c (24,0) c SolvingTime_0 : 24.103520
210.70/31.83	c (24,0) c SolvingTime_1 : 24.107182
210.70/31.83	c (24,0) c SolvingTime_2 : 24.110668
210.70/31.83	c (24,0) c SolvingTime_3 : 24.191546
210.70/31.83	c (24,0) c SolvingTime_4 : 24.111779
210.70/31.83	c (24,0) c SolvingTime_5 : 24.099423
210.70/31.83	c (24,0) c SolvingTime_6 : 24.259281
210.70/31.83	c (24,0) c SolvingTime_7 : 24.341465
210.70/31.83	c (24,0) c SolvingTime_total : 193.324864
210.70/31.83	c (24,0) c SolvingTime_winner : 24.099423
210.70/31.83	c (24,0) c PropagationTime_0 : 21.751414
210.70/31.83	c (24,0) c PropagationTime_1 : 21.799927
210.70/31.83	c (24,0) c PropagationTime_2 : 21.760392
210.70/31.83	c (24,0) c PropagationTime_3 : 21.814684
210.70/31.83	c (24,0) c PropagationTime_4 : 21.760109
210.70/31.83	c (24,0) c PropagationTime_5 : 21.788597
210.70/31.83	c (24,0) c PropagationTime_6 : 21.922487
210.70/31.83	c (24,0) c PropagationTime_7 : 22.004229
210.70/31.83	c (24,0) c PropagationTime_total : 174.601840
210.70/31.83	c (24,0) c PropagationTime_winner : 21.788597
210.70/31.83	c (24,0) c AnalysisTime_0 : 1.331174
210.70/31.83	c (24,0) c AnalysisTime_1 : 1.251992
210.70/31.83	c (24,0) c AnalysisTime_2 : 1.313783
210.70/31.83	c (24,0) c AnalysisTime_3 : 1.304871
210.70/31.83	c (24,0) c AnalysisTime_4 : 1.314487
210.70/31.83	c (24,0) c AnalysisTime_5 : 1.278733
210.70/31.83	c (24,0) c AnalysisTime_6 : 1.314929
210.70/31.83	c (24,0) c AnalysisTime_7 : 1.337462
210.70/31.83	c (24,0) c AnalysisTime_total : 10.447430
210.70/31.83	c (24,0) c AnalysisTime_winner : 1.278733
210.70/31.83	c (24,0) c ReductionTime_0 : 0.059713
210.70/31.83	c (24,0) c ReductionTime_1 : 0.062203
210.70/31.83	c (24,0) c ReductionTime_2 : 0.061274
210.70/31.83	c (24,0) c ReductionTime_3 : 0.062968
210.70/31.83	c (24,0) c ReductionTime_4 : 0.094545
210.70/31.83	c (24,0) c ReductionTime_5 : 0.061881
210.70/31.83	c (24,0) c ReductionTime_6 : 0.085399
210.70/31.83	c (24,0) c ReductionTime_7 : 0.060604
210.70/31.83	c (24,0) c ReductionTime_total : 0.548586
210.70/31.83	c (24,0) c ReductionTime_winner : 0.061881
210.70/31.83	c (24,0) c SimplifyTime_0 : 0.170676
210.70/31.83	c (24,0) c SimplifyTime_1 : 0.180785
210.70/31.83	c (24,0) c SimplifyTime_2 : 0.180894
210.70/31.83	c (24,0) c SimplifyTime_3 : 0.186001
210.70/31.83	c (24,0) c SimplifyTime_4 : 0.159919
210.70/31.83	c (24,0) c SimplifyTime_5 : 0.177337
210.70/31.83	c (24,0) c SimplifyTime_6 : 0.161759
210.70/31.83	c (24,0) c SimplifyTime_7 : 0.164325
210.70/31.83	c (24,0) c SimplifyTime_total : 1.381695
210.70/31.83	c (24,0) c SimplifyTime_winner : 0.177337
210.70/31.83	c (24,0) c UsedRateTime_0 : 0.000000
210.70/31.83	c (24,0) c UsedRateTime_1 : 0.000000
210.70/31.83	c (24,0) c UsedRateTime_2 : 0.000000
210.70/31.83	c (24,0) c UsedRateTime_3 : 0.000000
210.70/31.83	c (24,0) c UsedRateTime_4 : 0.000000
210.70/31.83	c (24,0) c UsedRateTime_5 : 0.000000
210.70/31.83	c (24,0) c UsedRateTime_6 : 0.000000
210.70/31.83	c (24,0) c UsedRateTime_7 : 0.000000
210.70/31.83	c (24,0) c UsedRateTime_total : 0.000000
210.70/31.83	c (24,0) c UsedRateTime_winner : 0.000000
210.70/31.83	c (24,0) c OverlapRateTime_0 : 0.000000
210.70/31.83	c (24,0) c OverlapRateTime_1 : 0.000000
210.70/31.83	c (24,0) c OverlapRateTime_2 : 0.000000
210.70/31.83	c (24,0) c OverlapRateTime_3 : 0.000000
210.70/31.83	c (24,0) c OverlapRateTime_4 : 0.000000
210.70/31.83	c (24,0) c OverlapRateTime_5 : 0.000000
210.70/31.83	c (24,0) c OverlapRateTime_6 : 0.000000
210.70/31.83	c (24,0) c OverlapRateTime_7 : 0.000000
210.70/31.83	c (24,0) c OverlapRateTime_total : 0.000000
210.70/31.83	c (24,0) c OverlapRateTime_winner : 0.000000
210.70/31.83	c (24,0) c
210.70/31.83	c (24,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
210.70/31.83	c (24,0) c
210.70/31.83	c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
210.70/31.83	c (24,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
210.70/31.83	c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
210.70/31.83	c (24,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
210.70/31.83	c (24,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
210.70/31.83	c (24,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
210.70/31.83	c (24,0) c | Initial random_seed   | 1801148005 | 1130127226 |   42931691 | 2103713710 |  241515377 |  437754432 | 1619434310 |  663282844 |
210.70/31.83	c (24,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
210.70/31.83	c (24,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
210.70/31.83	c (24,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
210.70/31.83	c (24,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
210.70/31.83	c (24,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
210.70/31.83	c (24,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
210.70/31.83	c (24,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
210.70/31.83	c (24,0) c | var_decay             |     0.8700 |     0.8700 |     0.8700 |     0.8700 |     0.8700 |     0.8700 |     0.8700 |     0.8700 |
210.70/31.83	c (24,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
210.70/31.83	c (24,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
210.70/31.83	c (24,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
210.70/31.83	c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
210.70/31.83	c (24,0) 
210.70/31.83	c (24,0) s SATISFIABLE
210.70/31.88	c (25,0) SatSolver.solve End
210.70/31.88	c (25,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
210.70/31.88	c (25,0) Show results Begin
211.23/32.02	c (25,0) x[0][0] = 0
211.23/32.02	c (25,0) x[0][1] = 6
211.23/32.02	c (25,0) x[0][2] = 9
211.23/32.02	c (25,0) x[0][3] = 5
211.23/32.02	c (25,0) x[0][4] = 7
211.23/32.02	c (25,0) x[0][5] = 8
211.23/32.02	c (25,0) x[0][6] = 10
211.23/32.02	c (25,0) x[0][7] = 1
211.23/32.02	c (25,0) x[0][8] = 3
211.23/32.02	c (25,0) x[0][9] = 11
211.23/32.02	c (25,0) x[0][10] = 4
211.23/32.02	c (25,0) x[0][11] = 2
211.23/32.02	c (25,0) x[1][0] = 7
211.23/32.02	c (25,0) x[1][1] = 1
211.23/32.02	c (25,0) x[1][2] = 3
211.23/32.02	c (25,0) x[1][3] = 9
211.23/32.02	c (25,0) x[1][4] = 6
211.23/32.02	c (25,0) x[1][5] = 0
211.23/32.02	c (25,0) x[1][6] = 2
211.23/32.02	c (25,0) x[1][7] = 10
211.23/32.02	c (25,0) x[1][8] = 5
211.23/32.02	c (25,0) x[1][9] = 8
211.23/32.02	c (25,0) x[1][10] = 11
211.23/32.02	c (25,0) x[1][11] = 4
211.23/32.02	c (25,0) x[2][0] = 8
211.23/32.02	c (25,0) x[2][1] = 10
211.23/32.02	c (25,0) x[2][2] = 2
211.23/32.02	c (25,0) x[2][3] = 11
211.23/32.02	c (25,0) x[2][4] = 5
211.23/32.02	c (25,0) x[2][5] = 6
211.23/32.02	c (25,0) x[2][6] = 9
211.23/32.02	c (25,0) x[2][7] = 4
211.23/32.02	c (25,0) x[2][8] = 7
211.23/32.02	c (25,0) x[2][9] = 3
211.23/32.02	c (25,0) x[2][10] = 0
211.23/32.02	c (25,0) x[2][11] = 1
211.23/32.02	c (25,0) x[3][0] = 11
211.23/32.02	c (25,0) x[3][1] = 2
211.23/32.02	c (25,0) x[3][2] = 7
211.23/32.02	c (25,0) x[3][3] = 3
211.23/32.02	c (25,0) x[3][4] = 10
211.23/32.02	c (25,0) x[3][5] = 9
211.23/32.02	c (25,0) x[3][6] = 4
211.23/32.02	c (25,0) x[3][7] = 5
211.23/32.02	c (25,0) x[3][8] = 6
211.23/32.02	c (25,0) x[3][9] = 0
211.23/32.02	c (25,0) x[3][10] = 1
211.23/32.02	c (25,0) x[3][11] = 8
211.23/32.02	c (25,0) x[4][0] = 2
211.23/32.02	c (25,0) x[4][1] = 3
211.23/32.02	c (25,0) x[4][2] = 10
211.23/32.02	c (25,0) x[4][3] = 0
211.23/32.02	c (25,0) x[4][4] = 4
211.23/32.02	c (25,0) x[4][5] = 1
211.23/32.02	c (25,0) x[4][6] = 11
211.23/32.02	c (25,0) x[4][7] = 8
211.23/32.02	c (25,0) x[4][8] = 9
211.23/32.02	c (25,0) x[4][9] = 5
211.23/32.02	c (25,0) x[4][10] = 6
211.23/32.02	c (25,0) x[4][11] = 7
211.23/32.02	c (25,0) x[5][0] = 1
211.23/32.02	c (25,0) x[5][1] = 7
211.23/32.02	c (25,0) x[5][2] = 8
211.23/32.02	c (25,0) x[5][3] = 4
211.23/32.02	c (25,0) x[5][4] = 11
211.23/32.02	c (25,0) x[5][5] = 5
211.23/32.02	c (25,0) x[5][6] = 3
211.23/32.02	c (25,0) x[5][7] = 9
211.23/32.02	c (25,0) x[5][8] = 10
211.23/32.02	c (25,0) x[5][9] = 6
211.23/32.02	c (25,0) x[5][10] = 2
211.23/32.02	c (25,0) x[5][11] = 0
211.23/32.02	c (25,0) x[6][0] = 4
211.23/32.02	c (25,0) x[6][1] = 11
211.23/32.02	c (25,0) x[6][2] = 5
211.23/32.02	c (25,0) x[6][3] = 1
211.23/32.02	c (25,0) x[6][4] = 8
211.23/32.02	c (25,0) x[6][5] = 7
211.23/32.02	c (25,0) x[6][6] = 6
211.23/32.02	c (25,0) x[6][7] = 0
211.23/32.02	c (25,0) x[6][8] = 2
211.23/32.02	c (25,0) x[6][9] = 10
211.23/32.02	c (25,0) x[6][10] = 3
211.23/32.02	c (25,0) x[6][11] = 9
211.23/32.02	c (25,0) x[7][0] = 5
211.23/32.02	c (25,0) x[7][1] = 8
211.23/32.03	c (25,0) x[7][2] = 0
211.23/32.03	c (25,0) x[7][3] = 6
211.23/32.03	c (25,0) x[7][4] = 2
211.23/32.03	c (25,0) x[7][5] = 10
211.23/32.03	c (25,0) x[7][6] = 1
211.23/32.03	c (25,0) x[7][7] = 7
211.23/32.03	c (25,0) x[7][8] = 11
211.23/32.03	c (25,0) x[7][9] = 4
211.23/32.03	c (25,0) x[7][10] = 9
211.23/32.03	c (25,0) x[7][11] = 3
211.23/32.03	c (25,0) x[8][0] = 9
211.23/32.03	c (25,0) x[8][1] = 0
211.23/32.03	c (25,0) x[8][2] = 4
211.23/32.03	c (25,0) x[8][3] = 10
211.23/32.03	c (25,0) x[8][4] = 1
211.23/32.03	c (25,0) x[8][5] = 11
211.23/32.03	c (25,0) x[8][6] = 5
211.23/32.03	c (25,0) x[8][7] = 3
211.23/32.03	c (25,0) x[8][8] = 8
211.23/32.03	c (25,0) x[8][9] = 2
211.23/32.03	c (25,0) x[8][10] = 7
211.23/32.03	c (25,0) x[8][11] = 6
211.23/32.03	c (25,0) x[9][0] = 6
211.23/32.03	c (25,0) x[9][1] = 4
211.23/32.03	c (25,0) x[9][2] = 1
211.23/32.03	c (25,0) x[9][3] = 8
211.23/32.03	c (25,0) x[9][4] = 3
211.23/32.03	c (25,0) x[9][5] = 2
211.23/32.03	c (25,0) x[9][6] = 7
211.23/32.03	c (25,0) x[9][7] = 11
211.23/32.03	c (25,0) x[9][8] = 0
211.23/32.03	c (25,0) x[9][9] = 9
211.23/32.03	c (25,0) x[9][10] = 5
211.23/32.03	c (25,0) x[9][11] = 10
211.23/32.03	c (25,0) x[10][0] = 3
211.23/32.03	c (25,0) x[10][1] = 9
211.23/32.03	c (25,0) x[10][2] = 11
211.23/32.03	c (25,0) x[10][3] = 2
211.23/32.03	c (25,0) x[10][4] = 0
211.23/32.03	c (25,0) x[10][5] = 4
211.23/32.03	c (25,0) x[10][6] = 8
211.23/32.03	c (25,0) x[10][7] = 6
211.23/32.03	c (25,0) x[10][8] = 1
211.23/32.03	c (25,0) x[10][9] = 7
211.23/32.03	c (25,0) x[10][10] = 10
211.23/32.03	c (25,0) x[10][11] = 5
211.23/32.03	c (25,0) x[11][0] = 10
211.23/32.03	c (25,0) x[11][1] = 5
211.23/32.03	c (25,0) x[11][2] = 6
211.23/32.03	c (25,0) x[11][3] = 7
211.23/32.03	c (25,0) x[11][4] = 9
211.23/32.03	c (25,0) x[11][5] = 3
211.23/32.03	c (25,0) x[11][6] = 0
211.23/32.03	c (25,0) x[11][7] = 2
211.23/32.03	c (25,0) x[11][8] = 4
211.23/32.03	c (25,0) x[11][9] = 1
211.23/32.03	c (25,0) x[11][10] = 8
211.23/32.03	c (25,0) x[11][11] = 11
211.23/32.03	c (25,0) y[0][1] = 79
211.23/32.03	c (25,0) y[0][2] = 116
211.23/32.03	c (25,0) y[0][3] = 71
211.23/32.03	c (25,0) y[0][4] = 86
211.23/32.03	c (25,0) y[0][5] = 97
211.23/32.03	c (25,0) y[0][6] = 124
211.23/32.03	c (25,0) y[0][7] = 17
211.23/32.03	c (25,0) y[0][8] = 45
211.23/32.03	c (25,0) y[0][9] = 138
211.23/32.03	c (25,0) y[0][10] = 51
211.23/32.03	c (25,0) y[0][11] = 34
211.23/32.03	c (25,0) y[1][0] = 90
211.23/32.03	c (25,0) y[1][2] = 46
211.23/32.03	c (25,0) y[1][3] = 110
211.23/32.03	c (25,0) y[1][4] = 75
211.23/32.03	c (25,0) y[1][5] = 7
211.23/32.03	c (25,0) y[1][6] = 35
211.23/32.03	c (25,0) y[1][7] = 128
211.23/32.03	c (25,0) y[1][8] = 60
211.23/32.03	c (25,0) y[1][9] = 100
211.23/32.03	c (25,0) y[1][10] = 141
211.23/32.03	c (25,0) y[1][11] = 53
211.23/32.03	c (25,0) y[2][0] = 105
211.23/32.03	c (25,0) y[2][1] = 123
211.23/32.03	c (25,0) y[2][3] = 139
211.23/32.03	c (25,0) y[2][4] = 70
211.23/32.03	c (25,0) y[2][5] = 80
211.23/32.03	c (25,0) y[2][6] = 113
211.23/32.03	c (25,0) y[2][7] = 48
211.23/32.03	c (25,0) y[2][8] = 88
211.23/32.03	c (25,0) y[2][9] = 37
211.23/32.03	c (25,0) y[2][10] = 11
211.23/32.03	c (25,0) y[2][11] = 18
211.23/32.03	c (25,0) y[3][0] = 137
211.23/32.03	c (25,0) y[3][1] = 33
211.23/32.03	c (25,0) y[3][2] = 95
211.23/32.03	c (25,0) y[3][4] = 120
211.23/32.03	c (25,0) y[3][5] = 112
211.23/32.03	c (25,0) y[3][6] = 49
211.23/32.03	c (25,0) y[3][7] = 66
211.23/32.03	c (25,0) y[3][8] = 82
211.23/32.03	c (25,0) y[3][9] = 8
211.23/32.03	c (25,0) y[3][10] = 14
211.23/32.03	c (25,0) y[3][11] = 103
211.23/32.03	c (25,0) y[4][0] = 31
211.23/32.03	c (25,0) y[4][1] = 42
211.23/32.03	c (25,0) y[4][2] = 125
211.23/32.03	c (25,0) y[4][3] = 10
211.23/32.03	c (25,0) y[4][5] = 23
211.23/32.03	c (25,0) y[4][6] = 140
211.23/32.03	c (25,0) y[4][7] = 98
211.23/32.03	c (25,0) y[4][8] = 109
211.23/32.03	c (25,0) y[4][9] = 63
211.23/32.03	c (25,0) y[4][10] = 72
211.23/32.03	c (25,0) y[4][11] = 93
211.23/32.03	c (25,0) y[5][0] = 20
211.23/32.03	c (25,0) y[5][1] = 84
211.23/32.03	c (25,0) y[5][2] = 102
211.23/32.03	c (25,0) y[5][3] = 57
211.23/32.03	c (25,0) y[5][4] = 133
211.23/32.03	c (25,0) y[5][6] = 43
211.23/32.03	c (25,0) y[5][7] = 118
211.23/32.03	c (25,0) y[5][8] = 131
211.23/32.03	c (25,0) y[5][9] = 74
211.23/32.03	c (25,0) y[5][10] = 28
211.23/32.03	c (25,0) y[5][11] = 3
211.23/32.03	c (25,0) y[6][0] = 58
211.23/32.03	c (25,0) y[6][1] = 134
211.23/32.03	c (25,0) y[6][2] = 69
211.23/32.03	c (25,0) y[6][3] = 16
211.23/32.03	c (25,0) y[6][4] = 107
211.23/32.03	c (25,0) y[6][5] = 87
211.23/32.03	c (25,0) y[6][7] = 1
211.23/32.03	c (25,0) y[6][8] = 29
211.23/32.03	c (25,0) y[6][9] = 127
211.23/32.03	c (25,0) y[6][10] = 44
211.23/32.03	c (25,0) y[6][11] = 108
211.23/32.03	c (25,0) y[7][0] = 61
211.23/32.03	c (25,0) y[7][1] = 106
211.23/32.03	c (25,0) y[7][2] = 4
211.23/32.03	c (25,0) y[7][3] = 77
211.23/32.03	c (25,0) y[7][4] = 32
211.23/32.03	c (25,0) y[7][5] = 129
211.23/32.03	c (25,0) y[7][6] = 12
211.23/32.03	c (25,0) y[7][8] = 135
211.23/32.03	c (25,0) y[7][9] = 59
211.23/32.03	c (25,0) y[7][10] = 114
211.23/32.03	c (25,0) y[7][11] = 38
211.23/32.03	c (25,0) y[8][0] = 111
211.23/32.03	c (25,0) y[8][1] = 5
211.23/32.03	c (25,0) y[8][2] = 55
211.23/32.03	c (25,0) y[8][3] = 126
211.23/32.03	c (25,0) y[8][4] = 21
211.23/32.03	c (25,0) y[8][5] = 142
211.23/32.03	c (25,0) y[8][6] = 62
211.23/32.03	c (25,0) y[8][7] = 47
211.23/32.03	c (25,0) y[8][9] = 24
211.23/32.03	c (25,0) y[8][10] = 85
211.23/32.03	c (25,0) y[8][11] = 76
211.23/32.03	c (25,0) y[9][0] = 83
211.23/32.03	c (25,0) y[9][1] = 56
211.23/32.03	c (25,0) y[9][2] = 15
211.23/32.03	c (25,0) y[9][3] = 96
211.23/32.03	c (25,0) y[9][4] = 41
211.23/32.03	c (25,0) y[9][5] = 30
211.23/32.03	c (25,0) y[9][6] = 94
211.23/32.03	c (25,0) y[9][7] = 136
211.23/32.03	c (25,0) y[9][8] = 2
211.23/32.03	c (25,0) y[9][10] = 67
211.23/32.03	c (25,0) y[9][11] = 121
211.23/32.03	c (25,0) y[10][0] = 40
211.23/32.03	c (25,0) y[10][1] = 119
211.23/32.03	c (25,0) y[10][2] = 132
211.23/32.03	c (25,0) y[10][3] = 25
211.23/32.03	c (25,0) y[10][4] = 6
211.23/32.03	c (25,0) y[10][5] = 50
211.23/32.03	c (25,0) y[10][6] = 99
211.23/32.03	c (25,0) y[10][7] = 81
211.23/32.03	c (25,0) y[10][8] = 19
211.23/32.03	c (25,0) y[10][9] = 89
211.23/32.03	c (25,0) y[10][11] = 68
211.23/32.03	c (25,0) y[11][0] = 122
211.23/32.03	c (25,0) y[11][1] = 64
211.23/32.03	c (25,0) y[11][2] = 73
211.23/32.03	c (25,0) y[11][3] = 92
211.23/32.03	c (25,0) y[11][4] = 115
211.23/32.03	c (25,0) y[11][5] = 36
211.23/32.03	c (25,0) y[11][6] = 9
211.23/32.03	c (25,0) y[11][7] = 27
211.23/32.03	c (25,0) y[11][8] = 54
211.23/32.03	c (25,0) y[11][9] = 22
211.23/32.03	c (25,0) y[11][10] = 101
211.23/32.03	s SATISFIABLE
211.23/32.04	v <instantiation>
211.23/32.04	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[1][0] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[2][0] y[2][1] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[3][0] y[3][1] y[3][2] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[4][0] y[4][1] y[4][2] y[4][3] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][8] y[7][9] y[7][10] y[7][11] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][9] y[8][10] y[8][11] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][10] y[9][11] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][11] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10]</list>
211.23/32.04	v     <values>0 6 9 5 7 8 10 1 3 11 4 2 7 1 3 9 6 0 2 10 5 8 11 4 8 10 2 11 5 6 9 4 7 3 0 1 11 2 7 3 10 9 4 5 6 0 1 8 2 3 10 0 4 1 11 8 9 5 6 7 1 7 8 4 11 5 3 9 10 6 2 0 4 11 5 1 8 7 6 0 2 10 3 9 5 8 0 6 2 10 1 7 11 4 9 3 9 0 4 10 1 11 5 3 8 2 7 6 6 4 1 8 3 2 7 11 0 9 5 10 3 9 11 2 0 4 8 6 1 7 10 5 10 5 6 7 9 3 0 2 4 1 8 11 79 116 71 86 97 124 17 45 138 51 34 90 46 110 75 7 35 128 60 100 141 53 105 123 139 70 80 113 48 88 37 11 18 137 33 95 120 112 49 66 82 8 14 103 31 42 125 10 23 140 98 109 63 72 93 20 84 102 57 133 43 118 131 74 28 3 58 134 69 16 107 87 1 29 127 44 108 61 106 4 77 32 129 12 135 59 114 38 111 5 55 126 21 142 62 47 24 85 76 83 56 15 96 41 30 94 136 2 67 121 40 119 132 25 6 50 99 81 19 89 68 122 64 73 92 115 36 9 27 54 22 101</values>
211.23/32.04	v </instantiation>
211.23/32.04	c (25,0) Show results End
211.23/32.04	c (25,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
211.23/32.04	c (25,0) 25,25,STOP-AFTER(ALL)
211.23/32.04	c END-Prog: Tue Sep 24 18:14:28 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405650-1569341677/watcher-4405650-1569341677 -o /var/tmp/evaluation-result-4405650-1569341677/solver-4405650-1569341677 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569335938-16167 --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-4405650-1569341677.xml 

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

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


[startup+0.100102 s]*
/proc/loadavg: 4.64 3.98 3.43 3/211 17505
/proc/meminfo: memFree=28431704/32770624 swapFree=67023908/67108860
[pid=17484] ppid=17481 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/17484/stat : 17484 (scop.sh) S 17481 17484 16140 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 510440167 115843072 349 33554432000 4194304 5098028 140734905111200 140734905108456 139889532793468 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15163392 140734905115388 140734905115736 140734905115736 140734905118665 0
/proc/17484/statm: 28282 349 296 221 0 87 0
[pid=17487] ppid=17484 vsize=27314120 memory=105124 CPUtime=0.08 cores=0-7
/proc/17487/stat : 17487 (java) S 17484 17484 16140 0 -1 1077944320 6341 0 0 0 6 2 0 0 20 0 20 0 510440168 27969658880 26281 33554432000 4194304 4196468 140722024427696 140722024410240 140309738303223 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
/proc/17487/statm: 6828530 26281 2741 1 0 6790935 0
[pid=17487/tid=17488] ppid=17484 vsize=27314120 memory=4134930498285298233 CPUtime=0.07 cores=0-7
/proc/17487/task/17488/stat : 17488 (java) R 17484 17484 16140 0 -1 4202560 4487 0 0 0 5 2 0 0 20 0 20 0 510440168 27969658880 26281 33554432000 4194304 4196468 140722024427696 140309710146144 140309730540350 0 4 2 16800973 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17489] ppid=17484 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/17487/task/17489/stat : 17489 (java) S 17484 17484 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510440170 27969658880 26281 33554432000 4194304 4196468 140722024427696 140309742545168 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17490] ppid=17484 vsize=27314120 memory=139750041904768 CPUtime=0 cores=0-7
/proc/17487/task/17490/stat : 17490 (java) S 17484 17484 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510440170 27969658880 26281 33554432000 4194304 4196468 140722024427696 140309556701584 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17491] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17491/stat : 17491 (java) S 17484 17484 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510440170 27969658880 26281 33554432000 4194304 4196468 140722024427696 140309555649040 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17492] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17492/stat : 17492 (java) S 17484 17484 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510440170 27969658880 26281 33554432000 4194304 4196468 140722024427696 140309554596496 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17493] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17493/stat : 17493 (java) S 17484 17484 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510440170 27969658880 26281 33554432000 4194304 4196468 140722024427696 140309553543952 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17494] ppid=17484 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17487/task/17494/stat : 17494 (java) S 17484 17484 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510440170 27969658880 26281 33554432000 4194304 4196468 140722024427696 140309552491408 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17495] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17495/stat : 17495 (java) S 17484 17484 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510440170 27969658880 26281 33554432000 4194304 4196468 140722024427696 140309551438864 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17496] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17496/stat : 17496 (java) S 17484 17484 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510440170 27969658880 26281 33554432000 4194304 4196468 140722024427696 140309550386320 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17497] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17497/stat : 17497 (java) S 17484 17484 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510440172 27969658880 26281 33554432000 4194304 4196468 140722024427696 140307789240304 140309738314370 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17498] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17498/stat : 17498 (java) S 17484 17484 16140 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510440172 27969658880 26281 33554432000 4194304 4196468 140722024427696 140307656074144 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17499] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17499/stat : 17499 (java) S 17484 17484 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510440173 27969658880 26281 33554432000 4194304 4196468 140722024427696 140307387638768 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17500] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17500/stat : 17500 (java) S 17484 17484 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510440175 27969658880 26281 33554432000 4194304 4196468 140722024427696 140307013130448 140309738321819 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17501] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17501/stat : 17501 (java) S 17484 17484 16140 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 510440177 27969658880 26281 33554432000 4194304 4196468 140722024427696 140307788188144 140309738314370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17502] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17502/stat : 17502 (java) S 17484 17484 16140 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 510440177 27969658880 26281 33554432000 4194304 4196468 140722024427696 140307787135600 140309738314370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17503] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17503/stat : 17503 (java) S 17484 17484 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510440177 27969658880 26281 33554432000 4194304 4196468 140722024427696 140307786083056 140309738314370 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17504] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17504/stat : 17504 (java) S 17484 17484 16140 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 20 0 510440177 27969658880 26281 33554432000 4194304 4196468 140722024427696 140307785030512 140309738314370 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17505] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17505/stat : 17505 (java) S 17484 17484 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510440177 27969658880 26281 33554432000 4194304 4196468 140722024427696 140306515224800 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17506] ppid=17484 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17487/task/17506/stat : 17506 (java) S 17484 17484 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510440178 27969658880 26281 33554432000 4194304 4196468 140722024427696 140307783977392 140309738314370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106520 KiB

[startup+0.210368 s]*
/proc/loadavg: 4.64 3.98 3.43 2/212 17506
/proc/meminfo: memFree=28410124/32770624 swapFree=67023908/67108860
[pid=17484] ppid=17481 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/17484/stat : 17484 (scop.sh) S 17481 17484 16140 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 510440167 115843072 349 33554432000 4194304 5098028 140734905111200 140734905108456 139889532793468 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15163392 140734905115388 140734905115736 140734905115736 140734905118665 0
/proc/17484/statm: 28282 349 296 221 0 87 0
[pid=17487] ppid=17484 vsize=27314120 memory=125404 CPUtime=0.22 cores=0-7
/proc/17487/stat : 17487 (java) S 17484 17484 16140 0 -1 1077944320 12016 0 0 0 18 4 0 0 20 0 20 0 510440168 27969658880 31351 33554432000 4194304 4196468 140722024427696 140722024410240 140309738303223 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
/proc/17487/statm: 6828530 31351 2936 1 0 6790935 0
[pid=17487/tid=17488] ppid=17484 vsize=27314120 memory=8318255677412212789 CPUtime=0.17 cores=0-7
/proc/17487/task/17488/stat : 17488 (java) R 17484 17484 16140 0 -1 4202560 9773 0 0 0 14 3 0 0 20 0 20 0 510440168 27969658880 31351 33554432000 4194304 4196468 140722024427696 140309710126528 140309738325149 0 4 2 16800973 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17489] ppid=17484 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/17487/task/17489/stat : 17489 (java) S 17484 17484 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510440170 27969658880 31351 33554432000 4194304 4196468 140722024427696 140309742545168 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17490] ppid=17484 vsize=27314120 memory=288370126193616512 CPUtime=0 cores=0-7
/proc/17487/task/17490/stat : 17490 (java) S 17484 17484 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510440170 27969658880 31351 33554432000 4194304 4196468 140722024427696 140309556701584 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17491] ppid=17484 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17487/task/17491/stat : 17491 (java) S 17484 17484 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510440170 27969658880 31351 33554432000 4194304 4196468 140722024427696 140309555649040 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17492] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17492/stat : 17492 (java) S 17484 17484 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510440170 27969658880 31351 33554432000 4194304 4196468 140722024427696 140309554596496 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17493] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17493/stat : 17493 (java) S 17484 17484 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510440170 27969658880 31351 33554432000 4194304 4196468 140722024427696 140309553543952 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17494] ppid=17484 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17487/task/17494/stat : 17494 (java) S 17484 17484 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510440170 27969658880 31351 33554432000 4194304 4196468 140722024427696 140309552491408 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17495] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17495/stat : 17495 (java) S 17484 17484 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510440170 27969658880 31351 33554432000 4194304 4196468 140722024427696 140309551438864 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17496] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17496/stat : 17496 (java) S 17484 17484 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510440170 27969658880 31351 33554432000 4194304 4196468 140722024427696 140309550386320 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17497] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17497/stat : 17497 (java) S 17484 17484 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510440172 27969658880 31351 33554432000 4194304 4196468 140722024427696 140307789240304 140309738314370 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17498] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17498/stat : 17498 (java) S 17484 17484 16140 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510440172 27969658880 31351 33554432000 4194304 4196468 140722024427696 140307656074144 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17499] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17499/stat : 17499 (java) S 17484 17484 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510440173 27969658880 31351 33554432000 4194304 4196468 140722024427696 140307387638768 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17500] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17500/stat : 17500 (java) S 17484 17484 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510440175 27969658880 31351 33554432000 4194304 4196468 140722024427696 140307013130448 140309738321819 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17501] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17501/stat : 17501 (java) S 17484 17484 16140 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 510440177 27969658880 31351 33554432000 4194304 4196468 140722024427696 140307788188144 140309738314370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17502] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17502/stat : 17502 (java) S 17484 17484 16140 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 510440177 27969658880 31351 33554432000 4194304 4196468 140722024427696 140307787135600 140309738314370 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17503] ppid=17484 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17487/task/17503/stat : 17503 (java) S 17484 17484 16140 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 510440177 27969658880 31351 33554432000 4194304 4196468 140722024427696 140307786083056 140309738314370 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17504] ppid=17484 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/17487/task/17504/stat : 17504 (java) S 17484 17484 16140 0 -1 1077944384 470 0 0 0 2 0 0 0 20 0 20 0 510440177 27969658880 31351 33554432000 4194304 4196468 140722024427696 140307785030512 140309738314370 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17505] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17505/stat : 17505 (java) S 17484 17484 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510440177 27969658880 31351 33554432000 4194304 4196468 140722024427696 140306515224800 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17506] ppid=17484 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17487/task/17506/stat : 17506 (java) S 17484 17484 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510440178 27969658880 31351 33554432000 4194304 4196468 140722024427696 140307783977392 140309738314370 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126800 KiB

[startup+0.309975 s]*
/proc/loadavg: 4.64 3.98 3.43 2/212 17506
/proc/meminfo: memFree=28404448/32770624 swapFree=67023908/67108860
[pid=17484] ppid=17481 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/17484/stat : 17484 (scop.sh) S 17481 17484 16140 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 510440167 115843072 349 33554432000 4194304 5098028 140734905111200 140734905108456 139889532793468 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15163392 140734905115388 140734905115736 140734905115736 140734905118665 0
/proc/17484/statm: 28282 349 296 221 0 87 0
[pid=17487] ppid=17484 vsize=27314120 memory=129424 CPUtime=0.4 cores=0-7
/proc/17487/stat : 17487 (java) S 17484 17484 16140 0 -1 1077944320 13240 0 0 0 35 5 0 0 20 0 20 0 510440168 27969658880 32356 33554432000 4194304 4196468 140722024427696 140722024410240 140309738303223 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
/proc/17487/statm: 6828530 32356 3022 1 0 6790935 0
[pid=17487/tid=17488] ppid=17484 vsize=27314120 memory=6791534058613427641 CPUtime=0.27 cores=0-7
/proc/17487/task/17488/stat : 17488 (java) R 17484 17484 16140 0 -1 4202560 10753 0 0 0 23 4 0 0 20 0 20 0 510440168 27969658880 32356 33554432000 4194304 4196468 140722024427696 140309710133296 140309738324570 0 4 2 16800973 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17489] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17489/stat : 17489 (java) S 17484 17484 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510440170 27969658880 32356 33554432000 4194304 4196468 140722024427696 140309742545168 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17490] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17490/stat : 17490 (java) S 17484 17484 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510440170 27969658880 32356 33554432000 4194304 4196468 140722024427696 140309556701584 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17491] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17491/stat : 17491 (java) S 17484 17484 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510440170 27969658880 32356 33554432000 4194304 4196468 140722024427696 140309555649040 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17492] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17492/stat : 17492 (java) S 17484 17484 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510440170 27969658880 32356 33554432000 4194304 4196468 140722024427696 140309554596496 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17493] ppid=17484 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/17487/task/17493/stat : 17493 (java) S 17484 17484 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510440170 27969658880 32356 33554432000 4194304 4196468 140722024427696 140309553543952 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17494] ppid=17484 vsize=27314120 memory=139749914407855 CPUtime=0 cores=0-7
/proc/17487/task/17494/stat : 17494 (java) S 17484 17484 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510440170 27969658880 32356 33554432000 4194304 4196468 140722024427696 140309552491408 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17495] ppid=17484 vsize=27314120 memory=139749914410160 CPUtime=0 cores=0-7
/proc/17487/task/17495/stat : 17495 (java) S 17484 17484 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510440170 27969658880 32356 33554432000 4194304 4196468 140722024427696 140309551438864 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17496] ppid=17484 vsize=27314120 memory=139749914412464 CPUtime=0 cores=0-7
/proc/17487/task/17496/stat : 17496 (java) S 17484 17484 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510440170 27969658880 32356 33554432000 4194304 4196468 140722024427696 140309550386320 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17497] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17497/stat : 17497 (java) S 17484 17484 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510440172 27969658880 32356 33554432000 4194304 4196468 140722024427696 140307789240304 140309738314370 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17498] ppid=17484 vsize=27314120 memory=279499828831888 CPUtime=0 cores=0-7
/proc/17487/task/17498/stat : 17498 (java) S 17484 17484 16140 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510440172 27969658880 32356 33554432000 4194304 4196468 140722024427696 140307656074144 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17499] ppid=17484 vsize=27314120 memory=279499828838800 CPUtime=0 cores=0-7
/proc/17487/task/17499/stat : 17499 (java) S 17484 17484 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510440173 27969658880 32356 33554432000 4194304 4196468 140722024427696 140307387638768 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17500] ppid=17484 vsize=27314120 memory=279499828780080 CPUtime=0 cores=0-7
/proc/17487/task/17500/stat : 17500 (java) S 17484 17484 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510440175 27969658880 32356 33554432000 4194304 4196468 140722024427696 140307013130448 140309738321819 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17501] ppid=17484 vsize=27314120 memory=279499828852624 CPUtime=0.01 cores=0-7
/proc/17487/task/17501/stat : 17501 (java) S 17484 17484 16140 0 -1 1077944384 344 0 0 0 1 0 0 0 20 0 20 0 510440177 27969658880 32356 33554432000 4194304 4196468 140722024427696 140307788188144 140309738314370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17502] ppid=17484 vsize=27314120 memory=279499828859536 CPUtime=0.02 cores=0-7
/proc/17487/task/17502/stat : 17502 (java) S 17484 17484 16140 0 -1 1077944384 118 0 0 0 2 0 0 0 20 0 20 0 510440177 27969658880 32356 33554432000 4194304 4196468 140722024427696 140307787135600 140309738314370 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17503] ppid=17484 vsize=27314120 memory=279499828857232 CPUtime=0 cores=0-7
/proc/17487/task/17503/stat : 17503 (java) S 17484 17484 16140 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 20 0 510440177 27969658880 32356 33554432000 4194304 4196468 140722024427696 140307786083056 140309738314370 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17504] ppid=17484 vsize=27314120 memory=279499828873392 CPUtime=0.07 cores=0-7
/proc/17487/task/17504/stat : 17504 (java) R 17484 17484 16140 0 -1 4202560 523 0 0 0 7 0 0 0 20 0 20 0 510440177 27969658880 32356 33554432000 4194304 4196468 140722024427696 140307785030512 140309738324570 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17505] ppid=17484 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17505/stat : 17505 (java) S 17484 17484 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510440177 27969658880 32356 33554432000 4194304 4196468 140722024427696 140306515224800 140309738313429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17506] ppid=17484 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17487/task/17506/stat : 17506 (java) S 17484 17484 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510440178 27969658880 32356 33554432000 4194304 4196468 140722024427696 140307783977392 140309738314370 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130820 KiB

[startup+0.700972 s]
/proc/loadavg: 4.64 3.98 3.43 2/212 17506
/proc/meminfo: memFree=28385164/32770624 swapFree=67023908/67108860
[pid=17484] ppid=17481 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/17484/stat : 17484 (scop.sh) S 17481 17484 16140 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 510440167 115843072 349 33554432000 4194304 5098028 140734905111200 140734905108456 139889532793468 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15163392 140734905115388 140734905115736 140734905115736 140734905118665 0
/proc/17484/statm: 28282 349 296 221 0 87 0
[pid=17487] ppid=17484 vsize=27320392 memory=165232 CPUtime=0.95 cores=0-7
/proc/17487/stat : 17487 (java) S 17484 17484 16140 0 -1 1077944320 20373 0 0 0 88 7 0 0 20 0 20 0 510440168 27976081408 41308 33554432000 4194304 4196468 140722024427696 140722024410240 140309738303223 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
/proc/17487/statm: 6830098 41308 3174 1 0 6791447 0
[pid=17487/tid=17488] ppid=17484 vsize=27320392 memory=279499829231280 CPUtime=0.66 cores=0-7
/proc/17487/task/17488/stat : 17488 (java) R 17484 17484 16140 0 -1 4202560 17351 0 0 0 60 6 0 0 20 0 20 0 510440168 27976081408 41308 33554432000 4194304 4196468 140722024427696 140309710130720 140309738315158 0 4 2 25189581 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17489] ppid=17484 vsize=27320392 memory=139749914616688 CPUtime=0 cores=0-7
/proc/17487/task/17489/stat : 17489 (java) S 17484 17484 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510440170 27976081408 41308 33554432000 4194304 4196468 140722024427696 140309742545168 140309738313429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17490] ppid=17484 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/17487/task/17490/stat : 17490 (java) S 17484 17484 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510440170 27976081408 41308 33554432000 4194304 4196468 140722024427696 140309556701584 140309738313429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0
[pid=17487/tid=17491] ppid=17484 vsize=27320392 memory=1076 CPUtime=0 cores=0-7
/proc/17487/task/17491/stat : 17491 (java) S 17484 17484 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510440170 27976081408 41308 33554432000 4194304 4196468 140722024427696 140309555649040 140309738313429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29954048 140722024432326 140722024432774 140722024432774 140722024435663 0

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

/proc/17507/task/17514/stat : 17514 (java) S 17484 17484 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510440815 8616062976 29966 33554432000 4194304 4196468 140732623626432 140486035618192 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17515] ppid=17484 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/17507/task/17515/stat : 17515 (java) S 17484 17484 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510440815 8616062976 29966 33554432000 4194304 4196468 140732623626432 140486034565648 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17516] ppid=17484 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/17507/task/17516/stat : 17516 (java) S 17484 17484 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510440815 8616062976 29966 33554432000 4194304 4196468 140732623626432 140486033513104 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17517] ppid=17484 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/17507/task/17517/stat : 17517 (java) S 17484 17484 16140 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510440816 8616062976 29966 33554432000 4194304 4196468 140732623626432 140485463124464 140486235429506 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17518] ppid=17484 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/17507/task/17518/stat : 17518 (java) S 17484 17484 16140 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510440817 8616062976 29966 33554432000 4194304 4196468 140732623626432 140484555040160 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17519] ppid=17484 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/17507/task/17519/stat : 17519 (java) S 17484 17484 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510440817 8616062976 29966 33554432000 4194304 4196468 140732623626432 140484420818416 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17520] ppid=17484 vsize=8414124 memory=279499830790736 CPUtime=0 cores=0-7
/proc/17507/task/17520/stat : 17520 (java) S 17484 17484 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510440819 8616062976 29966 33554432000 4194304 4196468 140732623626432 140484046314192 140486235436955 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17521] ppid=17484 vsize=8414124 memory=23084 CPUtime=0.06 cores=0-7
/proc/17507/task/17521/stat : 17521 (java) S 17484 17484 16140 0 -1 1077944384 285 0 0 0 6 0 0 0 20 0 24 0 510440822 8616062976 29966 33554432000 4194304 4196468 140732623626432 140485462071280 140486235429506 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17522] ppid=17484 vsize=8414124 memory=2256 CPUtime=0.06 cores=0-7
/proc/17507/task/17522/stat : 17522 (java) S 17484 17484 16140 0 -1 1077944384 639 0 0 0 6 0 0 0 20 0 24 0 510440822 8616062976 29966 33554432000 4194304 4196468 140732623626432 140485461018736 140486235429506 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17523] ppid=17484 vsize=8414124 memory=12328 CPUtime=0.1 cores=0-7
/proc/17507/task/17523/stat : 17523 (java) S 17484 17484 16140 0 -1 1077944384 679 0 0 0 10 0 0 0 20 0 24 0 510440822 8616062976 29966 33554432000 4194304 4196468 140732623626432 140485459966192 140486235429506 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17524] ppid=17484 vsize=8414124 memory=500 CPUtime=0.22 cores=0-7
/proc/17507/task/17524/stat : 17524 (java) S 17484 17484 16140 0 -1 1077944384 563 0 0 0 22 0 0 0 20 0 24 0 510440822 8616062976 29966 33554432000 4194304 4196468 140732623626432 140485458913648 140486235429506 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17525] ppid=17484 vsize=8414124 memory=1584 CPUtime=0 cores=0-7
/proc/17507/task/17525/stat : 17525 (java) S 17484 17484 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510440822 8616062976 29966 33554432000 4194304 4196468 140732623626432 140483548408544 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17526] ppid=17484 vsize=8414124 memory=1740 CPUtime=0 cores=0-7
/proc/17507/task/17526/stat : 17526 (java) S 17484 17484 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510440822 8616062976 29966 33554432000 4194304 4196468 140732623626432 140485457861552 140486235429506 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17528] ppid=17484 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/17507/task/17528/stat : 17528 (java) S 17484 17484 16140 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510440889 8616062976 29966 33554432000 4194304 4196468 140732623626432 140485449828032 140486235442969 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17530] ppid=17484 vsize=8414124 memory=1940 CPUtime=0 cores=0-7
/proc/17507/task/17530/stat : 17530 (java) S 17484 17484 16140 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510440890 8616062976 29966 33554432000 4194304 4196468 140732623626432 140482877308176 140486235440285 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17531] ppid=17484 vsize=8414124 memory=1996 CPUtime=0 cores=0-7
/proc/17507/task/17531/stat : 17531 (java) S 17484 17484 16140 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510440890 8616062976 29966 33554432000 4194304 4196468 140732623626432 140483145743760 140486235440285 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17532] ppid=17484 vsize=8414124 memory=2508 CPUtime=0 cores=0-7
/proc/17507/task/17532/stat : 17532 (java) S 17484 17484 16140 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510440892 8616062976 29966 33554432000 4194304 4196468 140732623626432 140482608880816 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
Current children cumulated CPU time: 207.21 s
Current children cumulated vsize: 9325980 KiB
Current children cumulated memory: 424400 KiB

[startup+31.6017 s]
/proc/loadavg: 5.81 4.30 3.56 9/226 17542
/proc/meminfo: memFree=28109644/32770624 swapFree=67023908/67108860
[pid=17484] ppid=17481 vsize=113128 memory=1476 CPUtime=16.69 cores=0-7
/proc/17484/stat : 17484 (scop.sh) S 17481 17484 16140 0 -1 4202496 584 39556 0 0 0 0 1628 41 20 0 1 0 510440167 115843072 369 33554432000 4194304 5098028 140734905111200 140734905107944 139889532793468 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15163392 140734905115388 140734905115736 140734905115736 140734905118665 0
/proc/17484/statm: 28282 369 311 221 0 87 0
[pid=17507] ppid=17484 vsize=8414124 memory=119864 CPUtime=1.26 cores=0-7
/proc/17507/stat : 17507 (java) S 17484 17484 16140 0 -1 1077944320 20497 0 0 0 117 9 0 0 20 0 24 0 510440813 8616062976 29966 33554432000 4194304 4196468 140732623626432 140732623608976 140486235418359 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
/proc/17507/statm: 2103531 29966 3213 1 0 2064875 0
[pid=17527] ppid=17507 vsize=787232 memory=296572 CPUtime=192.36 cores=0-7
/proc/17527/stat : 17527 (manyglucose-4.1) S 17507 17484 16140 0 -1 1077944320 227908 0 0 0 19170 66 0 0 20 0 4 0 510440889 806125568 74143 33554432000 4194304 4454172 140734847818400 140734847816784 139752661577463 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 9801728 140734847824717 140734847824924 140734847824924 140734847827894 0
/proc/17527/statm: 196808 74143 421 64 0 192476 0
[pid=17527/tid=17536] ppid=17507 vsize=787232 memory=3880 CPUtime=23.54 cores=0-7
/proc/17527/task/17536/stat : 17536 (manyglucose-4.1) R 17507 17484 16140 0 -1 4202560 24039 0 0 0 2346 8 0 0 20 0 4 0 510440914 806125568 74143 33554432000 4194304 4454172 140734847818400 139752612125800 4351349 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 9801728 140734847824717 140734847824924 140734847824924 140734847827894 0
[pid=17527/tid=17539] ppid=17507 vsize=787232 memory=1172 CPUtime=24.1 cores=0-7
/proc/17527/task/17539/stat : 17539 (manyglucose-4.1) R 17507 17484 16140 0 -1 4202560 22945 0 0 0 2403 7 0 0 20 0 4 0 510440914 806125568 74143 33554432000 4194304 4454172 140734847818400 139752586947464 4350367 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 9801728 140734847824717 140734847824924 140734847824924 140734847827894 0
[pid=17527/tid=17540] ppid=17507 vsize=787232 memory=6308 CPUtime=24.06 cores=0-7
/proc/17527/task/17540/stat : 17540 (manyglucose-4.1) R 17507 17484 16140 0 -1 4202560 26063 0 0 0 2401 5 0 0 20 0 4 0 510440914 806125568 74143 33554432000 4194304 4454172 140734847818400 139752578554984 4351223 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 9801728 140734847824717 140734847824924 140734847824924 140734847827894 0
[pid=17507/tid=17508] ppid=17484 vsize=8414124 memory=828 CPUtime=0.76 cores=0-7
/proc/17507/task/17508/stat : 17508 (java) S 17484 17484 16140 0 -1 1077944384 16911 0 0 0 69 7 0 0 20 0 24 0 510440814 8616062976 29966 33554432000 4194304 4196468 140732623626432 140486207258528 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17509] ppid=17484 vsize=8414124 memory=736 CPUtime=0 cores=0-7
/proc/17507/task/17509/stat : 17509 (java) S 17484 17484 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510440815 8616062976 29966 33554432000 4194304 4196468 140732623626432 140486239660816 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17510] ppid=17484 vsize=8414124 memory=1608 CPUtime=0 cores=0-7
/proc/17507/task/17510/stat : 17510 (java) S 17484 17484 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510440815 8616062976 29966 33554432000 4194304 4196468 140732623626432 140486039829392 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17511] ppid=17484 vsize=8414124 memory=1076 CPUtime=0 cores=0-7
/proc/17507/task/17511/stat : 17511 (java) S 17484 17484 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510440815 8616062976 29966 33554432000 4194304 4196468 140732623626432 140486038776848 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17512] ppid=17484 vsize=8414124 memory=7686721470350924442 CPUtime=0 cores=0-7
/proc/17507/task/17512/stat : 17512 (java) S 17484 17484 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510440815 8616062976 29966 33554432000 4194304 4196468 140732623626432 140486037724304 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17513] ppid=17484 vsize=8414124 memory=6944656592455360569 CPUtime=0 cores=0-7
/proc/17507/task/17513/stat : 17513 (java) S 17484 17484 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510440815 8616062976 29966 33554432000 4194304 4196468 140732623626432 140486036670736 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17514] ppid=17484 vsize=8414124 memory=7681905605394137914 CPUtime=0 cores=0-7
/proc/17507/task/17514/stat : 17514 (java) S 17484 17484 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510440815 8616062976 29966 33554432000 4194304 4196468 140732623626432 140486035618192 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17515] ppid=17484 vsize=8414124 memory=-7522837583129502606 CPUtime=0 cores=0-7
/proc/17507/task/17515/stat : 17515 (java) S 17484 17484 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510440815 8616062976 29966 33554432000 4194304 4196468 140732623626432 140486034565648 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17516] ppid=17484 vsize=8414124 memory=1399101730491701635 CPUtime=0 cores=0-7
/proc/17507/task/17516/stat : 17516 (java) S 17484 17484 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510440815 8616062976 29966 33554432000 4194304 4196468 140732623626432 140486033513104 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17517] ppid=17484 vsize=8414124 memory=6944656591801717918 CPUtime=0 cores=0-7
/proc/17507/task/17517/stat : 17517 (java) S 17484 17484 16140 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510440816 8616062976 29966 33554432000 4194304 4196468 140732623626432 140485463124464 140486235429506 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17518] ppid=17484 vsize=8414124 memory=8257237230052613020 CPUtime=0 cores=0-7
/proc/17507/task/17518/stat : 17518 (java) S 17484 17484 16140 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510440817 8616062976 29966 33554432000 4194304 4196468 140732623626432 140484555040160 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17519] ppid=17484 vsize=8414124 memory=-7233780906022726806 CPUtime=0 cores=0-7
/proc/17507/task/17519/stat : 17519 (java) S 17484 17484 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510440817 8616062976 29966 33554432000 4194304 4196468 140732623626432 140484420818416 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17520] ppid=17484 vsize=8414124 memory=-7384994778349281184 CPUtime=0 cores=0-7
/proc/17507/task/17520/stat : 17520 (java) S 17484 17484 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510440819 8616062976 29966 33554432000 4194304 4196468 140732623626432 140484046314192 140486235436955 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17521] ppid=17484 vsize=8414124 memory=7681905605394137914 CPUtime=0.06 cores=0-7
/proc/17507/task/17521/stat : 17521 (java) S 17484 17484 16140 0 -1 1077944384 285 0 0 0 6 0 0 0 20 0 24 0 510440822 8616062976 29966 33554432000 4194304 4196468 140732623626432 140485462071280 140486235429506 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17522] ppid=17484 vsize=8414124 memory=-7522837583129502606 CPUtime=0.06 cores=0-7
/proc/17507/task/17522/stat : 17522 (java) S 17484 17484 16140 0 -1 1077944384 639 0 0 0 6 0 0 0 20 0 24 0 510440822 8616062976 29966 33554432000 4194304 4196468 140732623626432 140485461018736 140486235429506 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17523] ppid=17484 vsize=8414124 memory=1399094042734925955 CPUtime=0.1 cores=0-7
/proc/17507/task/17523/stat : 17523 (java) S 17484 17484 16140 0 -1 1077944384 679 0 0 0 10 0 0 0 20 0 24 0 510440822 8616062976 29966 33554432000 4194304 4196468 140732623626432 140485459966192 140486235429506 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17524] ppid=17484 vsize=8414124 memory=-7737605734073681312 CPUtime=0.22 cores=0-7
/proc/17507/task/17524/stat : 17524 (java) S 17484 17484 16140 0 -1 1077944384 563 0 0 0 22 0 0 0 20 0 24 0 510440822 8616062976 29966 33554432000 4194304 4196468 140732623626432 140485458913648 140486235429506 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17525] ppid=17484 vsize=8414124 memory=6010431313707755880 CPUtime=0 cores=0-7
/proc/17507/task/17525/stat : 17525 (java) S 17484 17484 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510440822 8616062976 29966 33554432000 4194304 4196468 140732623626432 140483548408544 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17526] ppid=17484 vsize=8414124 memory=8026095582081804625 CPUtime=0 cores=0-7
/proc/17507/task/17526/stat : 17526 (java) S 17484 17484 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510440822 8616062976 29966 33554432000 4194304 4196468 140732623626432 140485457861552 140486235429506 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17528] ppid=17484 vsize=8414124 memory=8026095582081804625 CPUtime=0 cores=0-7
/proc/17507/task/17528/stat : 17528 (java) S 17484 17484 16140 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510440889 8616062976 29966 33554432000 4194304 4196468 140732623626432 140485449828032 140486235442969 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17530] ppid=17484 vsize=8414124 memory=5864627241428019305 CPUtime=0 cores=0-7
/proc/17507/task/17530/stat : 17530 (java) S 17484 17484 16140 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510440890 8616062976 29966 33554432000 4194304 4196468 140732623626432 140482877308176 140486235440285 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17531] ppid=17484 vsize=8414124 memory=3124 CPUtime=0 cores=0-7
/proc/17507/task/17531/stat : 17531 (java) S 17484 17484 16140 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510440890 8616062976 29966 33554432000 4194304 4196468 140732623626432 140483145743760 140486235440285 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17532] ppid=17484 vsize=8414124 memory=1244 CPUtime=0 cores=0-7
/proc/17507/task/17532/stat : 17532 (java) S 17484 17484 16140 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510440892 8616062976 29966 33554432000 4194304 4196468 140732623626432 140482608880816 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
Current children cumulated CPU time: 210.31 s
Current children cumulated vsize: 9314484 KiB
Current children cumulated memory: 417912 KiB

[startup+32.0011 s]*
/proc/loadavg: 5.81 4.30 3.56 3/214 17542
/proc/meminfo: memFree=28396700/32770624 swapFree=67023908/67108860
[pid=17484] ppid=17481 vsize=113128 memory=1476 CPUtime=16.69 cores=0-7
/proc/17484/stat : 17484 (scop.sh) S 17481 17484 16140 0 -1 4202496 584 39556 0 0 0 0 1628 41 20 0 1 0 510440167 115843072 369 33554432000 4194304 5098028 140734905111200 140734905107944 139889532793468 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15163392 140734905115388 140734905115736 140734905115736 140734905118665 0
/proc/17484/statm: 28282 369 311 221 0 87 0
[pid=17507] ppid=17484 vsize=8283048 memory=136528 CPUtime=194.54 cores=0-7
/proc/17507/stat : 17507 (java) S 17484 17484 16140 0 -1 1077944320 22575 228638 0 0 165 11 19211 67 20 0 22 0 510440813 8481841152 34132 33554432000 4194304 4196468 140732623626432 140732623608976 140486235418359 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
/proc/17507/statm: 2070762 34132 3231 1 0 2032106 0
[pid=17507/tid=17508] ppid=17484 vsize=8283048 memory=6791534058613427641 CPUtime=193.67 cores=0-7
/proc/17507/task/17508/stat : 17508 (java) R 17484 17484 16140 0 -1 4202560 17194 228638 0 0 82 7 19211 67 20 0 22 0 510440814 8481841152 34132 33554432000 4194304 4196468 140732623626432 140486207257136 140486235439706 0 4 2 25189581 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17509] ppid=17484 vsize=8283048 memory=4126316290023845779 CPUtime=192.78 cores=0-7
/proc/17507/task/17509/stat : 17509 (java) S 17484 17484 16140 0 -1 1077944384 2 228638 0 0 0 0 19211 67 20 0 22 0 510440815 8481841152 34132 33554432000 4194304 4196468 140732623626432 140486239660816 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17510] ppid=17484 vsize=8283048 memory=1040 CPUtime=192.78 cores=0-7
/proc/17507/task/17510/stat : 17510 (java) S 17484 17484 16140 0 -1 1077944384 1 228638 0 0 0 0 19211 67 20 0 22 0 510440815 8481841152 34132 33554432000 4194304 4196468 140732623626432 140486039829392 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17511] ppid=17484 vsize=8283048 memory=2084 CPUtime=192.78 cores=0-7
/proc/17507/task/17511/stat : 17511 (java) S 17484 17484 16140 0 -1 1077944384 2 228638 0 0 0 0 19211 67 20 0 22 0 510440815 8481841152 34132 33554432000 4194304 4196468 140732623626432 140486038776848 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17512] ppid=17484 vsize=8283048 memory=1480 CPUtime=192.78 cores=0-7
/proc/17507/task/17512/stat : 17512 (java) S 17484 17484 16140 0 -1 1077944384 2 228638 0 0 0 0 19211 67 20 0 22 0 510440815 8481841152 34132 33554432000 4194304 4196468 140732623626432 140486037724304 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17513] ppid=17484 vsize=8283048 memory=3880 CPUtime=192.78 cores=0-7
/proc/17507/task/17513/stat : 17513 (java) S 17484 17484 16140 0 -1 1077944384 2 228638 0 0 0 0 19211 67 20 0 22 0 510440815 8481841152 34132 33554432000 4194304 4196468 140732623626432 140486036670736 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17514] ppid=17484 vsize=8283048 memory=7712 CPUtime=192.78 cores=0-7
/proc/17507/task/17514/stat : 17514 (java) S 17484 17484 16140 0 -1 1077944384 1 228638 0 0 0 0 19211 67 20 0 22 0 510440815 8481841152 34132 33554432000 4194304 4196468 140732623626432 140486035618192 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17515] ppid=17484 vsize=8283048 memory=1760 CPUtime=192.78 cores=0-7
/proc/17507/task/17515/stat : 17515 (java) S 17484 17484 16140 0 -1 1077944384 2 228638 0 0 0 0 19211 67 20 0 22 0 510440815 8481841152 34132 33554432000 4194304 4196468 140732623626432 140486034565648 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17516] ppid=17484 vsize=8283048 memory=1172 CPUtime=192.78 cores=0-7
/proc/17507/task/17516/stat : 17516 (java) S 17484 17484 16140 0 -1 1077944384 3 228638 0 0 0 0 19211 67 20 0 22 0 510440815 8481841152 34132 33554432000 4194304 4196468 140732623626432 140486033513104 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17517] ppid=17484 vsize=8283048 memory=6308 CPUtime=192.78 cores=0-7
/proc/17507/task/17517/stat : 17517 (java) S 17484 17484 16140 0 -1 1077944384 8 228638 0 0 0 0 19211 67 20 0 22 0 510440816 8481841152 34132 33554432000 4194304 4196468 140732623626432 140485463124464 140486235429506 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17518] ppid=17484 vsize=8283048 memory=828 CPUtime=192.78 cores=0-7
/proc/17507/task/17518/stat : 17518 (java) S 17484 17484 16140 0 -1 1077944384 13 228638 0 0 0 0 19211 67 20 0 22 0 510440817 8481841152 34132 33554432000 4194304 4196468 140732623626432 140484555040160 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17519] ppid=17484 vsize=8283048 memory=0 CPUtime=192.78 cores=0-7
/proc/17507/task/17519/stat : 17519 (java) S 17484 17484 16140 0 -1 1077944384 21 228638 0 0 0 0 19211 67 20 0 22 0 510440817 8481841152 34132 33554432000 4194304 4196468 140732623626432 140484420818416 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17520] ppid=17484 vsize=8283048 memory=4420 CPUtime=192.78 cores=0-7
/proc/17507/task/17520/stat : 17520 (java) S 17484 17484 16140 0 -1 1077944384 1 228638 0 0 0 0 19211 67 20 0 22 0 510440819 8481841152 34132 33554432000 4194304 4196468 140732623626432 140484046314192 140486235436955 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17521] ppid=17484 vsize=8283048 memory=6628 CPUtime=192.92 cores=0-7
/proc/17507/task/17521/stat : 17521 (java) S 17484 17484 16140 0 -1 1077944384 567 228638 0 0 14 0 19211 67 20 0 22 0 510440822 8481841152 34132 33554432000 4194304 4196468 140732623626432 140485462071280 140486235429506 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17522] ppid=17484 vsize=8283048 memory=8836 CPUtime=192.89 cores=0-7
/proc/17507/task/17522/stat : 17522 (java) S 17484 17484 16140 0 -1 1077944384 872 228638 0 0 11 0 19211 67 20 0 22 0 510440822 8481841152 34132 33554432000 4194304 4196468 140732623626432 140485461018736 140486235429506 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17523] ppid=17484 vsize=8283048 memory=11044 CPUtime=192.94 cores=0-7
/proc/17507/task/17523/stat : 17523 (java) S 17484 17484 16140 0 -1 1077944384 733 228638 0 0 16 0 19211 67 20 0 22 0 510440822 8481841152 34132 33554432000 4194304 4196468 140732623626432 140485459966192 140486235429506 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17524] ppid=17484 vsize=8283048 memory=13252 CPUtime=193.1 cores=0-7
/proc/17507/task/17524/stat : 17524 (java) R 17484 17484 16140 0 -1 4202560 1234 228638 0 0 32 0 19211 67 20 0 22 0 510440822 8481841152 34132 33554432000 4194304 4196468 140732623626432 140485458913648 140486219498846 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17525] ppid=17484 vsize=8283048 memory=15460 CPUtime=192.78 cores=0-7
/proc/17507/task/17525/stat : 17525 (java) S 17484 17484 16140 0 -1 1077944384 3 228638 0 0 0 0 19211 67 20 0 22 0 510440822 8481841152 34132 33554432000 4194304 4196468 140732623626432 140483548408544 140486235428565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17526] ppid=17484 vsize=8283048 memory=17668 CPUtime=192.78 cores=0-7
/proc/17507/task/17526/stat : 17526 (java) S 17484 17484 16140 0 -1 1077944384 4 228638 0 0 0 0 19211 67 20 0 22 0 510440822 8481841152 34132 33554432000 4194304 4196468 140732623626432 140485457861552 140486235429506 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17528] ppid=17484 vsize=8283048 memory=19876 CPUtime=192.78 cores=0-7
/proc/17507/task/17528/stat : 17528 (java) S 17484 17484 16140 0 -1 1077944384 25 228638 0 0 0 0 19211 67 20 0 22 0 510440889 8481841152 34132 33554432000 4194304 4196468 140732623626432 140485449827216 140486235429506 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
[pid=17507/tid=17532] ppid=17484 vsize=8283048 memory=22084 CPUtime=192.78 cores=0-7
/proc/17507/task/17532/stat : 17532 (java) S 17484 17484 16140 0 -1 1077944384 13 228638 0 0 0 0 19211 67 20 0 22 0 510440892 8481841152 34132 33554432000 4194304 4196468 140732623626432 140482608882608 140486235429506 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34111488 140732623631327 140732623631494 140732623631494 140732623634383 0
Current children cumulated CPU time: 211.23 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 138004 KiB

Child status: 0
Real time (s): 32.0576
CPU time (s): 211.356
CPU user time (s): 210.122
CPU system time (s): 1.23427
CPU usage (%): 659.301
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1893260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 210.122
system time used= 1.23427
maximum resident set size= 1894304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 292545
page faults= 0
swaps= 0
block input operations= 16
block output operations= 4992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24984
involuntary context switches= 2097


# summary of solver processes directly reported to runsolver:
#   pid: 17484
#   total CPU time (s): 211.356
#   total CPU user time (s): 210.122
#   total CPU system time (s): 1.23427

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.301333 second user time and 0.480996 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-24 18:13:56
IDJOB=4405650
IDBENCH=133813
IDSOLVER=2868
FILE ID=node150/4405650-1569341677
RUNJOBID= node150-1569335938-16167
PBS_JOBID= 21705047
Free space on /var/tmp= 13480 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/QuasiGroups/QuasiGroups-elt-qg3/QuasiGroup-3-12.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-4405650-1569341677/watcher-4405650-1569341677 -o /var/tmp/evaluation-result-4405650-1569341677/solver-4405650-1569341677 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569335938-16167 --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-4405650-1569341677.xml

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

MD5SUM BENCH= e29963f3eb1abf29691517033ab1fcf0
RANDOM SEED=1193125568

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28523296 kB
MemAvailable:   31816848 kB
Buffers:           97312 kB
Cached:          3303172 kB
SwapCached:         8144 kB
Active:          3329764 kB
Inactive:         105456 kB
Active(anon):       2480 kB
Inactive(anon):    84104 kB
Active(file):    3327284 kB
Inactive(file):    21352 kB
Unevictable:      109416 kB
Mlocked:          109416 kB
SwapTotal:      67108860 kB
SwapFree:       67023908 kB
Dirty:             21276 kB
Writeback:             0 kB
AnonPages:        197572 kB
Mapped:            53384 kB
Shmem:             42728 kB
Slab:             403420 kB
SReclaimable:     373376 kB
SUnreclaim:        30044 kB
KernelStack:        3792 kB
PageTables:         5584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    129024 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /var/tmp at the end= 13460 MiB
End job on node150 at 2019-09-24 18:14:28