Trace number 4392490

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)SAT 205.477 31.4582

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-9195-serial-file.bin HOME/instance-4392490-1568434803.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 05:18:28 CEST 2019
0.65/0.56	c PID: 9198
0.65/0.56	c IP: 172.20.3.105
0.65/0.56	c HOST: node105.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.07/1.13	c (0,0) Parsing End
2.07/1.14	c (0,0) CSP: 274 int (0 aux), 2 bool (0 aux), 266 ctr, max domain size 144
2.07/1.14	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.07/1.14	c (0,0) Constraint Name Generate Begin
2.07/1.15	c (0,0) Ctr:HOME/instance-4392490-1568434803.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:Mul:Num:Var
2.07/1.15	c (0,0) Constraint Name Generate End
2.07/1.15	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.07/1.15	c (0,0) CSP to CSPinCNF Begin
4.31/1.84	c (1,1) translated 27 (10%) constraints
5.05/2.03	c (1,1) translated 54 (20%) constraints
5.25/2.18	c (1,1) translated 80 (30%) constraints
5.45/2.33	c (1,1) translated 107 (40%) constraints
5.56/2.48	c (1,1) translated 133 (50%) constraints
5.66/2.54	c (2,1) translated 160 (60%) constraints
5.66/2.56	c (2,2) translated 187 (70%) constraints
5.66/2.57	c (2,2) translated 213 (80%) constraints
5.66/2.58	c (2,2) translated 240 (90%) constraints
5.66/2.59	c (2,2) translated 266 (100%) constraints
5.66/2.59	c (2,2) ===========================================
5.66/2.60	c (2,2) Order
5.66/2.60	c (2,2) ===========================================
7.31/3.00	c (2,2) translated 2108 (10%) constraints
8.08/3.16	c (2,2) translated 4215 (20%) constraints
8.45/3.30	c (2,2) translated 6322 (30%) constraints
8.55/3.43	c (2,2) translated 8429 (40%) constraints
8.65/3.57	c (3,3) translated 10536 (50%) constraints
8.85/3.70	c (3,3) translated 12644 (60%) constraints
8.95/3.84	c (3,3) translated 14751 (70%) constraints
9.05/3.97	c (3,3) translated 16858 (80%) constraints
9.26/4.11	c (3,3) translated 18965 (90%) constraints
9.35/4.24	c (3,3) translated 21072 (100%) constraints
9.35/4.25	c (3,3) CSP to CSPinCNF End
9.35/4.25	c (3,3) CSP: 274 int (0 aux), 1730 bool (1728 aux), 66144 ctr, max domain size 144
9.35/4.25	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.35/4.25	c (3,3) CSPinCNF Propagation Begin
11.20/4.78	c (4,4) 494 values, 6012 unsatisfiable literals, and 9412 valid clauses are removed
11.20/4.78	c (4,4) CSPinCNF Propagation End
11.20/4.78	c (4,4) CSP: 274 int (0 aux), 1730 bool (1728 aux), 56732 ctr, max domain size 142
11.20/4.78	c (4,4) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.20/4.78	c (4,4) Simplify CSPinCNF Begin
12.31/5.01	c (4,4) Simplify CSPinCNF End
12.31/5.01	c (4,4) CSP: 274 int (0 aux), 4802 bool (4800 aux), 59804 ctr, max domain size 142
12.31/5.01	c (4,4) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.31/5.01	c (4,4) Calculate Precise Domain Begin
12.31/5.01	c (4,4) 0 values are removed by re-calculation
12.31/5.01	c (4,4) Calculate Precise Domain End
12.31/5.02	c (4,4) CSP: 274 int (0 aux), 4802 bool (4800 aux), 59804 ctr, max domain size 142
12.31/5.02	c (4,4) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.31/5.02	c (4,4) CSPinCNF to SatSolver Begin
13.98/5.50	c (4,4) 5981 (10 %) CSP clauses are encoded (0 SAT variables, 41078 SAT clauses)
14.76/5.64	c (5,5) 11961 (20 %) CSP clauses are encoded (0 SAT variables, 58628 SAT clauses)
14.76/5.69	c (5,5) 17942 (30 %) CSP clauses are encoded (0 SAT variables, 64609 SAT clauses)
14.90/5.74	c (5,5) 23922 (40 %) CSP clauses are encoded (0 SAT variables, 70589 SAT clauses)
15.00/5.80	c (5,5) 29902 (50 %) CSP clauses are encoded (0 SAT variables, 76569 SAT clauses)
15.00/5.85	c (5,5) 35883 (60 %) CSP clauses are encoded (0 SAT variables, 82550 SAT clauses)
15.09/5.91	c (5,5) 41863 (70 %) CSP clauses are encoded (0 SAT variables, 88530 SAT clauses)
15.09/5.96	c (5,5) 47844 (80 %) CSP clauses are encoded (0 SAT variables, 94511 SAT clauses)
15.21/6.01	c (5,5) 53824 (90 %) CSP clauses are encoded (0 SAT variables, 100491 SAT clauses)
15.79/6.20	c (5,5) 59804 (100 %) CSP clauses are encoded (0 SAT variables, 141374 SAT clauses)
15.79/6.20	c (5,5) CSPinCNF to SatSolver End
15.79/6.20	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
15.79/6.20	c (5,5) 23990 bool, 141472 clause
15.79/6.20	c (5,5) Export Begin
16.24/6.31	c (5,5) Export to HOME/scop-9195-serial-file.bin
16.24/6.31	c (5,5) Export End
16.24/6.31	c (5,5) Export File Size: 0.05 MB
16.24/6.31	c (5,5) 0,0,3,4,4,4,5,STOP-AFTER(DIMACS)
16.24/6.31	c END-Prog: Sat Sep 14 05:18:34 CEST 2019
16.24/6.35	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9195-serial-file.bin
16.34/6.83	c (0,0) Read Serial File Begin
16.34/6.83	c (0,0) HOME/scop-9195-serial-file.bin
17.19/7.05	c (0,0) Read Serial File End
17.19/7.06	
17.19/7.06	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
17.19/7.06	(Solving Process)
17.19/7.06	
17.19/7.08	c BEGIN-Prog: Sat Sep 14 05:18:35 CEST 2019
17.19/7.08	c PID: 9218
17.19/7.08	c IP: 172.20.3.105
17.19/7.08	c HOST: node105.alineos.net
17.19/7.09	c (0,0) SatSolver.solve Begin
17.19/7.09	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392490-1568434803.xml-scop-9198.cnf
17.46/7.11	c (0,0) c
17.46/7.11	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.46/7.11	c (0,0) c
17.46/7.11	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
17.46/7.11	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
17.46/7.11	c (0,0) c ========================================[ Problem Statistics ]===========================================
17.46/7.11	c (0,0) c |                                                                                                       |
17.46/7.16	c (0,0) c |  Number of variables:         23990                                                                   |
17.46/7.16	c (0,0) c |  Number of clauses:          141472                                                                   |
17.46/7.16	c (0,0) c |  Parse time:                   0.04 s                                                                 |
17.46/7.16	c (0,0) c |                                                                                                       |
17.58/7.27	c (0,0) c |  Simplification time:          0.11 s                                                                 |
17.58/7.27	c (0,0) c |                                                                                                       |
17.58/7.27	c (0,0) c |  Generating clones                                                                                    |
17.58/7.35	c (0,0) c |  all clones generated. Memory =   136.36Mb.                                                           |
17.58/7.35	c (0,0) c ========================================================================================================|
17.58/7.35	c (0,0) c
17.58/7.35	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
17.58/7.35	c (0,0) c
17.58/7.35	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.58/7.35	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
17.58/7.35	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
17.58/7.36	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
17.58/7.36	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
17.58/7.36	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
17.58/7.36	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
17.58/7.36	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
17.58/7.36	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
17.58/7.36	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
17.58/7.36	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
17.58/7.36	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
17.58/7.36	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
17.58/7.36	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
17.58/7.36	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
17.58/7.36	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
17.58/7.36	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
17.58/7.36	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
17.58/7.36	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
204.82/31.22	c (24,0) c
204.82/31.22	c (24,0) c real time : 24.1058 s
204.82/31.22	c (24,0) c cpu time  : 186.605 s
204.82/31.22	c (24,0) c
204.82/31.22	c (24,0) c
204.82/31.22	c (24,0) c
204.82/31.22	c (24,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
204.82/31.22	c (24,0) c
204.82/31.22	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
204.82/31.22	c (24,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
204.82/31.22	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
204.82/31.22	c (24,0) c | Conflicts     |          283776 |      35036 |      35588 |      35244 |      35895 |      36200 |      35236 |      35198 |      35379 |
204.82/31.22	c (24,0) c | Decisions     |         1364653 |     165017 |     182322 |     169651 |     173729 |     170796 |     174879 |     165028 |     163231 |
204.82/31.22	c (24,0) c | Propagations  |       417551500 |   51872242 |   52346679 |   52318878 |   52481623 |   52716945 |   52177550 |   52004080 |   51633503 |
204.82/31.22	c (24,0) c | ReduceDBs     |              33 |          4 |          4 |          4 |          4 |          5 |          4 |          4 |          4 |
204.82/31.22	c (24,0) c | SimpDBs       |             380 |         50 |         51 |         49 |         49 |         44 |         49 |         44 |         44 |
204.82/31.22	c (24,0) c | Restarts      |            1435 |        171 |        221 |        195 |        175 |        160 |        195 |        164 |        154 |
204.82/31.22	c (24,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
204.82/31.22	c (24,0) c | PropBinClauses|       717635706 |   89264626 |   89644517 |   89950905 |   90103032 |   90677449 |   89460455 |   89387111 |   89147611 |
204.82/31.22	c (24,0) c | PropPreBlocker|      2875424243 |  358555810 |  357154330 |  360142195 |  361763555 |  365050525 |  356938670 |  357811401 |  358007757 |
204.82/31.22	c (24,0) c | PropNotBlocker|       809066888 |  100397745 |  101314392 |  101137230 |  102308886 |  102627597 |  100662566 |  100298302 |  100320170 |
204.82/31.22	c (24,0) c | LitFullScans  |      5412606712 |  676934408 |  672074779 |  678082606 |  682926791 |  685874007 |  672157362 |  672056808 |  672499951 |
204.82/31.22	c (24,0) c | LitScanFracts |         1852614 |     522080 |      45434 |      76344 |     173597 |     372888 |     133375 |      50885 |     478011 |
204.82/31.22	c (24,0) c | DecisionLevel0|            1905 |        226 |        292 |        254 |        235 |        212 |        257 |        214 |        215 |
204.82/31.22	c (24,0) c | Periods       |             900 |        112 |        112 |        113 |        113 |        114 |        112 |        112 |        112 |
204.82/31.22	c (24,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
204.82/31.22	c (24,0) c | Avg_Trail     |                 |       8624 |       8385 |       8518 |       8476 |       8564 |       8459 |       8530 |       8559 |
204.82/31.22	c (24,0) c | Avg_DL        |                 |         77 |         78 |         78 |         78 |         77 |         78 |         78 |         78 |
204.82/31.22	c (24,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
204.82/31.22	c (24,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
204.82/31.22	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
204.82/31.22	c (24,0) c | Exported      |           50868 |       6247 |       6426 |       6288 |       6447 |       6502 |       6321 |       6283 |       6354 |
204.82/31.22	c (24,0) c | Imported      |          294905 |      37066 |      36077 |      37081 |      37463 |      37781 |      36533 |      36293 |      36611 |
204.82/31.22	c (24,0) c | Good          |           13503 |       1675 |       1638 |       1723 |       1735 |       1752 |       1645 |       1681 |       1654 |
204.82/31.22	c (24,0) c | Purge         |          281402 |      35391 |      34439 |      35358 |      35728 |      36029 |      34888 |      34612 |      34957 |
204.82/31.22	c (24,0) c | Promoted      |           21784 |       2603 |       2718 |       2701 |       2827 |       2841 |       2640 |       2690 |       2764 |
204.82/31.22	c (24,0) c | Remove_Imp    |           51733 |       5297 |       4750 |       4257 |       5331 |      17146 |       5170 |       4904 |       4878 |
204.82/31.22	c (24,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
204.82/31.22	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
204.82/31.22	c (24,0) c | Unaries       |                 |         55 |         71 |         59 |         60 |         52 |         62 |         50 |         61 |
204.82/31.22	c (24,0) c | Binaries      |                 |        317 |        329 |        285 |        304 |        312 |        337 |        275 |        332 |
204.82/31.22	c (24,0) c | Glues         |                 |       1084 |       1183 |       1082 |       1133 |       1138 |       1151 |        986 |       1141 |
204.82/31.22	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
204.82/31.22	c (24,0) c | Orig_Seen     |            68 % |      70819 |      70780 |      70750 |      71091 |      70819 |      70642 |      70750 |      70891 |
204.82/31.22	c (24,0) c | Diff Orig seen|                 |        177 |        138 |        108 |        449 |        177 |      X     |        108 |        249 |
204.82/31.22	c (24,0) c | Hamming       |            19 % |       4906 |       5114 |       4768 |       4370 |       4668 |      X     |       4546 |       4656 |
204.82/31.22	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
204.82/31.22	c (24,0) c | RunningTime   |                 |   23.3 100%|   23.4 100%|   23.4 100%|   23.3 100%|   23.3 100%|   23.3 100%|   23.7 100%|   23.8 100%|
204.82/31.22	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%|
204.82/31.22	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%|
204.82/31.22	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%|
204.82/31.22	c (24,0) c | SolvingTime   |                 |   23.3     |   23.4     |   23.4     |   23.3     |   23.3     |   23.3     |   23.7     |   23.9     |
204.82/31.22	c (24,0) c | PropagationTim|                 |   21.0  90%|   21.2  91%|   21.1  90%|   21.1  90%|   21.1  90%|   21.0  90%|   21.4  90%|   21.6  91%|
204.82/31.22	c (24,0) c | AnalysisTime  |                 |    1.3   5%|    1.2   5%|    1.3   6%|    1.3   5%|    1.3   5%|    1.2   5%|    1.3   5%|    1.3   5%|
204.82/31.22	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%|
204.82/31.22	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%|
204.82/31.22	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%|
204.82/31.22	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%|
204.82/31.22	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
204.82/31.22	c (24,0) c
204.82/31.22	c (24,0) c
204.82/31.22	c (24,0) c Threads : 8
204.82/31.22	c (24,0) c Winner : 5
204.82/31.22	c (24,0) c Conflicts_0 : 35036
204.82/31.22	c (24,0) c Conflicts_1 : 35588
204.82/31.22	c (24,0) c Conflicts_2 : 35244
204.82/31.22	c (24,0) c Conflicts_3 : 35895
204.82/31.22	c (24,0) c Conflicts_4 : 36200
204.82/31.22	c (24,0) c Conflicts_5 : 35236
204.82/31.22	c (24,0) c Conflicts_6 : 35198
204.82/31.22	c (24,0) c Conflicts_7 : 35379
204.82/31.22	c (24,0) c Conflicts_total : 283776
204.82/31.22	c (24,0) c Conflicts_winner : 35236
204.82/31.22	c (24,0) c Decisions_0 : 165017
204.82/31.22	c (24,0) c Decisions_1 : 182322
204.82/31.22	c (24,0) c Decisions_2 : 169651
204.82/31.22	c (24,0) c Decisions_3 : 173729
204.82/31.22	c (24,0) c Decisions_4 : 170796
204.82/31.22	c (24,0) c Decisions_5 : 174879
204.82/31.22	c (24,0) c Decisions_6 : 165028
204.82/31.22	c (24,0) c Decisions_7 : 163231
204.82/31.22	c (24,0) c Decisions_total : 1364653
204.82/31.22	c (24,0) c Decisions_winner : 174879
204.82/31.22	c (24,0) c Propagations_0 : 51872242
204.82/31.22	c (24,0) c Propagations_1 : 52346679
204.82/31.22	c (24,0) c Propagations_2 : 52318878
204.82/31.22	c (24,0) c Propagations_3 : 52481623
204.82/31.22	c (24,0) c Propagations_4 : 52716945
204.82/31.22	c (24,0) c Propagations_5 : 52177550
204.82/31.22	c (24,0) c Propagations_6 : 52004080
204.82/31.22	c (24,0) c Propagations_7 : 51633503
204.82/31.22	c (24,0) c Propagations_total : 417551500
204.82/31.22	c (24,0) c Propagations_winner : 52177550
204.82/31.22	c (24,0) c ReduceDBs_0 : 4
204.82/31.22	c (24,0) c ReduceDBs_1 : 4
204.82/31.22	c (24,0) c ReduceDBs_2 : 4
204.82/31.22	c (24,0) c ReduceDBs_3 : 4
204.82/31.22	c (24,0) c ReduceDBs_4 : 5
204.82/31.22	c (24,0) c ReduceDBs_5 : 4
204.82/31.22	c (24,0) c ReduceDBs_6 : 4
204.82/31.22	c (24,0) c ReduceDBs_7 : 4
204.82/31.22	c (24,0) c ReduceDBs_total : 33
204.82/31.22	c (24,0) c ReduceDBs_winner : 4
204.82/31.22	c (24,0) c SimpDBs_0 : 50
204.82/31.22	c (24,0) c SimpDBs_1 : 51
204.82/31.22	c (24,0) c SimpDBs_2 : 49
204.82/31.22	c (24,0) c SimpDBs_3 : 49
204.82/31.22	c (24,0) c SimpDBs_4 : 44
204.82/31.22	c (24,0) c SimpDBs_5 : 49
204.82/31.22	c (24,0) c SimpDBs_6 : 44
204.82/31.22	c (24,0) c SimpDBs_7 : 44
204.82/31.22	c (24,0) c SimpDBs_total : 380
204.82/31.22	c (24,0) c SimpDBs_winner : 49
204.82/31.22	c (24,0) c Restarts_0 : 171
204.82/31.22	c (24,0) c Restarts_1 : 221
204.82/31.22	c (24,0) c Restarts_2 : 195
204.82/31.22	c (24,0) c Restarts_3 : 175
204.82/31.22	c (24,0) c Restarts_4 : 160
204.82/31.22	c (24,0) c Restarts_5 : 195
204.82/31.22	c (24,0) c Restarts_6 : 164
204.82/31.22	c (24,0) c Restarts_7 : 154
204.82/31.22	c (24,0) c Restarts_total : 1435
204.82/31.22	c (24,0) c Restarts_winner : 195
204.82/31.22	c (24,0) c ForcedImports_0 : 0
204.82/31.22	c (24,0) c ForcedImports_1 : 0
204.82/31.22	c (24,0) c ForcedImports_2 : 0
204.82/31.22	c (24,0) c ForcedImports_3 : 0
204.82/31.22	c (24,0) c ForcedImports_4 : 0
204.82/31.22	c (24,0) c ForcedImports_5 : 0
204.82/31.22	c (24,0) c ForcedImports_6 : 0
204.82/31.22	c (24,0) c ForcedImports_7 : 0
204.82/31.22	c (24,0) c ForcedImports_total : 0
204.82/31.22	c (24,0) c ForcedImports_winner : 0
204.82/31.22	c (24,0) c PropsBinClauses_0 : 89264626
204.82/31.22	c (24,0) c PropsBinClauses_1 : 89644517
204.82/31.22	c (24,0) c PropsBinClauses_2 : 89950905
204.82/31.22	c (24,0) c PropsBinClauses_3 : 90103032
204.82/31.22	c (24,0) c PropsBinClauses_4 : 90677449
204.82/31.22	c (24,0) c PropsBinClauses_5 : 89460455
204.82/31.22	c (24,0) c PropsBinClauses_6 : 89387111
204.82/31.22	c (24,0) c PropsBinClauses_7 : 89147611
204.82/31.22	c (24,0) c PropsBinClauses_total : 717635706
204.82/31.22	c (24,0) c PropsBinClauses_winner : 89460455
204.82/31.22	c (24,0) c PropsPreBlocker_0 : 358555810
204.82/31.22	c (24,0) c PropsPreBlocker_1 : 357154330
204.82/31.22	c (24,0) c PropsPreBlocker_2 : 360142195
204.82/31.22	c (24,0) c PropsPreBlocker_3 : 361763555
204.82/31.22	c (24,0) c PropsPreBlocker_4 : 365050525
204.82/31.22	c (24,0) c PropsPreBlocker_5 : 356938670
204.82/31.22	c (24,0) c PropsPreBlocker_6 : 357811401
204.82/31.22	c (24,0) c PropsPreBlocker_7 : 358007757
204.82/31.22	c (24,0) c PropsPreBlocker_total : 2875424243
204.82/31.22	c (24,0) c PropsPreBlocker_winner : 356938670
204.82/31.22	c (24,0) c PropsNotBlocker_0 : 100397745
204.82/31.22	c (24,0) c PropsNotBlocker_1 : 101314392
204.82/31.22	c (24,0) c PropsNotBlocker_2 : 101137230
204.82/31.22	c (24,0) c PropsNotBlocker_3 : 102308886
204.82/31.22	c (24,0) c PropsNotBlocker_4 : 102627597
204.82/31.22	c (24,0) c PropsNotBlocker_5 : 100662566
204.82/31.22	c (24,0) c PropsNotBlocker_6 : 100298302
204.82/31.22	c (24,0) c PropsNotBlocker_7 : 100320170
204.82/31.22	c (24,0) c PropsNotBlocker_total : 809066888
204.82/31.22	c (24,0) c PropsNotBlocker_winner : 100662566
204.82/31.22	c (24,0) c PropsLitFullScans_0 : 676934408
204.82/31.22	c (24,0) c PropsLitFullScans_1 : 672074779
204.82/31.22	c (24,0) c PropsLitFullScans_2 : 678082606
204.82/31.22	c (24,0) c PropsLitFullScans_3 : 682926791
204.82/31.22	c (24,0) c PropsLitFullScans_4 : 685874007
204.82/31.22	c (24,0) c PropsLitFullScans_5 : 672157362
204.82/31.22	c (24,0) c PropsLitFullScans_6 : 672056808
204.82/31.22	c (24,0) c PropsLitFullScans_7 : 672499951
204.82/31.22	c (24,0) c PropsLitFullScans_total : 5412606712
204.82/31.22	c (24,0) c PropsLitFullScans_winner : 672157362
204.82/31.22	c (24,0) c LitScanFractions_0 : 522080
204.82/31.22	c (24,0) c LitScanFractions_1 : 45434
204.82/31.22	c (24,0) c LitScanFractions_2 : 76344
204.82/31.22	c (24,0) c LitScanFractions_3 : 173597
204.82/31.22	c (24,0) c LitScanFractions_4 : 372888
204.82/31.22	c (24,0) c LitScanFractions_5 : 133375
204.82/31.22	c (24,0) c LitScanFractions_6 : 50885
204.82/31.22	c (24,0) c LitScanFractions_7 : 478011
204.82/31.22	c (24,0) c LitScanFractions_total : 1852614
204.82/31.22	c (24,0) c LitScanFractions_winner : 133375
204.82/31.22	c (24,0) c DecisionLevel0_0 : 226
204.82/31.22	c (24,0) c DecisionLevel0_1 : 292
204.82/31.22	c (24,0) c DecisionLevel0_2 : 254
204.82/31.22	c (24,0) c DecisionLevel0_3 : 235
204.82/31.22	c (24,0) c DecisionLevel0_4 : 212
204.82/31.22	c (24,0) c DecisionLevel0_5 : 257
204.82/31.22	c (24,0) c DecisionLevel0_6 : 214
204.82/31.22	c (24,0) c DecisionLevel0_7 : 215
204.82/31.22	c (24,0) c DecisionLevel0_total : 1905
204.82/31.22	c (24,0) c DecisionLevel0_winner : 257
204.82/31.22	c (24,0) c Periods_0 : 112
204.82/31.22	c (24,0) c Periods_1 : 112
204.82/31.22	c (24,0) c Periods_2 : 113
204.82/31.22	c (24,0) c Periods_3 : 113
204.82/31.22	c (24,0) c Periods_4 : 114
204.82/31.22	c (24,0) c Periods_5 : 112
204.82/31.22	c (24,0) c Periods_6 : 112
204.82/31.22	c (24,0) c Periods_7 : 112
204.82/31.22	c (24,0) c Periods_total : 900
204.82/31.22	c (24,0) c Periods_winner : 112
204.82/31.22	c (24,0) c Margin_0 : 20
204.82/31.22	c (24,0) c Margin_1 : 20
204.82/31.22	c (24,0) c Margin_2 : 20
204.82/31.22	c (24,0) c Margin_3 : 20
204.82/31.22	c (24,0) c Margin_4 : 20
204.82/31.22	c (24,0) c Margin_5 : 20
204.82/31.22	c (24,0) c Margin_6 : 20
204.82/31.22	c (24,0) c Margin_7 : 20
204.82/31.22	c (24,0) c Margin_total : 160
204.82/31.22	c (24,0) c Margin_winner : 20
204.82/31.22	c (24,0) c Exported_0 : 6247
204.82/31.22	c (24,0) c Exported_1 : 6426
204.82/31.22	c (24,0) c Exported_2 : 6288
204.82/31.23	c (24,0) c Exported_3 : 6447
204.82/31.23	c (24,0) c Exported_4 : 6502
204.82/31.23	c (24,0) c Exported_5 : 6321
204.82/31.23	c (24,0) c Exported_6 : 6283
204.82/31.23	c (24,0) c Exported_7 : 6354
204.82/31.23	c (24,0) c Exported_total : 50868
204.82/31.23	c (24,0) c Exported_winner : 6321
204.82/31.23	c (24,0) c Imported_0 : 37066
204.82/31.23	c (24,0) c Imported_1 : 36077
204.82/31.23	c (24,0) c Imported_2 : 37081
204.82/31.23	c (24,0) c Imported_3 : 37463
204.82/31.23	c (24,0) c Imported_4 : 37781
204.82/31.23	c (24,0) c Imported_5 : 36533
204.82/31.23	c (24,0) c Imported_6 : 36293
204.82/31.23	c (24,0) c Imported_7 : 36611
204.82/31.23	c (24,0) c Imported_total : 294905
204.82/31.23	c (24,0) c Imported_winner : 36533
204.82/31.23	c (24,0) c Good_0 : 1675
204.82/31.23	c (24,0) c Good_1 : 1638
204.82/31.23	c (24,0) c Good_2 : 1723
204.82/31.23	c (24,0) c Good_3 : 1735
204.82/31.23	c (24,0) c Good_4 : 1752
204.82/31.23	c (24,0) c Good_5 : 1645
204.82/31.23	c (24,0) c Good_6 : 1681
204.82/31.23	c (24,0) c Good_7 : 1654
204.82/31.23	c (24,0) c Good_total : 13503
204.82/31.23	c (24,0) c Good_winner : 1645
204.82/31.23	c (24,0) c Purge_0 : 35391
204.82/31.23	c (24,0) c Purge_1 : 34439
204.82/31.23	c (24,0) c Purge_2 : 35358
204.82/31.23	c (24,0) c Purge_3 : 35728
204.82/31.23	c (24,0) c Purge_4 : 36029
204.82/31.23	c (24,0) c Purge_5 : 34888
204.82/31.23	c (24,0) c Purge_6 : 34612
204.82/31.23	c (24,0) c Purge_7 : 34957
204.82/31.23	c (24,0) c Purge_total : 281402
204.82/31.23	c (24,0) c Purge_winner : 34888
204.82/31.23	c (24,0) c Promoted_0 : 2603
204.82/31.23	c (24,0) c Promoted_1 : 2718
204.82/31.23	c (24,0) c Promoted_2 : 2701
204.82/31.23	c (24,0) c Promoted_3 : 2827
204.82/31.23	c (24,0) c Promoted_4 : 2841
204.82/31.23	c (24,0) c Promoted_5 : 2640
204.82/31.23	c (24,0) c Promoted_6 : 2690
204.82/31.23	c (24,0) c Promoted_7 : 2764
204.82/31.23	c (24,0) c Promoted_total : 21784
204.82/31.23	c (24,0) c Promoted_winner : 2640
204.82/31.23	c (24,0) c Remove_Imp_0 : 5297
204.82/31.23	c (24,0) c Remove_Imp_1 : 4750
204.82/31.23	c (24,0) c Remove_Imp_2 : 4257
204.82/31.23	c (24,0) c Remove_Imp_3 : 5331
204.82/31.23	c (24,0) c Remove_Imp_4 : 17146
204.82/31.23	c (24,0) c Remove_Imp_5 : 5170
204.82/31.23	c (24,0) c Remove_Imp_6 : 4904
204.82/31.23	c (24,0) c Remove_Imp_7 : 4878
204.82/31.23	c (24,0) c Remove_Imp_total : 51733
204.82/31.23	c (24,0) c Remove_Imp_winner : 5170
204.82/31.23	c (24,0) c Blocked_Reuse_0 : 0
204.82/31.23	c (24,0) c Blocked_Reuse_1 : 0
204.82/31.23	c (24,0) c Blocked_Reuse_2 : 0
204.82/31.23	c (24,0) c Blocked_Reuse_3 : 0
204.82/31.23	c (24,0) c Blocked_Reuse_4 : 0
204.82/31.23	c (24,0) c Blocked_Reuse_5 : 0
204.82/31.23	c (24,0) c Blocked_Reuse_6 : 0
204.82/31.23	c (24,0) c Blocked_Reuse_7 : 0
204.82/31.23	c (24,0) c Blocked_Reuse_total : 0
204.82/31.23	c (24,0) c Blocked_Reuse_winner : 0
204.82/31.23	c (24,0) c Unaries_0 : 55
204.82/31.23	c (24,0) c Unaries_1 : 71
204.82/31.23	c (24,0) c Unaries_2 : 59
204.82/31.23	c (24,0) c Unaries_3 : 60
204.82/31.23	c (24,0) c Unaries_4 : 52
204.82/31.23	c (24,0) c Unaries_5 : 62
204.82/31.23	c (24,0) c Unaries_6 : 50
204.82/31.23	c (24,0) c Unaries_7 : 61
204.82/31.23	c (24,0) c Unaries_total : 470
204.82/31.23	c (24,0) c Unaries_winner : 62
204.82/31.23	c (24,0) c Binaries_0 : 317
204.82/31.23	c (24,0) c Binaries_1 : 329
204.82/31.23	c (24,0) c Binaries_2 : 285
204.82/31.23	c (24,0) c Binaries_3 : 304
204.82/31.23	c (24,0) c Binaries_4 : 312
204.82/31.23	c (24,0) c Binaries_5 : 337
204.82/31.23	c (24,0) c Binaries_6 : 275
204.82/31.23	c (24,0) c Binaries_7 : 332
204.82/31.23	c (24,0) c Binaries_total : 2491
204.82/31.23	c (24,0) c Binaries_winner : 337
204.82/31.23	c (24,0) c Glues_0 : 1084
204.82/31.23	c (24,0) c Glues_1 : 1183
204.82/31.23	c (24,0) c Glues_2 : 1082
204.82/31.23	c (24,0) c Glues_3 : 1133
204.82/31.23	c (24,0) c Glues_4 : 1138
204.82/31.23	c (24,0) c Glues_5 : 1151
204.82/31.23	c (24,0) c Glues_6 : 986
204.82/31.23	c (24,0) c Glues_7 : 1141
204.82/31.23	c (24,0) c Glues_total : 8898
204.82/31.23	c (24,0) c Glues_winner : 1151
204.82/31.23	c (24,0) c RunningTime_0 : 23.272567
204.82/31.23	c (24,0) c RunningTime_1 : 23.381451
204.82/31.23	c (24,0) c RunningTime_2 : 23.405865
204.82/31.23	c (24,0) c RunningTime_3 : 23.332865
204.82/31.23	c (24,0) c RunningTime_4 : 23.296535
204.82/31.23	c (24,0) c RunningTime_5 : 23.259365
204.82/31.23	c (24,0) c RunningTime_6 : 23.685726
204.82/31.23	c (24,0) c RunningTime_7 : 23.836596
204.82/31.23	c (24,0) c RunningTime_total : 187.470969
204.82/31.23	c (24,0) c RunningTime_winner : 23.259365
204.82/31.23	c (24,0) c WaitingTime_0 : 0.000121
204.82/31.23	c (24,0) c WaitingTime_1 : 0.000154
204.82/31.23	c (24,0) c WaitingTime_2 : 0.000135
204.82/31.23	c (24,0) c WaitingTime_3 : 0.000134
204.82/31.23	c (24,0) c WaitingTime_4 : 0.000161
204.82/31.23	c (24,0) c WaitingTime_5 : 0.000124
204.82/31.23	c (24,0) c WaitingTime_6 : 0.000132
204.82/31.23	c (24,0) c WaitingTime_7 : 0.000096
204.82/31.23	c (24,0) c WaitingTime_total : 0.001057
204.82/31.23	c (24,0) c WaitingTime_winner : 0.000124
204.82/31.23	c (24,0) c ExchangingTime_0 : 0.017905
204.82/31.23	c (24,0) c ExchangingTime_1 : 0.014403
204.82/31.23	c (24,0) c ExchangingTime_2 : 0.015165
204.82/31.23	c (24,0) c ExchangingTime_3 : 0.014152
204.82/31.23	c (24,0) c ExchangingTime_4 : 0.017219
204.82/31.23	c (24,0) c ExchangingTime_5 : 0.014568
204.82/31.23	c (24,0) c ExchangingTime_6 : 0.014956
204.82/31.23	c (24,0) c ExchangingTime_7 : 0.014799
204.82/31.23	c (24,0) c ExchangingTime_total : 0.123167
204.82/31.23	c (24,0) c ExchangingTime_winner : 0.014568
204.82/31.23	c (24,0) c PeriodProcTime_0 : 0.000950
204.82/31.23	c (24,0) c PeriodProcTime_1 : 0.000817
204.82/31.23	c (24,0) c PeriodProcTime_2 : 0.000935
204.82/31.23	c (24,0) c PeriodProcTime_3 : 0.000798
204.82/31.23	c (24,0) c PeriodProcTime_4 : 0.000978
204.82/31.23	c (24,0) c PeriodProcTime_5 : 0.000794
204.82/31.23	c (24,0) c PeriodProcTime_6 : 0.001173
204.82/31.23	c (24,0) c PeriodProcTime_7 : 0.000963
204.82/31.23	c (24,0) c PeriodProcTime_total : 0.007408
204.82/31.23	c (24,0) c PeriodProcTime_winner : 0.000794
204.82/31.23	c (24,0) c SolvingTime_0 : 23.291543
204.82/31.23	c (24,0) c SolvingTime_1 : 23.396825
204.82/31.23	c (24,0) c SolvingTime_2 : 23.422100
204.82/31.23	c (24,0) c SolvingTime_3 : 23.347948
204.82/31.23	c (24,0) c SolvingTime_4 : 23.314893
204.82/31.23	c (24,0) c SolvingTime_5 : 23.274852
204.82/31.23	c (24,0) c SolvingTime_6 : 23.701987
204.82/31.23	c (24,0) c SolvingTime_7 : 23.852453
204.82/31.23	c (24,0) c SolvingTime_total : 187.602601
204.82/31.23	c (24,0) c SolvingTime_winner : 23.274852
204.82/31.23	c (24,0) c PropagationTime_0 : 21.017202
204.82/31.23	c (24,0) c PropagationTime_1 : 21.205566
204.82/31.23	c (24,0) c PropagationTime_2 : 21.094841
204.82/31.23	c (24,0) c PropagationTime_3 : 21.066885
204.82/31.23	c (24,0) c PropagationTime_4 : 21.068737
204.82/31.23	c (24,0) c PropagationTime_5 : 21.026761
204.82/31.23	c (24,0) c PropagationTime_6 : 21.351043
204.82/31.23	c (24,0) c PropagationTime_7 : 21.610931
204.82/31.23	c (24,0) c PropagationTime_total : 169.441967
204.82/31.23	c (24,0) c PropagationTime_winner : 21.026761
204.82/31.23	c (24,0) c AnalysisTime_0 : 1.275956
204.82/31.23	c (24,0) c AnalysisTime_1 : 1.192849
204.82/31.23	c (24,0) c AnalysisTime_2 : 1.305586
204.82/31.23	c (24,0) c AnalysisTime_3 : 1.283232
204.82/31.23	c (24,0) c AnalysisTime_4 : 1.264808
204.82/31.23	c (24,0) c AnalysisTime_5 : 1.242332
204.82/31.23	c (24,0) c AnalysisTime_6 : 1.301514
204.82/31.23	c (24,0) c AnalysisTime_7 : 1.277118
204.82/31.23	c (24,0) c AnalysisTime_total : 10.143395
204.82/31.23	c (24,0) c AnalysisTime_winner : 1.242332
204.82/31.23	c (24,0) c ReductionTime_0 : 0.057670
204.82/31.23	c (24,0) c ReductionTime_1 : 0.060909
204.82/31.23	c (24,0) c ReductionTime_2 : 0.059798
204.82/31.23	c (24,0) c ReductionTime_3 : 0.059246
204.82/31.23	c (24,0) c ReductionTime_4 : 0.092518
204.82/31.23	c (24,0) c ReductionTime_5 : 0.059649
204.82/31.23	c (24,0) c ReductionTime_6 : 0.060964
204.82/31.23	c (24,0) c ReductionTime_7 : 0.059391
204.82/31.23	c (24,0) c ReductionTime_total : 0.510146
204.82/31.23	c (24,0) c ReductionTime_winner : 0.059649
204.82/31.23	c (24,0) c SimplifyTime_0 : 0.173534
204.82/31.23	c (24,0) c SimplifyTime_1 : 0.176116
204.82/31.23	c (24,0) c SimplifyTime_2 : 0.180749
204.82/31.23	c (24,0) c SimplifyTime_3 : 0.177804
204.82/31.23	c (24,0) c SimplifyTime_4 : 0.158541
204.82/31.23	c (24,0) c SimplifyTime_5 : 0.171861
204.82/31.23	c (24,0) c SimplifyTime_6 : 0.186341
204.82/31.23	c (24,0) c SimplifyTime_7 : 0.162475
204.82/31.23	c (24,0) c SimplifyTime_total : 1.387421
204.82/31.23	c (24,0) c SimplifyTime_winner : 0.171861
204.82/31.23	c (24,0) c UsedRateTime_0 : 0.000000
204.82/31.23	c (24,0) c UsedRateTime_1 : 0.000000
204.82/31.23	c (24,0) c UsedRateTime_2 : 0.000000
204.82/31.23	c (24,0) c UsedRateTime_3 : 0.000000
204.82/31.23	c (24,0) c UsedRateTime_4 : 0.000000
204.82/31.23	c (24,0) c UsedRateTime_5 : 0.000000
204.82/31.23	c (24,0) c UsedRateTime_6 : 0.000000
204.82/31.23	c (24,0) c UsedRateTime_7 : 0.000000
204.82/31.23	c (24,0) c UsedRateTime_total : 0.000000
204.82/31.23	c (24,0) c UsedRateTime_winner : 0.000000
204.82/31.23	c (24,0) c OverlapRateTime_0 : 0.000000
204.82/31.23	c (24,0) c OverlapRateTime_1 : 0.000000
204.82/31.23	c (24,0) c OverlapRateTime_2 : 0.000000
204.82/31.23	c (24,0) c OverlapRateTime_3 : 0.000000
204.82/31.23	c (24,0) c OverlapRateTime_4 : 0.000000
204.82/31.23	c (24,0) c OverlapRateTime_5 : 0.000000
204.82/31.23	c (24,0) c OverlapRateTime_6 : 0.000000
204.82/31.23	c (24,0) c OverlapRateTime_7 : 0.000000
204.82/31.23	c (24,0) c OverlapRateTime_total : 0.000000
204.82/31.23	c (24,0) c OverlapRateTime_winner : 0.000000
204.82/31.23	c (24,0) c
204.82/31.23	c (24,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
204.82/31.23	c (24,0) c
204.82/31.23	c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
204.82/31.23	c (24,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
204.82/31.23	c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
204.82/31.23	c (24,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
204.82/31.23	c (24,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
204.82/31.23	c (24,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
204.82/31.23	c (24,0) c | Initial random_seed   | 1218506738 |  247523641 | 1745573455 |  431586915 |  191486119 |  437754432 | 1675344860 |  663282844 |
204.82/31.23	c (24,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
204.82/31.23	c (24,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
204.82/31.23	c (24,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
204.82/31.23	c (24,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
204.82/31.23	c (24,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
204.82/31.23	c (24,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
204.82/31.23	c (24,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
204.82/31.23	c (24,0) c | var_decay             |     0.8700 |     0.8700 |     0.8700 |     0.8700 |     0.8700 |     0.8700 |     0.8700 |     0.8700 |
204.82/31.23	c (24,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
204.82/31.23	c (24,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
204.82/31.23	c (24,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
204.82/31.23	c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
204.82/31.23	c (24,0) 
204.82/31.23	c (24,0) s SATISFIABLE
204.82/31.28	c (24,0) SatSolver.solve End
204.82/31.28	c (24,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
204.82/31.28	c (24,0) Show results Begin
205.36/31.42	c (24,0) x[0][0] = 0
205.36/31.42	c (24,0) x[0][1] = 6
205.36/31.42	c (24,0) x[0][2] = 9
205.36/31.42	c (24,0) x[0][3] = 5
205.36/31.42	c (24,0) x[0][4] = 7
205.36/31.42	c (24,0) x[0][5] = 8
205.36/31.42	c (24,0) x[0][6] = 10
205.36/31.42	c (24,0) x[0][7] = 1
205.36/31.42	c (24,0) x[0][8] = 3
205.36/31.42	c (24,0) x[0][9] = 11
205.36/31.42	c (24,0) x[0][10] = 4
205.36/31.42	c (24,0) x[0][11] = 2
205.36/31.42	c (24,0) x[1][0] = 7
205.36/31.42	c (24,0) x[1][1] = 1
205.36/31.42	c (24,0) x[1][2] = 3
205.36/31.42	c (24,0) x[1][3] = 9
205.36/31.42	c (24,0) x[1][4] = 6
205.36/31.42	c (24,0) x[1][5] = 0
205.36/31.42	c (24,0) x[1][6] = 2
205.36/31.42	c (24,0) x[1][7] = 10
205.36/31.42	c (24,0) x[1][8] = 5
205.36/31.42	c (24,0) x[1][9] = 8
205.36/31.42	c (24,0) x[1][10] = 11
205.36/31.42	c (24,0) x[1][11] = 4
205.36/31.42	c (24,0) x[2][0] = 8
205.36/31.42	c (24,0) x[2][1] = 10
205.36/31.42	c (24,0) x[2][2] = 2
205.36/31.42	c (24,0) x[2][3] = 11
205.36/31.42	c (24,0) x[2][4] = 5
205.36/31.42	c (24,0) x[2][5] = 6
205.36/31.42	c (24,0) x[2][6] = 9
205.36/31.42	c (24,0) x[2][7] = 4
205.36/31.42	c (24,0) x[2][8] = 7
205.36/31.42	c (24,0) x[2][9] = 3
205.36/31.42	c (24,0) x[2][10] = 0
205.36/31.42	c (24,0) x[2][11] = 1
205.36/31.42	c (24,0) x[3][0] = 11
205.36/31.42	c (24,0) x[3][1] = 2
205.36/31.42	c (24,0) x[3][2] = 7
205.36/31.42	c (24,0) x[3][3] = 3
205.36/31.42	c (24,0) x[3][4] = 10
205.36/31.42	c (24,0) x[3][5] = 9
205.36/31.42	c (24,0) x[3][6] = 4
205.36/31.42	c (24,0) x[3][7] = 5
205.36/31.42	c (24,0) x[3][8] = 6
205.36/31.42	c (24,0) x[3][9] = 0
205.36/31.42	c (24,0) x[3][10] = 1
205.36/31.42	c (24,0) x[3][11] = 8
205.36/31.42	c (24,0) x[4][0] = 2
205.36/31.42	c (24,0) x[4][1] = 3
205.36/31.42	c (24,0) x[4][2] = 10
205.36/31.42	c (24,0) x[4][3] = 0
205.36/31.42	c (24,0) x[4][4] = 4
205.36/31.42	c (24,0) x[4][5] = 1
205.36/31.42	c (24,0) x[4][6] = 11
205.36/31.42	c (24,0) x[4][7] = 8
205.36/31.42	c (24,0) x[4][8] = 9
205.36/31.42	c (24,0) x[4][9] = 5
205.36/31.42	c (24,0) x[4][10] = 6
205.36/31.42	c (24,0) x[4][11] = 7
205.36/31.42	c (24,0) x[5][0] = 1
205.36/31.42	c (24,0) x[5][1] = 7
205.36/31.42	c (24,0) x[5][2] = 8
205.36/31.42	c (24,0) x[5][3] = 4
205.36/31.42	c (24,0) x[5][4] = 11
205.36/31.42	c (24,0) x[5][5] = 5
205.36/31.42	c (24,0) x[5][6] = 3
205.36/31.42	c (24,0) x[5][7] = 9
205.36/31.42	c (24,0) x[5][8] = 10
205.36/31.42	c (24,0) x[5][9] = 6
205.36/31.42	c (24,0) x[5][10] = 2
205.36/31.42	c (24,0) x[5][11] = 0
205.36/31.42	c (24,0) x[6][0] = 4
205.36/31.42	c (24,0) x[6][1] = 11
205.36/31.42	c (24,0) x[6][2] = 5
205.36/31.42	c (24,0) x[6][3] = 1
205.36/31.42	c (24,0) x[6][4] = 8
205.36/31.42	c (24,0) x[6][5] = 7
205.36/31.42	c (24,0) x[6][6] = 6
205.36/31.42	c (24,0) x[6][7] = 0
205.36/31.42	c (24,0) x[6][8] = 2
205.36/31.42	c (24,0) x[6][9] = 10
205.36/31.42	c (24,0) x[6][10] = 3
205.36/31.42	c (24,0) x[6][11] = 9
205.36/31.42	c (24,0) x[7][0] = 5
205.36/31.42	c (24,0) x[7][1] = 8
205.36/31.43	c (24,0) x[7][2] = 0
205.36/31.43	c (24,0) x[7][3] = 6
205.36/31.43	c (24,0) x[7][4] = 2
205.36/31.43	c (24,0) x[7][5] = 10
205.36/31.43	c (24,0) x[7][6] = 1
205.36/31.43	c (24,0) x[7][7] = 7
205.36/31.43	c (24,0) x[7][8] = 11
205.36/31.43	c (24,0) x[7][9] = 4
205.36/31.43	c (24,0) x[7][10] = 9
205.36/31.43	c (24,0) x[7][11] = 3
205.36/31.43	c (24,0) x[8][0] = 9
205.36/31.43	c (24,0) x[8][1] = 0
205.36/31.43	c (24,0) x[8][2] = 4
205.36/31.43	c (24,0) x[8][3] = 10
205.36/31.43	c (24,0) x[8][4] = 1
205.36/31.43	c (24,0) x[8][5] = 11
205.36/31.43	c (24,0) x[8][6] = 5
205.36/31.43	c (24,0) x[8][7] = 3
205.36/31.43	c (24,0) x[8][8] = 8
205.36/31.43	c (24,0) x[8][9] = 2
205.36/31.43	c (24,0) x[8][10] = 7
205.36/31.43	c (24,0) x[8][11] = 6
205.36/31.43	c (24,0) x[9][0] = 6
205.36/31.43	c (24,0) x[9][1] = 4
205.36/31.43	c (24,0) x[9][2] = 1
205.36/31.43	c (24,0) x[9][3] = 8
205.36/31.43	c (24,0) x[9][4] = 3
205.36/31.43	c (24,0) x[9][5] = 2
205.36/31.43	c (24,0) x[9][6] = 7
205.36/31.43	c (24,0) x[9][7] = 11
205.36/31.43	c (24,0) x[9][8] = 0
205.36/31.43	c (24,0) x[9][9] = 9
205.36/31.43	c (24,0) x[9][10] = 5
205.36/31.43	c (24,0) x[9][11] = 10
205.36/31.43	c (24,0) x[10][0] = 3
205.36/31.43	c (24,0) x[10][1] = 9
205.36/31.43	c (24,0) x[10][2] = 11
205.36/31.43	c (24,0) x[10][3] = 2
205.36/31.43	c (24,0) x[10][4] = 0
205.36/31.43	c (24,0) x[10][5] = 4
205.36/31.43	c (24,0) x[10][6] = 8
205.36/31.43	c (24,0) x[10][7] = 6
205.36/31.43	c (24,0) x[10][8] = 1
205.36/31.43	c (24,0) x[10][9] = 7
205.36/31.43	c (24,0) x[10][10] = 10
205.36/31.43	c (24,0) x[10][11] = 5
205.36/31.43	c (24,0) x[11][0] = 10
205.36/31.43	c (24,0) x[11][1] = 5
205.36/31.43	c (24,0) x[11][2] = 6
205.36/31.43	c (24,0) x[11][3] = 7
205.36/31.43	c (24,0) x[11][4] = 9
205.36/31.43	c (24,0) x[11][5] = 3
205.36/31.43	c (24,0) x[11][6] = 0
205.36/31.43	c (24,0) x[11][7] = 2
205.36/31.43	c (24,0) x[11][8] = 4
205.36/31.43	c (24,0) x[11][9] = 1
205.36/31.43	c (24,0) x[11][10] = 8
205.36/31.43	c (24,0) x[11][11] = 11
205.36/31.43	c (24,0) y[0][1] = 79
205.36/31.43	c (24,0) y[0][2] = 116
205.36/31.43	c (24,0) y[0][3] = 71
205.36/31.43	c (24,0) y[0][4] = 86
205.36/31.43	c (24,0) y[0][5] = 97
205.36/31.43	c (24,0) y[0][6] = 124
205.36/31.43	c (24,0) y[0][7] = 17
205.36/31.43	c (24,0) y[0][8] = 45
205.36/31.43	c (24,0) y[0][9] = 138
205.36/31.43	c (24,0) y[0][10] = 51
205.36/31.43	c (24,0) y[0][11] = 34
205.36/31.43	c (24,0) y[1][0] = 90
205.36/31.43	c (24,0) y[1][2] = 46
205.36/31.43	c (24,0) y[1][3] = 110
205.36/31.43	c (24,0) y[1][4] = 75
205.36/31.43	c (24,0) y[1][5] = 7
205.36/31.43	c (24,0) y[1][6] = 35
205.36/31.43	c (24,0) y[1][7] = 128
205.36/31.43	c (24,0) y[1][8] = 60
205.36/31.43	c (24,0) y[1][9] = 100
205.36/31.43	c (24,0) y[1][10] = 141
205.36/31.43	c (24,0) y[1][11] = 53
205.36/31.43	c (24,0) y[2][0] = 105
205.36/31.43	c (24,0) y[2][1] = 123
205.36/31.43	c (24,0) y[2][3] = 139
205.36/31.43	c (24,0) y[2][4] = 70
205.36/31.43	c (24,0) y[2][5] = 80
205.36/31.43	c (24,0) y[2][6] = 113
205.36/31.43	c (24,0) y[2][7] = 48
205.36/31.43	c (24,0) y[2][8] = 88
205.36/31.43	c (24,0) y[2][9] = 37
205.36/31.43	c (24,0) y[2][10] = 11
205.36/31.43	c (24,0) y[2][11] = 18
205.36/31.43	c (24,0) y[3][0] = 137
205.36/31.43	c (24,0) y[3][1] = 33
205.36/31.43	c (24,0) y[3][2] = 95
205.36/31.43	c (24,0) y[3][4] = 120
205.36/31.43	c (24,0) y[3][5] = 112
205.36/31.43	c (24,0) y[3][6] = 49
205.36/31.43	c (24,0) y[3][7] = 66
205.36/31.43	c (24,0) y[3][8] = 82
205.36/31.43	c (24,0) y[3][9] = 8
205.36/31.43	c (24,0) y[3][10] = 14
205.36/31.43	c (24,0) y[3][11] = 103
205.36/31.43	c (24,0) y[4][0] = 31
205.36/31.43	c (24,0) y[4][1] = 42
205.36/31.43	c (24,0) y[4][2] = 125
205.36/31.43	c (24,0) y[4][3] = 10
205.36/31.43	c (24,0) y[4][5] = 23
205.36/31.43	c (24,0) y[4][6] = 140
205.36/31.43	c (24,0) y[4][7] = 98
205.36/31.43	c (24,0) y[4][8] = 109
205.36/31.43	c (24,0) y[4][9] = 63
205.36/31.43	c (24,0) y[4][10] = 72
205.36/31.43	c (24,0) y[4][11] = 93
205.36/31.43	c (24,0) y[5][0] = 20
205.36/31.43	c (24,0) y[5][1] = 84
205.36/31.43	c (24,0) y[5][2] = 102
205.36/31.43	c (24,0) y[5][3] = 57
205.36/31.43	c (24,0) y[5][4] = 133
205.36/31.43	c (24,0) y[5][6] = 43
205.36/31.43	c (24,0) y[5][7] = 118
205.36/31.43	c (24,0) y[5][8] = 131
205.36/31.43	c (24,0) y[5][9] = 74
205.36/31.43	c (24,0) y[5][10] = 28
205.36/31.43	c (24,0) y[5][11] = 3
205.36/31.43	c (24,0) y[6][0] = 58
205.36/31.43	c (24,0) y[6][1] = 134
205.36/31.43	c (24,0) y[6][2] = 69
205.36/31.43	c (24,0) y[6][3] = 16
205.36/31.43	c (24,0) y[6][4] = 107
205.36/31.43	c (24,0) y[6][5] = 87
205.36/31.43	c (24,0) y[6][7] = 1
205.36/31.43	c (24,0) y[6][8] = 29
205.36/31.43	c (24,0) y[6][9] = 127
205.36/31.43	c (24,0) y[6][10] = 44
205.36/31.43	c (24,0) y[6][11] = 108
205.36/31.43	c (24,0) y[7][0] = 61
205.36/31.43	c (24,0) y[7][1] = 106
205.36/31.43	c (24,0) y[7][2] = 4
205.36/31.43	c (24,0) y[7][3] = 77
205.36/31.43	c (24,0) y[7][4] = 32
205.36/31.43	c (24,0) y[7][5] = 129
205.36/31.43	c (24,0) y[7][6] = 12
205.36/31.43	c (24,0) y[7][8] = 135
205.36/31.43	c (24,0) y[7][9] = 59
205.36/31.43	c (24,0) y[7][10] = 114
205.36/31.43	c (24,0) y[7][11] = 38
205.36/31.43	c (24,0) y[8][0] = 111
205.36/31.43	c (24,0) y[8][1] = 5
205.36/31.43	c (24,0) y[8][2] = 55
205.36/31.43	c (24,0) y[8][3] = 126
205.36/31.43	c (24,0) y[8][4] = 21
205.36/31.43	c (24,0) y[8][5] = 142
205.36/31.43	c (24,0) y[8][6] = 62
205.36/31.43	c (24,0) y[8][7] = 47
205.36/31.43	c (24,0) y[8][9] = 24
205.36/31.43	c (24,0) y[8][10] = 85
205.36/31.43	c (24,0) y[8][11] = 76
205.36/31.43	c (24,0) y[9][0] = 83
205.36/31.43	c (24,0) y[9][1] = 56
205.36/31.43	c (24,0) y[9][2] = 15
205.36/31.43	c (24,0) y[9][3] = 96
205.36/31.43	c (24,0) y[9][4] = 41
205.36/31.43	c (24,0) y[9][5] = 30
205.36/31.43	c (24,0) y[9][6] = 94
205.36/31.43	c (24,0) y[9][7] = 136
205.36/31.43	c (24,0) y[9][8] = 2
205.36/31.43	c (24,0) y[9][10] = 67
205.36/31.43	c (24,0) y[9][11] = 121
205.36/31.43	c (24,0) y[10][0] = 40
205.36/31.43	c (24,0) y[10][1] = 119
205.36/31.43	c (24,0) y[10][2] = 132
205.36/31.43	c (24,0) y[10][3] = 25
205.36/31.43	c (24,0) y[10][4] = 6
205.36/31.43	c (24,0) y[10][5] = 50
205.36/31.43	c (24,0) y[10][6] = 99
205.36/31.43	c (24,0) y[10][7] = 81
205.36/31.43	c (24,0) y[10][8] = 19
205.36/31.43	c (24,0) y[10][9] = 89
205.36/31.43	c (24,0) y[10][11] = 68
205.36/31.43	c (24,0) y[11][0] = 122
205.36/31.43	c (24,0) y[11][1] = 64
205.36/31.43	c (24,0) y[11][2] = 73
205.36/31.43	c (24,0) y[11][3] = 92
205.36/31.43	c (24,0) y[11][4] = 115
205.36/31.43	c (24,0) y[11][5] = 36
205.36/31.43	c (24,0) y[11][6] = 9
205.36/31.43	c (24,0) y[11][7] = 27
205.36/31.43	c (24,0) y[11][8] = 54
205.36/31.43	c (24,0) y[11][9] = 22
205.36/31.43	c (24,0) y[11][10] = 101
205.36/31.43	s SATISFIABLE
205.36/31.44	v <instantiation>
205.36/31.44	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>
205.36/31.44	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>
205.36/31.44	v </instantiation>
205.36/31.44	c (24,0) Show results End
205.36/31.44	c (24,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
205.36/31.44	c (24,0) 24,24,STOP-AFTER(ALL)
205.36/31.44	c END-Prog: Sat Sep 14 05:18:59 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 (15184 MiB free)
  memory of node 1: 16384 MiB (15476 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392490-1568434803/watcher-4392490-1568434803 -o /tmp/evaluation-result-4392490-1568434803/solver-4392490-1568434803 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568422931-7684 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392490-1568434803.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
solver pid=9195, runsolver pid=9192
Starting watchdog thread
Current StackSize limit: 8192 KiB


[startup+0.10098 s]*
/proc/loadavg: 8.43 7.67 7.47 2/210 9217
/proc/meminfo: memFree=31302676/32770624 swapFree=66937080/67108860
[pid=9195] ppid=9192 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/9195/stat : 9195 (scop.sh) S 9192 9195 7657 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419738657 115843072 348 33554432000 4194304 5098028 140730987917072 140730987914328 140567338201724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13225984 140730987918117 140730987918444 140730987918444 140730987921357 0
/proc/9195/statm: 28282 348 296 221 0 87 0
[pid=9198] ppid=9195 vsize=27314120 memory=106088 CPUtime=0.1 cores=0-7
/proc/9198/stat : 9198 (java) S 9195 9195 7657 0 -1 1077944320 6101 0 0 0 8 2 0 0 20 0 20 0 419738658 27969658880 26522 33554432000 4194304 4196468 140735553332080 140735553314624 139674235932407 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
/proc/9198/statm: 6828530 26522 2805 1 0 6790935 0
[pid=9198/tid=9199] ppid=9195 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/9198/task/9199/stat : 9199 (java) R 9195 9195 7657 0 -1 4202560 4209 0 0 0 7 2 0 0 20 0 20 0 419738658 27969658880 27034 33554432000 4194304 4196468 140735553332080 139674207745920 139674221303689 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9200] ppid=9195 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9198/task/9200/stat : 9200 (java) S 9195 9195 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419738660 27969658880 27034 33554432000 4194304 4196468 140735553332080 139674240174480 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9201] ppid=9195 vsize=27314120 memory=140103559779968 CPUtime=0 cores=0-7
/proc/9198/task/9201/stat : 9201 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738660 27969658880 27034 33554432000 4194304 4196468 140735553332080 139674023569680 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9202] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9202/stat : 9202 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738660 27969658880 27034 33554432000 4194304 4196468 140735553332080 139674022517392 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9203] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9203/stat : 9203 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738660 27969658880 27034 33554432000 4194304 4196468 140735553332080 139674021464592 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9204] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9204/stat : 9204 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738660 27969658880 27034 33554432000 4194304 4196468 140735553332080 139674020412304 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9205] ppid=9195 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9198/task/9205/stat : 9205 (java) S 9195 9195 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419738660 27969658880 27034 33554432000 4194304 4196468 140735553332080 139674019359504 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9206] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9206/stat : 9206 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738660 27969658880 27034 33554432000 4194304 4196468 140735553332080 139674018307216 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9207] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9207/stat : 9207 (java) S 9195 9195 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419738660 27969658880 27034 33554432000 4194304 4196468 140735553332080 139674017254416 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9208] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9208/stat : 9208 (java) S 9195 9195 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419738662 27969658880 27034 33554432000 4194304 4196468 140735553332080 139673092470896 139674235943554 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9209] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9209/stat : 9209 (java) S 9195 9195 7657 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419738662 27969658880 27034 33554432000 4194304 4196468 140735553332080 139672202240800 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9210] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9210/stat : 9210 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738662 27969658880 27034 33554432000 4194304 4196468 140735553332080 139671933805680 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9211] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9211/stat : 9211 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738665 27969658880 27034 33554432000 4194304 4196468 140735553332080 139671559297104 139674235951003 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9212] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9212/stat : 9212 (java) S 9195 9195 7657 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 20 0 419738665 27969658880 27034 33554432000 4194304 4196468 140735553332080 139673091418736 139674235943554 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9213] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9213/stat : 9213 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738665 27969658880 27034 33554432000 4194304 4196468 140735553332080 139673090365936 139674235943554 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9214] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9214/stat : 9214 (java) S 9195 9195 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419738665 27969658880 27034 33554432000 4194304 4196468 140735553332080 139673089313648 139674235943554 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9215] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9215/stat : 9215 (java) S 9195 9195 7657 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 20 0 419738665 27969658880 27034 33554432000 4194304 4196468 140735553332080 139673088260848 139674235943554 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9216] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9216/stat : 9216 (java) S 9195 9195 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419738665 27969658880 27034 33554432000 4194304 4196468 140735553332080 139671061391712 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9217] ppid=9195 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9198/task/9217/stat : 9217 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738665 27969658880 27034 33554432000 4194304 4196468 140735553332080 139673087207728 139674235943554 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107480 KiB

[startup+0.210438 s]*
/proc/loadavg: 8.43 7.67 7.47 3/210 9217
/proc/meminfo: memFree=31282568/32770624 swapFree=66937080/67108860
[pid=9195] ppid=9192 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/9195/stat : 9195 (scop.sh) S 9192 9195 7657 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419738657 115843072 348 33554432000 4194304 5098028 140730987917072 140730987914328 140567338201724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13225984 140730987918117 140730987918444 140730987918444 140730987921357 0
/proc/9195/statm: 28282 348 296 221 0 87 0
[pid=9198] ppid=9195 vsize=27314120 memory=125436 CPUtime=0.24 cores=0-7
/proc/9198/stat : 9198 (java) S 9195 9195 7657 0 -1 1077944320 11726 0 0 0 20 4 0 0 20 0 20 0 419738658 27969658880 31359 33554432000 4194304 4196468 140735553332080 140735553314624 139674235932407 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
/proc/9198/statm: 6828530 31359 2945 1 0 6790935 0
[pid=9198/tid=9199] ppid=9195 vsize=27314120 memory=29681743523217448 CPUtime=0.19 cores=0-7
/proc/9198/task/9199/stat : 9199 (java) R 9195 9195 7657 0 -1 4202560 9417 0 0 0 16 3 0 0 20 0 20 0 419738658 27969658880 31359 33554432000 4194304 4196468 140735553332080 139674207715968 139674221097971 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9200] ppid=9195 vsize=27314120 memory=288230613264367967 CPUtime=0 cores=0-7
/proc/9198/task/9200/stat : 9200 (java) S 9195 9195 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419738660 27969658880 31359 33554432000 4194304 4196468 140735553332080 139674240174480 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9201] ppid=9195 vsize=27314120 memory=15394934998537880 CPUtime=0 cores=0-7
/proc/9198/task/9201/stat : 9201 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738660 27969658880 31359 33554432000 4194304 4196468 140735553332080 139674023569680 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9202] ppid=9195 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9198/task/9202/stat : 9202 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738660 27969658880 31359 33554432000 4194304 4196468 140735553332080 139674022517392 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9203] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9203/stat : 9203 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738660 27969658880 31359 33554432000 4194304 4196468 140735553332080 139674021464592 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9204] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9204/stat : 9204 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738660 27969658880 31359 33554432000 4194304 4196468 140735553332080 139674020412304 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9205] ppid=9195 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9198/task/9205/stat : 9205 (java) S 9195 9195 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419738660 27969658880 31359 33554432000 4194304 4196468 140735553332080 139674019359504 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9206] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9206/stat : 9206 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738660 27969658880 31359 33554432000 4194304 4196468 140735553332080 139674018307216 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9207] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9207/stat : 9207 (java) S 9195 9195 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419738660 27969658880 31359 33554432000 4194304 4196468 140735553332080 139674017254416 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9208] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9208/stat : 9208 (java) S 9195 9195 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419738662 27969658880 31359 33554432000 4194304 4196468 140735553332080 139673092470896 139674235943554 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9209] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9209/stat : 9209 (java) S 9195 9195 7657 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419738662 27969658880 31359 33554432000 4194304 4196468 140735553332080 139672202240800 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9210] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9210/stat : 9210 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738662 27969658880 31359 33554432000 4194304 4196468 140735553332080 139671933805680 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9211] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9211/stat : 9211 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738665 27969658880 31359 33554432000 4194304 4196468 140735553332080 139671559297104 139674235951003 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9212] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9212/stat : 9212 (java) S 9195 9195 7657 0 -1 1077944384 361 0 0 0 0 0 0 0 20 0 20 0 419738665 27969658880 31359 33554432000 4194304 4196468 140735553332080 139673091418736 139674235943554 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9213] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9213/stat : 9213 (java) S 9195 9195 7657 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 419738665 27969658880 31359 33554432000 4194304 4196468 140735553332080 139673090365936 139674235943554 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9214] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9214/stat : 9214 (java) S 9195 9195 7657 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 20 0 419738665 27969658880 31359 33554432000 4194304 4196468 140735553332080 139673089313648 139674235943554 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9215] ppid=9195 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/9198/task/9215/stat : 9215 (java) S 9195 9195 7657 0 -1 1077944384 458 0 0 0 2 0 0 0 20 0 20 0 419738665 27969658880 31359 33554432000 4194304 4196468 140735553332080 139673088260848 139674235943554 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9216] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9216/stat : 9216 (java) S 9195 9195 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419738665 27969658880 31359 33554432000 4194304 4196468 140735553332080 139671061391712 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9217] ppid=9195 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9198/task/9217/stat : 9217 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738665 27969658880 31359 33554432000 4194304 4196468 140735553332080 139673087207728 139674235943554 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126828 KiB

