Trace number 4405350

Some explanations

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

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

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

Solver answer on this benchmark

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

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-17360-serial-file.bin HOME/instance-4405350-1569341644.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 18:13:23 CEST 2019
0.66/0.56	c PID: 17363
0.66/0.56	c IP: 172.20.3.150
0.66/0.56	c HOST: node150.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.10/1.12	c (0,0) Parsing End
2.10/1.13	c (0,0) CSP: 274 int (0 aux), 2 bool (0 aux), 266 ctr, max domain size 144
2.10/1.13	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.10/1.13	c (0,0) Constraint Name Generate Begin
2.10/1.15	c (0,0) Ctr:HOME/instance-4405350-1569341644.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:Mul:Num:Var
2.10/1.15	c (0,0) Constraint Name Generate End
2.10/1.15	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.10/1.15	c (0,0) CSP to CSPinCNF Begin
4.30/1.86	c (1,1) translated 27 (10%) constraints
5.08/2.05	c (1,1) translated 54 (20%) constraints
5.43/2.21	c (1,1) translated 80 (30%) constraints
5.54/2.37	c (1,1) translated 107 (40%) constraints
5.74/2.52	c (1,1) translated 133 (50%) constraints
5.74/2.58	c (2,2) translated 160 (60%) constraints
5.74/2.59	c (2,2) translated 187 (70%) constraints
5.97/2.61	c (2,2) translated 213 (80%) constraints
5.97/2.62	c (2,2) translated 240 (90%) constraints
5.97/2.63	c (2,2) translated 266 (100%) constraints
5.97/2.63	c (2,2) ===========================================
5.97/2.63	c (2,2) Order
5.97/2.63	c (2,2) ===========================================
7.70/3.03	c (2,2) translated 2108 (10%) constraints
8.38/3.21	c (2,2) translated 4215 (20%) constraints
8.60/3.34	c (2,2) translated 6322 (30%) constraints
8.76/3.48	c (2,2) translated 8429 (40%) constraints
8.96/3.61	c (3,3) translated 10536 (50%) constraints
9.06/3.74	c (3,3) translated 12644 (60%) constraints
9.15/3.87	c (3,3) translated 14751 (70%) constraints
9.26/4.00	c (3,3) translated 16858 (80%) constraints
9.47/4.14	c (3,3) translated 18965 (90%) constraints
9.55/4.27	c (3,3) translated 21072 (100%) constraints
9.55/4.27	c (3,3) CSP to CSPinCNF End
9.55/4.28	c (3,3) CSP: 274 int (0 aux), 1730 bool (1728 aux), 66144 ctr, max domain size 144
9.55/4.28	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.55/4.28	c (3,3) CSPinCNF Propagation Begin
11.73/4.86	c (4,4) 494 values, 6012 unsatisfiable literals, and 9412 valid clauses are removed
11.73/4.86	c (4,4) CSPinCNF Propagation End
11.73/4.86	c (4,4) CSP: 274 int (0 aux), 1730 bool (1728 aux), 56732 ctr, max domain size 142
11.73/4.86	c (4,4) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
11.73/4.86	c (4,4) Simplify CSPinCNF Begin
12.45/5.09	c (4,4) Simplify CSPinCNF End
12.45/5.09	c (4,4) CSP: 274 int (0 aux), 4802 bool (4800 aux), 59804 ctr, max domain size 142
12.45/5.09	c (4,4) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
12.45/5.09	c (4,4) Calculate Precise Domain Begin
12.45/5.09	c (4,4) 0 values are removed by re-calculation
12.45/5.09	c (4,4) Calculate Precise Domain End
12.45/5.09	c (4,4) CSP: 274 int (0 aux), 4802 bool (4800 aux), 59804 ctr, max domain size 142
12.45/5.09	c (4,4) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
12.45/5.09	c (4,4) CSPinCNF to SatSolver Begin
14.42/5.59	c (5,5) 5981 (10 %) CSP clauses are encoded (0 SAT variables, 41078 SAT clauses)
15.22/5.74	c (5,5) 11961 (20 %) CSP clauses are encoded (0 SAT variables, 58628 SAT clauses)
15.22/5.80	c (5,5) 17942 (30 %) CSP clauses are encoded (0 SAT variables, 64609 SAT clauses)
15.42/5.85	c (5,5) 23922 (40 %) CSP clauses are encoded (0 SAT variables, 70589 SAT clauses)
15.52/5.90	c (5,5) 29902 (50 %) CSP clauses are encoded (0 SAT variables, 76569 SAT clauses)
15.52/5.95	c (5,5) 35883 (60 %) CSP clauses are encoded (0 SAT variables, 82550 SAT clauses)
15.52/6.01	c (5,5) 41863 (70 %) CSP clauses are encoded (0 SAT variables, 88530 SAT clauses)
15.64/6.06	c (5,5) 47844 (80 %) CSP clauses are encoded (0 SAT variables, 94511 SAT clauses)
15.74/6.11	c (5,5) 53824 (90 %) CSP clauses are encoded (0 SAT variables, 100491 SAT clauses)
16.32/6.30	c (5,5) 59804 (100 %) CSP clauses are encoded (0 SAT variables, 141374 SAT clauses)
16.32/6.30	c (5,5) CSPinCNF to SatSolver End
16.32/6.30	c (5,5) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
16.32/6.30	c (5,5) 23990 bool, 141472 clause
16.32/6.30	c (5,5) Export Begin
16.76/6.41	c (5,5) Export to HOME/scop-17360-serial-file.bin
16.76/6.41	c (5,5) Export End
16.76/6.41	c (5,5) Export File Size: 0.05 MB
16.76/6.41	c (5,5) 0,0,3,4,4,4,5,STOP-AFTER(DIMACS)
16.76/6.41	c END-Prog: Tue Sep 24 18:13:29 CEST 2019
16.76/6.44	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-17360-serial-file.bin
16.83/6.90	c (0,0) Read Serial File Begin
16.83/6.90	c (0,0) HOME/scop-17360-serial-file.bin
17.72/7.13	c (0,0) Read Serial File End
17.72/7.14	
17.72/7.14	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
17.72/7.14	(Solving Process)
17.72/7.14	
17.72/7.16	c BEGIN-Prog: Tue Sep 24 18:13:30 CEST 2019
17.72/7.16	c PID: 17383
17.72/7.16	c IP: 172.20.3.150
17.72/7.16	c HOST: node150.alineos.net
17.72/7.17	c (0,0) SatSolver.solve Begin
17.72/7.17	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405350-1569341644.xml-scop-17363.cnf
17.72/7.19	c (0,0) c
17.72/7.19	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.72/7.19	c (0,0) c
17.72/7.19	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
17.72/7.19	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
17.72/7.19	c (0,0) c ========================================[ Problem Statistics ]===========================================
17.72/7.19	c (0,0) c |                                                                                                       |
17.99/7.24	c (0,0) c |  Number of variables:         23990                                                                   |
17.99/7.24	c (0,0) c |  Number of clauses:          141472                                                                   |
17.99/7.24	c (0,0) c |  Parse time:                   0.04 s                                                                 |
17.99/7.24	c (0,0) c |                                                                                                       |
18.07/7.35	c (0,0) c |  Simplification time:          0.11 s                                                                 |
18.07/7.35	c (0,0) c |                                                                                                       |
18.07/7.35	c (0,0) c |  Generating clones                                                                                    |
18.07/7.44	c (0,0) c |  all clones generated. Memory =   136.36Mb.                                                           |
18.07/7.44	c (0,0) c ========================================================================================================|
18.07/7.44	c (0,0) c
18.07/7.44	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
18.07/7.44	c (0,0) c
18.07/7.44	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
18.07/7.44	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
18.07/7.44	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
18.07/7.44	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
18.07/7.44	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
18.07/7.44	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
18.07/7.44	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
18.07/7.44	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
18.07/7.44	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
18.07/7.44	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
18.07/7.44	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
18.07/7.44	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
18.07/7.44	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
18.07/7.44	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
18.07/7.44	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
18.07/7.44	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
18.07/7.44	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
18.07/7.44	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
18.07/7.44	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.57/32.01	c (25,0) c
209.57/32.01	c (25,0) c real time : 24.8237 s
209.57/32.01	c (25,0) c cpu time  : 190.84 s
209.57/32.01	c (25,0) c
209.57/32.01	c (25,0) c
209.57/32.01	c (25,0) c
209.57/32.01	c (25,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
209.57/32.01	c (25,0) c
209.57/32.01	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.57/32.01	c (25,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
209.57/32.01	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.57/32.01	c (25,0) c | Conflicts     |          282928 |      34856 |      35588 |      35244 |      35391 |      35761 |      35236 |      35473 |      35379 |
209.57/32.01	c (25,0) c | Decisions     |         1359730 |     164428 |     182322 |     169651 |     171220 |     168185 |     174879 |     165814 |     163231 |
209.57/32.01	c (25,0) c | Propagations  |       416197852 |   51576100 |   52346679 |   52318878 |   51720094 |   52017918 |   52177550 |   52407130 |   51633503 |
209.57/32.01	c (25,0) c | ReduceDBs     |              32 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |          4 |
209.57/32.01	c (25,0) c | SimpDBs       |             380 |         50 |         51 |         49 |         49 |         44 |         49 |         44 |         44 |
209.57/32.01	c (25,0) c | Restarts      |            1430 |        170 |        221 |        195 |        173 |        157 |        195 |        165 |        154 |
209.57/32.01	c (25,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
209.57/32.01	c (25,0) c | PropBinClauses|       715294481 |   88728853 |   89644517 |   89950905 |   88775173 |   89485897 |   89460455 |   90101070 |   89147611 |
209.57/32.01	c (25,0) c | PropPreBlocker|      2865592032 |  356202948 |  357154330 |  360142195 |  356012945 |  360104171 |  356938670 |  361029016 |  358007757 |
209.57/32.01	c (25,0) c | PropNotBlocker|       806249998 |   99758024 |  101314392 |  101137230 |  100646642 |  101223267 |  100662566 |  101187707 |  100320170 |
209.57/32.01	c (25,0) c | LitFullScans  |      5394347880 |  672545454 |  672074779 |  678082606 |  672179612 |  676752009 |  672157362 |  678056107 |  672499951 |
209.57/32.01	c (25,0) c | LitScanFracts |         1852400 |     522080 |      45434 |      76344 |     173550 |     372682 |     133375 |      50924 |     478011 |
209.57/32.01	c (25,0) c | DecisionLevel0|            1900 |        225 |        292 |        254 |        233 |        209 |        257 |        215 |        215 |
209.57/32.01	c (25,0) c | Periods       |             898 |        112 |        112 |        113 |        112 |        112 |        112 |        113 |        112 |
209.57/32.01	c (25,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
209.57/32.01	c (25,0) c | Avg_Trail     |                 |       8620 |       8385 |       8518 |       8480 |       8563 |       8459 |       8533 |       8559 |
209.57/32.01	c (25,0) c | Avg_DL        |                 |         77 |         78 |         78 |         78 |         77 |         78 |         77 |         78 |
209.57/32.01	c (25,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
209.57/32.01	c (25,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
209.57/32.01	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.57/32.01	c (25,0) c | Exported      |           50689 |       6212 |       6426 |       6288 |       6339 |       6413 |       6321 |       6336 |       6354 |
209.57/32.01	c (25,0) c | Imported      |          293665 |      36645 |      36077 |      37081 |      36641 |      36971 |      36533 |      37106 |      36611 |
209.57/32.01	c (25,0) c | Good          |           13434 |       1653 |       1638 |       1723 |       1686 |       1705 |       1645 |       1730 |       1654 |
209.57/32.02	c (25,0) c | Purge         |          280231 |      34992 |      34439 |      35358 |      34955 |      35266 |      34888 |      35376 |      34957 |
209.57/32.02	c (25,0) c | Promoted      |           21631 |       2575 |       2718 |       2701 |       2736 |       2766 |       2640 |       2731 |       2764 |
209.57/32.02	c (25,0) c | Remove_Imp    |           39441 |       5297 |       4750 |       4257 |       5331 |       4854 |       5170 |       4904 |       4878 |
209.57/32.02	c (25,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
209.57/32.02	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.57/32.02	c (25,0) c | Unaries       |                 |         55 |         71 |         59 |         60 |         52 |         62 |         50 |         61 |
209.57/32.02	c (25,0) c | Binaries      |                 |        313 |        329 |        285 |        297 |        309 |        337 |        278 |        332 |
209.57/32.02	c (25,0) c | Glues         |                 |       1075 |       1183 |       1082 |       1101 |       1116 |       1151 |        992 |       1141 |
209.57/32.02	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.57/32.02	c (25,0) c | Orig_Seen     |            68 % |      70784 |      70780 |      70750 |      70968 |      70719 |      70642 |      70822 |      70891 |
209.57/32.02	c (25,0) c | Diff Orig seen|                 |        142 |        138 |        108 |        326 |         77 |      X     |        180 |        249 |
209.57/32.02	c (25,0) c | Hamming       |            19 % |       4011 |       5114 |       4768 |       5068 |       4508 |      X     |       4315 |       4656 |
209.57/32.02	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.57/32.02	c (25,0) c | RunningTime   |                 |   24.0 100%|   24.6 100%|   23.8 100%|   23.8 100%|   23.8 100%|   23.8 100%|   23.9 100%|   24.2 100%|
209.57/32.02	c (25,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%|
209.57/32.02	c (25,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%|
209.57/32.02	c (25,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%|
209.57/32.02	c (25,0) c | SolvingTime   |                 |   24.0     |   24.6     |   23.8     |   23.8     |   23.8     |   23.8     |   23.9     |   24.3     |
209.57/32.02	c (25,0) c | PropagationTim|                 |   21.7  90%|   22.3  91%|   21.5  90%|   21.5  90%|   21.5  90%|   21.5  90%|   21.6  90%|   22.0  91%|
209.57/32.02	c (25,0) c | AnalysisTime  |                 |    1.3   5%|    1.2   5%|    1.3   5%|    1.3   5%|    1.3   6%|    1.3   5%|    1.3   5%|    1.3   5%|
209.57/32.02	c (25,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%|
209.57/32.02	c (25,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%|
209.57/32.02	c (25,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%|
209.57/32.02	c (25,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%|
209.57/32.02	c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.57/32.02	c (25,0) c
209.57/32.02	c (25,0) c
209.57/32.02	c (25,0) c Threads : 8
209.57/32.02	c (25,0) c Winner : 5
209.57/32.02	c (25,0) c Conflicts_0 : 34856
209.57/32.02	c (25,0) c Conflicts_1 : 35588
209.57/32.02	c (25,0) c Conflicts_2 : 35244
209.57/32.02	c (25,0) c Conflicts_3 : 35391
209.57/32.02	c (25,0) c Conflicts_4 : 35761
209.57/32.02	c (25,0) c Conflicts_5 : 35236
209.57/32.02	c (25,0) c Conflicts_6 : 35473
209.57/32.02	c (25,0) c Conflicts_7 : 35379
209.57/32.02	c (25,0) c Conflicts_total : 282928
209.57/32.02	c (25,0) c Conflicts_winner : 35236
209.57/32.02	c (25,0) c Decisions_0 : 164428
209.57/32.02	c (25,0) c Decisions_1 : 182322
209.57/32.02	c (25,0) c Decisions_2 : 169651
209.57/32.02	c (25,0) c Decisions_3 : 171220
209.57/32.02	c (25,0) c Decisions_4 : 168185
209.57/32.02	c (25,0) c Decisions_5 : 174879
209.57/32.02	c (25,0) c Decisions_6 : 165814
209.57/32.02	c (25,0) c Decisions_7 : 163231
209.57/32.02	c (25,0) c Decisions_total : 1359730
209.57/32.02	c (25,0) c Decisions_winner : 174879
209.57/32.02	c (25,0) c Propagations_0 : 51576100
209.57/32.02	c (25,0) c Propagations_1 : 52346679
209.57/32.02	c (25,0) c Propagations_2 : 52318878
209.57/32.02	c (25,0) c Propagations_3 : 51720094
209.57/32.02	c (25,0) c Propagations_4 : 52017918
209.57/32.02	c (25,0) c Propagations_5 : 52177550
209.57/32.02	c (25,0) c Propagations_6 : 52407130
209.57/32.02	c (25,0) c Propagations_7 : 51633503
209.57/32.02	c (25,0) c Propagations_total : 416197852
209.57/32.02	c (25,0) c Propagations_winner : 52177550
209.57/32.02	c (25,0) c ReduceDBs_0 : 4
209.57/32.02	c (25,0) c ReduceDBs_1 : 4
209.57/32.02	c (25,0) c ReduceDBs_2 : 4
209.57/32.02	c (25,0) c ReduceDBs_3 : 4
209.57/32.02	c (25,0) c ReduceDBs_4 : 4
209.57/32.02	c (25,0) c ReduceDBs_5 : 4
209.57/32.02	c (25,0) c ReduceDBs_6 : 4
209.57/32.02	c (25,0) c ReduceDBs_7 : 4
209.57/32.02	c (25,0) c ReduceDBs_total : 32
209.57/32.02	c (25,0) c ReduceDBs_winner : 4
209.57/32.02	c (25,0) c SimpDBs_0 : 50
209.57/32.02	c (25,0) c SimpDBs_1 : 51
209.57/32.02	c (25,0) c SimpDBs_2 : 49
209.57/32.02	c (25,0) c SimpDBs_3 : 49
209.57/32.02	c (25,0) c SimpDBs_4 : 44
209.57/32.02	c (25,0) c SimpDBs_5 : 49
209.57/32.02	c (25,0) c SimpDBs_6 : 44
209.57/32.02	c (25,0) c SimpDBs_7 : 44
209.57/32.02	c (25,0) c SimpDBs_total : 380
209.57/32.02	c (25,0) c SimpDBs_winner : 49
209.57/32.02	c (25,0) c Restarts_0 : 170
209.57/32.02	c (25,0) c Restarts_1 : 221
209.57/32.02	c (25,0) c Restarts_2 : 195
209.57/32.02	c (25,0) c Restarts_3 : 173
209.57/32.02	c (25,0) c Restarts_4 : 157
209.57/32.02	c (25,0) c Restarts_5 : 195
209.57/32.02	c (25,0) c Restarts_6 : 165
209.57/32.02	c (25,0) c Restarts_7 : 154
209.57/32.02	c (25,0) c Restarts_total : 1430
209.57/32.02	c (25,0) c Restarts_winner : 195
209.57/32.02	c (25,0) c ForcedImports_0 : 0
209.57/32.02	c (25,0) c ForcedImports_1 : 0
209.57/32.02	c (25,0) c ForcedImports_2 : 0
209.57/32.02	c (25,0) c ForcedImports_3 : 0
209.57/32.02	c (25,0) c ForcedImports_4 : 0
209.57/32.02	c (25,0) c ForcedImports_5 : 0
209.57/32.02	c (25,0) c ForcedImports_6 : 0
209.57/32.02	c (25,0) c ForcedImports_7 : 0
209.57/32.02	c (25,0) c ForcedImports_total : 0
209.57/32.02	c (25,0) c ForcedImports_winner : 0
209.57/32.02	c (25,0) c PropsBinClauses_0 : 88728853
209.57/32.02	c (25,0) c PropsBinClauses_1 : 89644517
209.57/32.02	c (25,0) c PropsBinClauses_2 : 89950905
209.57/32.02	c (25,0) c PropsBinClauses_3 : 88775173
209.57/32.02	c (25,0) c PropsBinClauses_4 : 89485897
209.57/32.02	c (25,0) c PropsBinClauses_5 : 89460455
209.57/32.02	c (25,0) c PropsBinClauses_6 : 90101070
209.57/32.02	c (25,0) c PropsBinClauses_7 : 89147611
209.57/32.02	c (25,0) c PropsBinClauses_total : 715294481
209.57/32.02	c (25,0) c PropsBinClauses_winner : 89460455
209.57/32.02	c (25,0) c PropsPreBlocker_0 : 356202948
209.57/32.02	c (25,0) c PropsPreBlocker_1 : 357154330
209.57/32.02	c (25,0) c PropsPreBlocker_2 : 360142195
209.57/32.02	c (25,0) c PropsPreBlocker_3 : 356012945
209.57/32.02	c (25,0) c PropsPreBlocker_4 : 360104171
209.57/32.02	c (25,0) c PropsPreBlocker_5 : 356938670
209.57/32.02	c (25,0) c PropsPreBlocker_6 : 361029016
209.57/32.02	c (25,0) c PropsPreBlocker_7 : 358007757
209.57/32.02	c (25,0) c PropsPreBlocker_total : 2865592032
209.57/32.02	c (25,0) c PropsPreBlocker_winner : 356938670
209.57/32.02	c (25,0) c PropsNotBlocker_0 : 99758024
209.57/32.02	c (25,0) c PropsNotBlocker_1 : 101314392
209.57/32.02	c (25,0) c PropsNotBlocker_2 : 101137230
209.57/32.02	c (25,0) c PropsNotBlocker_3 : 100646642
209.57/32.02	c (25,0) c PropsNotBlocker_4 : 101223267
209.57/32.02	c (25,0) c PropsNotBlocker_5 : 100662566
209.57/32.02	c (25,0) c PropsNotBlocker_6 : 101187707
209.57/32.02	c (25,0) c PropsNotBlocker_7 : 100320170
209.57/32.02	c (25,0) c PropsNotBlocker_total : 806249998
209.57/32.02	c (25,0) c PropsNotBlocker_winner : 100662566
209.57/32.02	c (25,0) c PropsLitFullScans_0 : 672545454
209.57/32.02	c (25,0) c PropsLitFullScans_1 : 672074779
209.57/32.02	c (25,0) c PropsLitFullScans_2 : 678082606
209.57/32.02	c (25,0) c PropsLitFullScans_3 : 672179612
209.57/32.02	c (25,0) c PropsLitFullScans_4 : 676752009
209.57/32.02	c (25,0) c PropsLitFullScans_5 : 672157362
209.57/32.02	c (25,0) c PropsLitFullScans_6 : 678056107
209.57/32.02	c (25,0) c PropsLitFullScans_7 : 672499951
209.57/32.02	c (25,0) c PropsLitFullScans_total : 5394347880
209.57/32.02	c (25,0) c PropsLitFullScans_winner : 672157362
209.57/32.02	c (25,0) c LitScanFractions_0 : 522080
209.57/32.02	c (25,0) c LitScanFractions_1 : 45434
209.57/32.02	c (25,0) c LitScanFractions_2 : 76344
209.57/32.02	c (25,0) c LitScanFractions_3 : 173550
209.57/32.02	c (25,0) c LitScanFractions_4 : 372682
209.57/32.02	c (25,0) c LitScanFractions_5 : 133375
209.57/32.02	c (25,0) c LitScanFractions_6 : 50924
209.57/32.02	c (25,0) c LitScanFractions_7 : 478011
209.57/32.02	c (25,0) c LitScanFractions_total : 1852400
209.57/32.02	c (25,0) c LitScanFractions_winner : 133375
209.57/32.02	c (25,0) c DecisionLevel0_0 : 225
209.57/32.02	c (25,0) c DecisionLevel0_1 : 292
209.57/32.02	c (25,0) c DecisionLevel0_2 : 254
209.57/32.02	c (25,0) c DecisionLevel0_3 : 233
209.57/32.02	c (25,0) c DecisionLevel0_4 : 209
209.57/32.02	c (25,0) c DecisionLevel0_5 : 257
209.57/32.02	c (25,0) c DecisionLevel0_6 : 215
209.57/32.02	c (25,0) c DecisionLevel0_7 : 215
209.57/32.02	c (25,0) c DecisionLevel0_total : 1900
209.57/32.02	c (25,0) c DecisionLevel0_winner : 257
209.57/32.02	c (25,0) c Periods_0 : 112
209.57/32.02	c (25,0) c Periods_1 : 112
209.57/32.02	c (25,0) c Periods_2 : 113
209.57/32.02	c (25,0) c Periods_3 : 112
209.57/32.02	c (25,0) c Periods_4 : 112
209.57/32.02	c (25,0) c Periods_5 : 112
209.57/32.02	c (25,0) c Periods_6 : 113
209.57/32.02	c (25,0) c Periods_7 : 112
209.57/32.02	c (25,0) c Periods_total : 898
209.57/32.02	c (25,0) c Periods_winner : 112
209.57/32.02	c (25,0) c Margin_0 : 20
209.57/32.02	c (25,0) c Margin_1 : 20
209.57/32.02	c (25,0) c Margin_2 : 20
209.57/32.02	c (25,0) c Margin_3 : 20
209.57/32.02	c (25,0) c Margin_4 : 20
209.57/32.02	c (25,0) c Margin_5 : 20
209.57/32.02	c (25,0) c Margin_6 : 20
209.57/32.02	c (25,0) c Margin_7 : 20
209.57/32.02	c (25,0) c Margin_total : 160
209.57/32.02	c (25,0) c Margin_winner : 20
209.57/32.02	c (25,0) c Exported_0 : 6212
209.57/32.02	c (25,0) c Exported_1 : 6426
209.57/32.02	c (25,0) c Exported_2 : 6288
209.57/32.02	c (25,0) c Exported_3 : 6339
209.57/32.02	c (25,0) c Exported_4 : 6413
209.57/32.02	c (25,0) c Exported_5 : 6321
209.57/32.02	c (25,0) c Exported_6 : 6336
209.57/32.02	c (25,0) c Exported_7 : 6354
209.57/32.02	c (25,0) c Exported_total : 50689
209.57/32.02	c (25,0) c Exported_winner : 6321
209.57/32.02	c (25,0) c Imported_0 : 36645
209.57/32.02	c (25,0) c Imported_1 : 36077
209.57/32.02	c (25,0) c Imported_2 : 37081
209.57/32.02	c (25,0) c Imported_3 : 36641
209.57/32.02	c (25,0) c Imported_4 : 36971
209.57/32.02	c (25,0) c Imported_5 : 36533
209.57/32.02	c (25,0) c Imported_6 : 37106
209.57/32.02	c (25,0) c Imported_7 : 36611
209.57/32.02	c (25,0) c Imported_total : 293665
209.57/32.02	c (25,0) c Imported_winner : 36533
209.57/32.02	c (25,0) c Good_0 : 1653
209.57/32.02	c (25,0) c Good_1 : 1638
209.57/32.02	c (25,0) c Good_2 : 1723
209.57/32.02	c (25,0) c Good_3 : 1686
209.57/32.02	c (25,0) c Good_4 : 1705
209.57/32.02	c (25,0) c Good_5 : 1645
209.57/32.02	c (25,0) c Good_6 : 1730
209.57/32.02	c (25,0) c Good_7 : 1654
209.57/32.02	c (25,0) c Good_total : 13434
209.57/32.02	c (25,0) c Good_winner : 1645
209.57/32.02	c (25,0) c Purge_0 : 34992
209.57/32.02	c (25,0) c Purge_1 : 34439
209.57/32.02	c (25,0) c Purge_2 : 35358
209.57/32.02	c (25,0) c Purge_3 : 34955
209.57/32.02	c (25,0) c Purge_4 : 35266
209.57/32.02	c (25,0) c Purge_5 : 34888
209.57/32.02	c (25,0) c Purge_6 : 35376
209.57/32.02	c (25,0) c Purge_7 : 34957
209.57/32.02	c (25,0) c Purge_total : 280231
209.57/32.02	c (25,0) c Purge_winner : 34888
209.57/32.02	c (25,0) c Promoted_0 : 2575
209.57/32.02	c (25,0) c Promoted_1 : 2718
209.57/32.02	c (25,0) c Promoted_2 : 2701
209.57/32.02	c (25,0) c Promoted_3 : 2736
209.57/32.02	c (25,0) c Promoted_4 : 2766
209.57/32.02	c (25,0) c Promoted_5 : 2640
209.57/32.02	c (25,0) c Promoted_6 : 2731
209.57/32.02	c (25,0) c Promoted_7 : 2764
209.57/32.02	c (25,0) c Promoted_total : 21631
209.57/32.02	c (25,0) c Promoted_winner : 2640
209.57/32.02	c (25,0) c Remove_Imp_0 : 5297
209.57/32.02	c (25,0) c Remove_Imp_1 : 4750
209.57/32.02	c (25,0) c Remove_Imp_2 : 4257
209.57/32.02	c (25,0) c Remove_Imp_3 : 5331
209.57/32.02	c (25,0) c Remove_Imp_4 : 4854
209.57/32.02	c (25,0) c Remove_Imp_5 : 5170
209.57/32.02	c (25,0) c Remove_Imp_6 : 4904
209.57/32.02	c (25,0) c Remove_Imp_7 : 4878
209.57/32.02	c (25,0) c Remove_Imp_total : 39441
209.57/32.02	c (25,0) c Remove_Imp_winner : 5170
209.57/32.02	c (25,0) c Blocked_Reuse_0 : 0
209.57/32.02	c (25,0) c Blocked_Reuse_1 : 0
209.57/32.02	c (25,0) c Blocked_Reuse_2 : 0
209.57/32.02	c (25,0) c Blocked_Reuse_3 : 0
209.57/32.02	c (25,0) c Blocked_Reuse_4 : 0
209.57/32.02	c (25,0) c Blocked_Reuse_5 : 0
209.57/32.02	c (25,0) c Blocked_Reuse_6 : 0
209.57/32.02	c (25,0) c Blocked_Reuse_7 : 0
209.57/32.02	c (25,0) c Blocked_Reuse_total : 0
209.57/32.02	c (25,0) c Blocked_Reuse_winner : 0
209.57/32.02	c (25,0) c Unaries_0 : 55
209.57/32.02	c (25,0) c Unaries_1 : 71
209.57/32.02	c (25,0) c Unaries_2 : 59
209.57/32.02	c (25,0) c Unaries_3 : 60
209.57/32.03	c (25,0) c Unaries_4 : 52
209.57/32.03	c (25,0) c Unaries_5 : 62
209.57/32.03	c (25,0) c Unaries_6 : 50
209.57/32.03	c (25,0) c Unaries_7 : 61
209.57/32.03	c (25,0) c Unaries_total : 470
209.57/32.03	c (25,0) c Unaries_winner : 62
209.57/32.03	c (25,0) c Binaries_0 : 313
209.57/32.03	c (25,0) c Binaries_1 : 329
209.57/32.03	c (25,0) c Binaries_2 : 285
209.57/32.03	c (25,0) c Binaries_3 : 297
209.57/32.03	c (25,0) c Binaries_4 : 309
209.57/32.03	c (25,0) c Binaries_5 : 337
209.57/32.03	c (25,0) c Binaries_6 : 278
209.57/32.03	c (25,0) c Binaries_7 : 332
209.57/32.03	c (25,0) c Binaries_total : 2480
209.57/32.03	c (25,0) c Binaries_winner : 337
209.57/32.03	c (25,0) c Glues_0 : 1075
209.57/32.03	c (25,0) c Glues_1 : 1183
209.57/32.03	c (25,0) c Glues_2 : 1082
209.57/32.03	c (25,0) c Glues_3 : 1101
209.57/32.03	c (25,0) c Glues_4 : 1116
209.57/32.03	c (25,0) c Glues_5 : 1151
209.57/32.03	c (25,0) c Glues_6 : 992
209.57/32.03	c (25,0) c Glues_7 : 1141
209.57/32.03	c (25,0) c Glues_total : 8841
209.57/32.03	c (25,0) c Glues_winner : 1151
209.57/32.03	c (25,0) c RunningTime_0 : 24.022604
209.57/32.03	c (25,0) c RunningTime_1 : 24.550496
209.57/32.03	c (25,0) c RunningTime_2 : 23.833799
209.57/32.03	c (25,0) c RunningTime_3 : 23.778749
209.57/32.03	c (25,0) c RunningTime_4 : 23.795924
209.57/32.03	c (25,0) c RunningTime_5 : 23.770018
209.57/32.03	c (25,0) c RunningTime_6 : 23.868623
209.57/32.03	c (25,0) c RunningTime_7 : 24.235501
209.57/32.03	c (25,0) c RunningTime_total : 191.855712
209.57/32.03	c (25,0) c RunningTime_winner : 23.770018
209.57/32.03	c (25,0) c WaitingTime_0 : 0.000150
209.57/32.03	c (25,0) c WaitingTime_1 : 0.000108
209.57/32.03	c (25,0) c WaitingTime_2 : 0.000147
209.57/32.03	c (25,0) c WaitingTime_3 : 0.000143
209.57/32.03	c (25,0) c WaitingTime_4 : 0.000152
209.57/32.03	c (25,0) c WaitingTime_5 : 0.000145
209.57/32.03	c (25,0) c WaitingTime_6 : 0.000140
209.57/32.03	c (25,0) c WaitingTime_7 : 0.000127
209.57/32.03	c (25,0) c WaitingTime_total : 0.001113
209.57/32.03	c (25,0) c WaitingTime_winner : 0.000145
209.57/32.03	c (25,0) c ExchangingTime_0 : 0.018238
209.57/32.03	c (25,0) c ExchangingTime_1 : 0.015250
209.57/32.03	c (25,0) c ExchangingTime_2 : 0.015040
209.57/32.03	c (25,0) c ExchangingTime_3 : 0.014920
209.57/32.03	c (25,0) c ExchangingTime_4 : 0.016527
209.57/32.03	c (25,0) c ExchangingTime_5 : 0.015442
209.57/32.03	c (25,0) c ExchangingTime_6 : 0.015190
209.57/32.03	c (25,0) c ExchangingTime_7 : 0.014364
209.57/32.03	c (25,0) c ExchangingTime_total : 0.124970
209.57/32.03	c (25,0) c ExchangingTime_winner : 0.015442
209.57/32.03	c (25,0) c PeriodProcTime_0 : 0.000896
209.57/32.03	c (25,0) c PeriodProcTime_1 : 0.001201
209.57/32.03	c (25,0) c PeriodProcTime_2 : 0.000887
209.57/32.03	c (25,0) c PeriodProcTime_3 : 0.001245
209.57/32.03	c (25,0) c PeriodProcTime_4 : 0.000869
209.57/32.03	c (25,0) c PeriodProcTime_5 : 0.001096
209.57/32.03	c (25,0) c PeriodProcTime_6 : 0.001188
209.57/32.03	c (25,0) c PeriodProcTime_7 : 0.000893
209.57/32.03	c (25,0) c PeriodProcTime_total : 0.008275
209.57/32.03	c (25,0) c PeriodProcTime_winner : 0.001096
209.57/32.03	c (25,0) c SolvingTime_0 : 24.041888
209.57/32.03	c (25,0) c SolvingTime_1 : 24.567055
209.57/32.03	c (25,0) c SolvingTime_2 : 23.849874
209.57/32.03	c (25,0) c SolvingTime_3 : 23.795057
209.57/32.03	c (25,0) c SolvingTime_4 : 23.813472
209.57/32.03	c (25,0) c SolvingTime_5 : 23.786700
209.57/32.03	c (25,0) c SolvingTime_6 : 23.885142
209.57/32.03	c (25,0) c SolvingTime_7 : 24.250885
209.57/32.03	c (25,0) c SolvingTime_total : 191.990071
209.57/32.03	c (25,0) c SolvingTime_winner : 23.786700
209.57/32.03	c (25,0) c PropagationTime_0 : 21.717031
209.57/32.03	c (25,0) c PropagationTime_1 : 22.324927
209.57/32.03	c (25,0) c PropagationTime_2 : 21.530084
209.57/32.03	c (25,0) c PropagationTime_3 : 21.458420
209.57/32.03	c (25,0) c PropagationTime_4 : 21.473412
209.57/32.03	c (25,0) c PropagationTime_5 : 21.507281
209.57/32.03	c (25,0) c PropagationTime_6 : 21.571733
209.57/32.03	c (25,0) c PropagationTime_7 : 21.952398
209.57/32.03	c (25,0) c PropagationTime_total : 173.535284
209.57/32.03	c (25,0) c PropagationTime_winner : 21.507281
209.57/32.03	c (25,0) c AnalysisTime_0 : 1.310035
209.57/32.03	c (25,0) c AnalysisTime_1 : 1.227251
209.57/32.03	c (25,0) c AnalysisTime_2 : 1.296519
209.57/32.03	c (25,0) c AnalysisTime_3 : 1.286207
209.57/32.03	c (25,0) c AnalysisTime_4 : 1.341937
209.57/32.03	c (25,0) c AnalysisTime_5 : 1.258918
209.57/32.03	c (25,0) c AnalysisTime_6 : 1.298794
209.57/32.03	c (25,0) c AnalysisTime_7 : 1.308174
209.57/32.03	c (25,0) c AnalysisTime_total : 10.327834
209.57/32.03	c (25,0) c AnalysisTime_winner : 1.258918
209.57/32.03	c (25,0) c ReductionTime_0 : 0.062500
209.57/32.03	c (25,0) c ReductionTime_1 : 0.063344
209.57/32.03	c (25,0) c ReductionTime_2 : 0.061397
209.57/32.03	c (25,0) c ReductionTime_3 : 0.062526
209.57/32.03	c (25,0) c ReductionTime_4 : 0.061955
209.57/32.03	c (25,0) c ReductionTime_5 : 0.061729
209.57/32.03	c (25,0) c ReductionTime_6 : 0.062314
209.57/32.03	c (25,0) c ReductionTime_7 : 0.062483
209.57/32.03	c (25,0) c ReductionTime_total : 0.498247
209.57/32.03	c (25,0) c ReductionTime_winner : 0.061729
209.57/32.03	c (25,0) c SimplifyTime_0 : 0.175348
209.57/32.03	c (25,0) c SimplifyTime_1 : 0.181443
209.57/32.03	c (25,0) c SimplifyTime_2 : 0.180740
209.57/32.03	c (25,0) c SimplifyTime_3 : 0.209378
209.57/32.03	c (25,0) c SimplifyTime_4 : 0.163702
209.57/32.03	c (25,0) c SimplifyTime_5 : 0.175800
209.57/32.03	c (25,0) c SimplifyTime_6 : 0.172988
209.57/32.03	c (25,0) c SimplifyTime_7 : 0.168758
209.57/32.03	c (25,0) c SimplifyTime_total : 1.428158
209.57/32.03	c (25,0) c SimplifyTime_winner : 0.175800
209.57/32.03	c (25,0) c UsedRateTime_0 : 0.000000
209.57/32.03	c (25,0) c UsedRateTime_1 : 0.000000
209.57/32.03	c (25,0) c UsedRateTime_2 : 0.000000
209.57/32.03	c (25,0) c UsedRateTime_3 : 0.000000
209.57/32.03	c (25,0) c UsedRateTime_4 : 0.000000
209.57/32.03	c (25,0) c UsedRateTime_5 : 0.000000
209.57/32.03	c (25,0) c UsedRateTime_6 : 0.000000
209.57/32.03	c (25,0) c UsedRateTime_7 : 0.000000
209.57/32.03	c (25,0) c UsedRateTime_total : 0.000000
209.57/32.03	c (25,0) c UsedRateTime_winner : 0.000000
209.57/32.03	c (25,0) c OverlapRateTime_0 : 0.000000
209.57/32.03	c (25,0) c OverlapRateTime_1 : 0.000000
209.57/32.03	c (25,0) c OverlapRateTime_2 : 0.000000
209.57/32.03	c (25,0) c OverlapRateTime_3 : 0.000000
209.57/32.03	c (25,0) c OverlapRateTime_4 : 0.000000
209.57/32.03	c (25,0) c OverlapRateTime_5 : 0.000000
209.57/32.03	c (25,0) c OverlapRateTime_6 : 0.000000
209.57/32.03	c (25,0) c OverlapRateTime_7 : 0.000000
209.57/32.03	c (25,0) c OverlapRateTime_total : 0.000000
209.57/32.03	c (25,0) c OverlapRateTime_winner : 0.000000
209.57/32.03	c (25,0) c
209.57/32.03	c (25,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
209.57/32.03	c (25,0) c
209.57/32.03	c (25,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.57/32.03	c (25,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
209.57/32.03	c (25,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.57/32.03	c (25,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
209.57/32.03	c (25,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
209.57/32.03	c (25,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
209.57/32.03	c (25,0) c | Initial random_seed   |  791411253 |  247523641 | 1745573455 | 2103713710 | 2042364978 |  437754432 | 1260042291 |  663282844 |
209.57/32.03	c (25,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
209.57/32.03	c (25,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
209.57/32.03	c (25,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
209.57/32.03	c (25,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
209.57/32.03	c (25,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
209.57/32.03	c (25,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
209.57/32.03	c (25,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
209.57/32.03	c (25,0) c | var_decay             |     0.8600 |     0.8700 |     0.8700 |     0.8700 |     0.8700 |     0.8700 |     0.8700 |     0.8700 |
209.57/32.03	c (25,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
209.57/32.03	c (25,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
209.57/32.03	c (25,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
209.57/32.03	c (25,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
209.57/32.03	c (25,0) 
209.57/32.03	c (25,0) s SATISFIABLE
209.57/32.08	c (25,0) SatSolver.solve End
209.57/32.08	c (25,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
209.57/32.08	c (25,0) Show results Begin
210.08/32.22	c (25,0) x[0][0] = 0
210.08/32.22	c (25,0) x[0][1] = 6
210.08/32.22	c (25,0) x[0][2] = 9
210.08/32.22	c (25,0) x[0][3] = 5
210.08/32.22	c (25,0) x[0][4] = 7
210.08/32.22	c (25,0) x[0][5] = 8
210.08/32.22	c (25,0) x[0][6] = 10
210.08/32.22	c (25,0) x[0][7] = 1
210.08/32.22	c (25,0) x[0][8] = 3
210.08/32.22	c (25,0) x[0][9] = 11
210.08/32.22	c (25,0) x[0][10] = 4
210.08/32.22	c (25,0) x[0][11] = 2
210.08/32.22	c (25,0) x[1][0] = 7
210.08/32.22	c (25,0) x[1][1] = 1
210.08/32.22	c (25,0) x[1][2] = 3
210.08/32.22	c (25,0) x[1][3] = 9
210.08/32.22	c (25,0) x[1][4] = 6
210.08/32.22	c (25,0) x[1][5] = 0
210.08/32.22	c (25,0) x[1][6] = 2
210.08/32.22	c (25,0) x[1][7] = 10
210.08/32.22	c (25,0) x[1][8] = 5
210.08/32.22	c (25,0) x[1][9] = 8
210.08/32.22	c (25,0) x[1][10] = 11
210.08/32.22	c (25,0) x[1][11] = 4
210.08/32.22	c (25,0) x[2][0] = 8
210.08/32.22	c (25,0) x[2][1] = 10
210.08/32.22	c (25,0) x[2][2] = 2
210.08/32.22	c (25,0) x[2][3] = 11
210.08/32.22	c (25,0) x[2][4] = 5
210.08/32.22	c (25,0) x[2][5] = 6
210.08/32.22	c (25,0) x[2][6] = 9
210.08/32.22	c (25,0) x[2][7] = 4
210.08/32.22	c (25,0) x[2][8] = 7
210.08/32.22	c (25,0) x[2][9] = 3
210.08/32.22	c (25,0) x[2][10] = 0
210.08/32.22	c (25,0) x[2][11] = 1
210.08/32.22	c (25,0) x[3][0] = 11
210.08/32.22	c (25,0) x[3][1] = 2
210.08/32.22	c (25,0) x[3][2] = 7
210.08/32.22	c (25,0) x[3][3] = 3
210.08/32.22	c (25,0) x[3][4] = 10
210.08/32.22	c (25,0) x[3][5] = 9
210.08/32.22	c (25,0) x[3][6] = 4
210.08/32.22	c (25,0) x[3][7] = 5
210.08/32.22	c (25,0) x[3][8] = 6
210.08/32.22	c (25,0) x[3][9] = 0
210.08/32.22	c (25,0) x[3][10] = 1
210.08/32.22	c (25,0) x[3][11] = 8
210.08/32.22	c (25,0) x[4][0] = 2
210.08/32.22	c (25,0) x[4][1] = 3
210.08/32.22	c (25,0) x[4][2] = 10
210.08/32.22	c (25,0) x[4][3] = 0
210.08/32.22	c (25,0) x[4][4] = 4
210.08/32.22	c (25,0) x[4][5] = 1
210.08/32.22	c (25,0) x[4][6] = 11
210.08/32.22	c (25,0) x[4][7] = 8
210.08/32.22	c (25,0) x[4][8] = 9
210.08/32.22	c (25,0) x[4][9] = 5
210.08/32.22	c (25,0) x[4][10] = 6
210.08/32.22	c (25,0) x[4][11] = 7
210.08/32.22	c (25,0) x[5][0] = 1
210.08/32.22	c (25,0) x[5][1] = 7
210.08/32.22	c (25,0) x[5][2] = 8
210.08/32.22	c (25,0) x[5][3] = 4
210.08/32.22	c (25,0) x[5][4] = 11
210.08/32.22	c (25,0) x[5][5] = 5
210.08/32.22	c (25,0) x[5][6] = 3
210.08/32.22	c (25,0) x[5][7] = 9
210.08/32.22	c (25,0) x[5][8] = 10
210.08/32.22	c (25,0) x[5][9] = 6
210.08/32.22	c (25,0) x[5][10] = 2
210.08/32.22	c (25,0) x[5][11] = 0
210.08/32.22	c (25,0) x[6][0] = 4
210.08/32.22	c (25,0) x[6][1] = 11
210.08/32.22	c (25,0) x[6][2] = 5
210.08/32.22	c (25,0) x[6][3] = 1
210.08/32.22	c (25,0) x[6][4] = 8
210.08/32.22	c (25,0) x[6][5] = 7
210.08/32.22	c (25,0) x[6][6] = 6
210.08/32.22	c (25,0) x[6][7] = 0
210.08/32.22	c (25,0) x[6][8] = 2
210.08/32.22	c (25,0) x[6][9] = 10
210.08/32.22	c (25,0) x[6][10] = 3
210.08/32.22	c (25,0) x[6][11] = 9
210.08/32.22	c (25,0) x[7][0] = 5
210.08/32.22	c (25,0) x[7][1] = 8
210.08/32.23	c (25,0) x[7][2] = 0
210.08/32.23	c (25,0) x[7][3] = 6
210.08/32.23	c (25,0) x[7][4] = 2
210.08/32.23	c (25,0) x[7][5] = 10
210.08/32.23	c (25,0) x[7][6] = 1
210.08/32.23	c (25,0) x[7][7] = 7
210.08/32.23	c (25,0) x[7][8] = 11
210.08/32.23	c (25,0) x[7][9] = 4
210.08/32.23	c (25,0) x[7][10] = 9
210.08/32.23	c (25,0) x[7][11] = 3
210.08/32.23	c (25,0) x[8][0] = 9
210.08/32.23	c (25,0) x[8][1] = 0
210.08/32.23	c (25,0) x[8][2] = 4
210.08/32.23	c (25,0) x[8][3] = 10
210.08/32.23	c (25,0) x[8][4] = 1
210.08/32.23	c (25,0) x[8][5] = 11
210.08/32.23	c (25,0) x[8][6] = 5
210.08/32.23	c (25,0) x[8][7] = 3
210.08/32.23	c (25,0) x[8][8] = 8
210.08/32.23	c (25,0) x[8][9] = 2
210.08/32.23	c (25,0) x[8][10] = 7
210.08/32.23	c (25,0) x[8][11] = 6
210.08/32.23	c (25,0) x[9][0] = 6
210.08/32.23	c (25,0) x[9][1] = 4
210.08/32.23	c (25,0) x[9][2] = 1
210.08/32.23	c (25,0) x[9][3] = 8
210.08/32.23	c (25,0) x[9][4] = 3
210.08/32.23	c (25,0) x[9][5] = 2
210.08/32.23	c (25,0) x[9][6] = 7
210.08/32.23	c (25,0) x[9][7] = 11
210.08/32.23	c (25,0) x[9][8] = 0
210.08/32.23	c (25,0) x[9][9] = 9
210.08/32.23	c (25,0) x[9][10] = 5
210.08/32.23	c (25,0) x[9][11] = 10
210.08/32.23	c (25,0) x[10][0] = 3
210.08/32.23	c (25,0) x[10][1] = 9
210.08/32.23	c (25,0) x[10][2] = 11
210.08/32.23	c (25,0) x[10][3] = 2
210.08/32.23	c (25,0) x[10][4] = 0
210.08/32.23	c (25,0) x[10][5] = 4
210.08/32.23	c (25,0) x[10][6] = 8
210.08/32.23	c (25,0) x[10][7] = 6
210.08/32.23	c (25,0) x[10][8] = 1
210.08/32.23	c (25,0) x[10][9] = 7
210.08/32.23	c (25,0) x[10][10] = 10
210.08/32.23	c (25,0) x[10][11] = 5
210.08/32.23	c (25,0) x[11][0] = 10
210.08/32.23	c (25,0) x[11][1] = 5
210.08/32.23	c (25,0) x[11][2] = 6
210.08/32.23	c (25,0) x[11][3] = 7
210.08/32.23	c (25,0) x[11][4] = 9
210.08/32.23	c (25,0) x[11][5] = 3
210.08/32.23	c (25,0) x[11][6] = 0
210.08/32.23	c (25,0) x[11][7] = 2
210.08/32.23	c (25,0) x[11][8] = 4
210.08/32.23	c (25,0) x[11][9] = 1
210.08/32.23	c (25,0) x[11][10] = 8
210.08/32.23	c (25,0) x[11][11] = 11
210.08/32.23	c (25,0) y[0][1] = 79
210.08/32.23	c (25,0) y[0][2] = 116
210.08/32.23	c (25,0) y[0][3] = 71
210.08/32.23	c (25,0) y[0][4] = 86
210.08/32.23	c (25,0) y[0][5] = 97
210.08/32.23	c (25,0) y[0][6] = 124
210.08/32.23	c (25,0) y[0][7] = 17
210.08/32.23	c (25,0) y[0][8] = 45
210.08/32.23	c (25,0) y[0][9] = 138
210.08/32.23	c (25,0) y[0][10] = 51
210.08/32.23	c (25,0) y[0][11] = 34
210.08/32.23	c (25,0) y[1][0] = 90
210.08/32.23	c (25,0) y[1][2] = 46
210.08/32.23	c (25,0) y[1][3] = 110
210.08/32.23	c (25,0) y[1][4] = 75
210.08/32.23	c (25,0) y[1][5] = 7
210.08/32.23	c (25,0) y[1][6] = 35
210.08/32.23	c (25,0) y[1][7] = 128
210.08/32.23	c (25,0) y[1][8] = 60
210.08/32.23	c (25,0) y[1][9] = 100
210.08/32.23	c (25,0) y[1][10] = 141
210.08/32.23	c (25,0) y[1][11] = 53
210.08/32.23	c (25,0) y[2][0] = 105
210.08/32.23	c (25,0) y[2][1] = 123
210.08/32.23	c (25,0) y[2][3] = 139
210.08/32.23	c (25,0) y[2][4] = 70
210.08/32.23	c (25,0) y[2][5] = 80
210.08/32.23	c (25,0) y[2][6] = 113
210.08/32.23	c (25,0) y[2][7] = 48
210.08/32.23	c (25,0) y[2][8] = 88
210.08/32.23	c (25,0) y[2][9] = 37
210.08/32.23	c (25,0) y[2][10] = 11
210.08/32.23	c (25,0) y[2][11] = 18
210.08/32.23	c (25,0) y[3][0] = 137
210.08/32.23	c (25,0) y[3][1] = 33
210.08/32.23	c (25,0) y[3][2] = 95
210.08/32.23	c (25,0) y[3][4] = 120
210.08/32.23	c (25,0) y[3][5] = 112
210.08/32.23	c (25,0) y[3][6] = 49
210.08/32.23	c (25,0) y[3][7] = 66
210.08/32.23	c (25,0) y[3][8] = 82
210.08/32.23	c (25,0) y[3][9] = 8
210.08/32.23	c (25,0) y[3][10] = 14
210.08/32.23	c (25,0) y[3][11] = 103
210.08/32.23	c (25,0) y[4][0] = 31
210.08/32.23	c (25,0) y[4][1] = 42
210.08/32.23	c (25,0) y[4][2] = 125
210.08/32.23	c (25,0) y[4][3] = 10
210.08/32.23	c (25,0) y[4][5] = 23
210.08/32.23	c (25,0) y[4][6] = 140
210.08/32.23	c (25,0) y[4][7] = 98
210.08/32.23	c (25,0) y[4][8] = 109
210.08/32.23	c (25,0) y[4][9] = 63
210.08/32.23	c (25,0) y[4][10] = 72
210.08/32.23	c (25,0) y[4][11] = 93
210.08/32.23	c (25,0) y[5][0] = 20
210.08/32.23	c (25,0) y[5][1] = 84
210.08/32.23	c (25,0) y[5][2] = 102
210.08/32.23	c (25,0) y[5][3] = 57
210.08/32.23	c (25,0) y[5][4] = 133
210.08/32.23	c (25,0) y[5][6] = 43
210.08/32.23	c (25,0) y[5][7] = 118
210.08/32.23	c (25,0) y[5][8] = 131
210.08/32.23	c (25,0) y[5][9] = 74
210.08/32.23	c (25,0) y[5][10] = 28
210.08/32.23	c (25,0) y[5][11] = 3
210.08/32.23	c (25,0) y[6][0] = 58
210.08/32.23	c (25,0) y[6][1] = 134
210.08/32.23	c (25,0) y[6][2] = 69
210.08/32.23	c (25,0) y[6][3] = 16
210.08/32.23	c (25,0) y[6][4] = 107
210.08/32.23	c (25,0) y[6][5] = 87
210.08/32.23	c (25,0) y[6][7] = 1
210.08/32.23	c (25,0) y[6][8] = 29
210.08/32.23	c (25,0) y[6][9] = 127
210.08/32.23	c (25,0) y[6][10] = 44
210.08/32.23	c (25,0) y[6][11] = 108
210.08/32.23	c (25,0) y[7][0] = 61
210.08/32.23	c (25,0) y[7][1] = 106
210.08/32.23	c (25,0) y[7][2] = 4
210.08/32.23	c (25,0) y[7][3] = 77
210.08/32.23	c (25,0) y[7][4] = 32
210.08/32.23	c (25,0) y[7][5] = 129
210.08/32.23	c (25,0) y[7][6] = 12
210.08/32.23	c (25,0) y[7][8] = 135
210.08/32.23	c (25,0) y[7][9] = 59
210.08/32.23	c (25,0) y[7][10] = 114
210.08/32.23	c (25,0) y[7][11] = 38
210.08/32.23	c (25,0) y[8][0] = 111
210.08/32.23	c (25,0) y[8][1] = 5
210.08/32.23	c (25,0) y[8][2] = 55
210.08/32.23	c (25,0) y[8][3] = 126
210.08/32.23	c (25,0) y[8][4] = 21
210.08/32.23	c (25,0) y[8][5] = 142
210.08/32.23	c (25,0) y[8][6] = 62
210.08/32.23	c (25,0) y[8][7] = 47
210.08/32.23	c (25,0) y[8][9] = 24
210.08/32.23	c (25,0) y[8][10] = 85
210.08/32.23	c (25,0) y[8][11] = 76
210.08/32.23	c (25,0) y[9][0] = 83
210.08/32.23	c (25,0) y[9][1] = 56
210.08/32.23	c (25,0) y[9][2] = 15
210.08/32.23	c (25,0) y[9][3] = 96
210.08/32.23	c (25,0) y[9][4] = 41
210.08/32.23	c (25,0) y[9][5] = 30
210.08/32.23	c (25,0) y[9][6] = 94
210.08/32.23	c (25,0) y[9][7] = 136
210.08/32.23	c (25,0) y[9][8] = 2
210.08/32.23	c (25,0) y[9][10] = 67
210.08/32.23	c (25,0) y[9][11] = 121
210.08/32.23	c (25,0) y[10][0] = 40
210.08/32.23	c (25,0) y[10][1] = 119
210.08/32.23	c (25,0) y[10][2] = 132
210.08/32.23	c (25,0) y[10][3] = 25
210.08/32.23	c (25,0) y[10][4] = 6
210.08/32.23	c (25,0) y[10][5] = 50
210.08/32.23	c (25,0) y[10][6] = 99
210.08/32.23	c (25,0) y[10][7] = 81
210.08/32.23	c (25,0) y[10][8] = 19
210.08/32.23	c (25,0) y[10][9] = 89
210.08/32.23	c (25,0) y[10][11] = 68
210.08/32.23	c (25,0) y[11][0] = 122
210.08/32.23	c (25,0) y[11][1] = 64
210.08/32.23	c (25,0) y[11][2] = 73
210.08/32.23	c (25,0) y[11][3] = 92
210.08/32.23	c (25,0) y[11][4] = 115
210.08/32.23	c (25,0) y[11][5] = 36
210.08/32.23	c (25,0) y[11][6] = 9
210.08/32.23	c (25,0) y[11][7] = 27
210.08/32.23	c (25,0) y[11][8] = 54
210.08/32.23	c (25,0) y[11][9] = 22
210.08/32.23	c (25,0) y[11][10] = 101
210.08/32.23	s SATISFIABLE
210.08/32.24	v <instantiation>
210.08/32.24	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>
210.08/32.24	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>
210.08/32.24	v </instantiation>
210.08/32.24	c (25,0) Show results End
210.08/32.24	c (25,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
210.08/32.24	c (25,0) 25,25,STOP-AFTER(ALL)
210.08/32.24	c END-Prog: Tue Sep 24 18:13:55 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 (13536 MiB free)
  memory of node 1: 16384 MiB (14317 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100113 s]*
/proc/loadavg: 3.55 3.74 3.34 3/212 17382
/proc/meminfo: memFree=28425804/32770624 swapFree=67023908/67108860
[pid=17360] ppid=17357 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/17360/stat : 17360 (scop.sh) S 17357 17360 16140 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510436846 115843072 348 33554432000 4194304 5098028 140725308480416 140725308477672 139786854875772 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8249344 140725308486397 140725308486744 140725308486744 140725308489673 0
/proc/17360/statm: 28282 348 296 221 0 87 0
[pid=17363] ppid=17360 vsize=27314120 memory=107400 CPUtime=0.11 cores=0-7
/proc/17363/stat : 17363 (java) S 17360 17360 16140 0 -1 1077944320 6400 0 0 0 9 2 0 0 20 0 20 0 510436846 27969658880 26850 33554432000 4194304 4196468 140722406559808 140722406542352 140611940351735 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
/proc/17363/statm: 6828530 26850 2801 1 0 6790935 0
[pid=17363/tid=17364] ppid=17360 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/17363/task/17364/stat : 17364 (java) R 17360 17360 16140 0 -1 4202560 4523 0 0 0 7 1 0 0 20 0 20 0 510436847 27969658880 26850 33554432000 4194304 4196468 140722406559808 140611912178064 140611925783674 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17365] ppid=17360 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/17363/task/17365/stat : 17365 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436849 27969658880 26850 33554432000 4194304 4196468 140722406559808 140611944594192 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17366] ppid=17360 vsize=27314120 memory=139820624184960 CPUtime=0 cores=0-7
/proc/17363/task/17366/stat : 17366 (java) S 17360 17360 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510436849 27969658880 26850 33554432000 4194304 4196468 140722406559808 140611727989648 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17367] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17367/stat : 17367 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436849 27969658880 26850 33554432000 4194304 4196468 140722406559808 140611361430544 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17368] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17368/stat : 17368 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436849 27969658880 26850 33554432000 4194304 4196468 140722406559808 140611360378000 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17369] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17369/stat : 17369 (java) S 17360 17360 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510436849 27969658880 26850 33554432000 4194304 4196468 140722406559808 140611359324432 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17370] ppid=17360 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17363/task/17370/stat : 17370 (java) S 17360 17360 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510436849 27969658880 26850 33554432000 4194304 4196468 140722406559808 140611358271888 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17371] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17371/stat : 17371 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436849 27969658880 26850 33554432000 4194304 4196468 140722406559808 140611357219344 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17372] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17372/stat : 17372 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436849 27969658880 26850 33554432000 4194304 4196468 140722406559808 140611356166800 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17373] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17373/stat : 17373 (java) S 17360 17360 16140 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 510436850 27969658880 26850 33554432000 4194304 4196468 140722406559808 140610864368112 140611940362882 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17374] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17374/stat : 17374 (java) S 17360 17360 16140 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510436851 27969658880 26850 33554432000 4194304 4196468 140722406559808 140609914398112 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17375] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17375/stat : 17375 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436851 27969658880 26850 33554432000 4194304 4196468 140722406559808 140609645962736 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17376] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17376/stat : 17376 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436854 27969658880 26850 33554432000 4194304 4196468 140722406559808 140609271454416 140611940370331 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17377] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17377/stat : 17377 (java) S 17360 17360 16140 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 510436854 27969658880 26850 33554432000 4194304 4196468 140722406559808 140610863314928 140611940362882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17378] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17378/stat : 17378 (java) S 17360 17360 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510436854 27969658880 26850 33554432000 4194304 4196468 140722406559808 140610862262384 140611940362882 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17379] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17379/stat : 17379 (java) S 17360 17360 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510436854 27969658880 26850 33554432000 4194304 4196468 140722406559808 140610861209840 140611940362882 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17380] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17380/stat : 17380 (java) S 17360 17360 16140 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 20 0 510436854 27969658880 26850 33554432000 4194304 4196468 140722406559808 140610860157296 140611940362882 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17381] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17381/stat : 17381 (java) S 17360 17360 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510436854 27969658880 26850 33554432000 4194304 4196468 140722406559808 140608773548768 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17382] ppid=17360 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17363/task/17382/stat : 17382 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436854 27969658880 26850 33554432000 4194304 4196468 140722406559808 140610859105200 140611940362882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108792 KiB

[startup+0.210094 s]*
/proc/loadavg: 3.55 3.74 3.34 2/212 17382
/proc/meminfo: memFree=28403720/32770624 swapFree=67023908/67108860
[pid=17360] ppid=17357 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/17360/stat : 17360 (scop.sh) S 17357 17360 16140 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510436846 115843072 348 33554432000 4194304 5098028 140725308480416 140725308477672 139786854875772 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8249344 140725308486397 140725308486744 140725308486744 140725308489673 0
/proc/17360/statm: 28282 348 296 221 0 87 0
[pid=17363] ppid=17360 vsize=27314120 memory=126516 CPUtime=0.25 cores=0-7
/proc/17363/stat : 17363 (java) S 17360 17360 16140 0 -1 1077944320 12019 0 0 0 21 4 0 0 20 0 20 0 510436846 27969658880 31629 33554432000 4194304 4196468 140722406559808 140722406542352 140611940351735 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
/proc/17363/statm: 6828530 31629 2941 1 0 6790935 0
[pid=17363/tid=17364] ppid=17360 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/17363/task/17364/stat : 17364 (java) R 17360 17360 16140 0 -1 4202560 9751 0 0 0 16 3 0 0 20 0 20 0 510436847 27969658880 31629 33554432000 4194304 4196468 140722406559808 140611912166800 140611921905048 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17365] ppid=17360 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/17363/task/17365/stat : 17365 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436849 27969658880 31629 33554432000 4194304 4196468 140722406559808 140611944594192 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17366] ppid=17360 vsize=27314120 memory=288370196775896704 CPUtime=0 cores=0-7
/proc/17363/task/17366/stat : 17366 (java) S 17360 17360 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510436849 27969658880 31629 33554432000 4194304 4196468 140722406559808 140611727989648 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17367] ppid=17360 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17363/task/17367/stat : 17367 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436849 27969658880 31629 33554432000 4194304 4196468 140722406559808 140611361430544 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17368] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17368/stat : 17368 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436849 27969658880 31629 33554432000 4194304 4196468 140722406559808 140611360378000 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17369] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17369/stat : 17369 (java) S 17360 17360 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510436849 27969658880 31629 33554432000 4194304 4196468 140722406559808 140611359324432 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17370] ppid=17360 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17363/task/17370/stat : 17370 (java) S 17360 17360 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510436849 27969658880 31629 33554432000 4194304 4196468 140722406559808 140611358271888 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17371] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17371/stat : 17371 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436849 27969658880 31629 33554432000 4194304 4196468 140722406559808 140611357219344 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17372] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17372/stat : 17372 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436849 27969658880 31629 33554432000 4194304 4196468 140722406559808 140611356166800 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17373] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17373/stat : 17373 (java) S 17360 17360 16140 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 510436850 27969658880 31629 33554432000 4194304 4196468 140722406559808 140610864368112 140611940362882 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17374] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17374/stat : 17374 (java) S 17360 17360 16140 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510436851 27969658880 31629 33554432000 4194304 4196468 140722406559808 140609914398112 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17375] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17375/stat : 17375 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436851 27969658880 31629 33554432000 4194304 4196468 140722406559808 140609645962736 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17376] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17376/stat : 17376 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436854 27969658880 31629 33554432000 4194304 4196468 140722406559808 140609271454416 140611940370331 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17377] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17377/stat : 17377 (java) S 17360 17360 16140 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 510436854 27969658880 31629 33554432000 4194304 4196468 140722406559808 140610863314928 140611940362882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17378] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17378/stat : 17378 (java) S 17360 17360 16140 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 510436854 27969658880 31629 33554432000 4194304 4196468 140722406559808 140610862262384 140611940362882 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17379] ppid=17360 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17363/task/17379/stat : 17379 (java) S 17360 17360 16140 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 20 0 510436854 27969658880 31629 33554432000 4194304 4196468 140722406559808 140610861209840 140611940362882 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17380] ppid=17360 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/17363/task/17380/stat : 17380 (java) S 17360 17360 16140 0 -1 1077944384 438 0 0 0 2 0 0 0 20 0 20 0 510436854 27969658880 31629 33554432000 4194304 4196468 140722406559808 140610860157296 140611940362882 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17381] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17381/stat : 17381 (java) S 17360 17360 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510436854 27969658880 31629 33554432000 4194304 4196468 140722406559808 140608773548768 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17382] ppid=17360 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17363/task/17382/stat : 17382 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436854 27969658880 31629 33554432000 4194304 4196468 140722406559808 140610859105200 140611940362882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127908 KiB

