Trace number 4392728

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)SAT 950.754 590.944

General information on the benchmark

NameCrossword/Crossword-m1c-ogd-herald/
Crossword-m1c-ogd-h2107.xml
MD5SUM495794a1d12b922029631b8ffbf13f9b
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 benchmark0.643414
Satisfiable
(Un)Satisfiability was proved
Number of variables441
Number of constraints152
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":368}]
Minimum variable degree0
Maximum variable degree2
Distribution of variable degrees[{"degree":0,"count":73},{"degree":2,"count":368}]
Minimum constraint arity3
Maximum constraint arity10
Distribution of constraint arities[{"arity":3,"count":36},{"arity":4,"count":36},{"arity":5,"count":44},{"arity":6,"count":12},{"arity":7,"count":16},{"arity":10,"count":8}]
Number of extensional constraints152
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":152}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-11463-serial-file.bin HOME/instance-4392728-1568446379.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 09:32:19 CEST 2019
0.65/0.57	c PID: 11466
0.65/0.57	c IP: 172.20.3.146
0.65/0.57	c HOST: node146.alineos.net
0.65/0.58	c (0,0) Parsing Begin
3.13/1.43	c (0,0) Parsing End
3.13/1.43	c (0,0) CSP: 368 int (0 aux), 0 bool (0 aux), 152 ctr, max domain size 26
3.13/1.43	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.13/1.43	c (0,0) Constraint Name Generate Begin
3.13/1.44	c (0,0) Ctr:HOME/instance-4392728-1568446379.xml,ExtensionSupport:Var
3.13/1.44	c (0,0) Constraint Name Generate End
3.13/1.44	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.13/1.44	c (0,0) CSP to CSPinCNF Begin
17.74/7.73	c (7,7) translated 16 (10%) constraints
24.41/13.58	c (13,13) translated 31 (20%) constraints
43.65/30.84	c (30,29) translated 46 (30%) constraints
65.40/49.22	c (48,47) translated 61 (40%) constraints
85.74/65.54	c (64,63) translated 76 (50%) constraints
275.28/215.37	c (214,207) translated 92 (60%) constraints
276.58/216.66	c (216,208) translated 107 (70%) constraints
277.79/217.89	c (217,210) translated 122 (80%) constraints
363.97/290.28	c (289,280) translated 137 (90%) constraints
440.06/355.46	c (354,344) translated 152 (100%) constraints
442.46/357.86	c (357,346) ===========================================
443.80/359.19	c (358,347) Hybrid: #OE=492164, #LE=0
443.80/359.19	c (358,347) Hybrid
443.80/359.19	c (358,347) ===========================================
454.94/369.53	c (368,358) translated 480923 (10%) constraints
469.86/380.78	c (380,368) translated 961845 (20%) constraints
480.43/391.23	c (390,379) translated 1442768 (30%) constraints
495.90/402.21	c (401,389) translated 1923690 (40%) constraints
506.10/412.49	c (411,400) translated 2404613 (50%) constraints
522.12/423.49	c (422,410) translated 2885535 (60%) constraints
532.74/434.02	c (433,420) translated 3366458 (70%) constraints
549.00/445.36	c (444,431) translated 3847380 (80%) constraints
559.60/455.94	c (455,442) translated 4328303 (90%) constraints
576.29/467.39	c (466,452) translated 4809225 (100%) constraints
576.29/467.39	c (466,452) CSP to CSPinCNF End
576.50/467.55	c (467,452) CSP: 368 int (0 aux), 491796 bool (491796 aux), 4809225 ctr, max domain size 26
576.50/467.55	c (467,452) Heap : 7985 MiB used (max 21786 MiB), NonHeap : 27 MiB used (max 0 MiB)
576.50/467.55	c (467,452) CSPinCNF Propagation Begin
629.75/493.32	c (492,474) 0 values, 152 unsatisfiable literals, and 0 valid clauses are removed
629.75/493.32	c (492,474) CSPinCNF Propagation End
629.85/493.47	c (492,474) CSP: 368 int (0 aux), 491796 bool (491796 aux), 4809225 ctr, max domain size 26
629.85/493.47	c (492,474) Heap : 11831 MiB used (max 21728 MiB), NonHeap : 27 MiB used (max 0 MiB)
631.17/494.78	c (494,476) Hybrid: #OE=492164, #LE=0
631.17/494.78	c (494,476) Simplify CSPinCNF Begin
652.45/505.58	c (505,485) Simplify CSPinCNF End
652.64/505.73	c (505,485) CSP: 368 int (0 aux), 491796 bool (491796 aux), 4809225 ctr, max domain size 26
652.64/505.73	c (505,485) Heap : 11824 MiB used (max 21774 MiB), NonHeap : 27 MiB used (max 0 MiB)
652.64/505.73	c (505,485) Calculate Precise Domain Begin
652.64/505.73	c (505,485) 0 values are removed by re-calculation
652.64/505.73	c (505,485) Calculate Precise Domain End
652.76/505.89	c (505,485) CSP: 368 int (0 aux), 491796 bool (491796 aux), 4809225 ctr, max domain size 26
652.76/505.89	c (505,485) Heap : 11944 MiB used (max 21774 MiB), NonHeap : 27 MiB used (max 0 MiB)
652.76/505.89	c (505,485) CSPinCNF to SatSolver Begin
670.05/512.86	c (512,491) 480923 (10 %) CSP clauses are encoded (0 SAT variables, 489578 SAT clauses)
679.85/518.20	c (517,496) 961845 (20 %) CSP clauses are encoded (0 SAT variables, 970500 SAT clauses)
684.36/522.75	c (522,500) 1442768 (30 %) CSP clauses are encoded (0 SAT variables, 1451423 SAT clauses)
691.66/527.61	c (527,505) 1923690 (40 %) CSP clauses are encoded (0 SAT variables, 1932345 SAT clauses)
698.88/532.47	c (531,509) 2404613 (50 %) CSP clauses are encoded (0 SAT variables, 2413268 SAT clauses)
706.20/537.56	c (537,514) 2885535 (60 %) CSP clauses are encoded (0 SAT variables, 2894190 SAT clauses)
710.90/542.21	c (541,518) 3366458 (70 %) CSP clauses are encoded (0 SAT variables, 3375113 SAT clauses)
718.55/547.32	c (546,523) 3847380 (80 %) CSP clauses are encoded (0 SAT variables, 3856035 SAT clauses)
725.93/552.37	c (551,528) 4328303 (90 %) CSP clauses are encoded (0 SAT variables, 4336958 SAT clauses)
733.40/557.43	c (556,533) 4809225 (100 %) CSP clauses are encoded (0 SAT variables, 4817880 SAT clauses)
733.40/557.43	c (556,533) CSPinCNF to SatSolver End
733.40/557.43	c (556,533) Heap : 10165 MiB used (max 21556 MiB), NonHeap : 29 MiB used (max 0 MiB)
733.40/557.43	c (556,533) 500820 bool, 4817881 clause
733.40/557.43	c (556,533) Export Begin
733.55/557.57	c (557,533) Export to HOME/scop-11463-serial-file.bin
733.55/557.57	c (557,533) Export End
733.55/557.57	c (557,533) Export File Size: 0.15 MB
733.55/557.57	c (557,533) 0,0,467,492,505,505,556,STOP-AFTER(DIMACS)
733.55/557.57	c END-Prog: Sat Sep 14 09:41:36 CEST 2019
0.00/557.66	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-11463-serial-file.bin
734.39/558.13	c (0,0) Read Serial File Begin
734.39/558.13	c (0,0) HOME/scop-11463-serial-file.bin
734.91/558.41	c (0,0) Read Serial File End
734.91/558.42	
734.91/558.42	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
734.91/558.42	(Solving Process)
734.91/558.42	
734.91/558.45	c BEGIN-Prog: Sat Sep 14 09:41:37 CEST 2019
734.91/558.45	c PID: 11529
734.91/558.45	c IP: 172.20.3.146
734.91/558.45	c HOST: node146.alineos.net
734.91/558.45	c (0,0) SatSolver.solve Begin
734.91/558.45	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392728-1568446379.xml-scop-11466.cnf
734.91/558.48	c (0,0) c
734.91/558.48	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)
734.91/558.48	c (0,0) c
734.91/558.48	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
734.91/558.48	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
734.91/558.48	c (0,0) c ========================================[ Problem Statistics ]===========================================
734.91/558.48	c (0,0) c |                                                                                                       |
737.07/560.34	c (2,0) c |  Number of variables:        500820                                                                   |
737.07/560.34	c (2,0) c |  Number of clauses:         4815668                                                                   |
737.07/560.34	c (2,0) c |  Parse time:                   1.69 s                                                                 |
737.07/560.34	c (2,0) c |                                                                                                       |
737.46/560.75	c (2,0) c | Too many clauses... No preprocessing                                                                  |
737.46/560.75	c (2,0) c |  Simplification time:          0.39 s                                                                 |
737.46/560.75	c (2,0) c |                                                                                                       |
737.46/560.77	c (2,0) c |  Generating clones                                                                                    |
739.07/562.38	c (4,0) c |  all clones generated. Memory =  3341.42Mb.                                                           |
739.07/562.38	c (4,0) c ========================================================================================================|
739.07/562.38	c (4,0) c
739.07/562.38	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
739.07/562.38	c (4,0) c
739.07/562.38	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
739.07/562.38	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
739.07/562.38	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
739.07/562.38	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
739.07/562.38	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
739.07/562.38	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
739.07/562.38	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
739.07/562.38	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
739.07/562.38	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
739.07/562.38	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
739.07/562.38	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
739.07/562.38	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
739.07/562.38	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
739.07/562.38	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
739.07/562.38	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
739.07/562.38	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
739.07/562.38	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
739.07/562.38	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
739.07/562.38	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
949.51/590.42	c (32,0) c
949.51/590.42	c (32,0) c real time : 31.9499 s
949.51/590.42	c (32,0) c cpu time  : 208.512 s
949.51/590.42	c (32,0) c
949.51/590.42	c (32,0) c
949.51/590.42	c (32,0) c
949.51/590.42	c (32,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
949.51/590.42	c (32,0) c
949.51/590.42	c (32,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
949.51/590.42	c (32,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
949.51/590.42	c (32,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
949.51/590.42	c (32,0) c | Conflicts     |          186498 |      23629 |      24350 |      23630 |      21192 |      21158 |      26889 |      22274 |      23376 |
949.51/590.42	c (32,0) c | Decisions     |         2580392 |     339234 |     316570 |     341730 |     304859 |     318399 |     332796 |     307223 |     319581 |
949.51/590.42	c (32,0) c | Propagations  |       600296861 |   72833569 |   71872431 |   76320977 |   75209232 |   75004241 |   77844928 |   74408738 |   76802745 |
949.51/590.42	c (32,0) c | ReduceDBs     |              28 |          4 |          4 |          4 |          3 |          3 |          4 |          3 |          3 |
949.51/590.42	c (32,0) c | SimpDBs       |              31 |          4 |          4 |          3 |          4 |          4 |          4 |          4 |          4 |
949.51/590.42	c (32,0) c | Restarts      |             538 |         63 |         91 |         76 |         63 |         59 |         47 |         66 |         73 |
949.51/590.42	c (32,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
949.51/590.42	c (32,0) c | PropBinClauses|       636968082 |   76441725 |   76633508 |   80910212 |   81192407 |   80124266 |   82239303 |   77934684 |   81491977 |
949.51/590.42	c (32,0) c | PropPreBlocker|      2857869177 |  350008911 |  349809872 |  361690138 |  354616225 |  353240612 |  375005366 |  350426635 |  363071418 |
949.51/590.42	c (32,0) c | PropNotBlocker|      1007228213 |  123364313 |  125103280 |  129063365 |  120737118 |  121724072 |  135195982 |  123338719 |  128701364 |
949.51/590.42	c (32,0) c | LitFullScans  |      6225134219 |  762263762 |  764492442 |  764997542 |  767183210 |  764088039 |  814203740 |  771550760 |  816354724 |
949.51/590.42	c (32,0) c | LitScanFracts |         2235192 |     250909 |     236843 |     218775 |     229015 |     324102 |     281865 |     341953 |     351730 |
949.51/590.42	c (32,0) c | DecisionLevel0|             542 |         63 |         91 |         77 |         64 |         59 |         47 |         68 |         73 |
949.51/590.42	c (32,0) c | Periods       |            1034 |        127 |        127 |        127 |        127 |        127 |        135 |        128 |        136 |
949.51/590.42	c (32,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
949.51/590.42	c (32,0) c | Avg_Trail     |                 |     147532 |     128158 |     156195 |     157853 |     195355 |     173379 |     168917 |     152642 |
949.51/590.43	c (32,0) c | Avg_DL        |                 |        865 |        452 |        430 |        452 |        657 |        541 |        639 |        429 |
949.51/590.43	c (32,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
949.51/590.43	c (32,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
949.51/590.43	c (32,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
949.51/590.43	c (32,0) c | Exported      |           25534 |       3254 |       3470 |       3474 |       2838 |       2694 |       3753 |       2989 |       3062 |
949.51/590.43	c (32,0) c | Imported      |          145279 |      17663 |      17768 |      17553 |      17966 |      17530 |      19057 |      17834 |      19908 |
949.51/590.43	c (32,0) c | Good          |           46605 |       5684 |       5840 |       5717 |       5763 |       5576 |       6114 |       5666 |       6245 |
949.51/590.43	c (32,0) c | Purge         |           98674 |      11979 |      11928 |      11836 |      12203 |      11954 |      12943 |      12168 |      13663 |
949.51/590.43	c (32,0) c | Promoted      |            2171 |        287 |        213 |        196 |        232 |        257 |        346 |        321 |        319 |
949.51/590.43	c (32,0) c | Remove_Imp    |            8291 |       2790 |       2020 |       2715 |          0 |          0 |        766 |          0 |          0 |
949.51/590.43	c (32,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
949.51/590.43	c (32,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
949.51/590.43	c (32,0) c | Unaries       |                 |          0 |          0 |          1 |          1 |          0 |          0 |          2 |          0 |
949.51/590.43	c (32,0) c | Binaries      |                 |       1039 |        914 |       1032 |        914 |        958 |       1029 |       1035 |        998 |
949.51/590.43	c (32,0) c | Glues         |                 |       1603 |       1498 |       1713 |       1530 |       1482 |       1739 |       1586 |       1561 |
949.51/590.43	c (32,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
949.51/590.43	c (32,0) c | Orig_Seen     |            10 % |     505432 |     491644 |     510961 |     501866 |     485030 |     531642 |     545552 |     586446 |
949.51/590.43	c (32,0) c | Diff Orig seen|                 |      20402 |       6614 |      25931 |      16836 |      X     |      46612 |      60522 |     101416 |
949.51/590.43	c (32,0) c | Hamming       |             8 % |      43421 |      39951 |      41466 |      46062 |      X     |      43181 |      42274 |      44482 |
949.51/590.43	c (32,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
949.51/590.43	c (32,0) c | RunningTime   |                 |   28.0 100%|   26.4 100%|   26.4 100%|   26.5 100%|   26.3 100%|   26.2  99%|   27.4 100%|   26.4 100%|
949.51/590.43	c (32,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.2   1%|    0.0   0%|    0.0   0%|
949.51/590.43	c (32,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%|
949.51/590.43	c (32,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%|
949.51/590.43	c (32,0) c | SolvingTime   |                 |   28.0     |   26.4     |   26.5     |   26.5     |   26.4     |   26.4     |   27.4     |   26.4     |
949.51/590.43	c (32,0) c | PropagationTim|                 |   23.4  84%|   22.4  85%|   21.9  83%|   21.7  82%|   21.7  82%|   22.1  84%|   22.4  82%|   21.6  82%|
949.51/590.43	c (32,0) c | AnalysisTime  |                 |    1.7   6%|    1.6   6%|    1.5   6%|    1.5   6%|    1.5   6%|    1.6   6%|    1.8   7%|    2.1   8%|
949.51/590.43	c (32,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
949.51/590.43	c (32,0) c | SimplifyTime  |                 |    0.4   1%|    0.3   1%|    0.2   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|
949.51/590.43	c (32,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%|
949.51/590.43	c (32,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%|
949.51/590.43	c (32,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
949.51/590.43	c (32,0) c
949.51/590.43	c (32,0) c
949.51/590.43	c (32,0) c Threads : 8
949.51/590.43	c (32,0) c Winner : 4
949.51/590.43	c (32,0) c Conflicts_0 : 23629
949.51/590.43	c (32,0) c Conflicts_1 : 24350
949.51/590.43	c (32,0) c Conflicts_2 : 23630
949.51/590.43	c (32,0) c Conflicts_3 : 21192
949.51/590.43	c (32,0) c Conflicts_4 : 21158
949.51/590.43	c (32,0) c Conflicts_5 : 26889
949.51/590.43	c (32,0) c Conflicts_6 : 22274
949.51/590.43	c (32,0) c Conflicts_7 : 23376
949.51/590.43	c (32,0) c Conflicts_total : 186498
949.51/590.43	c (32,0) c Conflicts_winner : 21158
949.51/590.43	c (32,0) c Decisions_0 : 339234
949.51/590.43	c (32,0) c Decisions_1 : 316570
949.51/590.43	c (32,0) c Decisions_2 : 341730
949.51/590.43	c (32,0) c Decisions_3 : 304859
949.51/590.43	c (32,0) c Decisions_4 : 318399
949.51/590.43	c (32,0) c Decisions_5 : 332796
949.51/590.43	c (32,0) c Decisions_6 : 307223
949.51/590.43	c (32,0) c Decisions_7 : 319581
949.51/590.43	c (32,0) c Decisions_total : 2580392
949.51/590.43	c (32,0) c Decisions_winner : 318399
949.51/590.43	c (32,0) c Propagations_0 : 72833569
949.51/590.43	c (32,0) c Propagations_1 : 71872431
949.51/590.43	c (32,0) c Propagations_2 : 76320977
949.51/590.43	c (32,0) c Propagations_3 : 75209232
949.51/590.43	c (32,0) c Propagations_4 : 75004241
949.51/590.43	c (32,0) c Propagations_5 : 77844928
949.51/590.43	c (32,0) c Propagations_6 : 74408738
949.51/590.43	c (32,0) c Propagations_7 : 76802745
949.51/590.43	c (32,0) c Propagations_total : 600296861
949.51/590.43	c (32,0) c Propagations_winner : 75004241
949.51/590.43	c (32,0) c ReduceDBs_0 : 4
949.51/590.43	c (32,0) c ReduceDBs_1 : 4
949.51/590.43	c (32,0) c ReduceDBs_2 : 4
949.51/590.43	c (32,0) c ReduceDBs_3 : 3
949.51/590.43	c (32,0) c ReduceDBs_4 : 3
949.51/590.43	c (32,0) c ReduceDBs_5 : 4
949.51/590.43	c (32,0) c ReduceDBs_6 : 3
949.51/590.43	c (32,0) c ReduceDBs_7 : 3
949.51/590.43	c (32,0) c ReduceDBs_total : 28
949.51/590.43	c (32,0) c ReduceDBs_winner : 3
949.51/590.43	c (32,0) c SimpDBs_0 : 4
949.51/590.43	c (32,0) c SimpDBs_1 : 4
949.51/590.43	c (32,0) c SimpDBs_2 : 3
949.51/590.43	c (32,0) c SimpDBs_3 : 4
949.51/590.43	c (32,0) c SimpDBs_4 : 4
949.51/590.43	c (32,0) c SimpDBs_5 : 4
949.51/590.43	c (32,0) c SimpDBs_6 : 4
949.51/590.43	c (32,0) c SimpDBs_7 : 4
949.51/590.43	c (32,0) c SimpDBs_total : 31
949.51/590.43	c (32,0) c SimpDBs_winner : 4
949.51/590.43	c (32,0) c Restarts_0 : 63
949.51/590.43	c (32,0) c Restarts_1 : 91
949.51/590.43	c (32,0) c Restarts_2 : 76
949.51/590.43	c (32,0) c Restarts_3 : 63
949.51/590.43	c (32,0) c Restarts_4 : 59
949.51/590.43	c (32,0) c Restarts_5 : 47
949.51/590.43	c (32,0) c Restarts_6 : 66
949.51/590.43	c (32,0) c Restarts_7 : 73
949.51/590.43	c (32,0) c Restarts_total : 538
949.51/590.43	c (32,0) c Restarts_winner : 59
949.51/590.43	c (32,0) c ForcedImports_0 : 0
949.51/590.43	c (32,0) c ForcedImports_1 : 0
949.51/590.43	c (32,0) c ForcedImports_2 : 0
949.51/590.43	c (32,0) c ForcedImports_3 : 0
949.51/590.43	c (32,0) c ForcedImports_4 : 0
949.51/590.43	c (32,0) c ForcedImports_5 : 0
949.51/590.43	c (32,0) c ForcedImports_6 : 0
949.51/590.43	c (32,0) c ForcedImports_7 : 0
949.51/590.43	c (32,0) c ForcedImports_total : 0
949.51/590.43	c (32,0) c ForcedImports_winner : 0
949.51/590.43	c (32,0) c PropsBinClauses_0 : 76441725
949.51/590.43	c (32,0) c PropsBinClauses_1 : 76633508
949.51/590.43	c (32,0) c PropsBinClauses_2 : 80910212
949.51/590.43	c (32,0) c PropsBinClauses_3 : 81192407
949.51/590.43	c (32,0) c PropsBinClauses_4 : 80124266
949.51/590.43	c (32,0) c PropsBinClauses_5 : 82239303
949.51/590.43	c (32,0) c PropsBinClauses_6 : 77934684
949.51/590.43	c (32,0) c PropsBinClauses_7 : 81491977
949.51/590.43	c (32,0) c PropsBinClauses_total : 636968082
949.51/590.43	c (32,0) c PropsBinClauses_winner : 80124266
949.51/590.43	c (32,0) c PropsPreBlocker_0 : 350008911
949.51/590.43	c (32,0) c PropsPreBlocker_1 : 349809872
949.51/590.43	c (32,0) c PropsPreBlocker_2 : 361690138
949.51/590.43	c (32,0) c PropsPreBlocker_3 : 354616225
949.51/590.43	c (32,0) c PropsPreBlocker_4 : 353240612
949.51/590.43	c (32,0) c PropsPreBlocker_5 : 375005366
949.51/590.43	c (32,0) c PropsPreBlocker_6 : 350426635
949.51/590.43	c (32,0) c PropsPreBlocker_7 : 363071418
949.51/590.43	c (32,0) c PropsPreBlocker_total : 2857869177
949.51/590.43	c (32,0) c PropsPreBlocker_winner : 353240612
949.51/590.43	c (32,0) c PropsNotBlocker_0 : 123364313
949.51/590.43	c (32,0) c PropsNotBlocker_1 : 125103280
949.51/590.43	c (32,0) c PropsNotBlocker_2 : 129063365
949.51/590.43	c (32,0) c PropsNotBlocker_3 : 120737118
949.51/590.43	c (32,0) c PropsNotBlocker_4 : 121724072
949.51/590.43	c (32,0) c PropsNotBlocker_5 : 135195982
949.51/590.43	c (32,0) c PropsNotBlocker_6 : 123338719
949.51/590.43	c (32,0) c PropsNotBlocker_7 : 128701364
949.51/590.43	c (32,0) c PropsNotBlocker_total : 1007228213
949.51/590.43	c (32,0) c PropsNotBlocker_winner : 121724072
949.51/590.43	c (32,0) c PropsLitFullScans_0 : 762263762
949.51/590.43	c (32,0) c PropsLitFullScans_1 : 764492442
949.51/590.43	c (32,0) c PropsLitFullScans_2 : 764997542
949.51/590.43	c (32,0) c PropsLitFullScans_3 : 767183210
949.51/590.43	c (32,0) c PropsLitFullScans_4 : 764088039
949.51/590.43	c (32,0) c PropsLitFullScans_5 : 814203740
949.51/590.43	c (32,0) c PropsLitFullScans_6 : 771550760
949.51/590.43	c (32,0) c PropsLitFullScans_7 : 816354724
949.51/590.43	c (32,0) c PropsLitFullScans_total : 6225134219
949.51/590.43	c (32,0) c PropsLitFullScans_winner : 764088039
949.51/590.43	c (32,0) c LitScanFractions_0 : 250909
949.51/590.43	c (32,0) c LitScanFractions_1 : 236843
949.51/590.43	c (32,0) c LitScanFractions_2 : 218775
949.51/590.43	c (32,0) c LitScanFractions_3 : 229015
949.51/590.43	c (32,0) c LitScanFractions_4 : 324102
949.51/590.43	c (32,0) c LitScanFractions_5 : 281865
949.51/590.43	c (32,0) c LitScanFractions_6 : 341953
949.51/590.43	c (32,0) c LitScanFractions_7 : 351730
949.51/590.43	c (32,0) c LitScanFractions_total : 2235192
949.51/590.43	c (32,0) c LitScanFractions_winner : 324102
949.51/590.43	c (32,0) c DecisionLevel0_0 : 63
949.51/590.43	c (32,0) c DecisionLevel0_1 : 91
949.51/590.43	c (32,0) c DecisionLevel0_2 : 77
949.51/590.43	c (32,0) c DecisionLevel0_3 : 64
949.51/590.43	c (32,0) c DecisionLevel0_4 : 59
949.51/590.43	c (32,0) c DecisionLevel0_5 : 47
949.51/590.43	c (32,0) c DecisionLevel0_6 : 68
949.51/590.43	c (32,0) c DecisionLevel0_7 : 73
949.51/590.43	c (32,0) c DecisionLevel0_total : 542
949.51/590.43	c (32,0) c DecisionLevel0_winner : 59
949.51/590.43	c (32,0) c Periods_0 : 127
949.51/590.43	c (32,0) c Periods_1 : 127
949.51/590.43	c (32,0) c Periods_2 : 127
949.51/590.43	c (32,0) c Periods_3 : 127
949.51/590.43	c (32,0) c Periods_4 : 127
949.51/590.43	c (32,0) c Periods_5 : 135
949.51/590.43	c (32,0) c Periods_6 : 128
949.51/590.43	c (32,0) c Periods_7 : 136
949.51/590.43	c (32,0) c Periods_total : 1034
949.51/590.43	c (32,0) c Periods_winner : 127
949.51/590.43	c (32,0) c Margin_0 : 20
949.51/590.43	c (32,0) c Margin_1 : 20
949.51/590.43	c (32,0) c Margin_2 : 20
949.51/590.43	c (32,0) c Margin_3 : 20
949.51/590.43	c (32,0) c Margin_4 : 20
949.51/590.43	c (32,0) c Margin_5 : 20
949.51/590.43	c (32,0) c Margin_6 : 20
949.51/590.43	c (32,0) c Margin_7 : 20
949.51/590.43	c (32,0) c Margin_total : 160
949.51/590.43	c (32,0) c Margin_winner : 20
949.51/590.43	c (32,0) c Exported_0 : 3254
949.51/590.43	c (32,0) c Exported_1 : 3470
949.51/590.43	c (32,0) c Exported_2 : 3474
949.51/590.43	c (32,0) c Exported_3 : 2838
949.51/590.43	c (32,0) c Exported_4 : 2694
949.51/590.43	c (32,0) c Exported_5 : 3753
949.51/590.43	c (32,0) c Exported_6 : 2989
949.51/590.43	c (32,0) c Exported_7 : 3062
949.51/590.43	c (32,0) c Exported_total : 25534
949.51/590.43	c (32,0) c Exported_winner : 2694
949.51/590.43	c (32,0) c Imported_0 : 17663
949.51/590.43	c (32,0) c Imported_1 : 17768
949.51/590.43	c (32,0) c Imported_2 : 17553
949.51/590.43	c (32,0) c Imported_3 : 17966
949.51/590.43	c (32,0) c Imported_4 : 17530
949.51/590.43	c (32,0) c Imported_5 : 19057
949.51/590.43	c (32,0) c Imported_6 : 17834
949.51/590.43	c (32,0) c Imported_7 : 19908
949.51/590.43	c (32,0) c Imported_total : 145279
949.51/590.43	c (32,0) c Imported_winner : 17530
949.51/590.43	c (32,0) c Good_0 : 5684
949.51/590.43	c (32,0) c Good_1 : 5840
949.51/590.43	c (32,0) c Good_2 : 5717
949.51/590.43	c (32,0) c Good_3 : 5763
949.51/590.43	c (32,0) c Good_4 : 5576
949.51/590.43	c (32,0) c Good_5 : 6114
949.51/590.43	c (32,0) c Good_6 : 5666
949.51/590.43	c (32,0) c Good_7 : 6245
949.51/590.43	c (32,0) c Good_total : 46605
949.51/590.43	c (32,0) c Good_winner : 5576
949.51/590.43	c (32,0) c Purge_0 : 11979
949.51/590.43	c (32,0) c Purge_1 : 11928
949.51/590.43	c (32,0) c Purge_2 : 11836
949.51/590.43	c (32,0) c Purge_3 : 12203
949.51/590.43	c (32,0) c Purge_4 : 11954
949.51/590.43	c (32,0) c Purge_5 : 12943
949.51/590.43	c (32,0) c Purge_6 : 12168
949.51/590.43	c (32,0) c Purge_7 : 13663
949.51/590.43	c (32,0) c Purge_total : 98674
949.51/590.43	c (32,0) c Purge_winner : 11954
949.51/590.43	c (32,0) c Promoted_0 : 287
949.51/590.43	c (32,0) c Promoted_1 : 213
949.51/590.43	c (32,0) c Promoted_2 : 196
949.51/590.43	c (32,0) c Promoted_3 : 232
949.51/590.43	c (32,0) c Promoted_4 : 257
949.51/590.43	c (32,0) c Promoted_5 : 346
949.51/590.43	c (32,0) c Promoted_6 : 321
949.51/590.43	c (32,0) c Promoted_7 : 319
949.51/590.43	c (32,0) c Promoted_total : 2171
949.51/590.43	c (32,0) c Promoted_winner : 257
949.51/590.43	c (32,0) c Remove_Imp_0 : 2790
949.51/590.43	c (32,0) c Remove_Imp_1 : 2020
949.51/590.43	c (32,0) c Remove_Imp_2 : 2715
949.51/590.43	c (32,0) c Remove_Imp_3 : 0
949.51/590.43	c (32,0) c Remove_Imp_4 : 0
949.51/590.43	c (32,0) c Remove_Imp_5 : 766
949.51/590.43	c (32,0) c Remove_Imp_6 : 0
949.51/590.43	c (32,0) c Remove_Imp_7 : 0
949.51/590.43	c (32,0) c Remove_Imp_total : 8291
949.51/590.43	c (32,0) c Remove_Imp_winner : 0
949.51/590.44	c (32,0) c Blocked_Reuse_0 : 0
949.51/590.44	c (32,0) c Blocked_Reuse_1 : 0
949.51/590.44	c (32,0) c Blocked_Reuse_2 : 0
949.51/590.44	c (32,0) c Blocked_Reuse_3 : 0
949.51/590.44	c (32,0) c Blocked_Reuse_4 : 0
949.51/590.44	c (32,0) c Blocked_Reuse_5 : 0
949.51/590.44	c (32,0) c Blocked_Reuse_6 : 0
949.51/590.44	c (32,0) c Blocked_Reuse_7 : 0
949.51/590.44	c (32,0) c Blocked_Reuse_total : 0
949.51/590.44	c (32,0) c Blocked_Reuse_winner : 0
949.51/590.44	c (32,0) c Unaries_0 : 0
949.51/590.44	c (32,0) c Unaries_1 : 0
949.51/590.44	c (32,0) c Unaries_2 : 1
949.51/590.44	c (32,0) c Unaries_3 : 1
949.51/590.44	c (32,0) c Unaries_4 : 0
949.51/590.44	c (32,0) c Unaries_5 : 0
949.51/590.44	c (32,0) c Unaries_6 : 2
949.51/590.44	c (32,0) c Unaries_7 : 0
949.51/590.44	c (32,0) c Unaries_total : 4
949.51/590.44	c (32,0) c Unaries_winner : 0
949.51/590.44	c (32,0) c Binaries_0 : 1039
949.51/590.44	c (32,0) c Binaries_1 : 914
949.51/590.44	c (32,0) c Binaries_2 : 1032
949.51/590.44	c (32,0) c Binaries_3 : 914
949.51/590.44	c (32,0) c Binaries_4 : 958
949.51/590.44	c (32,0) c Binaries_5 : 1029
949.51/590.44	c (32,0) c Binaries_6 : 1035
949.51/590.44	c (32,0) c Binaries_7 : 998
949.51/590.44	c (32,0) c Binaries_total : 7919
949.51/590.44	c (32,0) c Binaries_winner : 958
949.51/590.44	c (32,0) c Glues_0 : 1603
949.51/590.44	c (32,0) c Glues_1 : 1498
949.51/590.44	c (32,0) c Glues_2 : 1713
949.51/590.44	c (32,0) c Glues_3 : 1530
949.51/590.44	c (32,0) c Glues_4 : 1482
949.51/590.44	c (32,0) c Glues_5 : 1739
949.51/590.44	c (32,0) c Glues_6 : 1586
949.51/590.44	c (32,0) c Glues_7 : 1561
949.51/590.44	c (32,0) c Glues_total : 12712
949.51/590.44	c (32,0) c Glues_winner : 1482
949.51/590.44	c (32,0) c RunningTime_0 : 27.992972
949.51/590.44	c (32,0) c RunningTime_1 : 26.379905
949.51/590.44	c (32,0) c RunningTime_2 : 26.446155
949.51/590.44	c (32,0) c RunningTime_3 : 26.486478
949.51/590.44	c (32,0) c RunningTime_4 : 26.340815
949.51/590.44	c (32,0) c RunningTime_5 : 26.164884
949.51/590.44	c (32,0) c RunningTime_6 : 27.370309
949.51/590.44	c (32,0) c RunningTime_7 : 26.351515
949.51/590.44	c (32,0) c RunningTime_total : 213.533032
949.51/590.44	c (32,0) c RunningTime_winner : 26.340815
949.51/590.44	c (32,0) c WaitingTime_0 : 0.000179
949.51/590.44	c (32,0) c WaitingTime_1 : 0.000224
949.51/590.44	c (32,0) c WaitingTime_2 : 0.000215
949.51/590.44	c (32,0) c WaitingTime_3 : 0.000179
949.51/590.44	c (32,0) c WaitingTime_4 : 0.000194
949.51/590.44	c (32,0) c WaitingTime_5 : 0.187962
949.51/590.44	c (32,0) c WaitingTime_6 : 0.000233
949.51/590.44	c (32,0) c WaitingTime_7 : 0.018526
949.51/590.44	c (32,0) c WaitingTime_total : 0.207712
949.51/590.44	c (32,0) c WaitingTime_winner : 0.000194
949.51/590.44	c (32,0) c ExchangingTime_0 : 0.023977
949.51/590.44	c (32,0) c ExchangingTime_1 : 0.021358
949.51/590.44	c (32,0) c ExchangingTime_2 : 0.022583
949.51/590.44	c (32,0) c ExchangingTime_3 : 0.022784
949.51/590.44	c (32,0) c ExchangingTime_4 : 0.022470
949.51/590.44	c (32,0) c ExchangingTime_5 : 0.022131
949.51/590.44	c (32,0) c ExchangingTime_6 : 0.020980
949.51/590.44	c (32,0) c ExchangingTime_7 : 0.023198
949.51/590.44	c (32,0) c ExchangingTime_total : 0.179482
949.51/590.44	c (32,0) c ExchangingTime_winner : 0.022470
949.51/590.44	c (32,0) c PeriodProcTime_0 : 0.001346
949.51/590.44	c (32,0) c PeriodProcTime_1 : 0.001301
949.51/590.44	c (32,0) c PeriodProcTime_2 : 0.001200
949.51/590.44	c (32,0) c PeriodProcTime_3 : 0.001207
949.51/590.44	c (32,0) c PeriodProcTime_4 : 0.001383
949.51/590.44	c (32,0) c PeriodProcTime_5 : 0.001259
949.51/590.44	c (32,0) c PeriodProcTime_6 : 0.001400
949.51/590.44	c (32,0) c PeriodProcTime_7 : 0.001393
949.51/590.44	c (32,0) c PeriodProcTime_total : 0.010489
949.51/590.44	c (32,0) c PeriodProcTime_winner : 0.001383
949.51/590.44	c (32,0) c SolvingTime_0 : 28.018474
949.51/590.44	c (32,0) c SolvingTime_1 : 26.402788
949.51/590.44	c (32,0) c SolvingTime_2 : 26.470152
949.51/590.44	c (32,0) c SolvingTime_3 : 26.510649
949.51/590.44	c (32,0) c SolvingTime_4 : 26.364861
949.51/590.44	c (32,0) c SolvingTime_5 : 26.376237
949.51/590.44	c (32,0) c SolvingTime_6 : 27.392921
949.51/590.44	c (32,0) c SolvingTime_7 : 26.394632
949.51/590.44	c (32,0) c SolvingTime_total : 213.930715
949.51/590.44	c (32,0) c SolvingTime_winner : 26.364861
949.51/590.44	c (32,0) c PropagationTime_0 : 23.413614
949.51/590.44	c (32,0) c PropagationTime_1 : 22.374368
949.51/590.44	c (32,0) c PropagationTime_2 : 21.867421
949.51/590.44	c (32,0) c PropagationTime_3 : 21.743112
949.51/590.44	c (32,0) c PropagationTime_4 : 21.729137
949.51/590.44	c (32,0) c PropagationTime_5 : 22.121124
949.51/590.44	c (32,0) c PropagationTime_6 : 22.373767
949.51/590.44	c (32,0) c PropagationTime_7 : 21.569204
949.51/590.44	c (32,0) c PropagationTime_total : 177.191748
949.51/590.44	c (32,0) c PropagationTime_winner : 21.729137
949.51/590.44	c (32,0) c AnalysisTime_0 : 1.651363
949.51/590.44	c (32,0) c AnalysisTime_1 : 1.609106
949.51/590.44	c (32,0) c AnalysisTime_2 : 1.539683
949.51/590.44	c (32,0) c AnalysisTime_3 : 1.523240
949.51/590.44	c (32,0) c AnalysisTime_4 : 1.489057
949.51/590.44	c (32,0) c AnalysisTime_5 : 1.621456
949.51/590.44	c (32,0) c AnalysisTime_6 : 1.802336
949.51/590.44	c (32,0) c AnalysisTime_7 : 2.077471
949.51/590.44	c (32,0) c AnalysisTime_total : 13.313712
949.51/590.44	c (32,0) c AnalysisTime_winner : 1.489057
949.51/590.44	c (32,0) c ReductionTime_0 : 0.011891
949.51/590.44	c (32,0) c ReductionTime_1 : 0.012634
949.51/590.44	c (32,0) c ReductionTime_2 : 0.010549
949.51/590.44	c (32,0) c ReductionTime_3 : 0.004406
949.51/590.44	c (32,0) c ReductionTime_4 : 0.006086
949.51/590.44	c (32,0) c ReductionTime_5 : 0.010701
949.51/590.44	c (32,0) c ReductionTime_6 : 0.004752
949.51/590.44	c (32,0) c ReductionTime_7 : 0.007053
949.51/590.44	c (32,0) c ReductionTime_total : 0.068072
949.51/590.44	c (32,0) c ReductionTime_winner : 0.006086
949.51/590.44	c (32,0) c SimplifyTime_0 : 0.363115
949.51/590.44	c (32,0) c SimplifyTime_1 : 0.290543
949.51/590.44	c (32,0) c SimplifyTime_2 : 0.190462
949.51/590.44	c (32,0) c SimplifyTime_3 : 0.286982
949.51/590.44	c (32,0) c SimplifyTime_4 : 0.312084
949.51/590.44	c (32,0) c SimplifyTime_5 : 0.287844
949.51/590.44	c (32,0) c SimplifyTime_6 : 0.278758
949.51/590.44	c (32,0) c SimplifyTime_7 : 0.295209
949.51/590.44	c (32,0) c SimplifyTime_total : 2.304997
949.51/590.44	c (32,0) c SimplifyTime_winner : 0.312084
949.51/590.44	c (32,0) c UsedRateTime_0 : 0.000000
949.51/590.44	c (32,0) c UsedRateTime_1 : 0.000000
949.51/590.44	c (32,0) c UsedRateTime_2 : 0.000000
949.51/590.44	c (32,0) c UsedRateTime_3 : 0.000000
949.51/590.44	c (32,0) c UsedRateTime_4 : 0.000000
949.51/590.44	c (32,0) c UsedRateTime_5 : 0.000000
949.51/590.44	c (32,0) c UsedRateTime_6 : 0.000000
949.51/590.44	c (32,0) c UsedRateTime_7 : 0.000000
949.51/590.44	c (32,0) c UsedRateTime_total : 0.000000
949.51/590.44	c (32,0) c UsedRateTime_winner : 0.000000
949.51/590.44	c (32,0) c OverlapRateTime_0 : 0.000000
949.51/590.44	c (32,0) c OverlapRateTime_1 : 0.000000
949.51/590.44	c (32,0) c OverlapRateTime_2 : 0.000000
949.51/590.44	c (32,0) c OverlapRateTime_3 : 0.000000
949.51/590.44	c (32,0) c OverlapRateTime_4 : 0.000000
949.51/590.44	c (32,0) c OverlapRateTime_5 : 0.000000
949.51/590.44	c (32,0) c OverlapRateTime_6 : 0.000000
949.51/590.44	c (32,0) c OverlapRateTime_7 : 0.000000
949.51/590.44	c (32,0) c OverlapRateTime_total : 0.000000
949.51/590.44	c (32,0) c OverlapRateTime_winner : 0.000000
949.51/590.44	c (32,0) c
949.51/590.44	c (32,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
949.51/590.44	c (32,0) c
949.51/590.44	c (32,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
949.51/590.44	c (32,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
949.51/590.44	c (32,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
949.51/590.44	c (32,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
949.51/590.44	c (32,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
949.51/590.44	c (32,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
949.51/590.44	c (32,0) c | Initial random_seed   |  536811162 | 1134182826 |  169911586 |  184747661 |  375903435 |  583042556 | 1402305173 |  604202858 |
949.51/590.44	c (32,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
949.51/590.44	c (32,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
949.51/590.44	c (32,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
949.51/590.44	c (32,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
949.51/590.44	c (32,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
949.51/590.44	c (32,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
949.51/590.44	c (32,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
949.51/590.44	c (32,0) c | var_decay             |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8500 |     0.8400 |     0.8400 |
949.51/590.44	c (32,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
949.51/590.44	c (32,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
949.51/590.44	c (32,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
949.51/590.44	c (32,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
949.51/590.44	c (32,0) 
949.51/590.44	c (32,0) s SATISFIABLE
735.71/590.74	c (32,0) SatSolver.solve End
735.71/590.74	c (32,0) Heap : 234 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
735.71/590.74	c (32,0) Show results Begin
950.43/590.89	c (32,0) x[0][0] = 17
950.43/590.89	c (32,0) x[0][1] = 0
950.43/590.89	c (32,0) x[0][2] = 6
950.43/590.89	c (32,0) x[0][3] = 4
950.43/590.89	c (32,0) x[0][5] = 15
950.43/590.89	c (32,0) x[0][6] = 8
950.43/590.89	c (32,0) x[0][7] = 18
950.43/590.89	c (32,0) x[0][8] = 19
950.43/590.89	c (32,0) x[0][9] = 4
950.43/590.89	c (32,0) x[0][11] = 1
950.43/590.89	c (32,0) x[0][12] = 4
950.43/590.89	c (32,0) x[0][13] = 15
950.43/590.89	c (32,0) x[0][14] = 15
950.43/590.89	c (32,0) x[0][15] = 20
950.43/590.89	c (32,0) x[0][17] = 2
950.43/590.89	c (32,0) x[0][18] = 0
950.43/590.89	c (32,0) x[0][19] = 4
950.43/590.89	c (32,0) x[0][20] = 12
950.43/590.89	c (32,0) x[1][0] = 0
950.43/590.89	c (32,0) x[1][1] = 1
950.43/590.89	c (32,0) x[1][2] = 4
950.43/590.89	c (32,0) x[1][3] = 17
950.43/590.89	c (32,0) x[1][5] = 18
950.43/590.89	c (32,0) x[1][6] = 11
950.43/590.89	c (32,0) x[1][7] = 20
950.43/590.89	c (32,0) x[1][8] = 17
950.43/590.89	c (32,0) x[1][9] = 15
950.43/590.89	c (32,0) x[1][11] = 8
950.43/590.89	c (32,0) x[1][12] = 23
950.43/590.89	c (32,0) x[1][13] = 0
950.43/590.89	c (32,0) x[1][14] = 8
950.43/590.89	c (32,0) x[1][15] = 19
950.43/590.89	c (32,0) x[1][17] = 0
950.43/590.89	c (32,0) x[1][18] = 13
950.43/590.89	c (32,0) x[1][19] = 6
950.43/590.89	c (32,0) x[1][20] = 4
950.43/590.89	c (32,0) x[2][0] = 2
950.43/590.89	c (32,0) x[2][1] = 0
950.43/590.89	c (32,0) x[2][2] = 11
950.43/590.89	c (32,0) x[2][3] = 14
950.43/590.89	c (32,0) x[2][4] = 19
950.43/590.89	c (32,0) x[2][5] = 19
950.43/590.89	c (32,0) x[2][6] = 4
950.43/590.89	c (32,0) x[2][7] = 17
950.43/590.89	c (32,0) x[2][8] = 0
950.43/590.89	c (32,0) x[2][9] = 18
950.43/590.89	c (32,0) x[2][11] = 18
950.43/590.89	c (32,0) x[2][12] = 0
950.43/590.89	c (32,0) x[2][13] = 17
950.43/590.89	c (32,0) x[2][14] = 2
950.43/590.89	c (32,0) x[2][15] = 4
950.43/590.89	c (32,0) x[2][16] = 4
950.43/590.89	c (32,0) x[2][17] = 13
950.43/590.89	c (32,0) x[2][18] = 13
950.43/590.89	c (32,0) x[2][19] = 4
950.43/590.89	c (32,0) x[2][20] = 18
950.43/590.89	c (32,0) x[3][0] = 4
950.43/590.89	c (32,0) x[3][1] = 19
950.43/590.89	c (32,0) x[3][2] = 20
950.43/590.89	c (32,0) x[3][3] = 3
950.43/590.89	c (32,0) x[3][4] = 4
950.43/590.89	c (32,0) x[3][6] = 18
950.43/590.89	c (32,0) x[3][7] = 14
950.43/590.89	c (32,0) x[3][8] = 12
950.43/590.89	c (32,0) x[3][10] = 12
950.43/590.89	c (32,0) x[3][11] = 14
950.43/590.89	c (32,0) x[3][12] = 11
950.43/590.89	c (32,0) x[3][13] = 19
950.43/590.89	c (32,0) x[3][14] = 14
950.43/590.89	c (32,0) x[3][16] = 2
950.43/590.89	c (32,0) x[3][17] = 14
950.43/590.89	c (32,0) x[3][18] = 20
950.43/590.89	c (32,0) x[3][19] = 17
950.43/590.89	c (32,0) x[3][20] = 18
950.43/590.89	c (32,0) x[4][2] = 18
950.43/590.89	c (32,0) x[4][3] = 0
950.43/590.89	c (32,0) x[4][4] = 11
950.43/590.89	c (32,0) x[4][5] = 18
950.43/590.89	c (32,0) x[4][7] = 8
950.43/590.89	c (32,0) x[4][8] = 0
950.43/590.89	c (32,0) x[4][9] = 10
950.43/590.89	c (32,0) x[4][10] = 14
950.43/590.89	c (32,0) x[4][11] = 20
950.43/590.89	c (32,0) x[4][12] = 19
950.43/590.89	c (32,0) x[4][13] = 4
950.66/590.90	c (32,0) x[4][15] = 9
950.66/590.90	c (32,0) x[4][16] = 20
950.66/590.90	c (32,0) x[4][17] = 19
950.66/590.90	c (32,0) x[4][18] = 0
950.66/590.90	c (32,0) x[5][0] = 12
950.66/590.90	c (32,0) x[5][1] = 0
950.66/590.90	c (32,0) x[5][2] = 8
950.66/590.90	c (32,0) x[5][4] = 18
950.66/590.90	c (32,0) x[5][5] = 19
950.66/590.90	c (32,0) x[5][6] = 4
950.66/590.90	c (32,0) x[5][7] = 19
950.66/590.90	c (32,0) x[5][8] = 18
950.66/590.90	c (32,0) x[5][9] = 14
950.66/590.90	c (32,0) x[5][10] = 13
950.66/590.90	c (32,0) x[5][12] = 0
950.66/590.90	c (32,0) x[5][13] = 13
950.66/590.90	c (32,0) x[5][14] = 19
950.66/590.90	c (32,0) x[5][15] = 4
950.66/590.90	c (32,0) x[5][16] = 18
950.66/590.90	c (32,0) x[5][18] = 11
950.66/590.90	c (32,0) x[5][19] = 4
950.66/590.90	c (32,0) x[5][20] = 12
950.66/590.90	c (32,0) x[6][0] = 4
950.66/590.90	c (32,0) x[6][1] = 19
950.66/590.90	c (32,0) x[6][2] = 4
950.66/590.90	c (32,0) x[6][3] = 11
950.66/590.90	c (32,0) x[6][5] = 17
950.66/590.90	c (32,0) x[6][6] = 14
950.66/590.90	c (32,0) x[6][7] = 18
950.66/590.90	c (32,0) x[6][9] = 7
950.66/590.90	c (32,0) x[6][10] = 14
950.66/590.90	c (32,0) x[6][11] = 20
950.66/590.90	c (32,0) x[6][13] = 19
950.66/590.90	c (32,0) x[6][14] = 0
950.66/590.90	c (32,0) x[6][15] = 20
950.66/590.90	c (32,0) x[6][17] = 0
950.66/590.90	c (32,0) x[6][18] = 8
950.66/590.90	c (32,0) x[6][19] = 11
950.66/590.90	c (32,0) x[6][20] = 4
950.66/590.90	c (32,0) x[7][0] = 18
950.66/590.90	c (32,0) x[7][1] = 4
950.66/590.90	c (32,0) x[7][2] = 13
950.66/590.90	c (32,0) x[7][3] = 4
950.66/590.90	c (32,0) x[7][4] = 2
950.66/590.90	c (32,0) x[7][5] = 14
950.66/590.90	c (32,0) x[7][6] = 13
950.66/590.90	c (32,0) x[7][8] = 1
950.66/590.90	c (32,0) x[7][9] = 14
950.66/590.90	c (32,0) x[7][10] = 18
950.66/590.90	c (32,0) x[7][11] = 18
950.66/590.90	c (32,0) x[7][12] = 20
950.66/590.90	c (32,0) x[7][14] = 20
950.66/590.90	c (32,0) x[7][15] = 13
950.66/590.90	c (32,0) x[7][16] = 8
950.66/590.90	c (32,0) x[7][17] = 18
950.66/590.90	c (32,0) x[7][18] = 18
950.66/590.90	c (32,0) x[7][19] = 4
950.66/590.90	c (32,0) x[7][20] = 25
950.66/590.90	c (32,0) x[8][0] = 14
950.66/590.90	c (32,0) x[8][1] = 12
950.66/590.90	c (32,0) x[8][2] = 13
950.66/590.90	c (32,0) x[8][3] = 8
950.66/590.90	c (32,0) x[8][4] = 20
950.66/590.90	c (32,0) x[8][5] = 12
950.66/590.90	c (32,0) x[8][7] = 18
950.66/590.90	c (32,0) x[8][8] = 0
950.66/590.90	c (32,0) x[8][9] = 11
950.66/590.90	c (32,0) x[8][11] = 4
950.66/590.90	c (32,0) x[8][12] = 17
950.66/590.90	c (32,0) x[8][13] = 18
950.66/590.90	c (32,0) x[8][15] = 0
950.66/590.90	c (32,0) x[8][16] = 11
950.66/590.90	c (32,0) x[8][17] = 15
950.66/590.90	c (32,0) x[8][18] = 0
950.66/590.90	c (32,0) x[8][19] = 6
950.66/590.90	c (32,0) x[8][20] = 4
950.66/590.90	c (32,0) x[9][0] = 13
950.66/590.90	c (32,0) x[9][1] = 8
950.66/590.90	c (32,0) x[9][2] = 4
950.66/590.90	c (32,0) x[9][4] = 18
950.66/590.90	c (32,0) x[9][5] = 0
950.66/590.90	c (32,0) x[9][6] = 25
950.66/590.90	c (32,0) x[9][7] = 14
950.66/590.90	c (32,0) x[9][8] = 8
950.66/590.90	c (32,0) x[9][9] = 18
950.66/590.90	c (32,0) x[9][11] = 17
950.66/590.90	c (32,0) x[9][12] = 4
950.66/590.90	c (32,0) x[9][13] = 0
950.66/590.90	c (32,0) x[9][14] = 2
950.66/590.90	c (32,0) x[9][16] = 0
950.66/590.90	c (32,0) x[9][17] = 17
950.66/590.90	c (32,0) x[9][18] = 18
950.66/590.90	c (32,0) x[9][19] = 8
950.66/590.90	c (32,0) x[9][20] = 18
950.66/590.90	c (32,0) x[10][3] = 4
950.66/590.90	c (32,0) x[10][4] = 15
950.66/590.90	c (32,0) x[10][5] = 18
950.66/590.90	c (32,0) x[10][6] = 14
950.66/590.90	c (32,0) x[10][7] = 12
950.66/590.90	c (32,0) x[10][13] = 12
950.66/590.90	c (32,0) x[10][14] = 0
950.66/590.90	c (32,0) x[10][15] = 17
950.66/590.90	c (32,0) x[10][16] = 8
950.66/590.90	c (32,0) x[10][17] = 4
950.66/590.90	c (32,0) x[11][0] = 0
950.66/590.90	c (32,0) x[11][1] = 1
950.66/590.90	c (32,0) x[11][2] = 4
950.66/590.90	c (32,0) x[11][3] = 19
950.66/590.90	c (32,0) x[11][4] = 8
950.66/590.90	c (32,0) x[11][6] = 1
950.66/590.90	c (32,0) x[11][7] = 0
950.66/590.90	c (32,0) x[11][8] = 19
950.66/590.90	c (32,0) x[11][9] = 4
950.66/590.90	c (32,0) x[11][11] = 3
950.66/590.90	c (32,0) x[11][12] = 14
950.66/590.90	c (32,0) x[11][13] = 20
950.66/590.90	c (32,0) x[11][14] = 5
950.66/590.90	c (32,0) x[11][15] = 4
950.66/590.90	c (32,0) x[11][16] = 18
950.66/590.90	c (32,0) x[11][18] = 19
950.66/590.90	c (32,0) x[11][19] = 19
950.66/590.90	c (32,0) x[11][20] = 2
950.66/590.90	c (32,0) x[12][0] = 2
950.66/590.90	c (32,0) x[12][1] = 0
950.66/590.90	c (32,0) x[12][2] = 18
950.66/590.90	c (32,0) x[12][3] = 0
950.66/590.90	c (32,0) x[12][4] = 3
950.66/590.90	c (32,0) x[12][5] = 14
950.66/590.90	c (32,0) x[12][7] = 13
950.66/590.90	c (32,0) x[12][8] = 4
950.66/590.90	c (32,0) x[12][9] = 12
950.66/590.90	c (32,0) x[12][11] = 4
950.66/590.90	c (32,0) x[12][12] = 20
950.66/590.90	c (32,0) x[12][13] = 18
950.66/590.90	c (32,0) x[12][15] = 5
950.66/590.90	c (32,0) x[12][16] = 4
950.66/590.90	c (32,0) x[12][17] = 17
950.66/590.90	c (32,0) x[12][18] = 17
950.66/590.90	c (32,0) x[12][19] = 8
950.66/590.90	c (32,0) x[12][20] = 4
950.66/590.90	c (32,0) x[13][0] = 7
950.66/590.90	c (32,0) x[13][1] = 8
950.66/590.90	c (32,0) x[13][2] = 15
950.66/590.90	c (32,0) x[13][3] = 15
950.66/590.90	c (32,0) x[13][4] = 4
950.66/590.90	c (32,0) x[13][5] = 20
950.66/590.90	c (32,0) x[13][6] = 18
950.66/590.90	c (32,0) x[13][8] = 19
950.66/590.90	c (32,0) x[13][9] = 14
950.66/590.90	c (32,0) x[13][10] = 0
950.66/590.90	c (32,0) x[13][11] = 18
950.66/590.90	c (32,0) x[13][12] = 19
950.66/590.90	c (32,0) x[13][14] = 2
950.66/590.90	c (32,0) x[13][15] = 14
950.66/590.90	c (32,0) x[13][16] = 18
950.66/590.90	c (32,0) x[13][17] = 19
950.66/590.90	c (32,0) x[13][18] = 0
950.66/590.90	c (32,0) x[13][19] = 17
950.66/590.90	c (32,0) x[13][20] = 3
950.66/590.90	c (32,0) x[14][0] = 4
950.66/590.90	c (32,0) x[14][1] = 13
950.66/590.90	c (32,0) x[14][2] = 4
950.66/590.90	c (32,0) x[14][3] = 4
950.66/590.90	c (32,0) x[14][5] = 2
950.66/590.90	c (32,0) x[14][6] = 0
950.66/590.90	c (32,0) x[14][7] = 14
950.66/590.90	c (32,0) x[14][9] = 8
950.66/590.90	c (32,0) x[14][10] = 1
950.66/590.90	c (32,0) x[14][11] = 13
950.66/590.90	c (32,0) x[14][13] = 1
950.66/590.90	c (32,0) x[14][14] = 0
950.66/590.90	c (32,0) x[14][15] = 20
950.66/590.90	c (32,0) x[14][17] = 19
950.66/590.90	c (32,0) x[14][18] = 20
950.66/590.90	c (32,0) x[14][19] = 0
950.66/590.90	c (32,0) x[14][20] = 8
950.66/590.90	c (32,0) x[15][0] = 1
950.66/590.90	c (32,0) x[15][1] = 4
950.66/590.90	c (32,0) x[15][2] = 17
950.66/590.90	c (32,0) x[15][4] = 15
950.66/590.90	c (32,0) x[15][5] = 7
950.66/590.90	c (32,0) x[15][6] = 11
950.66/590.90	c (32,0) x[15][7] = 14
950.66/590.90	c (32,0) x[15][8] = 23
950.66/590.90	c (32,0) x[15][10] = 17
950.66/590.90	c (32,0) x[15][11] = 14
950.66/590.90	c (32,0) x[15][12] = 18
950.66/590.90	c (32,0) x[15][13] = 4
950.66/590.90	c (32,0) x[15][14] = 14
950.66/590.90	c (32,0) x[15][15] = 11
950.66/590.90	c (32,0) x[15][16] = 4
950.66/590.90	c (32,0) x[15][18] = 12
950.66/590.90	c (32,0) x[15][19] = 19
950.66/590.90	c (32,0) x[15][20] = 18
950.66/590.90	c (32,0) x[16][2] = 14
950.66/590.90	c (32,0) x[16][3] = 19
950.66/590.90	c (32,0) x[16][4] = 4
950.66/590.90	c (32,0) x[16][5] = 4
950.66/590.90	c (32,0) x[16][7] = 11
950.66/590.90	c (32,0) x[16][8] = 24
950.66/590.90	c (32,0) x[16][9] = 17
950.66/590.90	c (32,0) x[16][10] = 8
950.66/590.90	c (32,0) x[16][11] = 18
950.66/590.90	c (32,0) x[16][12] = 12
950.66/590.90	c (32,0) x[16][13] = 4
950.66/590.90	c (32,0) x[16][15] = 0
950.66/590.90	c (32,0) x[16][16] = 2
950.66/590.90	c (32,0) x[16][17] = 17
950.66/590.90	c (32,0) x[16][18] = 0
950.66/590.90	c (32,0) x[17][0] = 0
950.66/590.90	c (32,0) x[17][1] = 6
950.66/590.90	c (32,0) x[17][2] = 8
950.66/590.90	c (32,0) x[17][3] = 14
950.66/590.90	c (32,0) x[17][4] = 18
950.66/590.90	c (32,0) x[17][6] = 3
950.66/590.90	c (32,0) x[17][7] = 8
950.66/590.90	c (32,0) x[17][8] = 18
950.66/590.90	c (32,0) x[17][9] = 4
950.66/590.90	c (32,0) x[17][10] = 18
950.66/590.90	c (32,0) x[17][12] = 14
950.66/590.90	c (32,0) x[17][13] = 17
950.66/590.90	c (32,0) x[17][14] = 4
950.66/590.90	c (32,0) x[17][16] = 17
950.66/590.90	c (32,0) x[17][17] = 4
950.66/590.90	c (32,0) x[17][18] = 19
950.66/590.90	c (32,0) x[17][19] = 17
950.66/590.90	c (32,0) x[17][20] = 14
950.66/590.90	c (32,0) x[18][0] = 2
950.66/590.90	c (32,0) x[18][1] = 0
950.66/590.90	c (32,0) x[18][2] = 18
950.66/590.90	c (32,0) x[18][3] = 18
950.66/590.90	c (32,0) x[18][4] = 14
950.66/590.90	c (32,0) x[18][5] = 11
950.66/590.90	c (32,0) x[18][6] = 4
950.66/590.90	c (32,0) x[18][7] = 19
950.66/590.90	c (32,0) x[18][8] = 19
950.66/590.90	c (32,0) x[18][9] = 4
950.66/590.90	c (32,0) x[18][11] = 0
950.66/590.90	c (32,0) x[18][12] = 2
950.66/590.90	c (32,0) x[18][13] = 0
950.66/590.90	c (32,0) x[18][14] = 11
950.66/590.90	c (32,0) x[18][15] = 2
950.66/590.90	c (32,0) x[18][16] = 20
950.66/590.90	c (32,0) x[18][17] = 11
950.66/590.90	c (32,0) x[18][18] = 8
950.66/590.90	c (32,0) x[18][19] = 4
950.66/590.90	c (32,0) x[18][20] = 18
950.66/590.90	c (32,0) x[19][0] = 7
950.66/590.90	c (32,0) x[19][1] = 20
950.66/590.90	c (32,0) x[19][2] = 4
950.66/590.90	c (32,0) x[19][3] = 18
950.66/590.90	c (32,0) x[19][5] = 4
950.66/590.90	c (32,0) x[19][6] = 2
950.66/590.90	c (32,0) x[19][7] = 7
950.66/590.90	c (32,0) x[19][8] = 4
950.66/590.90	c (32,0) x[19][9] = 17
950.66/590.90	c (32,0) x[19][11] = 18
950.66/590.90	c (32,0) x[19][12] = 10
950.66/590.90	c (32,0) x[19][13] = 8
950.66/590.90	c (32,0) x[19][14] = 4
950.66/590.90	c (32,0) x[19][15] = 17
950.66/590.90	c (32,0) x[19][17] = 20
950.66/590.90	c (32,0) x[19][18] = 18
950.66/590.90	c (32,0) x[19][19] = 0
950.66/590.90	c (32,0) x[19][20] = 18
950.66/590.90	c (32,0) x[20][0] = 4
950.66/590.90	c (32,0) x[20][1] = 17
950.66/590.90	c (32,0) x[20][2] = 18
950.66/590.90	c (32,0) x[20][3] = 4
950.66/590.90	c (32,0) x[20][5] = 3
950.66/590.90	c (32,0) x[20][6] = 8
950.66/590.90	c (32,0) x[20][7] = 4
950.66/590.90	c (32,0) x[20][8] = 18
950.66/590.90	c (32,0) x[20][9] = 0
950.66/590.90	c (32,0) x[20][11] = 4
950.66/590.90	c (32,0) x[20][12] = 18
950.66/590.90	c (32,0) x[20][13] = 19
950.66/590.90	c (32,0) x[20][14] = 4
950.66/590.90	c (32,0) x[20][15] = 18
950.66/590.90	c (32,0) x[20][17] = 18
950.66/590.90	c (32,0) x[20][18] = 4
950.66/590.90	c (32,0) x[20][19] = 2
950.66/590.90	c (32,0) x[20][20] = 20
950.66/590.90	s SATISFIABLE
950.66/590.91	v <instantiation>
950.66/590.91	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][17] x[0][18] x[0][19] x[0][20] x[1][0] x[1][1] x[1][2] x[1][3] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][17] x[1][18] x[1][19] x[1][20] 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][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][6] x[3][7] x[3][8] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[4][2] x[4][3] x[4][4] x[4][5] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][15] x[4][16] x[4][17] x[4][18] x[5][0] x[5][1] x[5][2] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][18] x[5][19] x[5][20] x[6][0] x[6][1] x[6][2] x[6][3] x[6][5] x[6][6] x[6][7] x[6][9] x[6][10] x[6][11] x[6][13] x[6][14] x[6][15] x[6][17] x[6][18] x[6][19] x[6][20] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][7] x[8][8] x[8][9] x[8][11] x[8][12] x[8][13] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[9][0] x[9][1] x[9][2] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][11] x[9][12] x[9][13] x[9][14] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][6] x[11][7] x[11][8] x[11][9] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][18] x[11][19] x[11][20] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][7] x[12][8] x[12][9] x[12][11] x[12][12] x[12][13] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[14][0] x[14][1] x[14][2] x[14][3] x[14][5] x[14][6] x[14][7] x[14][9] x[14][10] x[14][11] x[14][13] x[14][14] x[14][15] x[14][17] x[14][18] x[14][19] x[14][20] x[15][0] x[15][1] x[15][2] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][18] x[15][19] x[15][20] x[16][2] x[16][3] x[16][4] x[16][5] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][15] x[16][16] x[16][17] x[16][18] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][12] x[17][13] x[17][14] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[19][0] x[19][1] x[19][2] x[19][3] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][17] x[19][18] x[19][19] x[19][20] x[20][0] x[20][1] x[20][2] x[20][3] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][17] x[20][18] x[20][19] x[20][20]</list>
950.66/590.91	v     <values>17 0 6 4 15 8 18 19 4 1 4 15 15 20 2 0 4 12 0 1 4 17 18 11 20 17 15 8 23 0 8 19 0 13 6 4 2 0 11 14 19 19 4 17 0 18 18 0 17 2 4 4 13 13 4 18 4 19 20 3 4 18 14 12 12 14 11 19 14 2 14 20 17 18 18 0 11 18 8 0 10 14 20 19 4 9 20 19 0 12 0 8 18 19 4 19 18 14 13 0 13 19 4 18 11 4 12 4 19 4 11 17 14 18 7 14 20 19 0 20 0 8 11 4 18 4 13 4 2 14 13 1 14 18 18 20 20 13 8 18 18 4 25 14 12 13 8 20 12 18 0 11 4 17 18 0 11 15 0 6 4 13 8 4 18 0 25 14 8 18 17 4 0 2 0 17 18 8 18 4 15 18 14 12 12 0 17 8 4 0 1 4 19 8 1 0 19 4 3 14 20 5 4 18 19 19 2 2 0 18 0 3 14 13 4 12 4 20 18 5 4 17 17 8 4 7 8 15 15 4 20 18 19 14 0 18 19 2 14 18 19 0 17 3 4 13 4 4 2 0 14 8 1 13 1 0 20 19 20 0 8 1 4 17 15 7 11 14 23 17 14 18 4 14 11 4 12 19 18 14 19 4 4 11 24 17 8 18 12 4 0 2 17 0 0 6 8 14 18 3 8 18 4 18 14 17 4 17 4 19 17 14 2 0 18 18 14 11 4 19 19 4 0 2 0 11 2 20 11 8 4 18 7 20 4 18 4 2 7 4 17 18 10 8 4 17 20 18 0 18 4 17 18 4 3 8 4 18 0 4 18 19 4 18 18 4 2 20</values>
950.66/590.91	v </instantiation>
950.66/590.91	c (32,0) Show results End
950.66/590.91	c (32,0) Heap : 234 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
950.66/590.91	c (32,0) 32,32,STOP-AFTER(ALL)
950.66/590.91	c END-Prog: Sat Sep 14 09:42:09 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 (14944 MiB free)
  memory of node 1: 16384 MiB (15580 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100113 s]*
/proc/loadavg: 1.41 5.05 6.78 2/212 11485
/proc/meminfo: memFree=31165472/32770624 swapFree=67000604/67108860
[pid=11463] ppid=11460 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11463/stat : 11463 (scop.sh) S 11460 11463 10321 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420551884 115843072 349 33554432000 4194304 5098028 140723673450368 140723673447624 140514760942204 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22523904 140723673453348 140723673453676 140723673453676 140723673456589 0
/proc/11463/statm: 28282 349 296 221 0 87 0
[pid=11466] ppid=11463 vsize=27314120 memory=105004 CPUtime=0.1 cores=0-7
/proc/11466/stat : 11466 (java) S 11463 11463 10321 0 -1 1077944320 6781 0 0 0 8 2 0 0 20 0 20 0 420551884 27969658880 26251 33554432000 4194304 4196468 140732022956144 140732022938688 140296523103991 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
/proc/11466/statm: 6828530 26251 2814 1 0 6790935 0
[pid=11466/tid=11467] ppid=11463 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/11466/task/11467/stat : 11467 (java) R 11463 11463 10321 0 -1 4202560 4868 0 0 0 7 2 0 0 20 0 20 0 420551885 27969658880 26251 33554432000 4194304 4196468 140732022956144 140296494927040 140296523115926 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11468] ppid=11463 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/11466/task/11468/stat : 11468 (java) S 11463 11463 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420551887 27969658880 26251 33554432000 4194304 4196468 140732022956144 140296527346576 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11469] ppid=11463 vsize=27314120 memory=140536919299712 CPUtime=0 cores=0-7
/proc/11466/task/11469/stat : 11469 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420551887 27969658880 26251 33554432000 4194304 4196468 140732022956144 140296341502736 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11470] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11470/stat : 11470 (java) S 11463 11463 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420551887 27969658880 26251 33554432000 4194304 4196468 140732022956144 140296340450448 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11471] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11471/stat : 11471 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420551887 27969658880 26251 33554432000 4194304 4196468 140732022956144 140296339397648 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11472] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11472/stat : 11472 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420551887 27969658880 26251 33554432000 4194304 4196468 140732022956144 140296338344336 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11473] ppid=11463 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11466/task/11473/stat : 11473 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420551887 27969658880 26251 33554432000 4194304 4196468 140732022956144 140296337291536 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11474] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11474/stat : 11474 (java) S 11463 11463 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420551887 27969658880 26251 33554432000 4194304 4196468 140732022956144 140296336239248 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11475] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11475/stat : 11475 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420551887 27969658880 26251 33554432000 4194304 4196468 140732022956144 140296335186448 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11476] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11476/stat : 11476 (java) S 11463 11463 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420551889 27969658880 26251 33554432000 4194304 4196468 140732022956144 140295044520560 140296523115138 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11477] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11477/stat : 11477 (java) S 11463 11463 10321 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420551889 27969658880 26251 33554432000 4194304 4196468 140732022956144 140294167192864 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11478] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11478/stat : 11478 (java) S 11463 11463 10321 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420551889 27969658880 26251 33554432000 4194304 4196468 140732022956144 140294032971376 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11479] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11479/stat : 11479 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420551892 27969658880 26251 33554432000 4194304 4196468 140732022956144 140293658466896 140296523122587 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11480] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11480/stat : 11480 (java) S 11463 11463 10321 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 420551892 27969658880 26251 33554432000 4194304 4196468 140732022956144 140295043467376 140296523115138 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11481] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11481/stat : 11481 (java) S 11463 11463 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420551892 27969658880 26251 33554432000 4194304 4196468 140732022956144 140295042414576 140296523115138 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11482] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11482/stat : 11482 (java) S 11463 11463 10321 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420551892 27969658880 26251 33554432000 4194304 4196468 140732022956144 140295041362288 140296523115138 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11483] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11483/stat : 11483 (java) S 11463 11463 10321 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 20 0 420551892 27969658880 26251 33554432000 4194304 4196468 140732022956144 140294972500208 140296523115138 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11484] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11484/stat : 11484 (java) S 11463 11463 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420551892 27969658880 26251 33554432000 4194304 4196468 140732022956144 140293160561504 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11485] ppid=11463 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11466/task/11485/stat : 11485 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420551892 27969658880 26251 33554432000 4194304 4196468 140732022956144 140294971448112 140296523115138 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106400 KiB

[startup+0.210393 s]*
/proc/loadavg: 1.41 5.05 6.78 3/212 11485
/proc/meminfo: memFree=31147076/32770624 swapFree=67000604/67108860
[pid=11463] ppid=11460 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11463/stat : 11463 (scop.sh) S 11460 11463 10321 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420551884 115843072 349 33554432000 4194304 5098028 140723673450368 140723673447624 140514760942204 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22523904 140723673453348 140723673453676 140723673453676 140723673456589 0
/proc/11463/statm: 28282 349 296 221 0 87 0
[pid=11466] ppid=11463 vsize=27314120 memory=121564 CPUtime=0.24 cores=0-7
/proc/11466/stat : 11466 (java) S 11463 11463 10321 0 -1 1077944320 11789 0 0 0 20 4 0 0 20 0 20 0 420551884 27969658880 30391 33554432000 4194304 4196468 140732022956144 140732022938688 140296523103991 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
/proc/11466/statm: 6828530 30391 2931 1 0 6790935 0
[pid=11466/tid=11467] ppid=11463 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/11466/task/11467/stat : 11467 (java) R 11463 11463 10321 0 -1 4202560 9476 0 0 0 16 3 0 0 20 0 20 0 420551885 27969658880 30391 33554432000 4194304 4196468 140732022956144 140296494903376 140296503379344 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11468] ppid=11463 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/11466/task/11468/stat : 11468 (java) S 11463 11463 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420551887 27969658880 30391 33554432000 4194304 4196468 140732022956144 140296527346576 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11469] ppid=11463 vsize=27314120 memory=3763234687421191840 CPUtime=0 cores=0-7
/proc/11466/task/11469/stat : 11469 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420551887 27969658880 30391 33554432000 4194304 4196468 140732022956144 140296341502736 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11470] ppid=11463 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11466/task/11470/stat : 11470 (java) S 11463 11463 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420551887 27969658880 30391 33554432000 4194304 4196468 140732022956144 140296340450448 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11471] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11471/stat : 11471 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420551887 27969658880 30391 33554432000 4194304 4196468 140732022956144 140296339397648 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11472] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11472/stat : 11472 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420551887 27969658880 30391 33554432000 4194304 4196468 140732022956144 140296338344336 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11473] ppid=11463 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11466/task/11473/stat : 11473 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420551887 27969658880 30391 33554432000 4194304 4196468 140732022956144 140296337291536 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11474] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11474/stat : 11474 (java) S 11463 11463 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420551887 27969658880 30391 33554432000 4194304 4196468 140732022956144 140296336239248 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11475] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11475/stat : 11475 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420551887 27969658880 30391 33554432000 4194304 4196468 140732022956144 140296335186448 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11476] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11476/stat : 11476 (java) S 11463 11463 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420551889 27969658880 30391 33554432000 4194304 4196468 140732022956144 140295044520560 140296523115138 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11477] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11477/stat : 11477 (java) S 11463 11463 10321 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420551889 27969658880 30391 33554432000 4194304 4196468 140732022956144 140294167192864 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11478] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11478/stat : 11478 (java) S 11463 11463 10321 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420551889 27969658880 30391 33554432000 4194304 4196468 140732022956144 140294032971376 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11479] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11479/stat : 11479 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420551892 27969658880 30391 33554432000 4194304 4196468 140732022956144 140293658466896 140296523122587 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11480] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11480/stat : 11480 (java) S 11463 11463 10321 0 -1 1077944384 441 0 0 0 0 0 0 0 20 0 20 0 420551892 27969658880 30391 33554432000 4194304 4196468 140732022956144 140295043467376 140296523115138 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11481] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11481/stat : 11481 (java) S 11463 11463 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420551892 27969658880 30391 33554432000 4194304 4196468 140732022956144 140295042414576 140296523115138 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11482] ppid=11463 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11466/task/11482/stat : 11482 (java) S 11463 11463 10321 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420551892 27969658880 30391 33554432000 4194304 4196468 140732022956144 140295041362288 140296523115138 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11483] ppid=11463 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/11466/task/11483/stat : 11483 (java) S 11463 11463 10321 0 -1 1077944384 490 0 0 0 2 0 0 0 20 0 20 0 420551892 27969658880 30391 33554432000 4194304 4196468 140732022956144 140294972500208 140296523115138 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11484] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11484/stat : 11484 (java) S 11463 11463 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420551892 27969658880 30391 33554432000 4194304 4196468 140732022956144 140293160561504 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11485] ppid=11463 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11466/task/11485/stat : 11485 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420551892 27969658880 30391 33554432000 4194304 4196468 140732022956144 140294971448112 140296523115138 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122960 KiB