[startup+0.310225 s]*
/proc/loadavg: 8.43 7.67 7.47 2/210 9217
/proc/meminfo: memFree=31279488/32770624 swapFree=66937080/67108860
[pid=9195] ppid=9192 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/9195/stat : 9195 (scop.sh) S 9192 9195 7657 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419738657 115843072 348 33554432000 4194304 5098028 140730987917072 140730987914328 140567338201724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13225984 140730987918117 140730987918444 140730987918444 140730987921357 0
/proc/9195/statm: 28282 348 296 221 0 87 0
[pid=9198] ppid=9195 vsize=27314120 memory=129444 CPUtime=0.42 cores=0-7
/proc/9198/stat : 9198 (java) S 9195 9195 7657 0 -1 1077944320 12281 0 0 0 37 5 0 0 20 0 20 0 419738658 27969658880 32361 33554432000 4194304 4196468 140735553332080 140735553314624 139674235932407 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
/proc/9198/statm: 6828530 32361 2986 1 0 6790935 0
[pid=9198/tid=9199] ppid=9195 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/9198/task/9199/stat : 9199 (java) R 9195 9195 7657 0 -1 4202560 9772 0 0 0 26 4 0 0 20 0 20 0 419738658 27969658880 32361 33554432000 4194304 4196468 140735553332080 139674207717392 139674235953754 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9200] ppid=9195 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9198/task/9200/stat : 9200 (java) S 9195 9195 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419738660 27969658880 32361 33554432000 4194304 4196468 140735553332080 139674240174480 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9201] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9201/stat : 9201 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738660 27969658880 32361 33554432000 4194304 4196468 140735553332080 139674023569680 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9202] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9202/stat : 9202 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738660 27969658880 32361 33554432000 4194304 4196468 140735553332080 139674022517392 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9203] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9203/stat : 9203 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738660 27969658880 32361 33554432000 4194304 4196468 140735553332080 139674021464592 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9204] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9204/stat : 9204 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738660 27969658880 32361 33554432000 4194304 4196468 140735553332080 139674020412304 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9205] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9205/stat : 9205 (java) S 9195 9195 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419738660 27969658880 32361 33554432000 4194304 4196468 140735553332080 139674019359504 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9206] ppid=9195 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/9198/task/9206/stat : 9206 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738660 27969658880 32361 33554432000 4194304 4196468 140735553332080 139674018307216 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9207] ppid=9195 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/9198/task/9207/stat : 9207 (java) S 9195 9195 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419738660 27969658880 32361 33554432000 4194304 4196468 140735553332080 139674017254416 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9208] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9208/stat : 9208 (java) S 9195 9195 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419738662 27969658880 32361 33554432000 4194304 4196468 140735553332080 139673092470896 139674235943554 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9209] ppid=9195 vsize=27314120 memory=140103443898831 CPUtime=0 cores=0-7
/proc/9198/task/9209/stat : 9209 (java) S 9195 9195 7657 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419738662 27969658880 32361 33554432000 4194304 4196468 140735553332080 139672202240800 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9210] ppid=9195 vsize=27314120 memory=280206887825296 CPUtime=0 cores=0-7
/proc/9198/task/9210/stat : 9210 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738662 27969658880 32361 33554432000 4194304 4196468 140735553332080 139671933805680 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9211] ppid=9195 vsize=27314120 memory=280206887822992 CPUtime=0 cores=0-7
/proc/9198/task/9211/stat : 9211 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738665 27969658880 32361 33554432000 4194304 4196468 140735553332080 139671559297104 139674235951003 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9212] ppid=9195 vsize=27314120 memory=280206887829904 CPUtime=0 cores=0-7
/proc/9198/task/9212/stat : 9212 (java) S 9195 9195 7657 0 -1 1077944384 370 0 0 0 0 0 0 0 20 0 20 0 419738665 27969658880 32361 33554432000 4194304 4196468 140735553332080 139673091418736 139674235943554 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9213] ppid=9195 vsize=27314120 memory=280206887771184 CPUtime=0.02 cores=0-7
/proc/9198/task/9213/stat : 9213 (java) S 9195 9195 7657 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 20 0 419738665 27969658880 32361 33554432000 4194304 4196468 140735553332080 139673090365936 139674235943554 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9214] ppid=9195 vsize=27314120 memory=280206887843728 CPUtime=0.01 cores=0-7
/proc/9198/task/9214/stat : 9214 (java) S 9195 9195 7657 0 -1 1077944384 182 0 0 0 1 0 0 0 20 0 20 0 419738665 27969658880 32361 33554432000 4194304 4196468 140735553332080 139673089313648 139674235943554 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9215] ppid=9195 vsize=27314120 memory=280206887850608 CPUtime=0.06 cores=0-7
/proc/9198/task/9215/stat : 9215 (java) S 9195 9195 7657 0 -1 1077944384 511 0 0 0 6 0 0 0 20 0 20 0 419738665 27969658880 32361 33554432000 4194304 4196468 140735553332080 139673088260848 139674235943554 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9216] ppid=9195 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9216/stat : 9216 (java) S 9195 9195 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419738665 27969658880 32361 33554432000 4194304 4196468 140735553332080 139671061391712 139674235942613 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9217] ppid=9195 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9198/task/9217/stat : 9217 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738665 27969658880 32361 33554432000 4194304 4196468 140735553332080 139673087207728 139674235943554 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130836 KiB