[startup+0.309377 s]*
/proc/loadavg: 3.55 3.74 3.34 2/212 17382
/proc/meminfo: memFree=28402640/32770624 swapFree=67023908/67108860
[pid=17360] ppid=17357 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/17360/stat : 17360 (scop.sh) S 17357 17360 16140 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510436846 115843072 348 33554432000 4194304 5098028 140725308480416 140725308477672 139786854875772 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8249344 140725308486397 140725308486744 140725308486744 140725308489673 0
/proc/17360/statm: 28282 348 296 221 0 87 0
[pid=17363] ppid=17360 vsize=27314120 memory=129856 CPUtime=0.42 cores=0-7
/proc/17363/stat : 17363 (java) S 17360 17360 16140 0 -1 1077944320 12376 0 0 0 38 4 0 0 20 0 20 0 510436846 27969658880 32464 33554432000 4194304 4196468 140722406559808 140722406542352 140611940351735 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
/proc/17363/statm: 6828530 32464 3030 1 0 6790935 0
[pid=17363/tid=17364] ppid=17360 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17363/task/17364/stat : 17364 (java) R 17360 17360 16140 0 -1 4202560 9938 0 0 0 26 3 0 0 20 0 20 0 510436847 27969658880 32464 33554432000 4194304 4196468 140722406559808 140611912154960 140611921916705 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17365] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17365/stat : 17365 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436849 27969658880 32464 33554432000 4194304 4196468 140722406559808 140611944594192 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17366] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17366/stat : 17366 (java) S 17360 17360 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510436849 27969658880 32464 33554432000 4194304 4196468 140722406559808 140611727989648 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17367] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17367/stat : 17367 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436849 27969658880 32464 33554432000 4194304 4196468 140722406559808 140611361430544 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17368] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17368/stat : 17368 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436849 27969658880 32464 33554432000 4194304 4196468 140722406559808 140611360378000 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17369] ppid=17360 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/17363/task/17369/stat : 17369 (java) S 17360 17360 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510436849 27969658880 32464 33554432000 4194304 4196468 140722406559808 140611359324432 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17370] ppid=17360 vsize=27314120 memory=139820512932783 CPUtime=0 cores=0-7
/proc/17363/task/17370/stat : 17370 (java) S 17360 17360 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510436849 27969658880 32464 33554432000 4194304 4196468 140722406559808 140611358271888 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17371] ppid=17360 vsize=27314120 memory=139820512935088 CPUtime=0 cores=0-7
/proc/17363/task/17371/stat : 17371 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436849 27969658880 32464 33554432000 4194304 4196468 140722406559808 140611357219344 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17372] ppid=17360 vsize=27314120 memory=139820512937392 CPUtime=0 cores=0-7
/proc/17363/task/17372/stat : 17372 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436849 27969658880 32464 33554432000 4194304 4196468 140722406559808 140611356166800 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17373] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17373/stat : 17373 (java) S 17360 17360 16140 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 510436850 27969658880 32464 33554432000 4194304 4196468 140722406559808 140610864368112 140611940362882 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17374] ppid=17360 vsize=27314120 memory=279641025881744 CPUtime=0 cores=0-7
/proc/17363/task/17374/stat : 17374 (java) S 17360 17360 16140 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510436851 27969658880 32464 33554432000 4194304 4196468 140722406559808 140609914398112 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17375] ppid=17360 vsize=27314120 memory=279641025888656 CPUtime=0 cores=0-7
/proc/17363/task/17375/stat : 17375 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436851 27969658880 32464 33554432000 4194304 4196468 140722406559808 140609645962736 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17376] ppid=17360 vsize=27314120 memory=279641025829936 CPUtime=0 cores=0-7
/proc/17363/task/17376/stat : 17376 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436854 27969658880 32464 33554432000 4194304 4196468 140722406559808 140609271454416 140611940370331 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17377] ppid=17360 vsize=27314120 memory=279641025902480 CPUtime=0 cores=0-7
/proc/17363/task/17377/stat : 17377 (java) S 17360 17360 16140 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 510436854 27969658880 32464 33554432000 4194304 4196468 140722406559808 140610863314928 140611940362882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17378] ppid=17360 vsize=27314120 memory=279641025909392 CPUtime=0.01 cores=0-7
/proc/17363/task/17378/stat : 17378 (java) S 17360 17360 16140 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 20 0 510436854 27969658880 32464 33554432000 4194304 4196468 140722406559808 140610862262384 140611940362882 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17379] ppid=17360 vsize=27314120 memory=279641025907088 CPUtime=0.02 cores=0-7
/proc/17363/task/17379/stat : 17379 (java) R 17360 17360 16140 0 -1 4202560 240 0 0 0 2 0 0 0 20 0 20 0 510436854 27969658880 32464 33554432000 4194304 4196468 140722406559808 140610861209840 140611921874478 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17380] ppid=17360 vsize=27314120 memory=279641025923248 CPUtime=0.07 cores=0-7
/proc/17363/task/17380/stat : 17380 (java) S 17360 17360 16140 0 -1 1077944384 460 0 0 0 7 0 0 0 20 0 20 0 510436854 27969658880 32464 33554432000 4194304 4196468 140722406559808 140610860157296 140611940362882 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17381] ppid=17360 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17381/stat : 17381 (java) S 17360 17360 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510436854 27969658880 32464 33554432000 4194304 4196468 140722406559808 140608773548768 140611940361941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17382] ppid=17360 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17363/task/17382/stat : 17382 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436854 27969658880 32464 33554432000 4194304 4196468 140722406559808 140610859105200 140611940362882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131248 KiB