[startup+0.309826 s]*
/proc/loadavg: 1.41 5.05 6.78 2/212 11485
/proc/meminfo: memFree=31144160/32770624 swapFree=67000604/67108860
[pid=11463] ppid=11460 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11463/stat : 11463 (scop.sh) S 11460 11463 10321 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420551884 115843072 349 33554432000 4194304 5098028 140723673450368 140723673447624 140514760942204 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22523904 140723673453348 140723673453676 140723673453676 140723673456589 0
/proc/11463/statm: 28282 349 296 221 0 87 0
[pid=11466] ppid=11463 vsize=27314120 memory=125152 CPUtime=0.42 cores=0-7
/proc/11466/stat : 11466 (java) S 11463 11463 10321 0 -1 1077944320 12767 0 0 0 37 5 0 0 20 0 20 0 420551884 27969658880 31288 33554432000 4194304 4196468 140732022956144 140732022938688 140296523103991 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
/proc/11466/statm: 6828530 31288 2967 1 0 6790935 0
[pid=11466/tid=11467] ppid=11463 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/11466/task/11467/stat : 11467 (java) R 11463 11463 10321 0 -1 4202560 10273 0 0 0 26 3 0 0 20 0 20 0 420551885 27969658880 31288 33554432000 4194304 4196468 140732022956144 140296494934064 140296523117878 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11468] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11468/stat : 11468 (java) S 11463 11463 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420551887 27969658880 31288 33554432000 4194304 4196468 140732022956144 140296527346576 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11469] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11469/stat : 11469 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420551887 27969658880 31288 33554432000 4194304 4196468 140732022956144 140296341502736 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11470] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11470/stat : 11470 (java) S 11463 11463 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420551887 27969658880 31288 33554432000 4194304 4196468 140732022956144 140296340450448 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11471] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11471/stat : 11471 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420551887 27969658880 31288 33554432000 4194304 4196468 140732022956144 140296339397648 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11472] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11472/stat : 11472 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420551887 27969658880 31288 33554432000 4194304 4196468 140732022956144 140296338344336 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11473] ppid=11463 vsize=27314120 memory=140536765835951 CPUtime=0 cores=0-7
/proc/11466/task/11473/stat : 11473 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420551887 27969658880 31288 33554432000 4194304 4196468 140732022956144 140296337291536 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11474] ppid=11463 vsize=27314120 memory=140536765838256 CPUtime=0 cores=0-7
/proc/11466/task/11474/stat : 11474 (java) S 11463 11463 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420551887 27969658880 31288 33554432000 4194304 4196468 140732022956144 140296336239248 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11475] ppid=11463 vsize=27314120 memory=140536765840560 CPUtime=0 cores=0-7
/proc/11466/task/11475/stat : 11475 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420551887 27969658880 31288 33554432000 4194304 4196468 140732022956144 140296335186448 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11476] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11476/stat : 11476 (java) S 11463 11463 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420551889 27969658880 31288 33554432000 4194304 4196468 140732022956144 140295044520560 140296523115138 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11477] ppid=11463 vsize=27314120 memory=281073531694992 CPUtime=0 cores=0-7
/proc/11466/task/11477/stat : 11477 (java) S 11463 11463 10321 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420551889 27969658880 31288 33554432000 4194304 4196468 140732022956144 140294167192864 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11478] ppid=11463 vsize=27314120 memory=281073531692688 CPUtime=0 cores=0-7
/proc/11466/task/11478/stat : 11478 (java) S 11463 11463 10321 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420551889 27969658880 31288 33554432000 4194304 4196468 140732022956144 140294032971376 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11479] ppid=11463 vsize=27314120 memory=281073531699600 CPUtime=0 cores=0-7
/proc/11466/task/11479/stat : 11479 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420551892 27969658880 31288 33554432000 4194304 4196468 140732022956144 140293658466896 140296523122587 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11480] ppid=11463 vsize=27314120 memory=281073531640880 CPUtime=0 cores=0-7
/proc/11466/task/11480/stat : 11480 (java) S 11463 11463 10321 0 -1 1077944384 455 0 0 0 0 0 0 0 20 0 20 0 420551892 27969658880 31288 33554432000 4194304 4196468 140732022956144 140295043467376 140296523115138 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11481] ppid=11463 vsize=27314120 memory=281073531713424 CPUtime=0.01 cores=0-7
/proc/11466/task/11481/stat : 11481 (java) S 11463 11463 10321 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 20 0 420551892 27969658880 31288 33554432000 4194304 4196468 140732022956144 140295042414576 140296523115138 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11482] ppid=11463 vsize=27314120 memory=281073531720336 CPUtime=0.01 cores=0-7
/proc/11466/task/11482/stat : 11482 (java) S 11463 11463 10321 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 20 0 420551892 27969658880 31288 33554432000 4194304 4196468 140732022956144 140295041362288 140296523115138 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11483] ppid=11463 vsize=27314120 memory=281073531718032 CPUtime=0.07 cores=0-7
/proc/11466/task/11483/stat : 11483 (java) S 11463 11463 10321 0 -1 1077944384 520 0 0 0 7 0 0 0 20 0 20 0 420551892 27969658880 31288 33554432000 4194304 4196468 140732022956144 140294972500208 140296523115138 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11484] ppid=11463 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11484/stat : 11484 (java) S 11463 11463 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420551892 27969658880 31288 33554432000 4194304 4196468 140732022956144 140293160561504 140296523114197 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11485] ppid=11463 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/11466/task/11485/stat : 11485 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420551892 27969658880 31288 33554432000 4194304 4196468 140732022956144 140294971448112 140296523115138 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126548 KiB