[startup+0.700947 s]
/proc/loadavg: 8.43 7.67 7.47 2/210 9217
/proc/meminfo: memFree=31258280/32770624 swapFree=66937080/67108860
[pid=9195] ppid=9192 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/9195/stat : 9195 (scop.sh) S 9192 9195 7657 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419738657 115843072 348 33554432000 4194304 5098028 140730987917072 140730987914328 140567338201724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13225984 140730987918117 140730987918444 140730987918444 140730987921357 0
/proc/9195/statm: 28282 348 296 221 0 87 0
[pid=9198] ppid=9195 vsize=27322440 memory=165808 CPUtime=0.99 cores=0-7
/proc/9198/stat : 9198 (java) S 9195 9195 7657 0 -1 1077944320 20027 0 0 0 92 7 0 0 20 0 20 0 419738658 27978178560 41452 33554432000 4194304 4196468 140735553332080 140735553314624 139674235932407 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
/proc/9198/statm: 6830610 41452 3187 1 0 6791959 0
[pid=9198/tid=9199] ppid=9195 vsize=27322440 memory=0 CPUtime=0.68 cores=0-7
/proc/9198/task/9199/stat : 9199 (java) R 9195 9195 7657 0 -1 4202560 16919 0 0 0 62 6 0 0 20 0 20 0 419738658 27978178560 41452 33554432000 4194304 4196468 140735553332080 139674207769968 139674220012894 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9200] ppid=9195 vsize=27322440 memory=2353 CPUtime=0 cores=0-7
/proc/9198/task/9200/stat : 9200 (java) S 9195 9195 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419738660 27978178560 41452 33554432000 4194304 4196468 140735553332080 139674240174480 139674235942613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9201] ppid=9195 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/9198/task/9201/stat : 9201 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738660 27978178560 41452 33554432000 4194304 4196468 140735553332080 139674023569680 139674235942613 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0
[pid=9198/tid=9202] ppid=9195 vsize=27322440 memory=784 CPUtime=0 cores=0-7
/proc/9198/task/9202/stat : 9202 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419738660 27978178560 41452 33554432000 4194304 4196468 140735553332080 139674022517392 139674235942613 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18538496 140735553340140 140735553340566 140735553340566 140735553343439 0

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