[startup+0.700886 s]
/proc/loadavg: 3.55 3.74 3.34 3/212 17382
/proc/meminfo: memFree=28381556/32770624 swapFree=67023908/67108860
[pid=17360] ppid=17357 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/17360/stat : 17360 (scop.sh) S 17357 17360 16140 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510436846 115843072 348 33554432000 4194304 5098028 140725308480416 140725308477672 139786854875772 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8249344 140725308486397 140725308486744 140725308486744 140725308489673 0
/proc/17360/statm: 28282 348 296 221 0 87 0
[pid=17363] ppid=17360 vsize=27322440 memory=165652 CPUtime=1 cores=0-7
/proc/17363/stat : 17363 (java) S 17360 17360 16140 0 -1 1077944320 20043 0 0 0 94 6 0 0 20 0 20 0 510436846 27978178560 41413 33554432000 4194304 4196468 140722406559808 140722406542352 140611940351735 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
/proc/17363/statm: 6830610 41413 3170 1 0 6791959 0
[pid=17363/tid=17364] ppid=17360 vsize=27322440 memory=279641026281136 CPUtime=0.68 cores=0-7
/proc/17363/task/17364/stat : 17364 (java) R 17360 17360 16140 0 -1 4202560 17030 0 0 0 63 5 0 0 20 0 20 0 510436847 27978178560 41413 33554432000 4194304 4196468 140722406559808 140611912188384 140611940373661 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17365] ppid=17360 vsize=27322440 memory=139820513141616 CPUtime=0 cores=0-7
/proc/17363/task/17365/stat : 17365 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436849 27978178560 41413 33554432000 4194304 4196468 140722406559808 140611944594192 140611940361941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17366] ppid=17360 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/17363/task/17366/stat : 17366 (java) S 17360 17360 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510436849 27978178560 41413 33554432000 4194304 4196468 140722406559808 140611727989648 140611940361941 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0
[pid=17363/tid=17367] ppid=17360 vsize=27322440 memory=1076 CPUtime=0 cores=0-7
/proc/17363/task/17367/stat : 17367 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510436849 27978178560 41413 33554432000 4194304 4196468 140722406559808 140611361430544 140611940361941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140722406564551 140722406564998 140722406564998 140722406567887 0

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