[startup+0.700933 s]
/proc/loadavg: 1.41 5.05 6.78 3/212 11485
/proc/meminfo: memFree=31120824/32770624 swapFree=67000604/67108860
[pid=11463] ppid=11460 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/11463/stat : 11463 (scop.sh) S 11460 11463 10321 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420551884 115843072 349 33554432000 4194304 5098028 140723673450368 140723673447624 140514760942204 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22523904 140723673453348 140723673453676 140723673453676 140723673456589 0
/proc/11463/statm: 28282 349 296 221 0 87 0
[pid=11466] ppid=11463 vsize=27320392 memory=163260 CPUtime=0.99 cores=0-7
/proc/11466/stat : 11466 (java) S 11463 11463 10321 0 -1 1077944320 20424 0 0 0 92 7 0 0 20 0 20 0 420551884 27976081408 40815 33554432000 4194304 4196468 140732022956144 140732022938688 140296523103991 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
/proc/11466/statm: 6830098 40815 3147 1 0 6791447 0
[pid=11466/tid=11467] ppid=11463 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/11466/task/11467/stat : 11467 (java) R 11463 11463 10321 0 -1 4202560 17364 0 0 0 62 5 0 0 20 0 20 0 420551885 27976081408 40815 33554432000 4194304 4196468 140732022956144 140296494938672 140296523115926 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11468] ppid=11463 vsize=27320392 memory=140536766047088 CPUtime=0 cores=0-7
/proc/11466/task/11468/stat : 11468 (java) S 11463 11463 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420551887 27976081408 40815 33554432000 4194304 4196468 140732022956144 140296527346576 140296523114197 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11469] ppid=11463 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/11466/task/11469/stat : 11469 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420551887 27976081408 40815 33554432000 4194304 4196468 140732022956144 140296341502736 140296523114197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0
[pid=11466/tid=11470] ppid=11463 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/11466/task/11470/stat : 11470 (java) S 11463 11463 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420551887 27976081408 40815 33554432000 4194304 4196468 140732022956144 140296340450448 140296523114197 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34893824 140732022964970 140732022965398 140732022965398 140732022968271 0

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