/proc/9218/task/9223/stat : 9223 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419739295 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122963733520 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9224] ppid=9195 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9218/task/9224/stat : 9224 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419739295 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122962680208 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9225] ppid=9195 vsize=8414124 memory=280206888907200 CPUtime=0 cores=0-7
/proc/9218/task/9225/stat : 9225 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419739295 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122961627408 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9226] ppid=9195 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/9218/task/9226/stat : 9226 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419739295 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122960575120 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9227] ppid=9195 vsize=8414124 memory=8514701219242608547 CPUtime=0 cores=0-7
/proc/9218/task/9227/stat : 9227 (java) S 9195 9195 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419739295 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122959522320 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9228] ppid=9195 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9218/task/9228/stat : 9228 (java) S 9195 9195 7657 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419739296 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122910251632 140123481197186 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9229] ppid=9195 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9218/task/9229/stat : 9229 (java) S 9195 9195 7657 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419739297 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122100065568 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9230] ppid=9195 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9218/task/9230/stat : 9230 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419739297 8616062976 30417 33554432000 4194304 4196468 140724183215136 140121831630448 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9231] ppid=9195 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9218/task/9231/stat : 9231 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419739299 8616062976 30417 33554432000 4194304 4196468 140724183215136 140121457121872 140123481204635 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9232] ppid=9195 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/9218/task/9232/stat : 9232 (java) S 9195 9195 7657 0 -1 1077944384 430 0 0 0 6 0 0 0 20 0 24 0 419739301 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122909198448 140123481197186 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9233] ppid=9195 vsize=8414124 memory=280206888939104 CPUtime=0.14 cores=0-7
/proc/9218/task/9233/stat : 9233 (java) S 9195 9195 7657 0 -1 1077944384 1018 0 0 0 14 0 0 0 20 0 24 0 419739301 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122908145648 140123481197186 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9234] ppid=9195 vsize=8414124 memory=288230574492221466 CPUtime=0.04 cores=0-7
/proc/9218/task/9234/stat : 9234 (java) S 9195 9195 7657 0 -1 1077944384 161 0 0 0 4 0 0 0 20 0 24 0 419739301 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122907093360 140123481197186 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9235] ppid=9195 vsize=8414124 memory=288230621803970871 CPUtime=0.21 cores=0-7
/proc/9218/task/9235/stat : 9235 (java) S 9195 9195 7657 0 -1 1077944384 516 0 0 0 21 0 0 0 20 0 24 0 419739301 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122569828592 140123481197186 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9236] ppid=9195 vsize=8414124 memory=15825482151102897 CPUtime=0 cores=0-7
/proc/9218/task/9236/stat : 9236 (java) S 9195 9195 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419739301 8616062976 30417 33554432000 4194304 4196468 140724183215136 140120959216480 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9237] ppid=9195 vsize=8414124 memory=1668 CPUtime=0.01 cores=0-7
/proc/9218/task/9237/stat : 9237 (java) S 9195 9195 7657 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 419739301 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122568776496 140123481197186 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9239] ppid=9195 vsize=8414124 memory=904 CPUtime=0 cores=0-7
/proc/9218/task/9239/stat : 9239 (java) S 9195 9195 7657 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419739369 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122561300288 140123481210649 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9241] ppid=9195 vsize=8414124 memory=1444 CPUtime=0 cores=0-7
/proc/9218/task/9241/stat : 9241 (java) S 9195 9195 7657 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419739369 8616062976 30417 33554432000 4194304 4196468 140724183215136 140120288116112 140123481207965 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9242] ppid=9195 vsize=8414124 memory=1976 CPUtime=0 cores=0-7
/proc/9218/task/9242/stat : 9242 (java) S 9195 9195 7657 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419739369 8616062976 30417 33554432000 4194304 4196468 140724183215136 140120556551440 140123481207965 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9243] ppid=9195 vsize=8414124 memory=2436 CPUtime=0 cores=0-7
/proc/9218/task/9243/stat : 9243 (java) S 9195 9195 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419739371 8616062976 30417 33554432000 4194304 4196468 140724183215136 140120019688752 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
Current children cumulated CPU time: 201.54 s
Current children cumulated vsize: 9279996 KiB
Current children cumulated memory: 417152 KiB