/proc/17383/task/17388/stat : 17388 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510437491 8616062976 30012 33554432000 4194304 4196468 140736672823024 140557376694928 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17389] ppid=17360 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/17383/task/17389/stat : 17389 (java) S 17360 17360 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510437491 8616062976 30012 33554432000 4194304 4196468 140736672823024 140557375642384 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17390] ppid=17360 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/17383/task/17390/stat : 17390 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510437491 8616062976 30012 33554432000 4194304 4196468 140736672823024 140557374589840 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17391] ppid=17360 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/17383/task/17391/stat : 17391 (java) S 17360 17360 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510437491 8616062976 30012 33554432000 4194304 4196468 140736672823024 140557373537296 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17392] ppid=17360 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/17383/task/17392/stat : 17392 (java) S 17360 17360 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510437491 8616062976 30012 33554432000 4194304 4196468 140736672823024 140557372484752 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17393] ppid=17360 vsize=8414124 memory=4206186544037388384 CPUtime=0 cores=0-7
/proc/17383/task/17393/stat : 17393 (java) S 17360 17360 16140 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 510437493 8616062976 30012 33554432000 4194304 4196468 140736672823024 140556667836400 140557574400642 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17394] ppid=17360 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/17383/task/17394/stat : 17394 (java) S 17360 17360 16140 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510437493 8616062976 30012 33554432000 4194304 4196468 140736672823024 140556025979808 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17395] ppid=17360 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/17383/task/17395/stat : 17395 (java) S 17360 17360 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510437493 8616062976 30012 33554432000 4194304 4196468 140736672823024 140555891758064 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17396] ppid=17360 vsize=8414124 memory=7811332378137542764 CPUtime=0 cores=0-7
/proc/17383/task/17396/stat : 17396 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510437496 8616062976 30012 33554432000 4194304 4196468 140736672823024 140555517253840 140557574408091 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17397] ppid=17360 vsize=8414124 memory=1472 CPUtime=0.09 cores=0-7
/proc/17383/task/17397/stat : 17397 (java) S 17360 17360 16140 0 -1 1077944384 758 0 0 0 9 0 0 0 20 0 24 0 510437497 8616062976 30012 33554432000 4194304 4196468 140736672823024 140556666784240 140557574400642 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17398] ppid=17360 vsize=8414124 memory=120048 CPUtime=0.08 cores=0-7
/proc/17383/task/17398/stat : 17398 (java) S 17360 17360 16140 0 -1 1077944384 650 0 0 0 8 0 0 0 20 0 24 0 510437497 8616062976 30012 33554432000 4194304 4196468 140736672823024 140556665731696 140557574400642 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17399] ppid=17360 vsize=8414124 memory=279732 CPUtime=0.05 cores=0-7
/proc/17383/task/17399/stat : 17399 (java) S 17360 17360 16140 0 -1 1077944384 270 0 0 0 5 0 0 0 20 0 24 0 510437497 8616062976 30012 33554432000 4194304 4196468 140736672823024 140556664679152 140557574400642 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17400] ppid=17360 vsize=8414124 memory=1472 CPUtime=0.21 cores=0-7
/proc/17383/task/17400/stat : 17400 (java) S 17360 17360 16140 0 -1 1077944384 584 0 0 0 21 0 0 0 20 0 24 0 510437497 8616062976 30012 33554432000 4194304 4196468 140736672823024 140556663626608 140557574400642 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17401] ppid=17360 vsize=8414124 memory=120048 CPUtime=0 cores=0-7
/proc/17383/task/17401/stat : 17401 (java) S 17360 17360 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510437498 8616062976 30012 33554432000 4194304 4196468 140736672823024 140555019348192 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17402] ppid=17360 vsize=8414124 memory=269912 CPUtime=0 cores=0-7
/proc/17383/task/17402/stat : 17402 (java) S 17360 17360 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510437498 8616062976 30012 33554432000 4194304 4196468 140736672823024 140556662573488 140557574400642 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17404] ppid=17360 vsize=8414124 memory=7686721470284339354 CPUtime=0 cores=0-7
/proc/17383/task/17404/stat : 17404 (java) S 17360 17360 16140 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510437565 8616062976 30012 33554432000 4194304 4196468 140736672823024 140556654539968 140557574414105 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17406] ppid=17360 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/17383/task/17406/stat : 17406 (java) S 17360 17360 16140 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510437565 8616062976 30012 33554432000 4194304 4196468 140736672823024 140554348248848 140557574411421 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17407] ppid=17360 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/17383/task/17407/stat : 17407 (java) S 17360 17360 16140 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510437566 8616062976 30012 33554432000 4194304 4196468 140736672823024 140554616684432 140557574411421 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17408] ppid=17360 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/17383/task/17408/stat : 17408 (java) S 17360 17360 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510437567 8616062976 30012 33554432000 4194304 4196468 140736672823024 140554079821488 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
Current children cumulated CPU time: 207.61 s
Current children cumulated vsize: 9279996 KiB
Current children cumulated memory: 407588 KiB