[pid=11529/tid=11530] ppid=11463 vsize=8414124 memory=3616 CPUtime=0.83 cores=0-7
/proc/11529/task/11530/stat : 11530 (java) S 11463 11463 10321 0 -1 1077944384 18023 0 0 0 77 6 0 0 20 0 24 0 420607651 8616062976 31142 33554432000 4194304 4196468 140734937436160 140598646640544 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11531] ppid=11463 vsize=8414124 memory=37740 CPUtime=0 cores=0-7
/proc/11529/task/11531/stat : 11531 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420607652 8616062976 31142 33554432000 4194304 4196468 140734937436160 140598679043088 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11532] ppid=11463 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/11529/task/11532/stat : 11532 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420607652 8616062976 31142 33554432000 4194304 4196468 140734937436160 140598160374928 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11533] ppid=11463 vsize=8414124 memory=808 CPUtime=0 cores=0-7
/proc/11529/task/11533/stat : 11533 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420607652 8616062976 31142 33554432000 4194304 4196468 140734937436160 140598159321872 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11534] ppid=11463 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/11529/task/11534/stat : 11534 (java) S 11463 11463 10321 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420607652 8616062976 31142 33554432000 4194304 4196468 140734937436160 140598158269328 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11535] ppid=11463 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/11529/task/11535/stat : 11535 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420607652 8616062976 31142 33554432000 4194304 4196468 140734937436160 140598157216272 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11536] ppid=11463 vsize=8414124 memory=4136 CPUtime=0 cores=0-7
/proc/11529/task/11536/stat : 11536 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420607652 8616062976 31142 33554432000 4194304 4196468 140734937436160 140598156163728 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11537] ppid=11463 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/11529/task/11537/stat : 11537 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420607652 8616062976 31142 33554432000 4194304 4196468 140734937436160 140598155110672 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11538] ppid=11463 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/11529/task/11538/stat : 11538 (java) S 11463 11463 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420607652 8616062976 31142 33554432000 4194304 4196468 140734937436160 140598154058128 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11539] ppid=11463 vsize=8414124 memory=3756 CPUtime=0 cores=0-7
/proc/11529/task/11539/stat : 11539 (java) S 11463 11463 10321 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420607654 8616062976 31142 33554432000 4194304 4196468 140734937436160 140597432150768 140598674811522 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11540] ppid=11463 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/11529/task/11540/stat : 11540 (java) S 11463 11463 10321 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420607655 8616062976 31142 33554432000 4194304 4196468 140734937436160 140597297931936 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11541] ppid=11463 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/11529/task/11541/stat : 11541 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420607655 8616062976 31142 33554432000 4194304 4196468 140734937436160 140597029496048 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11542] ppid=11463 vsize=8414124 memory=2012 CPUtime=0 cores=0-7
/proc/11529/task/11542/stat : 11542 (java) S 11463 11463 10321 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420607658 8616062976 31142 33554432000 4194304 4196468 140734937436160 140596654987728 140598674818971 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11543] ppid=11463 vsize=8414124 memory=1240 CPUtime=0.06 cores=0-7
/proc/11529/task/11543/stat : 11543 (java) S 11463 11463 10321 0 -1 1077944384 684 0 0 0 6 0 0 0 20 0 24 0 420607658 8616062976 31142 33554432000 4194304 4196468 140734937436160 140597431097584 140598674811522 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11544] ppid=11463 vsize=8414124 memory=580 CPUtime=0.18 cores=0-7
/proc/11529/task/11544/stat : 11544 (java) S 11463 11463 10321 0 -1 1077944384 747 0 0 0 18 0 0 0 20 0 24 0 420607658 8616062976 31142 33554432000 4194304 4196468 140734937436160 140597430045040 140598674811522 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11545] ppid=11463 vsize=8414124 memory=1696 CPUtime=0.08 cores=0-7
/proc/11529/task/11545/stat : 11545 (java) S 11463 11463 10321 0 -1 1077944384 239 0 0 0 8 0 0 0 20 0 24 0 420607658 8616062976 31142 33554432000 4194304 4196468 140734937436160 140597428991984 140598674811522 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11547] ppid=11463 vsize=8414124 memory=3436 CPUtime=0.24 cores=0-7
/proc/11529/task/11547/stat : 11547 (java) S 11463 11463 10321 0 -1 1077944384 590 0 0 0 24 0 0 0 20 0 24 0 420607658 8616062976 31142 33554432000 4194304 4196468 140734937436160 140597427939440 140598674811522 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11548] ppid=11463 vsize=8414124 memory=7548 CPUtime=0 cores=0-7
/proc/11529/task/11548/stat : 11548 (java) S 11463 11463 10321 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420607658 8616062976 31142 33554432000 4194304 4196468 140734937436160 140596157082592 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11549] ppid=11463 vsize=8414124 memory=1476 CPUtime=0.01 cores=0-7
/proc/11529/task/11549/stat : 11549 (java) S 11463 11463 10321 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 420607658 8616062976 31142 33554432000 4194304 4196468 140734937436160 140597426887856 140598674811522 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11551] ppid=11463 vsize=8414124 memory=124568 CPUtime=0 cores=0-7
/proc/11529/task/11551/stat : 11551 (java) S 11463 11463 10321 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420607732 8616062976 31142 33554432000 4194304 4196468 140734937436160 140597419410880 140598674824985 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11553] ppid=11463 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/11529/task/11553/stat : 11553 (java) S 11463 11463 10321 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 420607732 8616062976 31142 33554432000 4194304 4196468 140734937436160 140595485982256 140598674822301 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11554] ppid=11463 vsize=8414124 memory=37740 CPUtime=0 cores=0-7
/proc/11529/task/11554/stat : 11554 (java) S 11463 11463 10321 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420607732 8616062976 31142 33554432000 4194304 4196468 140734937436160 140595754417840 140598674822301 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11555] ppid=11463 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/11529/task/11555/stat : 11555 (java) S 11463 11463 10321 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420607734 8616062976 31142 33554432000 4194304 4196468 140734937436160 140595217554352 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
Current children cumulated CPU time: 949.51 s
Current children cumulated vsize: 12677420 KiB
Current children cumulated memory: 3995716 KiB