[startup+31.2012 s]
/proc/loadavg: 8.11 7.65 7.48 3/216 9252
/proc/meminfo: memFree=30994612/32770624 swapFree=66937080/67108860
[pid=9195] ppid=9192 vsize=113128 memory=1472 CPUtime=16.34 cores=0-7
/proc/9195/stat : 9195 (scop.sh) S 9192 9195 7657 0 -1 4202496 581 37901 0 0 0 0 1589 45 20 0 1 0 419738657 115843072 368 33554432000 4194304 5098028 140730987917072 140730987913816 140567338201724 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13225984 140730987918117 140730987918444 140730987918444 140730987921357 0
/proc/9195/statm: 28282 368 311 221 0 87 0
[pid=9218] ppid=9195 vsize=8414124 memory=121668 CPUtime=1.26 cores=0-7
/proc/9218/stat : 9218 (java) S 9195 9195 7657 0 -1 1077944320 20936 0 0 0 120 6 0 0 20 0 24 0 419739293 8616062976 30417 33554432000 4194304 4196468 140724183215136 140724183197680 140123481186039 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
/proc/9218/statm: 2103531 30417 3197 1 0 2064875 0
[pid=9238] ppid=9218 vsize=728156 memory=296192 CPUtime=187.22 cores=0-7
/proc/9238/stat : 9238 (manyglucose-4.1) S 9218 9195 7657 0 -1 1077944320 204339 0 0 0 18658 64 0 0 20 0 2 0 419739368 745631744 74048 33554432000 4194304 4454172 140721800024496 140721800022880 140521505251063 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 6627328 140721800029034 140721800029232 140721800029232 140721800032186 0
/proc/9238/statm: 182039 74048 422 64 0 177707 0
[pid=9238/tid=9251] ppid=9218 vsize=728156 memory=1808 CPUtime=23.83 cores=0-7
/proc/9238/task/9251/stat : 9251 (manyglucose-4.1) R 9218 9195 7657 0 -1 4202560 21937 0 0 0 2377 6 0 0 20 0 2 0 419739393 745631744 74048 33554432000 4194304 4454172 140721800024496 140521422228584 4351587 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 6627328 140721800029034 140721800029232 140721800029232 140721800032186 0
[pid=9218/tid=9219] ppid=9195 vsize=8414124 memory=920 CPUtime=0.76 cores=0-7
/proc/9218/task/9219/stat : 9219 (java) S 9195 9195 7657 0 -1 1077944384 17414 0 0 0 71 5 0 0 20 0 24 0 419739293 8616062976 30417 33554432000 4194304 4196468 140724183215136 140123453026208 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9220] ppid=9195 vsize=8414124 memory=4420 CPUtime=0 cores=0-7
/proc/9218/task/9220/stat : 9220 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419739295 8616062976 30417 33554432000 4194304 4196468 140724183215136 140123485428624 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9221] ppid=9195 vsize=8414124 memory=7396 CPUtime=0 cores=0-7
/proc/9218/task/9221/stat : 9221 (java) S 9195 9195 7657 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419739295 8616062976 30417 33554432000 4194304 4196468 140724183215136 140123310070544 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9222] ppid=9195 vsize=8414124 memory=4000 CPUtime=0 cores=0-7
/proc/9218/task/9222/stat : 9222 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419739295 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122964786320 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9223] ppid=9195 vsize=8414124 memory=616 CPUtime=0 cores=0-7
/proc/9218/task/9223/stat : 9223 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419739295 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122963733520 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9224] ppid=9195 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/9218/task/9224/stat : 9224 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419739295 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122962680208 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9225] ppid=9195 vsize=8414124 memory=1624 CPUtime=0 cores=0-7
/proc/9218/task/9225/stat : 9225 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419739295 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122961627408 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9226] ppid=9195 vsize=8414124 memory=1136 CPUtime=0 cores=0-7
/proc/9218/task/9226/stat : 9226 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419739295 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122960575120 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9227] ppid=9195 vsize=8414124 memory=1072 CPUtime=0 cores=0-7
/proc/9218/task/9227/stat : 9227 (java) S 9195 9195 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419739295 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122959522320 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9228] ppid=9195 vsize=8414124 memory=5936 CPUtime=0 cores=0-7
/proc/9218/task/9228/stat : 9228 (java) S 9195 9195 7657 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419739296 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122910251632 140123481197186 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9229] ppid=9195 vsize=8414124 memory=784 CPUtime=0 cores=0-7
/proc/9218/task/9229/stat : 9229 (java) S 9195 9195 7657 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419739297 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122100065568 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9230] ppid=9195 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/9218/task/9230/stat : 9230 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419739297 8616062976 30417 33554432000 4194304 4196468 140724183215136 140121831630448 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9231] ppid=9195 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/9218/task/9231/stat : 9231 (java) S 9195 9195 7657 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419739299 8616062976 30417 33554432000 4194304 4196468 140724183215136 140121457121872 140123481204635 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9232] ppid=9195 vsize=8414124 memory=11272 CPUtime=0.06 cores=0-7
/proc/9218/task/9232/stat : 9232 (java) S 9195 9195 7657 0 -1 1077944384 430 0 0 0 6 0 0 0 20 0 24 0 419739301 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122909198448 140123481197186 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9233] ppid=9195 vsize=8414124 memory=14056 CPUtime=0.14 cores=0-7
/proc/9218/task/9233/stat : 9233 (java) S 9195 9195 7657 0 -1 1077944384 1018 0 0 0 14 0 0 0 20 0 24 0 419739301 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122908145648 140123481197186 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9234] ppid=9195 vsize=8414124 memory=2116 CPUtime=0.04 cores=0-7
/proc/9218/task/9234/stat : 9234 (java) S 9195 9195 7657 0 -1 1077944384 161 0 0 0 4 0 0 0 20 0 24 0 419739301 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122907093360 140123481197186 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9235] ppid=9195 vsize=8414124 memory=1472 CPUtime=0.21 cores=0-7
/proc/9218/task/9235/stat : 9235 (java) S 9195 9195 7657 0 -1 1077944384 516 0 0 0 21 0 0 0 20 0 24 0 419739301 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122569828592 140123481197186 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9236] ppid=9195 vsize=8414124 memory=121668 CPUtime=0 cores=0-7
/proc/9218/task/9236/stat : 9236 (java) S 9195 9195 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419739301 8616062976 30417 33554432000 4194304 4196468 140724183215136 140120959216480 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9237] ppid=9195 vsize=8414124 memory=79388175517745 CPUtime=0.02 cores=0-7
/proc/9218/task/9237/stat : 9237 (java) S 9195 9195 7657 0 -1 1077944384 3 0 0 0 1 1 0 0 20 0 24 0 419739301 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122568776496 140123481197186 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9239] ppid=9195 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/9218/task/9239/stat : 9239 (java) S 9195 9195 7657 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419739369 8616062976 30417 33554432000 4194304 4196468 140724183215136 140122561300288 140123481210649 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9241] ppid=9195 vsize=8414124 memory=1624 CPUtime=0 cores=0-7
/proc/9218/task/9241/stat : 9241 (java) S 9195 9195 7657 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419739369 8616062976 30417 33554432000 4194304 4196468 140724183215136 140120288116112 140123481207965 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9242] ppid=9195 vsize=8414124 memory=1136 CPUtime=0 cores=0-7
/proc/9218/task/9242/stat : 9242 (java) S 9195 9195 7657 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419739369 8616062976 30417 33554432000 4194304 4196468 140724183215136 140120556551440 140123481207965 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9243] ppid=9195 vsize=8414124 memory=1072 CPUtime=0 cores=0-7
/proc/9218/task/9243/stat : 9243 (java) S 9195 9195 7657 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419739371 8616062976 30417 33554432000 4194304 4196468 140724183215136 140120019688752 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
Current children cumulated CPU time: 204.82 s
Current children cumulated vsize: 9255408 KiB
Current children cumulated memory: 419332 KiB