[startup+32.0012 s]*
/proc/loadavg: 4.87 4.01 3.44 2/218 17419
/proc/meminfo: memFree=28114108/32770624 swapFree=67023908/67108860
[pid=17360] ppid=17357 vsize=113128 memory=1472 CPUtime=16.83 cores=0-7
/proc/17360/stat : 17360 (scop.sh) S 17357 17360 16140 0 -1 4202496 582 36319 0 0 0 0 1642 41 20 0 1 0 510436846 115843072 368 33554432000 4194304 5098028 140725308480416 140725308477160 139786854875772 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8249344 140725308486397 140725308486744 140725308486744 140725308489673 0
/proc/17360/statm: 28282 368 311 221 0 87 0
[pid=17383] ppid=17360 vsize=8414124 memory=120048 CPUtime=1.26 cores=0-7
/proc/17383/stat : 17383 (java) S 17360 17360 16140 0 -1 1077944320 20584 0 0 0 118 8 0 0 20 0 24 0 510437490 8616062976 30012 33554432000 4194304 4196468 140736672823024 140736672805568 140557574389495 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
/proc/17383/statm: 2103531 30012 3211 1 0 2064875 0
[pid=17403] ppid=17383 vsize=764240 memory=300600 CPUtime=191.48 cores=0-7
/proc/17403/stat : 17403 (manyglucose-4.1) S 17383 17360 16140 0 -1 1077944320 201473 0 0 0 19083 65 0 0 20 0 2 0 510437565 782581760 75150 33554432000 4194304 4454172 140722708489584 140722708487968 139692702846711 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 28672000 140722708493133 140722708493340 140722708493340 140722708496310 0
/proc/17403/statm: 191060 75150 421 64 0 186728 0
[pid=17403/tid=17410] ppid=17383 vsize=764240 memory=1940 CPUtime=24.51 cores=0-7
/proc/17403/task/17410/stat : 17410 (manyglucose-4.1) R 17383 17360 16140 0 -1 4202560 20820 0 0 0 2443 8 0 0 20 0 2 0 510437590 782581760 75150 33554432000 4194304 4454172 140722708489584 139692670180232 4351587 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 28672000 140722708493133 140722708493340 140722708493340 140722708496310 0
[pid=17383/tid=17384] ppid=17360 vsize=8414124 memory=7686721470284339354 CPUtime=0.76 cores=0-7
/proc/17383/task/17384/stat : 17384 (java) S 17360 17360 16140 0 -1 1077944384 16906 0 0 0 71 5 0 0 20 0 24 0 510437490 8616062976 30012 33554432000 4194304 4196468 140736672823024 140557546229664 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17385] ppid=17360 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/17383/task/17385/stat : 17385 (java) S 17360 17360 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510437491 8616062976 30012 33554432000 4194304 4196468 140736672823024 140557578631440 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17386] ppid=17360 vsize=8414124 memory=2256 CPUtime=0 cores=0-7
/proc/17383/task/17386/stat : 17386 (java) S 17360 17360 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510437491 8616062976 30012 33554432000 4194304 4196468 140736672823024 140557378800016 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17387] ppid=17360 vsize=8414124 memory=12328 CPUtime=0 cores=0-7
/proc/17383/task/17387/stat : 17387 (java) S 17360 17360 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510437491 8616062976 30012 33554432000 4194304 4196468 140736672823024 140557377747472 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17388] ppid=17360 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/17383/task/17388/stat : 17388 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510437491 8616062976 30012 33554432000 4194304 4196468 140736672823024 140557376694928 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17389] ppid=17360 vsize=8414124 memory=7712 CPUtime=0 cores=0-7
/proc/17383/task/17389/stat : 17389 (java) S 17360 17360 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510437491 8616062976 30012 33554432000 4194304 4196468 140736672823024 140557375642384 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17390] ppid=17360 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/17383/task/17390/stat : 17390 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510437491 8616062976 30012 33554432000 4194304 4196468 140736672823024 140557374589840 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17391] ppid=17360 vsize=8414124 memory=1172 CPUtime=0 cores=0-7
/proc/17383/task/17391/stat : 17391 (java) S 17360 17360 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510437491 8616062976 30012 33554432000 4194304 4196468 140736672823024 140557373537296 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17392] ppid=17360 vsize=8414124 memory=6308 CPUtime=0 cores=0-7
/proc/17383/task/17392/stat : 17392 (java) S 17360 17360 16140 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510437491 8616062976 30012 33554432000 4194304 4196468 140736672823024 140557372484752 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17393] ppid=17360 vsize=8414124 memory=828 CPUtime=0 cores=0-7
/proc/17383/task/17393/stat : 17393 (java) S 17360 17360 16140 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 510437493 8616062976 30012 33554432000 4194304 4196468 140736672823024 140556667836400 140557574400642 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17394] ppid=17360 vsize=8414124 memory=736 CPUtime=0 cores=0-7
/proc/17383/task/17394/stat : 17394 (java) S 17360 17360 16140 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510437493 8616062976 30012 33554432000 4194304 4196468 140736672823024 140556025979808 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17395] ppid=17360 vsize=8414124 memory=1608 CPUtime=0 cores=0-7
/proc/17383/task/17395/stat : 17395 (java) S 17360 17360 16140 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510437493 8616062976 30012 33554432000 4194304 4196468 140736672823024 140555891758064 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17396] ppid=17360 vsize=8414124 memory=120048 CPUtime=0 cores=0-7
/proc/17383/task/17396/stat : 17396 (java) S 17360 17360 16140 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510437496 8616062976 30012 33554432000 4194304 4196468 140736672823024 140555517253840 140557574408091 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17397] ppid=17360 vsize=8414124 memory=1472 CPUtime=0.09 cores=0-7
/proc/17383/task/17397/stat : 17397 (java) S 17360 17360 16140 0 -1 1077944384 758 0 0 0 9 0 0 0 20 0 24 0 510437497 8616062976 30012 33554432000 4194304 4196468 140736672823024 140556666784240 140557574400642 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17398] ppid=17360 vsize=8414124 memory=120048 CPUtime=0.08 cores=0-7
/proc/17383/task/17398/stat : 17398 (java) S 17360 17360 16140 0 -1 1077944384 650 0 0 0 8 0 0 0 20 0 24 0 510437497 8616062976 30012 33554432000 4194304 4196468 140736672823024 140556665731696 140557574400642 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17399] ppid=17360 vsize=8414124 memory=279028 CPUtime=0.05 cores=0-7
/proc/17383/task/17399/stat : 17399 (java) S 17360 17360 16140 0 -1 1077944384 270 0 0 0 5 0 0 0 20 0 24 0 510437497 8616062976 30012 33554432000 4194304 4196468 140736672823024 140556664679152 140557574400642 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17400] ppid=17360 vsize=8414124 memory=1480 CPUtime=0.21 cores=0-7
/proc/17383/task/17400/stat : 17400 (java) S 17360 17360 16140 0 -1 1077944384 584 0 0 0 21 0 0 0 20 0 24 0 510437497 8616062976 30012 33554432000 4194304 4196468 140736672823024 140556663626608 140557574400642 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17401] ppid=17360 vsize=8414124 memory=3880 CPUtime=0 cores=0-7
/proc/17383/task/17401/stat : 17401 (java) S 17360 17360 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510437498 8616062976 30012 33554432000 4194304 4196468 140736672823024 140555019348192 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17402] ppid=17360 vsize=8414124 memory=7712 CPUtime=0 cores=0-7
/proc/17383/task/17402/stat : 17402 (java) S 17360 17360 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510437498 8616062976 30012 33554432000 4194304 4196468 140736672823024 140556662573488 140557574400642 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17404] ppid=17360 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/17383/task/17404/stat : 17404 (java) S 17360 17360 16140 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510437565 8616062976 30012 33554432000 4194304 4196468 140736672823024 140556654539968 140557574414105 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17406] ppid=17360 vsize=8414124 memory=1584 CPUtime=0 cores=0-7
/proc/17383/task/17406/stat : 17406 (java) S 17360 17360 16140 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510437565 8616062976 30012 33554432000 4194304 4196468 140736672823024 140554348248848 140557574411421 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17407] ppid=17360 vsize=8414124 memory=1740 CPUtime=0 cores=0-7
/proc/17383/task/17407/stat : 17407 (java) S 17360 17360 16140 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510437566 8616062976 30012 33554432000 4194304 4196468 140736672823024 140554616684432 140557574411421 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17408] ppid=17360 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/17383/task/17408/stat : 17408 (java) S 17360 17360 16140 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510437567 8616062976 30012 33554432000 4194304 4196468 140736672823024 140554079821488 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
Current children cumulated CPU time: 209.57 s
Current children cumulated vsize: 9291492 KiB
Current children cumulated memory: 422120 KiB