[startup+590.801 s]
/proc/loadavg: 4.13 2.47 4.41 2/218 11563
/proc/meminfo: memFree=27143912/32770624 swapFree=67000608/67108860
[pid=11463] ppid=11460 vsize=113128 memory=1476 CPUtime=733.81 cores=0-7
/proc/11463/stat : 11463 (scop.sh) S 11460 11463 10321 0 -1 4202496 583 233427 0 0 0 0 69986 3395 20 0 1 0 420551884 115843072 369 33554432000 4194304 5098028 140723673450368 140723673447112 140514760942204 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22523904 140723673453348 140723673453676 140723673453676 140723673456589 0
/proc/11463/statm: 28282 369 311 221 0 87 0
[pid=11529] ppid=11463 vsize=8283048 memory=227928 CPUtime=216.62 cores=0-7
/proc/11529/stat : 11529 (java) S 11463 11463 10321 0 -1 1077944320 22921 2411459 0 0 196 11 20862 593 20 0 22 0 420607650 8481841152 56982 33554432000 4194304 4196468 140734937436160 140734937418704 140598674800375 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
/proc/11529/statm: 2070762 56982 3232 1 0 2032106 0
[pid=11529/tid=11530] ppid=11463 vsize=8283048 memory=1768 CPUtime=215.43 cores=0-7
/proc/11529/task/11530/stat : 11530 (java) R 11463 11463 10321 0 -1 4202560 18153 2411459 0 0 82 6 20862 593 20 0 22 0 420607651 8481841152 56982 33554432000 4194304 4196468 140734937436160 140598646638528 140598674812310 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11531] ppid=11463 vsize=8283048 memory=3616 CPUtime=214.55 cores=0-7
/proc/11529/task/11531/stat : 11531 (java) S 11463 11463 10321 0 -1 1077944384 1 2411459 0 0 0 0 20862 593 20 0 22 0 420607652 8481841152 56982 33554432000 4194304 4196468 140734937436160 140598679043088 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11532] ppid=11463 vsize=8283048 memory=1476 CPUtime=214.55 cores=0-7
/proc/11529/task/11532/stat : 11532 (java) S 11463 11463 10321 0 -1 1077944384 1 2411459 0 0 0 0 20862 593 20 0 22 0 420607652 8481841152 56982 33554432000 4194304 4196468 140734937436160 140598160374928 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11533] ppid=11463 vsize=8283048 memory=124568 CPUtime=214.55 cores=0-7
/proc/11529/task/11533/stat : 11533 (java) S 11463 11463 10321 0 -1 1077944384 1 2411459 0 0 0 0 20862 593 20 0 22 0 420607652 8481841152 56982 33554432000 4194304 4196468 140734937436160 140598159321872 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11534] ppid=11463 vsize=8283048 memory=3869632 CPUtime=214.55 cores=0-7
/proc/11529/task/11534/stat : 11534 (java) S 11463 11463 10321 0 -1 1077944384 2 2411459 0 0 0 0 20862 593 20 0 22 0 420607652 8481841152 56982 33554432000 4194304 4196468 140734937436160 140598158269328 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11535] ppid=11463 vsize=8283048 memory=6791534058613427641 CPUtime=214.55 cores=0-7
/proc/11529/task/11535/stat : 11535 (java) S 11463 11463 10321 0 -1 1077944384 1 2411459 0 0 0 0 20862 593 20 0 22 0 420607652 8481841152 56982 33554432000 4194304 4196468 140734937436160 140598157216272 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11536] ppid=11463 vsize=8283048 memory=3616 CPUtime=214.55 cores=0-7
/proc/11529/task/11536/stat : 11536 (java) S 11463 11463 10321 0 -1 1077944384 1 2411459 0 0 0 0 20862 593 20 0 22 0 420607652 8481841152 56982 33554432000 4194304 4196468 140734937436160 140598156163728 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11537] ppid=11463 vsize=8283048 memory=37740 CPUtime=214.55 cores=0-7
/proc/11529/task/11537/stat : 11537 (java) S 11463 11463 10321 0 -1 1077944384 1 2411459 0 0 0 0 20862 593 20 0 22 0 420607652 8481841152 56982 33554432000 4194304 4196468 140734937436160 140598155110672 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11538] ppid=11463 vsize=8283048 memory=988 CPUtime=214.55 cores=0-7
/proc/11529/task/11538/stat : 11538 (java) S 11463 11463 10321 0 -1 1077944384 3 2411459 0 0 0 0 20862 593 20 0 22 0 420607652 8481841152 56982 33554432000 4194304 4196468 140734937436160 140598154058128 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11539] ppid=11463 vsize=8283048 memory=2012 CPUtime=214.55 cores=0-7
/proc/11529/task/11539/stat : 11539 (java) S 11463 11463 10321 0 -1 1077944384 5 2411459 0 0 0 0 20862 593 20 0 22 0 420607654 8481841152 56982 33554432000 4194304 4196468 140734937436160 140597432150768 140598674811522 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11540] ppid=11463 vsize=8283048 memory=1240 CPUtime=214.55 cores=0-7
/proc/11529/task/11540/stat : 11540 (java) S 11463 11463 10321 0 -1 1077944384 13 2411459 0 0 0 0 20862 593 20 0 22 0 420607655 8481841152 56982 33554432000 4194304 4196468 140734937436160 140597297931936 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11541] ppid=11463 vsize=8283048 memory=580 CPUtime=214.55 cores=0-7
/proc/11529/task/11541/stat : 11541 (java) S 11463 11463 10321 0 -1 1077944384 1 2411459 0 0 0 0 20862 593 20 0 22 0 420607655 8481841152 56982 33554432000 4194304 4196468 140734937436160 140597029496048 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11542] ppid=11463 vsize=8283048 memory=1696 CPUtime=214.55 cores=0-7
/proc/11529/task/11542/stat : 11542 (java) S 11463 11463 10321 0 -1 1077944384 1 2411459 0 0 0 0 20862 593 20 0 22 0 420607658 8481841152 56982 33554432000 4194304 4196468 140734937436160 140596654987728 140598674818971 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11543] ppid=11463 vsize=8283048 memory=3436 CPUtime=214.67 cores=0-7
/proc/11529/task/11543/stat : 11543 (java) R 11463 11463 10321 0 -1 4202560 711 2411459 0 0 12 0 20862 593 20 0 22 0 420607658 8481841152 56982 33554432000 4194304 4196468 140734937436160 140597431084784 140598658292797 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11544] ppid=11463 vsize=8283048 memory=288230574492221466 CPUtime=214.81 cores=0-7
/proc/11529/task/11544/stat : 11544 (java) R 11463 11463 10321 0 -1 4202560 769 2411459 0 0 26 0 20862 593 20 0 22 0 420607658 8481841152 56982 33554432000 4194304 4196468 140734937436160 140597430032352 140598656321838 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11545] ppid=11463 vsize=8283048 memory=288230596050944315 CPUtime=214.7 cores=0-7
/proc/11529/task/11545/stat : 11545 (java) S 11463 11463 10321 0 -1 1077944384 611 2411459 0 0 15 0 20862 593 20 0 22 0 420607658 8481841152 56982 33554432000 4194304 4196468 140734937436160 140597428991984 140598674811522 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11547] ppid=11463 vsize=8283048 memory=15261432686053796 CPUtime=214.87 cores=0-7
/proc/11529/task/11547/stat : 11547 (java) R 11463 11463 10321 0 -1 4202560 1176 2411459 0 0 32 0 20862 593 20 0 22 0 420607658 8481841152 56982 33554432000 4194304 4196468 140734937436160 140597427939440 140598674821722 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11548] ppid=11463 vsize=8283048 memory=1476 CPUtime=214.55 cores=0-7
/proc/11529/task/11548/stat : 11548 (java) S 11463 11463 10321 0 -1 1077944384 3 2411459 0 0 0 0 20862 593 20 0 22 0 420607658 8481841152 56982 33554432000 4194304 4196468 140734937436160 140596157082592 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11549] ppid=11463 vsize=8283048 memory=124568 CPUtime=214.56 cores=0-7
/proc/11529/task/11549/stat : 11549 (java) S 11463 11463 10321 0 -1 1077944384 3 2411459 0 0 1 0 20862 593 20 0 22 0 420607658 8481841152 56982 33554432000 4194304 4196468 140734937436160 140597426887856 140598674811522 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11551] ppid=11463 vsize=8283048 memory=3804216 CPUtime=214.55 cores=0-7
/proc/11529/task/11551/stat : 11551 (java) S 11463 11463 10321 0 -1 1077944384 23 2411459 0 0 0 0 20862 593 20 0 22 0 420607732 8481841152 56982 33554432000 4194304 4196468 140734937436160 140597419410064 140598674811522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11555] ppid=11463 vsize=8283048 memory=580 CPUtime=214.55 cores=0-7
/proc/11529/task/11555/stat : 11555 (java) S 11463 11463 10321 0 -1 1077944384 13 2411459 0 0 0 0 20862 593 20 0 22 0 420607734 8481841152 56982 33554432000 4194304 4196468 140734937436160 140595217556144 140598674811522 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
Current children cumulated CPU time: 950.43 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 229404 KiB