[startup+31.4012 s]
/proc/loadavg: 8.11 7.65 7.48 3/216 9252
/proc/meminfo: memFree=30994612/32770624 swapFree=66937080/67108860
[pid=9195] ppid=9192 vsize=113128 memory=1472 CPUtime=16.34 cores=0-7
/proc/9195/stat : 9195 (scop.sh) S 9192 9195 7657 0 -1 4202496 581 37901 0 0 0 0 1589 45 20 0 1 0 419738657 115843072 368 33554432000 4194304 5098028 140730987917072 140730987913816 140567338201724 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13225984 140730987918117 140730987918444 140730987918444 140730987921357 0
/proc/9195/statm: 28282 368 311 221 0 87 0
[pid=9218] ppid=9195 vsize=8283048 memory=135812 CPUtime=189.02 cores=0-7
/proc/9218/stat : 9218 (java) S 9195 9195 7657 0 -1 1077944320 22832 204359 0 0 168 8 18661 65 20 0 22 0 419739293 8481841152 33953 33554432000 4194304 4196468 140724183215136 140724183197680 140123481186039 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
/proc/9218/statm: 2070762 33953 3233 1 0 2032106 0
[pid=9218/tid=9219] ppid=9195 vsize=8283048 memory=1060 CPUtime=188.13 cores=0-7
/proc/9218/task/9219/stat : 9219 (java) R 9195 9195 7657 0 -1 4202560 17695 204359 0 0 82 5 18661 65 20 0 22 0 419739293 8481841152 33953 33554432000 4194304 4196468 140724183215136 140123453024160 140122986586689 0 4 2 25189581 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9220] ppid=9195 vsize=8283048 memory=14012 CPUtime=187.26 cores=0-7
/proc/9218/task/9220/stat : 9220 (java) S 9195 9195 7657 0 -1 1077944384 1 204359 0 0 0 0 18661 65 20 0 22 0 419739295 8481841152 33953 33554432000 4194304 4196468 140724183215136 140123485428624 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9221] ppid=9195 vsize=8283048 memory=0 CPUtime=187.26 cores=0-7
/proc/9218/task/9221/stat : 9221 (java) S 9195 9195 7657 0 -1 1077944384 2 204359 0 0 0 0 18661 65 20 0 22 0 419739295 8481841152 33953 33554432000 4194304 4196468 140724183215136 140123310070544 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9222] ppid=9195 vsize=8283048 memory=14056 CPUtime=187.26 cores=0-7
/proc/9218/task/9222/stat : 9222 (java) S 9195 9195 7657 0 -1 1077944384 1 204359 0 0 0 0 18661 65 20 0 22 0 419739295 8481841152 33953 33554432000 4194304 4196468 140724183215136 140122964786320 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9223] ppid=9195 vsize=8283048 memory=0 CPUtime=187.26 cores=0-7
/proc/9218/task/9223/stat : 9223 (java) S 9195 9195 7657 0 -1 1077944384 1 204359 0 0 0 0 18661 65 20 0 22 0 419739295 8481841152 33953 33554432000 4194304 4196468 140724183215136 140122963733520 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9224] ppid=9195 vsize=8283048 memory=0 CPUtime=187.26 cores=0-7
/proc/9218/task/9224/stat : 9224 (java) S 9195 9195 7657 0 -1 1077944384 1 204359 0 0 0 0 18661 65 20 0 22 0 419739295 8481841152 33953 33554432000 4194304 4196468 140724183215136 140122962680208 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9225] ppid=9195 vsize=8283048 memory=303148795569635639 CPUtime=187.26 cores=0-7
/proc/9218/task/9225/stat : 9225 (java) S 9195 9195 7657 0 -1 1077944384 1 204359 0 0 0 0 18661 65 20 0 22 0 419739295 8481841152 33953 33554432000 4194304 4196468 140724183215136 140122961627408 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9226] ppid=9195 vsize=8283048 memory=15825482151102897 CPUtime=187.26 cores=0-7
/proc/9218/task/9226/stat : 9226 (java) S 9195 9195 7657 0 -1 1077944384 1 204359 0 0 0 0 18661 65 20 0 22 0 419739295 8481841152 33953 33554432000 4194304 4196468 140724183215136 140122960575120 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9227] ppid=9195 vsize=8283048 memory=0 CPUtime=187.26 cores=0-7
/proc/9218/task/9227/stat : 9227 (java) S 9195 9195 7657 0 -1 1077944384 3 204359 0 0 0 0 18661 65 20 0 22 0 419739295 8481841152 33953 33554432000 4194304 4196468 140724183215136 140122959522320 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9228] ppid=9195 vsize=8283048 memory=8389687274617582386 CPUtime=187.26 cores=0-7
/proc/9218/task/9228/stat : 9228 (java) S 9195 9195 7657 0 -1 1077944384 7 204359 0 0 0 0 18661 65 20 0 22 0 419739296 8481841152 33953 33554432000 4194304 4196468 140724183215136 140122910251632 140123481197186 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9229] ppid=9195 vsize=8283048 memory=0 CPUtime=187.26 cores=0-7
/proc/9218/task/9229/stat : 9229 (java) S 9195 9195 7657 0 -1 1077944384 13 204359 0 0 0 0 18661 65 20 0 22 0 419739297 8481841152 33953 33554432000 4194304 4196468 140724183215136 140122100065568 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9230] ppid=9195 vsize=8283048 memory=42212 CPUtime=187.26 cores=0-7
/proc/9218/task/9230/stat : 9230 (java) S 9195 9195 7657 0 -1 1077944384 1 204359 0 0 0 0 18661 65 20 0 22 0 419739297 8481841152 33953 33554432000 4194304 4196468 140724183215136 140121831630448 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9231] ppid=9195 vsize=8283048 memory=0 CPUtime=187.26 cores=0-7
/proc/9218/task/9231/stat : 9231 (java) S 9195 9195 7657 0 -1 1077944384 1 204359 0 0 0 0 18661 65 20 0 22 0 419739299 8481841152 33953 33554432000 4194304 4196468 140724183215136 140121457121872 140123481204635 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9232] ppid=9195 vsize=8283048 memory=0 CPUtime=187.38 cores=0-7
/proc/9218/task/9232/stat : 9232 (java) S 9195 9195 7657 0 -1 1077944384 501 204359 0 0 12 0 18661 65 20 0 22 0 419739301 8481841152 33953 33554432000 4194304 4196468 140724183215136 140122909198448 140123481197186 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9233] ppid=9195 vsize=8283048 memory=-3395018486312292127 CPUtime=187.46 cores=0-7
/proc/9218/task/9233/stat : 9233 (java) S 9195 9195 7657 0 -1 1077944384 1051 204359 0 0 20 0 18661 65 20 0 22 0 419739301 8481841152 33953 33554432000 4194304 4196468 140724183215136 140122908145648 140123481197186 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9234] ppid=9195 vsize=8283048 memory=6944656592387989600 CPUtime=187.38 cores=0-7
/proc/9218/task/9234/stat : 9234 (java) S 9195 9195 7657 0 -1 1077944384 436 204359 0 0 12 0 18661 65 20 0 22 0 419739301 8481841152 33953 33554432000 4194304 4196468 140724183215136 140122907093360 140123481197186 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9235] ppid=9195 vsize=8283048 memory=280206887689320 CPUtime=187.57 cores=0-7
/proc/9218/task/9235/stat : 9235 (java) S 9195 9195 7657 0 -1 1077944384 1195 204359 0 0 31 0 18661 65 20 0 22 0 419739301 8481841152 33953 33554432000 4194304 4196468 140724183215136 140122569828592 140123481197186 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9236] ppid=9195 vsize=8283048 memory=6944656592387989600 CPUtime=187.26 cores=0-7
/proc/9218/task/9236/stat : 9236 (java) S 9195 9195 7657 0 -1 1077944384 3 204359 0 0 0 0 18661 65 20 0 22 0 419739301 8481841152 33953 33554432000 4194304 4196468 140724183215136 140120959216480 140123481196245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9237] ppid=9195 vsize=8283048 memory=8546823402028195750 CPUtime=187.28 cores=0-7
/proc/9218/task/9237/stat : 9237 (java) S 9195 9195 7657 0 -1 1077944384 3 204359 0 0 1 1 18661 65 20 0 22 0 419739301 8481841152 33953 33554432000 4194304 4196468 140724183215136 140122568776496 140123481197186 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9239] ppid=9195 vsize=8283048 memory=288230574492221466 CPUtime=187.26 cores=0-7
/proc/9218/task/9239/stat : 9239 (java) S 9195 9195 7657 0 -1 1077944384 25 204359 0 0 0 0 18661 65 20 0 22 0 419739369 8481841152 33953 33554432000 4194304 4196468 140724183215136 140122561299472 140123481197186 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
[pid=9218/tid=9243] ppid=9195 vsize=8283048 memory=288230621803970871 CPUtime=187.26 cores=0-7
/proc/9218/task/9243/stat : 9243 (java) S 9195 9195 7657 0 -1 1077944384 8 204359 0 0 0 0 18661 65 20 0 22 0 419739371 8481841152 33953 33554432000 4194304 4196468 140724183215136 140120019690544 140123481197186 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29356032 140724183217144 140724183217302 140724183217302 140724183220175 0
Current children cumulated CPU time: 205.36 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 137284 KiB