[startup+32.201 s]
/proc/loadavg: 4.87 4.01 3.44 2/218 17419
/proc/meminfo: memFree=28114108/32770624 swapFree=67023908/67108860
[pid=17360] ppid=17357 vsize=113128 memory=1472 CPUtime=16.83 cores=0-7
/proc/17360/stat : 17360 (scop.sh) S 17357 17360 16140 0 -1 4202496 582 36319 0 0 0 0 1642 41 20 0 1 0 510436846 115843072 368 33554432000 4194304 5098028 140725308480416 140725308477160 139786854875772 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8249344 140725308486397 140725308486744 140725308486744 140725308489673 0
/proc/17360/statm: 28282 368 311 221 0 87 0
[pid=17383] ppid=17360 vsize=8283048 memory=134428 CPUtime=193.25 cores=0-7
/proc/17383/stat : 17383 (java) S 17360 17360 16140 0 -1 1077944320 22533 201494 0 0 165 9 19084 67 20 0 22 0 510437490 8481841152 33607 33554432000 4194304 4196468 140736672823024 140736672805568 140557574389495 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
/proc/17383/statm: 2070762 33607 3231 1 0 2032106 0
[pid=17383/tid=17384] ppid=17360 vsize=8283048 memory=1532 CPUtime=192.39 cores=0-7
/proc/17383/task/17384/stat : 17384 (java) R 17360 17360 16140 0 -1 4202560 17184 201494 0 0 83 5 19084 67 20 0 22 0 510437490 8481841152 33607 33554432000 4194304 4196468 140736672823024 140557546227904 140557053217490 0 4 2 25189581 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17385] ppid=17360 vsize=8283048 memory=15620 CPUtime=191.51 cores=0-7
/proc/17383/task/17385/stat : 17385 (java) S 17360 17360 16140 0 -1 1077944384 2 201494 0 0 0 0 19084 67 20 0 22 0 510437491 8481841152 33607 33554432000 4194304 4196468 140736672823024 140557578631440 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17386] ppid=17360 vsize=8283048 memory=-7595761213516906336 CPUtime=191.51 cores=0-7
/proc/17383/task/17386/stat : 17386 (java) S 17360 17360 16140 0 -1 1077944384 3 201494 0 0 0 0 19084 67 20 0 22 0 510437491 8481841152 33607 33554432000 4194304 4196468 140736672823024 140557378800016 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17387] ppid=17360 vsize=8283048 memory=279641026418048 CPUtime=191.51 cores=0-7
/proc/17383/task/17387/stat : 17387 (java) S 17360 17360 16140 0 -1 1077944384 2 201494 0 0 0 0 19084 67 20 0 22 0 510437491 8481841152 33607 33554432000 4194304 4196468 140736672823024 140557377747472 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17388] ppid=17360 vsize=8283048 memory=0 CPUtime=191.51 cores=0-7
/proc/17383/task/17388/stat : 17388 (java) S 17360 17360 16140 0 -1 1077944384 1 201494 0 0 0 0 19084 67 20 0 22 0 510437491 8481841152 33607 33554432000 4194304 4196468 140736672823024 140557376694928 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17389] ppid=17360 vsize=8283048 memory=1733 CPUtime=191.51 cores=0-7
/proc/17383/task/17389/stat : 17389 (java) S 17360 17360 16140 0 -1 1077944384 2 201494 0 0 0 0 19084 67 20 0 22 0 510437491 8481841152 33607 33554432000 4194304 4196468 140736672823024 140557375642384 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17390] ppid=17360 vsize=8283048 memory=1732 CPUtime=191.51 cores=0-7
/proc/17383/task/17390/stat : 17390 (java) S 17360 17360 16140 0 -1 1077944384 1 201494 0 0 0 0 19084 67 20 0 22 0 510437491 8481841152 33607 33554432000 4194304 4196468 140736672823024 140557374589840 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17391] ppid=17360 vsize=8283048 memory=1728 CPUtime=191.51 cores=0-7
/proc/17383/task/17391/stat : 17391 (java) S 17360 17360 16140 0 -1 1077944384 2 201494 0 0 0 0 19084 67 20 0 22 0 510437491 8481841152 33607 33554432000 4194304 4196468 140736672823024 140557373537296 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17392] ppid=17360 vsize=8283048 memory=1760 CPUtime=191.51 cores=0-7
/proc/17383/task/17392/stat : 17392 (java) S 17360 17360 16140 0 -1 1077944384 2 201494 0 0 0 0 19084 67 20 0 22 0 510437491 8481841152 33607 33554432000 4194304 4196468 140736672823024 140557372484752 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17393] ppid=17360 vsize=8283048 memory=1172 CPUtime=191.51 cores=0-7
/proc/17383/task/17393/stat : 17393 (java) S 17360 17360 16140 0 -1 1077944384 6 201494 0 0 0 0 19084 67 20 0 22 0 510437493 8481841152 33607 33554432000 4194304 4196468 140736672823024 140556667836400 140557574400642 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17394] ppid=17360 vsize=8283048 memory=6308 CPUtime=191.51 cores=0-7
/proc/17383/task/17394/stat : 17394 (java) S 17360 17360 16140 0 -1 1077944384 13 201494 0 0 0 0 19084 67 20 0 22 0 510437493 8481841152 33607 33554432000 4194304 4196468 140736672823024 140556025979808 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17395] ppid=17360 vsize=8283048 memory=828 CPUtime=191.51 cores=0-7
/proc/17383/task/17395/stat : 17395 (java) S 17360 17360 16140 0 -1 1077944384 21 201494 0 0 0 0 19084 67 20 0 22 0 510437493 8481841152 33607 33554432000 4194304 4196468 140736672823024 140555891758064 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17396] ppid=17360 vsize=8283048 memory=736 CPUtime=191.51 cores=0-7
/proc/17383/task/17396/stat : 17396 (java) S 17360 17360 16140 0 -1 1077944384 1 201494 0 0 0 0 19084 67 20 0 22 0 510437496 8481841152 33607 33554432000 4194304 4196468 140736672823024 140555517253840 140557574408091 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17397] ppid=17360 vsize=8283048 memory=1608 CPUtime=191.67 cores=0-7
/proc/17383/task/17397/stat : 17397 (java) S 17360 17360 16140 0 -1 1077944384 1001 201494 0 0 16 0 19084 67 20 0 22 0 510437497 8481841152 33607 33554432000 4194304 4196468 140736672823024 140556666784240 140557574400642 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17398] ppid=17360 vsize=8283048 memory=1076 CPUtime=191.64 cores=0-7
/proc/17383/task/17398/stat : 17398 (java) S 17360 17360 16140 0 -1 1077944384 687 201494 0 0 13 0 19084 67 20 0 22 0 510437497 8481841152 33607 33554432000 4194304 4196468 140736672823024 140556665731696 140557574400642 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17399] ppid=17360 vsize=8283048 memory=3124 CPUtime=191.63 cores=0-7
/proc/17383/task/17399/stat : 17399 (java) S 17360 17360 16140 0 -1 1077944384 531 201494 0 0 12 0 19084 67 20 0 22 0 510437497 8481841152 33607 33554432000 4194304 4196468 140736672823024 140556664679152 140557574400642 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17400] ppid=17360 vsize=8283048 memory=1244 CPUtime=191.82 cores=0-7
/proc/17383/task/17400/stat : 17400 (java) R 17360 17360 16140 0 -1 4202560 1156 201494 0 0 31 0 19084 67 20 0 22 0 510437497 8481841152 33607 33554432000 4194304 4196468 140736672823024 140556663626608 140557558591473 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17401] ppid=17360 vsize=8283048 memory=1172 CPUtime=191.51 cores=0-7
/proc/17383/task/17401/stat : 17401 (java) S 17360 17360 16140 0 -1 1077944384 3 201494 0 0 0 0 19084 67 20 0 22 0 510437498 8481841152 33607 33554432000 4194304 4196468 140736672823024 140555019348192 140557574399701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17402] ppid=17360 vsize=8283048 memory=6308 CPUtime=191.51 cores=0-7
/proc/17383/task/17402/stat : 17402 (java) S 17360 17360 16140 0 -1 1077944384 3 201494 0 0 0 0 19084 67 20 0 22 0 510437498 8481841152 33607 33554432000 4194304 4196468 140736672823024 140556662573488 140557574400642 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17404] ppid=17360 vsize=8283048 memory=828 CPUtime=191.51 cores=0-7
/proc/17383/task/17404/stat : 17404 (java) S 17360 17360 16140 0 -1 1077944384 24 201494 0 0 0 0 19084 67 20 0 22 0 510437565 8481841152 33607 33554432000 4194304 4196468 140736672823024 140556654539152 140557574400642 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
[pid=17383/tid=17408] ppid=17360 vsize=8283048 memory=736 CPUtime=191.51 cores=0-7
/proc/17383/task/17408/stat : 17408 (java) S 17360 17360 16140 0 -1 1077944384 6 201494 0 0 0 0 19084 67 20 0 22 0 510437567 8481841152 33607 33554432000 4194304 4196468 140736672823024 140554079823280 140557574400642 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29855744 140736672830431 140736672830598 140736672830598 140736672833487 0
Current children cumulated CPU time: 210.08 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 135900 KiB