[startup+590.901 s]
/proc/loadavg: 4.13 2.47 4.41 2/218 11563
/proc/meminfo: memFree=27143912/32770624 swapFree=67000608/67108860
[pid=11463] ppid=11460 vsize=113128 memory=1476 CPUtime=733.81 cores=0-7
/proc/11463/stat : 11463 (scop.sh) S 11460 11463 10321 0 -1 4202496 583 233427 0 0 0 0 69986 3395 20 0 1 0 420551884 115843072 369 33554432000 4194304 5098028 140723673450368 140723673447112 140514760942204 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22523904 140723673453348 140723673453676 140723673453676 140723673456589 0
/proc/11463/statm: 28282 369 311 221 0 87 0
[pid=11529] ppid=11463 vsize=8284072 memory=231972 CPUtime=216.85 cores=0-7
/proc/11529/stat : 11529 (java) S 11463 11463 10321 0 -1 1077944320 23973 2411459 0 0 218 12 20862 593 20 0 22 0 420607650 8482889728 57993 33554432000 4194304 4196468 140734937436160 140734937418704 140598674800375 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
/proc/11529/statm: 2071018 57993 3234 1 0 2032362 0
[pid=11529/tid=11530] ppid=11463 vsize=8284072 memory=216800 CPUtime=215.53 cores=0-7
/proc/11529/task/11530/stat : 11530 (java) R 11463 11463 10321 0 -1 4202560 19017 2411459 0 0 92 6 20862 593 20 0 22 0 420607651 8482889728 57993 33554432000 4194304 4196468 140734937436160 140598646627088 140598667480093 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11531] ppid=11463 vsize=8284072 memory=1476 CPUtime=214.55 cores=0-7
/proc/11529/task/11531/stat : 11531 (java) S 11463 11463 10321 0 -1 1077944384 1 2411459 0 0 0 0 20862 593 20 0 22 0 420607652 8482889728 57993 33554432000 4194304 4196468 140734937436160 140598679043088 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11532] ppid=11463 vsize=8284072 memory=1696 CPUtime=214.55 cores=0-7
/proc/11529/task/11532/stat : 11532 (java) S 11463 11463 10321 0 -1 1077944384 1 2411459 0 0 0 0 20862 593 20 0 22 0 420607652 8482889728 57993 33554432000 4194304 4196468 140734937436160 140598160374928 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11533] ppid=11463 vsize=8284072 memory=7548 CPUtime=214.55 cores=0-7
/proc/11529/task/11533/stat : 11533 (java) S 11463 11463 10321 0 -1 1077944384 1 2411459 0 0 0 0 20862 593 20 0 22 0 420607652 8482889728 57993 33554432000 4194304 4196468 140734937436160 140598159321872 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11534] ppid=11463 vsize=8284072 memory=2832 CPUtime=214.55 cores=0-7
/proc/11529/task/11534/stat : 11534 (java) S 11463 11463 10321 0 -1 1077944384 2 2411459 0 0 0 0 20862 593 20 0 22 0 420607652 8482889728 57993 33554432000 4194304 4196468 140734937436160 140598158269328 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11535] ppid=11463 vsize=8284072 memory=0 CPUtime=214.55 cores=0-7
/proc/11529/task/11535/stat : 11535 (java) S 11463 11463 10321 0 -1 1077944384 1 2411459 0 0 0 0 20862 593 20 0 22 0 420607652 8482889728 57993 33554432000 4194304 4196468 140734937436160 140598157216272 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11536] ppid=11463 vsize=8284072 memory=-7025448733113094249 CPUtime=214.55 cores=0-7
/proc/11529/task/11536/stat : 11536 (java) S 11463 11463 10321 0 -1 1077944384 1 2411459 0 0 0 0 20862 593 20 0 22 0 420607652 8482889728 57993 33554432000 4194304 4196468 140734937436160 140598156163728 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11537] ppid=11463 vsize=8284072 memory=1396 CPUtime=214.55 cores=0-7
/proc/11529/task/11537/stat : 11537 (java) S 11463 11463 10321 0 -1 1077944384 1 2411459 0 0 0 0 20862 593 20 0 22 0 420607652 8482889728 57993 33554432000 4194304 4196468 140734937436160 140598155110672 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11538] ppid=11463 vsize=8284072 memory=17911672 CPUtime=214.55 cores=0-7
/proc/11529/task/11538/stat : 11538 (java) S 11463 11463 10321 0 -1 1077944384 3 2411459 0 0 0 0 20862 593 20 0 22 0 420607652 8482889728 57993 33554432000 4194304 4196468 140734937436160 140598154058128 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11539] ppid=11463 vsize=8284072 memory=1476 CPUtime=214.55 cores=0-7
/proc/11529/task/11539/stat : 11539 (java) S 11463 11463 10321 0 -1 1077944384 5 2411459 0 0 0 0 20862 593 20 0 22 0 420607654 8482889728 57993 33554432000 4194304 4196468 140734937436160 140597432150768 140598674811522 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11540] ppid=11463 vsize=8284072 memory=124568 CPUtime=214.55 cores=0-7
/proc/11529/task/11540/stat : 11540 (java) S 11463 11463 10321 0 -1 1077944384 13 2411459 0 0 0 0 20862 593 20 0 22 0 420607655 8482889728 57993 33554432000 4194304 4196468 140734937436160 140597297931936 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11541] ppid=11463 vsize=8284072 memory=772 CPUtime=214.55 cores=0-7
/proc/11529/task/11541/stat : 11541 (java) S 11463 11463 10321 0 -1 1077944384 1 2411459 0 0 0 0 20862 593 20 0 22 0 420607655 8482889728 57993 33554432000 4194304 4196468 140734937436160 140597029496048 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11542] ppid=11463 vsize=8284072 memory=1556 CPUtime=214.55 cores=0-7
/proc/11529/task/11542/stat : 11542 (java) S 11463 11463 10321 0 -1 1077944384 1 2411459 0 0 0 0 20862 593 20 0 22 0 420607658 8482889728 57993 33554432000 4194304 4196468 140734937436160 140596654987728 140598674818971 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11543] ppid=11463 vsize=8284072 memory=37740 CPUtime=214.68 cores=0-7
/proc/11529/task/11543/stat : 11543 (java) S 11463 11463 10321 0 -1 1077944384 724 2411459 0 0 13 0 20862 593 20 0 22 0 420607658 8482889728 57993 33554432000 4194304 4196468 140734937436160 140597431097584 140598674811522 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11544] ppid=11463 vsize=8284072 memory=988 CPUtime=214.84 cores=0-7
/proc/11529/task/11544/stat : 11544 (java) S 11463 11463 10321 0 -1 1077944384 788 2411459 0 0 29 0 20862 593 20 0 22 0 420607658 8482889728 57993 33554432000 4194304 4196468 140734937436160 140597430045040 140598674811522 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11545] ppid=11463 vsize=8284072 memory=1476 CPUtime=214.73 cores=0-7
/proc/11529/task/11545/stat : 11545 (java) S 11463 11463 10321 0 -1 1077944384 638 2411459 0 0 18 0 20862 593 20 0 22 0 420607658 8482889728 57993 33554432000 4194304 4196468 140734937436160 140597428991984 140598674811522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11547] ppid=11463 vsize=8284072 memory=124568 CPUtime=214.92 cores=0-7
/proc/11529/task/11547/stat : 11547 (java) S 11463 11463 10321 0 -1 1077944384 1305 2411459 0 0 37 0 20862 593 20 0 22 0 420607658 8482889728 57993 33554432000 4194304 4196468 140734937436160 140597427939440 140598674811522 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11548] ppid=11463 vsize=8284072 memory=1224 CPUtime=214.55 cores=0-7
/proc/11529/task/11548/stat : 11548 (java) S 11463 11463 10321 0 -1 1077944384 3 2411459 0 0 0 0 20862 593 20 0 22 0 420607658 8482889728 57993 33554432000 4194304 4196468 140734937436160 140596157082592 140598674810581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11549] ppid=11463 vsize=8284072 memory=5924 CPUtime=214.56 cores=0-7
/proc/11529/task/11549/stat : 11549 (java) S 11463 11463 10321 0 -1 1077944384 3 2411459 0 0 1 0 20862 593 20 0 22 0 420607658 8482889728 57993 33554432000 4194304 4196468 140734937436160 140597426887856 140598674811522 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11551] ppid=11463 vsize=8284072 memory=1476 CPUtime=214.55 cores=0-7
/proc/11529/task/11551/stat : 11551 (java) S 11463 11463 10321 0 -1 1077944384 23 2411459 0 0 0 0 20862 593 20 0 22 0 420607732 8482889728 57993 33554432000 4194304 4196468 140734937436160 140597419410064 140598674811522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
[pid=11529/tid=11555] ppid=11463 vsize=8284072 memory=124568 CPUtime=214.55 cores=0-7
/proc/11529/task/11555/stat : 11555 (java) S 11463 11463 10321 0 -1 1077944384 13 2411459 0 0 0 0 20862 593 20 0 22 0 420607734 8482889728 57993 33554432000 4194304 4196468 140734937436160 140595217556144 140598674811522 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6795264 140734937441271 140734937441430 140734937441430 140734937444303 0
Current children cumulated CPU time: 950.66 s
Current children cumulated vsize: 8397200 KiB
Current children cumulated memory: 233448 KiB