Child status: 0
Real time (s): 31.4582
CPU time (s): 205.477
CPU user time (s): 204.256
CPU system time (s): 1.22135
CPU usage (%): 653.176
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1875876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 204.256
system time used= 1.22135
maximum resident set size= 1877904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266879
page faults= 0
swaps= 0
block input operations= 8
block output operations= 4992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25532
involuntary context switches= 1984


# summary of solver processes directly reported to runsolver:
#   pid: 9195
#   total CPU time (s): 205.477
#   total CPU user time (s): 204.256
#   total CPU system time (s): 1.22135

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.301953 second user time and 0.441226 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-14 05:18:28
IDJOB=4392490
IDBENCH=133813
IDSOLVER=2838
FILE ID=node105/4392490-1568434803
RUNJOBID= node105-1568422931-7684
PBS_JOBID= 21702288
Free space on /tmp= 60864 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/QuasiGroups/QuasiGroups-elt-qg3/QuasiGroup-3-12.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392490-1568434803/watcher-4392490-1568434803 -o /tmp/evaluation-result-4392490-1568434803/solver-4392490-1568434803 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568422931-7684 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392490-1568434803.xml

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

MD5SUM BENCH= e29963f3eb1abf29691517033ab1fcf0
RANDOM SEED=494250016

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31397512 kB
MemAvailable:   31859876 kB
Buffers:          181712 kB
Cached:           575148 kB
SwapCached:        67808 kB
Active:           420168 kB
Inactive:         408516 kB
Active(anon):      11000 kB
Inactive(anon):    94012 kB
Active(file):     409168 kB
Inactive(file):   314504 kB
Unevictable:      107148 kB
Mlocked:          107148 kB
SwapTotal:      67108860 kB
SwapFree:       66937080 kB
Dirty:             20472 kB
Writeback:             0 kB
AnonPages:        112276 kB
Mapped:            36600 kB
Shmem:             24728 kB
Slab:             137164 kB
SReclaimable:     109056 kB
SUnreclaim:        28108 kB
KernelStack:        3344 kB
PageTables:         5740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     488324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 60844 MiB
End job on node105 at 2019-09-14 05:18:59