Child status: 0
Real time (s): 32.2579
CPU time (s): 210.22
CPU user time (s): 209.014
CPU system time (s): 1.20564
CPU usage (%): 651.684
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 1866092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 209.014
system time used= 1.20564
maximum resident set size= 1869812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262147
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= 25134
involuntary context switches= 2194


# summary of solver processes directly reported to runsolver:
#   pid: 17360
#   total CPU time (s): 210.22
#   total CPU user time (s): 209.014
#   total CPU system time (s): 1.20564

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.322555 second user time and 0.449759 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-24 18:13:23
IDJOB=4405350
IDBENCH=133813
IDSOLVER=2867
FILE ID=node150/4405350-1569341644
RUNJOBID= node150-1569335938-16167
PBS_JOBID= 21705047
Free space on /var/tmp= 13480 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
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 /var/tmp/evaluation-result-4405350-1569341644/watcher-4405350-1569341644 -o /var/tmp/evaluation-result-4405350-1569341644/solver-4405350-1569341644 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569335938-16167 --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-4405350-1569341644.xml

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

MD5SUM BENCH= e29963f3eb1abf29691517033ab1fcf0
RANDOM SEED=1091812113

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28522972 kB
MemAvailable:   31816752 kB
Buffers:           97240 kB
Cached:          3303100 kB
SwapCached:         8144 kB
Active:          3329320 kB
Inactive:         105756 kB
Active(anon):       2224 kB
Inactive(anon):    84472 kB
Active(file):    3327096 kB
Inactive(file):    21284 kB
Unevictable:      109416 kB
Mlocked:          109416 kB
SwapTotal:      67108860 kB
SwapFree:       67023908 kB
Dirty:             21324 kB
Writeback:             0 kB
AnonPages:        136464 kB
Mapped:            53208 kB
Shmem:             42728 kB
Slab:             403584 kB
SReclaimable:     373860 kB
SUnreclaim:        29724 kB
KernelStack:        3472 kB
PageTables:         5372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515076 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:       99712 kB
DirectMap2M:    33445888 kB

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