Child status: 0
Real time (s): 590.944
CPU time (s): 950.754
CPU user time (s): 910.71
CPU system time (s): 40.0441
CPU usage (%): 160.887
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 18055568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 910.71
system time used= 40.0441
maximum resident set size= 18054716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2669836
page faults= 0
swaps= 0
block input operations= 8
block output operations= 247584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 286287
involuntary context switches= 4073


# summary of solver processes directly reported to runsolver:
#   pid: 11463
#   total CPU time (s): 950.754
#   total CPU user time (s): 910.71
#   total CPU system time (s): 40.0441

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.90307 second user time and 5.787 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-14 09:32:18
IDJOB=4392728
IDBENCH=139944
IDSOLVER=2839
FILE ID=node146/4392728-1568446379
RUNJOBID= node146-1568441917-10348
PBS_JOBID= 21702343
Free space on /tmp= 59028 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd-herald/Crossword-m1c-ogd-h2107.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392728-1568446379/watcher-4392728-1568446379 -o /tmp/evaluation-result-4392728-1568446379/solver-4392728-1568446379 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568441917-10348 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392728-1568446379.xml

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

MD5SUM BENCH= 495794a1d12b922029631b8ffbf13f9b
RANDOM SEED=499248746

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        31258620 kB
MemAvailable:   31880516 kB
Buffers:          197832 kB
Cached:           686956 kB
SwapCached:         4756 kB
Active:           511232 kB
Inactive:         378884 kB
Active(anon):      22024 kB
Inactive(anon):    22012 kB
Active(file):     489208 kB
Inactive(file):   356872 kB
Unevictable:      110128 kB
Mlocked:          110128 kB
SwapTotal:      67108860 kB
SwapFree:       67000604 kB
Dirty:             23308 kB
Writeback:             0 kB
AnonPages:        112384 kB
Mapped:            42564 kB
Shmem:             29948 kB
Slab:             213352 kB
SReclaimable:     183304 kB
SUnreclaim:        30048 kB
KernelStack:        3408 kB
PageTables:         5356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498936 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:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 59008 MiB
End job on node146 at 2019-09-14 09:42:09