Trace number 4405288

Some explanations

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

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

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

Solver answer on this benchmark

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

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-25479-serial-file.bin HOME/instance-4405288-1569362380.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 23:59:00 CEST 2019
0.65/0.57	c PID: 25482
0.65/0.57	c IP: 172.20.3.133
0.65/0.57	c HOST: node133.alineos.net
0.65/0.57	c (0,0) Parsing Begin
3.05/1.40	c (0,0) Parsing End
3.05/1.41	c (0,0) CSP: 368 int (0 aux), 0 bool (0 aux), 152 ctr, max domain size 26
3.05/1.41	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.05/1.41	c (0,0) Constraint Name Generate Begin
3.05/1.42	c (0,0) Ctr:HOME/instance-4405288-1569362380.xml,ExtensionSupport:Var
3.05/1.42	c (0,0) Constraint Name Generate End
3.05/1.42	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.05/1.42	c (0,0) CSP to CSPinCNF Begin
16.07/7.65	c (7,7) translated 16 (10%) constraints
22.80/13.50	c (12,12) translated 31 (20%) constraints
42.26/30.66	c (30,29) translated 46 (30%) constraints
63.92/49.03	c (48,47) translated 61 (40%) constraints
84.26/65.43	c (64,63) translated 76 (50%) constraints
273.22/213.91	c (213,206) translated 92 (60%) constraints
274.53/215.21	c (214,207) translated 107 (70%) constraints
275.74/216.46	c (215,208) translated 122 (80%) constraints
362.41/288.96	c (288,279) translated 137 (90%) constraints
438.19/354.01	c (353,342) translated 152 (100%) constraints
440.59/356.45	c (355,345) ===========================================
440.59/356.48	c (355,345) Order
440.59/356.48	c (355,345) ===========================================
450.89/366.24	c (365,354) translated 480923 (10%) constraints
465.44/376.80	c (376,364) translated 961845 (20%) constraints
475.30/386.60	c (386,374) translated 1442768 (30%) constraints
490.29/396.96	c (396,384) translated 1923690 (40%) constraints
499.90/406.59	c (406,393) translated 2404613 (50%) constraints
515.31/416.89	c (416,403) translated 2885535 (60%) constraints
525.21/426.77	c (426,413) translated 3366458 (70%) constraints
535.21/436.75	c (436,423) translated 3847380 (80%) constraints
551.10/447.50	c (446,433) translated 4328303 (90%) constraints
561.10/457.51	c (456,443) translated 4809225 (100%) constraints
561.10/457.51	c (456,443) CSP to CSPinCNF End
561.24/457.67	c (457,443) CSP: 368 int (0 aux), 491796 bool (491796 aux), 4809225 ctr, max domain size 26
561.24/457.67	c (457,443) Heap : 11281 MiB used (max 21685 MiB), NonHeap : 26 MiB used (max 0 MiB)
561.24/457.67	c (457,443) CSPinCNF Propagation Begin
621.54/483.83	c (483,464) 0 values, 152 unsatisfiable literals, and 0 valid clauses are removed
621.54/483.83	c (483,464) CSPinCNF Propagation End
621.64/483.98	c (483,464) CSP: 368 int (0 aux), 491796 bool (491796 aux), 4809225 ctr, max domain size 26
621.64/483.98	c (483,464) Heap : 10221 MiB used (max 21247 MiB), NonHeap : 27 MiB used (max 0 MiB)
621.64/484.01	c (483,464) Simplify CSPinCNF Begin
641.97/494.31	c (493,473) Simplify CSPinCNF End
642.07/494.46	c (493,473) CSP: 368 int (0 aux), 491796 bool (491796 aux), 4809225 ctr, max domain size 26
642.07/494.47	c (493,473) Heap : 10385 MiB used (max 21194 MiB), NonHeap : 27 MiB used (max 0 MiB)
642.07/494.47	c (493,473) Calculate Precise Domain Begin
642.07/494.47	c (493,473) 0 values are removed by re-calculation
642.07/494.47	c (493,473) Calculate Precise Domain End
642.27/494.62	c (494,474) CSP: 368 int (0 aux), 491796 bool (491796 aux), 4809225 ctr, max domain size 26
642.27/494.62	c (494,474) Heap : 10385 MiB used (max 21194 MiB), NonHeap : 27 MiB used (max 0 MiB)
642.27/494.62	c (494,474) CSPinCNF to SatSolver Begin
656.55/501.33	c (500,479) 480923 (10 %) CSP clauses are encoded (0 SAT variables, 489578 SAT clauses)
661.31/506.05	c (505,484) 961845 (20 %) CSP clauses are encoded (0 SAT variables, 970500 SAT clauses)
669.60/511.19	c (510,489) 1442768 (30 %) CSP clauses are encoded (0 SAT variables, 1451423 SAT clauses)
676.92/516.12	c (515,493) 1923690 (40 %) CSP clauses are encoded (0 SAT variables, 1932345 SAT clauses)
684.10/520.98	c (520,498) 2404613 (50 %) CSP clauses are encoded (0 SAT variables, 2413268 SAT clauses)
688.61/525.47	c (524,502) 2885535 (60 %) CSP clauses are encoded (0 SAT variables, 2894190 SAT clauses)
696.07/530.54	c (530,507) 3366458 (70 %) CSP clauses are encoded (0 SAT variables, 3375113 SAT clauses)
703.41/535.59	c (535,512) 3847380 (80 %) CSP clauses are encoded (0 SAT variables, 3856035 SAT clauses)
710.98/540.73	c (540,516) 4328303 (90 %) CSP clauses are encoded (0 SAT variables, 4336958 SAT clauses)
715.69/545.47	c (544,521) 4809225 (100 %) CSP clauses are encoded (0 SAT variables, 4817880 SAT clauses)
715.69/545.47	c (544,521) CSPinCNF to SatSolver End
715.69/545.47	c (544,521) Heap : 14325 MiB used (max 21601 MiB), NonHeap : 29 MiB used (max 0 MiB)
715.69/545.47	c (544,521) 500820 bool, 4817881 clause
715.69/545.47	c (544,521) Export Begin
716.01/545.60	c (545,521) Export to HOME/scop-25479-serial-file.bin
716.01/545.60	c (545,521) Export End
716.01/545.61	c (545,521) Export File Size: 0.15 MB
716.01/545.61	c (545,521) 0,0,457,483,493,494,544,STOP-AFTER(DIMACS)
716.01/545.61	c END-Prog: Wed Sep 25 00:08:05 CEST 2019
716.01/545.69	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-25479-serial-file.bin
716.66/546.16	c (0,0) Read Serial File Begin
716.66/546.16	c (0,0) HOME/scop-25479-serial-file.bin
717.13/546.43	c (0,0) Read Serial File End
717.13/546.45	
717.13/546.45	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
717.13/546.45	(Solving Process)
717.13/546.45	
717.13/546.47	c BEGIN-Prog: Wed Sep 25 00:08:06 CEST 2019
717.13/546.47	c PID: 25573
717.13/546.47	c IP: 172.20.3.133
717.13/546.47	c HOST: node133.alineos.net
717.13/546.47	c (0,0) SatSolver.solve Begin
717.13/546.47	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405288-1569362380.xml-scop-25482.cnf
717.42/546.50	c (0,0) c
717.42/546.50	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)
717.42/546.50	c (0,0) c
717.42/546.50	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
717.42/546.50	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
717.42/546.50	c (0,0) c ========================================[ Problem Statistics ]===========================================
717.42/546.50	c (0,0) c |                                                                                                       |
719.32/548.36	c (2,0) c |  Number of variables:        500820                                                                   |
719.32/548.36	c (2,0) c |  Number of clauses:         4815668                                                                   |
719.32/548.36	c (2,0) c |  Parse time:                   1.70 s                                                                 |
719.32/548.36	c (2,0) c |                                                                                                       |
719.83/548.81	c (2,0) c | Too many clauses... No preprocessing                                                                  |
719.83/548.81	c (2,0) c |  Simplification time:          0.40 s                                                                 |
719.83/548.81	c (2,0) c |                                                                                                       |
719.83/548.82	c (2,0) c |  Generating clones                                                                                    |
721.43/550.42	c (4,0) c |  all clones generated. Memory =  3341.41Mb.                                                           |
721.43/550.42	c (4,0) c ========================================================================================================|
721.43/550.42	c (4,0) c
721.43/550.42	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
721.43/550.42	c (4,0) c
721.43/550.42	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
721.43/550.42	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
721.43/550.42	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
721.43/550.42	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
721.43/550.42	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
721.43/550.42	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
721.43/550.42	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
721.43/550.42	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
721.43/550.42	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
721.43/550.42	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
721.43/550.42	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
721.43/550.42	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
721.43/550.42	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
721.43/550.42	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
721.43/550.42	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
721.43/550.42	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
721.43/550.42	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
721.43/550.42	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
721.43/550.42	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
928.71/577.62	c (31,0) c
928.71/577.62	c (31,0) c real time : 31.1249 s
928.71/577.62	c (31,0) c cpu time  : 205.196 s
928.71/577.62	c (31,0) c
928.71/577.62	c (31,0) c
928.71/577.62	c (31,0) c
928.71/577.62	c (31,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
928.71/577.62	c (31,0) c
928.71/577.62	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
928.71/577.62	c (31,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
928.71/577.62	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
928.71/577.62	c (31,0) c | Conflicts     |          183017 |      23629 |      24279 |      23571 |      21024 |      21158 |      25363 |      22274 |      21719 |
928.71/577.62	c (31,0) c | Decisions     |         2555403 |     339234 |     315922 |     340022 |     303930 |     318399 |     323466 |     307223 |     307207 |
928.71/577.62	c (31,0) c | Propagations  |       589826341 |   72833569 |   71669156 |   76037647 |   74614219 |   75004241 |   73758437 |   74408738 |   71500334 |
928.71/577.62	c (31,0) c | ReduceDBs     |              27 |          4 |          4 |          3 |          3 |          3 |          4 |          3 |          3 |
928.71/577.62	c (31,0) c | SimpDBs       |              31 |          4 |          4 |          3 |          4 |          4 |          4 |          4 |          4 |
928.71/577.62	c (31,0) c | Restarts      |             533 |         63 |         90 |         76 |         63 |         59 |         46 |         66 |         70 |
928.71/577.62	c (31,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
928.71/577.62	c (31,0) c | PropBinClauses|       624972085 |   76441725 |   76451964 |   80616680 |   80567722 |   80124266 |   77259513 |   77934684 |   75575531 |
928.71/577.62	c (31,0) c | PropPreBlocker|      2808352293 |  350008911 |  348815908 |  360446638 |  352079256 |  353240612 |  355636605 |  350426635 |  337697728 |
928.71/577.62	c (31,0) c | PropNotBlocker|       990449109 |  123364313 |  124721451 |  128613590 |  119755098 |  121724072 |  129045503 |  123338719 |  119886363 |
928.71/577.62	c (31,0) c | LitFullScans  |      6121565675 |  762263762 |  762286106 |  762228655 |  762242449 |  764088039 |  774378713 |  771550760 |  762527191 |
928.71/577.62	c (31,0) c | LitScanFracts |         2223127 |     250909 |     236843 |     218775 |     229015 |     324102 |     276736 |     341953 |     344794 |
928.71/577.62	c (31,0) c | DecisionLevel0|             537 |         63 |         90 |         77 |         64 |         59 |         46 |         68 |         70 |
928.71/577.62	c (31,0) c | Periods       |            1019 |        127 |        127 |        127 |        127 |        127 |        129 |        128 |        127 |
928.71/577.62	c (31,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
928.71/577.62	c (31,0) c | Avg_Trail     |                 |     147532 |     128279 |     156391 |     158364 |     195355 |     176106 |     168917 |     149404 |
928.71/577.62	c (31,0) c | Avg_DL        |                 |        865 |        453 |        430 |        455 |        657 |        561 |        639 |        435 |
928.71/577.62	c (31,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
928.71/577.62	c (31,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
928.71/577.62	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
928.71/577.62	c (31,0) c | Exported      |           25062 |       3254 |       3467 |       3469 |       2809 |       2694 |       3535 |       2989 |       2845 |
928.71/577.62	c (31,0) c | Imported      |          141797 |      17663 |      17398 |      17553 |      17966 |      17530 |      17816 |      17834 |      18037 |
928.71/577.62	c (31,0) c | Good          |           45770 |       5684 |       5751 |       5717 |       5763 |       5576 |       5821 |       5666 |       5792 |
928.71/577.62	c (31,0) c | Purge         |           96027 |      11979 |      11647 |      11836 |      12203 |      11954 |      11995 |      12168 |      12245 |
928.71/577.62	c (31,0) c | Promoted      |            2040 |        287 |        213 |        195 |        227 |        257 |        295 |        321 |        245 |
928.71/577.62	c (31,0) c | Remove_Imp    |            5576 |       2790 |       2020 |          0 |          0 |          0 |        766 |          0 |          0 |
928.71/577.62	c (31,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
928.71/577.62	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
928.71/577.62	c (31,0) c | Unaries       |                 |          0 |          0 |          1 |          1 |          0 |          0 |          2 |          0 |
928.71/577.62	c (31,0) c | Binaries      |                 |       1039 |        914 |       1028 |        908 |        958 |        972 |       1035 |        936 |
928.71/577.62	c (31,0) c | Glues         |                 |       1603 |       1498 |       1708 |       1515 |       1482 |       1643 |       1586 |       1462 |
928.71/577.62	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
928.71/577.62	c (31,0) c | Orig_Seen     |            10 % |     505432 |     489552 |     508905 |     498931 |     485030 |     518883 |     545552 |     536535 |
928.71/577.62	c (31,0) c | Diff Orig seen|                 |      20402 |       4522 |      23875 |      13901 |      X     |      33853 |      60522 |      51505 |
928.71/577.62	c (31,0) c | Hamming       |             8 % |      43421 |      38759 |      42020 |      45738 |      X     |      43749 |      42274 |      43800 |
928.71/577.62	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
928.71/577.62	c (31,0) c | RunningTime   |                 |   26.9 100%|   25.9 100%|   26.4 100%|   26.0 100%|   25.8 100%|   25.9 100%|   27.1 100%|   25.9 100%|
928.71/577.62	c (31,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
928.71/577.62	c (31,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%|
928.71/577.62	c (31,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%|
928.71/577.63	c (31,0) c | SolvingTime   |                 |   26.9     |   25.9     |   26.5     |   26.0     |   25.8     |   25.9     |   27.2     |   25.9     |
928.71/577.63	c (31,0) c | PropagationTim|                 |   22.5  83%|   21.9  84%|   21.9  83%|   21.3  82%|   21.3  83%|   21.8  84%|   22.2  82%|   21.2  82%|
928.71/577.63	c (31,0) c | AnalysisTime  |                 |    1.6   6%|    1.6   6%|    1.5   6%|    1.5   6%|    1.5   6%|    1.6   6%|    1.8   7%|    2.0   8%|
928.71/577.63	c (31,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%|
928.71/577.63	c (31,0) c | SimplifyTime  |                 |    0.3   1%|    0.3   1%|    0.2   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|
928.71/577.63	c (31,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%|
928.71/577.63	c (31,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%|
928.71/577.63	c (31,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
928.71/577.63	c (31,0) c
928.71/577.63	c (31,0) c
928.71/577.63	c (31,0) c Threads : 8
928.71/577.63	c (31,0) c Winner : 4
928.71/577.63	c (31,0) c Conflicts_0 : 23629
928.71/577.63	c (31,0) c Conflicts_1 : 24279
928.71/577.63	c (31,0) c Conflicts_2 : 23571
928.71/577.63	c (31,0) c Conflicts_3 : 21024
928.71/577.63	c (31,0) c Conflicts_4 : 21158
928.71/577.63	c (31,0) c Conflicts_5 : 25363
928.71/577.63	c (31,0) c Conflicts_6 : 22274
928.71/577.63	c (31,0) c Conflicts_7 : 21719
928.71/577.63	c (31,0) c Conflicts_total : 183017
928.71/577.63	c (31,0) c Conflicts_winner : 21158
928.71/577.63	c (31,0) c Decisions_0 : 339234
928.71/577.63	c (31,0) c Decisions_1 : 315922
928.71/577.63	c (31,0) c Decisions_2 : 340022
928.71/577.63	c (31,0) c Decisions_3 : 303930
928.71/577.63	c (31,0) c Decisions_4 : 318399
928.71/577.63	c (31,0) c Decisions_5 : 323466
928.71/577.63	c (31,0) c Decisions_6 : 307223
928.71/577.63	c (31,0) c Decisions_7 : 307207
928.71/577.63	c (31,0) c Decisions_total : 2555403
928.71/577.63	c (31,0) c Decisions_winner : 318399
928.71/577.63	c (31,0) c Propagations_0 : 72833569
928.71/577.63	c (31,0) c Propagations_1 : 71669156
928.71/577.63	c (31,0) c Propagations_2 : 76037647
928.71/577.63	c (31,0) c Propagations_3 : 74614219
928.71/577.63	c (31,0) c Propagations_4 : 75004241
928.71/577.63	c (31,0) c Propagations_5 : 73758437
928.71/577.63	c (31,0) c Propagations_6 : 74408738
928.71/577.63	c (31,0) c Propagations_7 : 71500334
928.71/577.63	c (31,0) c Propagations_total : 589826341
928.71/577.63	c (31,0) c Propagations_winner : 75004241
928.71/577.63	c (31,0) c ReduceDBs_0 : 4
928.71/577.63	c (31,0) c ReduceDBs_1 : 4
928.71/577.63	c (31,0) c ReduceDBs_2 : 3
928.71/577.63	c (31,0) c ReduceDBs_3 : 3
928.71/577.63	c (31,0) c ReduceDBs_4 : 3
928.71/577.63	c (31,0) c ReduceDBs_5 : 4
928.71/577.63	c (31,0) c ReduceDBs_6 : 3
928.71/577.63	c (31,0) c ReduceDBs_7 : 3
928.71/577.63	c (31,0) c ReduceDBs_total : 27
928.71/577.63	c (31,0) c ReduceDBs_winner : 3
928.71/577.63	c (31,0) c SimpDBs_0 : 4
928.71/577.63	c (31,0) c SimpDBs_1 : 4
928.71/577.63	c (31,0) c SimpDBs_2 : 3
928.71/577.63	c (31,0) c SimpDBs_3 : 4
928.71/577.63	c (31,0) c SimpDBs_4 : 4
928.71/577.63	c (31,0) c SimpDBs_5 : 4
928.71/577.63	c (31,0) c SimpDBs_6 : 4
928.71/577.63	c (31,0) c SimpDBs_7 : 4
928.71/577.63	c (31,0) c SimpDBs_total : 31
928.71/577.63	c (31,0) c SimpDBs_winner : 4
928.71/577.63	c (31,0) c Restarts_0 : 63
928.71/577.63	c (31,0) c Restarts_1 : 90
928.71/577.63	c (31,0) c Restarts_2 : 76
928.71/577.63	c (31,0) c Restarts_3 : 63
928.71/577.63	c (31,0) c Restarts_4 : 59
928.71/577.63	c (31,0) c Restarts_5 : 46
928.71/577.63	c (31,0) c Restarts_6 : 66
928.71/577.63	c (31,0) c Restarts_7 : 70
928.71/577.63	c (31,0) c Restarts_total : 533
928.71/577.63	c (31,0) c Restarts_winner : 59
928.71/577.63	c (31,0) c ForcedImports_0 : 0
928.71/577.63	c (31,0) c ForcedImports_1 : 0
928.71/577.63	c (31,0) c ForcedImports_2 : 0
928.71/577.63	c (31,0) c ForcedImports_3 : 0
928.71/577.63	c (31,0) c ForcedImports_4 : 0
928.71/577.63	c (31,0) c ForcedImports_5 : 0
928.71/577.63	c (31,0) c ForcedImports_6 : 0
928.71/577.63	c (31,0) c ForcedImports_7 : 0
928.71/577.63	c (31,0) c ForcedImports_total : 0
928.71/577.63	c (31,0) c ForcedImports_winner : 0
928.71/577.63	c (31,0) c PropsBinClauses_0 : 76441725
928.71/577.63	c (31,0) c PropsBinClauses_1 : 76451964
928.71/577.63	c (31,0) c PropsBinClauses_2 : 80616680
928.71/577.63	c (31,0) c PropsBinClauses_3 : 80567722
928.71/577.63	c (31,0) c PropsBinClauses_4 : 80124266
928.71/577.63	c (31,0) c PropsBinClauses_5 : 77259513
928.71/577.63	c (31,0) c PropsBinClauses_6 : 77934684
928.71/577.63	c (31,0) c PropsBinClauses_7 : 75575531
928.71/577.63	c (31,0) c PropsBinClauses_total : 624972085
928.71/577.63	c (31,0) c PropsBinClauses_winner : 80124266
928.71/577.63	c (31,0) c PropsPreBlocker_0 : 350008911
928.71/577.63	c (31,0) c PropsPreBlocker_1 : 348815908
928.71/577.63	c (31,0) c PropsPreBlocker_2 : 360446638
928.71/577.63	c (31,0) c PropsPreBlocker_3 : 352079256
928.71/577.63	c (31,0) c PropsPreBlocker_4 : 353240612
928.71/577.63	c (31,0) c PropsPreBlocker_5 : 355636605
928.71/577.63	c (31,0) c PropsPreBlocker_6 : 350426635
928.71/577.63	c (31,0) c PropsPreBlocker_7 : 337697728
928.71/577.63	c (31,0) c PropsPreBlocker_total : 2808352293
928.71/577.63	c (31,0) c PropsPreBlocker_winner : 353240612
928.71/577.63	c (31,0) c PropsNotBlocker_0 : 123364313
928.71/577.63	c (31,0) c PropsNotBlocker_1 : 124721451
928.71/577.63	c (31,0) c PropsNotBlocker_2 : 128613590
928.71/577.63	c (31,0) c PropsNotBlocker_3 : 119755098
928.71/577.63	c (31,0) c PropsNotBlocker_4 : 121724072
928.71/577.63	c (31,0) c PropsNotBlocker_5 : 129045503
928.71/577.63	c (31,0) c PropsNotBlocker_6 : 123338719
928.71/577.63	c (31,0) c PropsNotBlocker_7 : 119886363
928.71/577.63	c (31,0) c PropsNotBlocker_total : 990449109
928.71/577.63	c (31,0) c PropsNotBlocker_winner : 121724072
928.71/577.63	c (31,0) c PropsLitFullScans_0 : 762263762
928.71/577.63	c (31,0) c PropsLitFullScans_1 : 762286106
928.71/577.63	c (31,0) c PropsLitFullScans_2 : 762228655
928.71/577.63	c (31,0) c PropsLitFullScans_3 : 762242449
928.71/577.63	c (31,0) c PropsLitFullScans_4 : 764088039
928.71/577.63	c (31,0) c PropsLitFullScans_5 : 774378713
928.71/577.63	c (31,0) c PropsLitFullScans_6 : 771550760
928.71/577.63	c (31,0) c PropsLitFullScans_7 : 762527191
928.71/577.63	c (31,0) c PropsLitFullScans_total : 6121565675
928.71/577.63	c (31,0) c PropsLitFullScans_winner : 764088039
928.71/577.63	c (31,0) c LitScanFractions_0 : 250909
928.71/577.63	c (31,0) c LitScanFractions_1 : 236843
928.71/577.63	c (31,0) c LitScanFractions_2 : 218775
928.71/577.63	c (31,0) c LitScanFractions_3 : 229015
928.71/577.63	c (31,0) c LitScanFractions_4 : 324102
928.71/577.63	c (31,0) c LitScanFractions_5 : 276736
928.71/577.63	c (31,0) c LitScanFractions_6 : 341953
928.71/577.63	c (31,0) c LitScanFractions_7 : 344794
928.71/577.63	c (31,0) c LitScanFractions_total : 2223127
928.71/577.63	c (31,0) c LitScanFractions_winner : 324102
928.71/577.63	c (31,0) c DecisionLevel0_0 : 63
928.71/577.63	c (31,0) c DecisionLevel0_1 : 90
928.71/577.63	c (31,0) c DecisionLevel0_2 : 77
928.71/577.63	c (31,0) c DecisionLevel0_3 : 64
928.71/577.63	c (31,0) c DecisionLevel0_4 : 59
928.71/577.63	c (31,0) c DecisionLevel0_5 : 46
928.71/577.63	c (31,0) c DecisionLevel0_6 : 68
928.71/577.63	c (31,0) c DecisionLevel0_7 : 70
928.71/577.63	c (31,0) c DecisionLevel0_total : 537
928.71/577.63	c (31,0) c DecisionLevel0_winner : 59
928.71/577.63	c (31,0) c Periods_0 : 127
928.71/577.63	c (31,0) c Periods_1 : 127
928.71/577.63	c (31,0) c Periods_2 : 127
928.71/577.63	c (31,0) c Periods_3 : 127
928.71/577.63	c (31,0) c Periods_4 : 127
928.71/577.63	c (31,0) c Periods_5 : 129
928.71/577.63	c (31,0) c Periods_6 : 128
928.71/577.63	c (31,0) c Periods_7 : 127
928.71/577.63	c (31,0) c Periods_total : 1019
928.71/577.63	c (31,0) c Periods_winner : 127
928.71/577.63	c (31,0) c Margin_0 : 20
928.71/577.63	c (31,0) c Margin_1 : 20
928.71/577.63	c (31,0) c Margin_2 : 20
928.71/577.63	c (31,0) c Margin_3 : 20
928.71/577.63	c (31,0) c Margin_4 : 20
928.71/577.63	c (31,0) c Margin_5 : 20
928.71/577.63	c (31,0) c Margin_6 : 20
928.71/577.63	c (31,0) c Margin_7 : 20
928.71/577.63	c (31,0) c Margin_total : 160
928.71/577.63	c (31,0) c Margin_winner : 20
928.71/577.63	c (31,0) c Exported_0 : 3254
928.71/577.63	c (31,0) c Exported_1 : 3467
928.71/577.63	c (31,0) c Exported_2 : 3469
928.71/577.63	c (31,0) c Exported_3 : 2809
928.71/577.63	c (31,0) c Exported_4 : 2694
928.71/577.63	c (31,0) c Exported_5 : 3535
928.71/577.63	c (31,0) c Exported_6 : 2989
928.71/577.63	c (31,0) c Exported_7 : 2845
928.71/577.63	c (31,0) c Exported_total : 25062
928.71/577.63	c (31,0) c Exported_winner : 2694
928.71/577.63	c (31,0) c Imported_0 : 17663
928.71/577.63	c (31,0) c Imported_1 : 17398
928.71/577.63	c (31,0) c Imported_2 : 17553
928.71/577.63	c (31,0) c Imported_3 : 17966
928.71/577.63	c (31,0) c Imported_4 : 17530
928.71/577.63	c (31,0) c Imported_5 : 17816
928.71/577.63	c (31,0) c Imported_6 : 17834
928.71/577.63	c (31,0) c Imported_7 : 18037
928.71/577.63	c (31,0) c Imported_total : 141797
928.71/577.63	c (31,0) c Imported_winner : 17530
928.71/577.63	c (31,0) c Good_0 : 5684
928.71/577.63	c (31,0) c Good_1 : 5751
928.71/577.63	c (31,0) c Good_2 : 5717
928.71/577.63	c (31,0) c Good_3 : 5763
928.71/577.63	c (31,0) c Good_4 : 5576
928.71/577.63	c (31,0) c Good_5 : 5821
928.71/577.63	c (31,0) c Good_6 : 5666
928.71/577.63	c (31,0) c Good_7 : 5792
928.71/577.63	c (31,0) c Good_total : 45770
928.71/577.63	c (31,0) c Good_winner : 5576
928.71/577.63	c (31,0) c Purge_0 : 11979
928.71/577.63	c (31,0) c Purge_1 : 11647
928.71/577.63	c (31,0) c Purge_2 : 11836
928.71/577.63	c (31,0) c Purge_3 : 12203
928.71/577.63	c (31,0) c Purge_4 : 11954
928.71/577.63	c (31,0) c Purge_5 : 11995
928.71/577.63	c (31,0) c Purge_6 : 12168
928.71/577.63	c (31,0) c Purge_7 : 12245
928.71/577.63	c (31,0) c Purge_total : 96027
928.71/577.63	c (31,0) c Purge_winner : 11954
928.71/577.63	c (31,0) c Promoted_0 : 287
928.71/577.63	c (31,0) c Promoted_1 : 213
928.71/577.63	c (31,0) c Promoted_2 : 195
928.71/577.63	c (31,0) c Promoted_3 : 227
928.71/577.63	c (31,0) c Promoted_4 : 257
928.71/577.63	c (31,0) c Promoted_5 : 295
928.71/577.63	c (31,0) c Promoted_6 : 321
928.71/577.63	c (31,0) c Promoted_7 : 245
928.71/577.63	c (31,0) c Promoted_total : 2040
928.71/577.63	c (31,0) c Promoted_winner : 257
928.71/577.63	c (31,0) c Remove_Imp_0 : 2790
928.71/577.63	c (31,0) c Remove_Imp_1 : 2020
928.71/577.63	c (31,0) c Remove_Imp_2 : 0
928.71/577.63	c (31,0) c Remove_Imp_3 : 0
928.71/577.63	c (31,0) c Remove_Imp_4 : 0
928.71/577.63	c (31,0) c Remove_Imp_5 : 766
928.71/577.63	c (31,0) c Remove_Imp_6 : 0
928.71/577.63	c (31,0) c Remove_Imp_7 : 0
928.71/577.63	c (31,0) c Remove_Imp_total : 5576
928.71/577.63	c (31,0) c Remove_Imp_winner : 0
928.71/577.63	c (31,0) c Blocked_Reuse_0 : 0
928.71/577.63	c (31,0) c Blocked_Reuse_1 : 0
928.71/577.63	c (31,0) c Blocked_Reuse_2 : 0
928.71/577.63	c (31,0) c Blocked_Reuse_3 : 0
928.71/577.63	c (31,0) c Blocked_Reuse_4 : 0
928.71/577.63	c (31,0) c Blocked_Reuse_5 : 0
928.71/577.63	c (31,0) c Blocked_Reuse_6 : 0
928.71/577.63	c (31,0) c Blocked_Reuse_7 : 0
928.71/577.63	c (31,0) c Blocked_Reuse_total : 0
928.71/577.63	c (31,0) c Blocked_Reuse_winner : 0
928.71/577.63	c (31,0) c Unaries_0 : 0
928.71/577.63	c (31,0) c Unaries_1 : 0
928.71/577.63	c (31,0) c Unaries_2 : 1
928.71/577.63	c (31,0) c Unaries_3 : 1
928.71/577.63	c (31,0) c Unaries_4 : 0
928.71/577.63	c (31,0) c Unaries_5 : 0
928.71/577.63	c (31,0) c Unaries_6 : 2
928.71/577.63	c (31,0) c Unaries_7 : 0
928.71/577.63	c (31,0) c Unaries_total : 4
928.71/577.63	c (31,0) c Unaries_winner : 0
928.71/577.63	c (31,0) c Binaries_0 : 1039
928.71/577.63	c (31,0) c Binaries_1 : 914
928.71/577.63	c (31,0) c Binaries_2 : 1028
928.71/577.63	c (31,0) c Binaries_3 : 908
928.71/577.63	c (31,0) c Binaries_4 : 958
928.71/577.63	c (31,0) c Binaries_5 : 972
928.71/577.63	c (31,0) c Binaries_6 : 1035
928.71/577.63	c (31,0) c Binaries_7 : 936
928.71/577.63	c (31,0) c Binaries_total : 7790
928.71/577.63	c (31,0) c Binaries_winner : 958
928.71/577.63	c (31,0) c Glues_0 : 1603
928.71/577.63	c (31,0) c Glues_1 : 1498
928.71/577.63	c (31,0) c Glues_2 : 1708
928.71/577.64	c (31,0) c Glues_3 : 1515
928.71/577.64	c (31,0) c Glues_4 : 1482
928.71/577.64	c (31,0) c Glues_5 : 1643
928.71/577.64	c (31,0) c Glues_6 : 1586
928.71/577.64	c (31,0) c Glues_7 : 1462
928.71/577.64	c (31,0) c Glues_total : 12497
928.71/577.64	c (31,0) c Glues_winner : 1482
928.71/577.64	c (31,0) c RunningTime_0 : 26.869709
928.71/577.64	c (31,0) c RunningTime_1 : 25.864578
928.71/577.64	c (31,0) c RunningTime_2 : 26.439313
928.71/577.64	c (31,0) c RunningTime_3 : 26.006821
928.71/577.64	c (31,0) c RunningTime_4 : 25.824571
928.71/577.64	c (31,0) c RunningTime_5 : 25.924149
928.71/577.64	c (31,0) c RunningTime_6 : 27.136353
928.71/577.64	c (31,0) c RunningTime_7 : 25.881505
928.71/577.64	c (31,0) c RunningTime_total : 209.946998
928.71/577.64	c (31,0) c RunningTime_winner : 25.824571
928.71/577.64	c (31,0) c WaitingTime_0 : 0.000351
928.71/577.64	c (31,0) c WaitingTime_1 : 0.000272
928.71/577.64	c (31,0) c WaitingTime_2 : 0.000207
928.71/577.64	c (31,0) c WaitingTime_3 : 0.000277
928.71/577.64	c (31,0) c WaitingTime_4 : 0.000202
928.71/577.64	c (31,0) c WaitingTime_5 : 0.000255
928.71/577.64	c (31,0) c WaitingTime_6 : 0.000139
928.71/577.64	c (31,0) c WaitingTime_7 : 0.000202
928.71/577.64	c (31,0) c WaitingTime_total : 0.001905
928.71/577.64	c (31,0) c WaitingTime_winner : 0.000202
928.71/577.64	c (31,0) c ExchangingTime_0 : 0.023066
928.71/577.64	c (31,0) c ExchangingTime_1 : 0.020119
928.71/577.64	c (31,0) c ExchangingTime_2 : 0.022429
928.71/577.64	c (31,0) c ExchangingTime_3 : 0.025549
928.71/577.64	c (31,0) c ExchangingTime_4 : 0.021208
928.71/577.64	c (31,0) c ExchangingTime_5 : 0.021236
928.71/577.64	c (31,0) c ExchangingTime_6 : 0.027756
928.71/577.64	c (31,0) c ExchangingTime_7 : 0.022802
928.71/577.64	c (31,0) c ExchangingTime_total : 0.184165
928.71/577.64	c (31,0) c ExchangingTime_winner : 0.021208
928.71/577.64	c (31,0) c PeriodProcTime_0 : 0.001365
928.71/577.64	c (31,0) c PeriodProcTime_1 : 0.001373
928.71/577.64	c (31,0) c PeriodProcTime_2 : 0.001882
928.71/577.64	c (31,0) c PeriodProcTime_3 : 0.001211
928.71/577.64	c (31,0) c PeriodProcTime_4 : 0.001207
928.71/577.64	c (31,0) c PeriodProcTime_5 : 0.001385
928.71/577.64	c (31,0) c PeriodProcTime_6 : 0.001336
928.71/577.64	c (31,0) c PeriodProcTime_7 : 0.001214
928.71/577.64	c (31,0) c PeriodProcTime_total : 0.010974
928.71/577.64	c (31,0) c PeriodProcTime_winner : 0.001207
928.71/577.64	c (31,0) c SolvingTime_0 : 26.894491
928.71/577.64	c (31,0) c SolvingTime_1 : 25.886343
928.71/577.64	c (31,0) c SolvingTime_2 : 26.463830
928.71/577.64	c (31,0) c SolvingTime_3 : 26.033858
928.71/577.64	c (31,0) c SolvingTime_4 : 25.847189
928.71/577.64	c (31,0) c SolvingTime_5 : 25.947024
928.71/577.64	c (31,0) c SolvingTime_6 : 27.165585
928.71/577.64	c (31,0) c SolvingTime_7 : 25.905723
928.71/577.64	c (31,0) c SolvingTime_total : 210.144043
928.71/577.64	c (31,0) c SolvingTime_winner : 25.847189
928.71/577.64	c (31,0) c PropagationTime_0 : 22.450043
928.71/577.64	c (31,0) c PropagationTime_1 : 21.868134
928.71/577.64	c (31,0) c PropagationTime_2 : 21.925796
928.71/577.64	c (31,0) c PropagationTime_3 : 21.333431
928.71/577.64	c (31,0) c PropagationTime_4 : 21.332120
928.71/577.64	c (31,0) c PropagationTime_5 : 21.796961
928.71/577.64	c (31,0) c PropagationTime_6 : 22.179885
928.71/577.64	c (31,0) c PropagationTime_7 : 21.232626
928.71/577.64	c (31,0) c PropagationTime_total : 174.118996
928.71/577.64	c (31,0) c PropagationTime_winner : 21.332120
928.71/577.64	c (31,0) c AnalysisTime_0 : 1.599931
928.71/577.64	c (31,0) c AnalysisTime_1 : 1.596837
928.71/577.64	c (31,0) c AnalysisTime_2 : 1.520945
928.71/577.64	c (31,0) c AnalysisTime_3 : 1.517287
928.71/577.64	c (31,0) c AnalysisTime_4 : 1.487664
928.71/577.64	c (31,0) c AnalysisTime_5 : 1.587327
928.71/577.64	c (31,0) c AnalysisTime_6 : 1.774039
928.71/577.64	c (31,0) c AnalysisTime_7 : 1.999756
928.71/577.64	c (31,0) c AnalysisTime_total : 13.083785
928.71/577.64	c (31,0) c AnalysisTime_winner : 1.487664
928.71/577.64	c (31,0) c ReductionTime_0 : 0.009741
928.71/577.64	c (31,0) c ReductionTime_1 : 0.010827
928.71/577.64	c (31,0) c ReductionTime_2 : 0.004285
928.71/577.64	c (31,0) c ReductionTime_3 : 0.006418
928.71/577.64	c (31,0) c ReductionTime_4 : 0.006053
928.71/577.64	c (31,0) c ReductionTime_5 : 0.011733
928.71/577.64	c (31,0) c ReductionTime_6 : 0.006453
928.71/577.64	c (31,0) c ReductionTime_7 : 0.006206
928.71/577.64	c (31,0) c ReductionTime_total : 0.061716
928.71/577.64	c (31,0) c ReductionTime_winner : 0.006053
928.71/577.64	c (31,0) c SimplifyTime_0 : 0.301568
928.71/577.64	c (31,0) c SimplifyTime_1 : 0.285287
928.71/577.64	c (31,0) c SimplifyTime_2 : 0.191942
928.71/577.64	c (31,0) c SimplifyTime_3 : 0.295135
928.71/577.64	c (31,0) c SimplifyTime_4 : 0.296278
928.71/577.64	c (31,0) c SimplifyTime_5 : 0.293466
928.71/577.64	c (31,0) c SimplifyTime_6 : 0.310212
928.71/577.64	c (31,0) c SimplifyTime_7 : 0.297939
928.71/577.64	c (31,0) c SimplifyTime_total : 2.271827
928.71/577.64	c (31,0) c SimplifyTime_winner : 0.296278
928.71/577.64	c (31,0) c UsedRateTime_0 : 0.000000
928.71/577.64	c (31,0) c UsedRateTime_1 : 0.000000
928.71/577.64	c (31,0) c UsedRateTime_2 : 0.000000
928.71/577.64	c (31,0) c UsedRateTime_3 : 0.000000
928.71/577.64	c (31,0) c UsedRateTime_4 : 0.000000
928.71/577.64	c (31,0) c UsedRateTime_5 : 0.000000
928.71/577.64	c (31,0) c UsedRateTime_6 : 0.000000
928.71/577.64	c (31,0) c UsedRateTime_7 : 0.000000
928.71/577.64	c (31,0) c UsedRateTime_total : 0.000000
928.71/577.64	c (31,0) c UsedRateTime_winner : 0.000000
928.71/577.64	c (31,0) c OverlapRateTime_0 : 0.000000
928.71/577.64	c (31,0) c OverlapRateTime_1 : 0.000000
928.71/577.64	c (31,0) c OverlapRateTime_2 : 0.000000
928.71/577.64	c (31,0) c OverlapRateTime_3 : 0.000000
928.71/577.64	c (31,0) c OverlapRateTime_4 : 0.000000
928.71/577.64	c (31,0) c OverlapRateTime_5 : 0.000000
928.71/577.64	c (31,0) c OverlapRateTime_6 : 0.000000
928.71/577.64	c (31,0) c OverlapRateTime_7 : 0.000000
928.71/577.64	c (31,0) c OverlapRateTime_total : 0.000000
928.71/577.64	c (31,0) c OverlapRateTime_winner : 0.000000
928.71/577.64	c (31,0) c
928.71/577.64	c (31,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
928.71/577.64	c (31,0) c
928.71/577.64	c (31,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
928.71/577.64	c (31,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
928.71/577.64	c (31,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
928.71/577.64	c (31,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
928.71/577.64	c (31,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
928.71/577.64	c (31,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
928.71/577.64	c (31,0) c | Initial random_seed   |  536811162 | 1652502260 |  925452642 | 1857622325 |  375903435 |  825841932 | 1402305173 | 1619102347 |
928.71/577.64	c (31,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
928.71/577.64	c (31,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
928.71/577.64	c (31,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
928.71/577.64	c (31,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
928.71/577.64	c (31,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
928.71/577.64	c (31,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
928.71/577.64	c (31,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
928.71/577.64	c (31,0) c | var_decay             |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8500 |     0.8400 |     0.8400 |
928.71/577.64	c (31,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
928.71/577.64	c (31,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
928.71/577.64	c (31,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
928.71/577.64	c (31,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
928.71/577.64	c (31,0) 
928.71/577.64	c (31,0) s SATISFIABLE
718.00/577.94	c (31,0) SatSolver.solve End
718.00/577.94	c (31,0) Heap : 234 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
718.00/577.94	c (31,0) Show results Begin
929.67/578.08	c (31,0) x[0][0] = 17
929.67/578.08	c (31,0) x[0][1] = 0
929.67/578.08	c (31,0) x[0][2] = 6
929.67/578.08	c (31,0) x[0][3] = 4
929.67/578.08	c (31,0) x[0][5] = 15
929.67/578.08	c (31,0) x[0][6] = 8
929.67/578.08	c (31,0) x[0][7] = 18
929.67/578.08	c (31,0) x[0][8] = 19
929.67/578.08	c (31,0) x[0][9] = 4
929.67/578.08	c (31,0) x[0][11] = 1
929.67/578.08	c (31,0) x[0][12] = 4
929.67/578.08	c (31,0) x[0][13] = 15
929.67/578.08	c (31,0) x[0][14] = 15
929.67/578.08	c (31,0) x[0][15] = 20
929.67/578.08	c (31,0) x[0][17] = 2
929.67/578.08	c (31,0) x[0][18] = 0
929.67/578.08	c (31,0) x[0][19] = 4
929.67/578.08	c (31,0) x[0][20] = 12
929.67/578.08	c (31,0) x[1][0] = 0
929.67/578.08	c (31,0) x[1][1] = 1
929.67/578.08	c (31,0) x[1][2] = 4
929.67/578.08	c (31,0) x[1][3] = 17
929.67/578.08	c (31,0) x[1][5] = 18
929.67/578.08	c (31,0) x[1][6] = 11
929.67/578.08	c (31,0) x[1][7] = 20
929.67/578.08	c (31,0) x[1][8] = 17
929.67/578.08	c (31,0) x[1][9] = 15
929.67/578.08	c (31,0) x[1][11] = 8
929.67/578.08	c (31,0) x[1][12] = 23
929.67/578.08	c (31,0) x[1][13] = 0
929.67/578.08	c (31,0) x[1][14] = 8
929.67/578.08	c (31,0) x[1][15] = 19
929.67/578.08	c (31,0) x[1][17] = 0
929.67/578.08	c (31,0) x[1][18] = 13
929.67/578.08	c (31,0) x[1][19] = 6
929.67/578.08	c (31,0) x[1][20] = 4
929.67/578.08	c (31,0) x[2][0] = 2
929.67/578.08	c (31,0) x[2][1] = 0
929.67/578.08	c (31,0) x[2][2] = 11
929.67/578.08	c (31,0) x[2][3] = 14
929.67/578.08	c (31,0) x[2][4] = 19
929.67/578.08	c (31,0) x[2][5] = 19
929.67/578.08	c (31,0) x[2][6] = 4
929.67/578.08	c (31,0) x[2][7] = 17
929.67/578.08	c (31,0) x[2][8] = 0
929.67/578.08	c (31,0) x[2][9] = 18
929.67/578.08	c (31,0) x[2][11] = 18
929.67/578.08	c (31,0) x[2][12] = 0
929.67/578.08	c (31,0) x[2][13] = 17
929.67/578.08	c (31,0) x[2][14] = 2
929.67/578.08	c (31,0) x[2][15] = 4
929.67/578.08	c (31,0) x[2][16] = 4
929.67/578.08	c (31,0) x[2][17] = 13
929.67/578.08	c (31,0) x[2][18] = 13
929.67/578.08	c (31,0) x[2][19] = 4
929.67/578.08	c (31,0) x[2][20] = 18
929.67/578.08	c (31,0) x[3][0] = 4
929.67/578.08	c (31,0) x[3][1] = 19
929.67/578.08	c (31,0) x[3][2] = 20
929.67/578.08	c (31,0) x[3][3] = 3
929.67/578.08	c (31,0) x[3][4] = 4
929.67/578.08	c (31,0) x[3][6] = 18
929.67/578.08	c (31,0) x[3][7] = 14
929.67/578.08	c (31,0) x[3][8] = 12
929.67/578.08	c (31,0) x[3][10] = 12
929.67/578.08	c (31,0) x[3][11] = 14
929.67/578.08	c (31,0) x[3][12] = 11
929.67/578.08	c (31,0) x[3][13] = 19
929.67/578.08	c (31,0) x[3][14] = 14
929.67/578.08	c (31,0) x[3][16] = 2
929.67/578.08	c (31,0) x[3][17] = 14
929.67/578.08	c (31,0) x[3][18] = 20
929.67/578.08	c (31,0) x[3][19] = 17
929.67/578.08	c (31,0) x[3][20] = 18
929.67/578.08	c (31,0) x[4][2] = 18
929.67/578.08	c (31,0) x[4][3] = 0
929.67/578.08	c (31,0) x[4][4] = 11
929.67/578.08	c (31,0) x[4][5] = 18
929.67/578.08	c (31,0) x[4][7] = 8
929.67/578.08	c (31,0) x[4][8] = 0
929.67/578.08	c (31,0) x[4][9] = 10
929.67/578.08	c (31,0) x[4][10] = 14
929.67/578.08	c (31,0) x[4][11] = 20
929.67/578.08	c (31,0) x[4][12] = 19
929.67/578.08	c (31,0) x[4][13] = 4
929.67/578.10	c (32,0) x[4][15] = 9
929.67/578.10	c (32,0) x[4][16] = 20
929.67/578.10	c (32,0) x[4][17] = 19
929.67/578.10	c (32,0) x[4][18] = 0
929.67/578.10	c (32,0) x[5][0] = 12
929.67/578.10	c (32,0) x[5][1] = 0
929.67/578.10	c (32,0) x[5][2] = 8
929.67/578.10	c (32,0) x[5][4] = 18
929.67/578.10	c (32,0) x[5][5] = 19
929.67/578.10	c (32,0) x[5][6] = 4
929.67/578.10	c (32,0) x[5][7] = 19
929.67/578.10	c (32,0) x[5][8] = 18
929.67/578.10	c (32,0) x[5][9] = 14
929.67/578.10	c (32,0) x[5][10] = 13
929.67/578.10	c (32,0) x[5][12] = 0
929.67/578.10	c (32,0) x[5][13] = 13
929.67/578.10	c (32,0) x[5][14] = 19
929.67/578.10	c (32,0) x[5][15] = 4
929.67/578.10	c (32,0) x[5][16] = 18
929.67/578.10	c (32,0) x[5][18] = 11
929.67/578.10	c (32,0) x[5][19] = 4
929.67/578.10	c (32,0) x[5][20] = 12
929.67/578.10	c (32,0) x[6][0] = 4
929.67/578.10	c (32,0) x[6][1] = 19
929.67/578.10	c (32,0) x[6][2] = 4
929.67/578.10	c (32,0) x[6][3] = 11
929.67/578.10	c (32,0) x[6][5] = 17
929.67/578.10	c (32,0) x[6][6] = 14
929.67/578.10	c (32,0) x[6][7] = 18
929.67/578.10	c (32,0) x[6][9] = 7
929.67/578.10	c (32,0) x[6][10] = 14
929.67/578.10	c (32,0) x[6][11] = 20
929.67/578.10	c (32,0) x[6][13] = 19
929.67/578.10	c (32,0) x[6][14] = 0
929.67/578.10	c (32,0) x[6][15] = 20
929.67/578.10	c (32,0) x[6][17] = 0
929.67/578.10	c (32,0) x[6][18] = 8
929.67/578.10	c (32,0) x[6][19] = 11
929.67/578.10	c (32,0) x[6][20] = 4
929.67/578.10	c (32,0) x[7][0] = 18
929.67/578.10	c (32,0) x[7][1] = 4
929.67/578.10	c (32,0) x[7][2] = 13
929.67/578.10	c (32,0) x[7][3] = 4
929.67/578.10	c (32,0) x[7][4] = 2
929.67/578.10	c (32,0) x[7][5] = 14
929.67/578.10	c (32,0) x[7][6] = 13
929.67/578.10	c (32,0) x[7][8] = 1
929.67/578.10	c (32,0) x[7][9] = 14
929.67/578.10	c (32,0) x[7][10] = 18
929.67/578.10	c (32,0) x[7][11] = 18
929.67/578.10	c (32,0) x[7][12] = 20
929.67/578.10	c (32,0) x[7][14] = 20
929.67/578.10	c (32,0) x[7][15] = 13
929.67/578.10	c (32,0) x[7][16] = 8
929.67/578.10	c (32,0) x[7][17] = 18
929.67/578.10	c (32,0) x[7][18] = 18
929.67/578.10	c (32,0) x[7][19] = 4
929.67/578.10	c (32,0) x[7][20] = 25
929.67/578.10	c (32,0) x[8][0] = 14
929.67/578.10	c (32,0) x[8][1] = 12
929.67/578.10	c (32,0) x[8][2] = 13
929.67/578.10	c (32,0) x[8][3] = 8
929.67/578.10	c (32,0) x[8][4] = 20
929.67/578.10	c (32,0) x[8][5] = 12
929.67/578.10	c (32,0) x[8][7] = 18
929.67/578.10	c (32,0) x[8][8] = 0
929.67/578.10	c (32,0) x[8][9] = 11
929.67/578.10	c (32,0) x[8][11] = 4
929.67/578.10	c (32,0) x[8][12] = 17
929.67/578.10	c (32,0) x[8][13] = 18
929.67/578.10	c (32,0) x[8][15] = 0
929.67/578.10	c (32,0) x[8][16] = 11
929.67/578.10	c (32,0) x[8][17] = 15
929.67/578.10	c (32,0) x[8][18] = 0
929.67/578.10	c (32,0) x[8][19] = 6
929.67/578.10	c (32,0) x[8][20] = 4
929.67/578.10	c (32,0) x[9][0] = 13
929.67/578.10	c (32,0) x[9][1] = 8
929.67/578.10	c (32,0) x[9][2] = 4
929.67/578.10	c (32,0) x[9][4] = 18
929.67/578.10	c (32,0) x[9][5] = 0
929.67/578.10	c (32,0) x[9][6] = 25
929.67/578.10	c (32,0) x[9][7] = 14
929.67/578.10	c (32,0) x[9][8] = 8
929.67/578.10	c (32,0) x[9][9] = 18
929.67/578.10	c (32,0) x[9][11] = 17
929.67/578.10	c (32,0) x[9][12] = 4
929.67/578.10	c (32,0) x[9][13] = 0
929.67/578.10	c (32,0) x[9][14] = 2
929.67/578.10	c (32,0) x[9][16] = 0
929.67/578.10	c (32,0) x[9][17] = 17
929.67/578.10	c (32,0) x[9][18] = 18
929.67/578.10	c (32,0) x[9][19] = 8
929.67/578.10	c (32,0) x[9][20] = 18
929.67/578.10	c (32,0) x[10][3] = 4
929.67/578.10	c (32,0) x[10][4] = 15
929.67/578.10	c (32,0) x[10][5] = 18
929.67/578.10	c (32,0) x[10][6] = 14
929.67/578.10	c (32,0) x[10][7] = 12
929.67/578.10	c (32,0) x[10][13] = 12
929.67/578.10	c (32,0) x[10][14] = 0
929.67/578.10	c (32,0) x[10][15] = 17
929.67/578.10	c (32,0) x[10][16] = 8
929.67/578.10	c (32,0) x[10][17] = 4
929.67/578.10	c (32,0) x[11][0] = 0
929.67/578.10	c (32,0) x[11][1] = 1
929.67/578.10	c (32,0) x[11][2] = 4
929.67/578.10	c (32,0) x[11][3] = 19
929.67/578.10	c (32,0) x[11][4] = 8
929.67/578.10	c (32,0) x[11][6] = 1
929.67/578.10	c (32,0) x[11][7] = 0
929.67/578.10	c (32,0) x[11][8] = 19
929.67/578.10	c (32,0) x[11][9] = 4
929.67/578.10	c (32,0) x[11][11] = 3
929.67/578.10	c (32,0) x[11][12] = 14
929.67/578.10	c (32,0) x[11][13] = 20
929.67/578.10	c (32,0) x[11][14] = 5
929.67/578.10	c (32,0) x[11][15] = 4
929.67/578.10	c (32,0) x[11][16] = 18
929.67/578.10	c (32,0) x[11][18] = 19
929.67/578.10	c (32,0) x[11][19] = 19
929.67/578.10	c (32,0) x[11][20] = 2
929.67/578.10	c (32,0) x[12][0] = 2
929.67/578.10	c (32,0) x[12][1] = 0
929.67/578.10	c (32,0) x[12][2] = 18
929.67/578.10	c (32,0) x[12][3] = 0
929.67/578.10	c (32,0) x[12][4] = 3
929.67/578.10	c (32,0) x[12][5] = 14
929.67/578.10	c (32,0) x[12][7] = 13
929.67/578.10	c (32,0) x[12][8] = 4
929.67/578.10	c (32,0) x[12][9] = 12
929.67/578.10	c (32,0) x[12][11] = 4
929.67/578.10	c (32,0) x[12][12] = 20
929.67/578.10	c (32,0) x[12][13] = 18
929.67/578.10	c (32,0) x[12][15] = 5
929.67/578.10	c (32,0) x[12][16] = 4
929.67/578.10	c (32,0) x[12][17] = 17
929.67/578.10	c (32,0) x[12][18] = 17
929.67/578.10	c (32,0) x[12][19] = 8
929.67/578.10	c (32,0) x[12][20] = 4
929.67/578.10	c (32,0) x[13][0] = 7
929.67/578.10	c (32,0) x[13][1] = 8
929.67/578.10	c (32,0) x[13][2] = 15
929.67/578.10	c (32,0) x[13][3] = 15
929.67/578.10	c (32,0) x[13][4] = 4
929.67/578.10	c (32,0) x[13][5] = 20
929.67/578.10	c (32,0) x[13][6] = 18
929.67/578.10	c (32,0) x[13][8] = 19
929.67/578.10	c (32,0) x[13][9] = 14
929.67/578.10	c (32,0) x[13][10] = 0
929.67/578.10	c (32,0) x[13][11] = 18
929.67/578.10	c (32,0) x[13][12] = 19
929.67/578.10	c (32,0) x[13][14] = 2
929.67/578.10	c (32,0) x[13][15] = 14
929.67/578.10	c (32,0) x[13][16] = 18
929.67/578.10	c (32,0) x[13][17] = 19
929.67/578.10	c (32,0) x[13][18] = 0
929.67/578.10	c (32,0) x[13][19] = 17
929.67/578.10	c (32,0) x[13][20] = 3
929.67/578.10	c (32,0) x[14][0] = 4
929.67/578.10	c (32,0) x[14][1] = 13
929.67/578.10	c (32,0) x[14][2] = 4
929.67/578.10	c (32,0) x[14][3] = 4
929.67/578.10	c (32,0) x[14][5] = 2
929.67/578.10	c (32,0) x[14][6] = 0
929.67/578.10	c (32,0) x[14][7] = 14
929.67/578.10	c (32,0) x[14][9] = 8
929.67/578.10	c (32,0) x[14][10] = 1
929.67/578.10	c (32,0) x[14][11] = 13
929.67/578.10	c (32,0) x[14][13] = 1
929.67/578.10	c (32,0) x[14][14] = 0
929.67/578.10	c (32,0) x[14][15] = 20
929.67/578.10	c (32,0) x[14][17] = 19
929.67/578.10	c (32,0) x[14][18] = 20
929.67/578.10	c (32,0) x[14][19] = 0
929.67/578.10	c (32,0) x[14][20] = 8
929.67/578.10	c (32,0) x[15][0] = 1
929.67/578.10	c (32,0) x[15][1] = 4
929.67/578.10	c (32,0) x[15][2] = 17
929.67/578.10	c (32,0) x[15][4] = 15
929.67/578.10	c (32,0) x[15][5] = 7
929.67/578.10	c (32,0) x[15][6] = 11
929.67/578.10	c (32,0) x[15][7] = 14
929.67/578.10	c (32,0) x[15][8] = 23
929.67/578.10	c (32,0) x[15][10] = 17
929.67/578.10	c (32,0) x[15][11] = 14
929.67/578.10	c (32,0) x[15][12] = 18
929.67/578.10	c (32,0) x[15][13] = 4
929.67/578.10	c (32,0) x[15][14] = 14
929.67/578.10	c (32,0) x[15][15] = 11
929.67/578.10	c (32,0) x[15][16] = 4
929.67/578.10	c (32,0) x[15][18] = 12
929.67/578.10	c (32,0) x[15][19] = 19
929.67/578.10	c (32,0) x[15][20] = 18
929.67/578.10	c (32,0) x[16][2] = 14
929.67/578.10	c (32,0) x[16][3] = 19
929.67/578.10	c (32,0) x[16][4] = 4
929.67/578.10	c (32,0) x[16][5] = 4
929.67/578.10	c (32,0) x[16][7] = 11
929.67/578.10	c (32,0) x[16][8] = 24
929.67/578.10	c (32,0) x[16][9] = 17
929.67/578.10	c (32,0) x[16][10] = 8
929.67/578.10	c (32,0) x[16][11] = 18
929.67/578.10	c (32,0) x[16][12] = 12
929.67/578.10	c (32,0) x[16][13] = 4
929.67/578.10	c (32,0) x[16][15] = 0
929.67/578.10	c (32,0) x[16][16] = 2
929.67/578.10	c (32,0) x[16][17] = 17
929.67/578.10	c (32,0) x[16][18] = 0
929.67/578.10	c (32,0) x[17][0] = 0
929.67/578.10	c (32,0) x[17][1] = 6
929.67/578.10	c (32,0) x[17][2] = 8
929.67/578.10	c (32,0) x[17][3] = 14
929.67/578.10	c (32,0) x[17][4] = 18
929.67/578.10	c (32,0) x[17][6] = 3
929.67/578.10	c (32,0) x[17][7] = 8
929.67/578.10	c (32,0) x[17][8] = 18
929.67/578.10	c (32,0) x[17][9] = 4
929.67/578.10	c (32,0) x[17][10] = 18
929.67/578.10	c (32,0) x[17][12] = 14
929.67/578.10	c (32,0) x[17][13] = 17
929.67/578.10	c (32,0) x[17][14] = 4
929.67/578.10	c (32,0) x[17][16] = 17
929.67/578.10	c (32,0) x[17][17] = 4
929.67/578.10	c (32,0) x[17][18] = 19
929.67/578.10	c (32,0) x[17][19] = 17
929.67/578.10	c (32,0) x[17][20] = 14
929.67/578.10	c (32,0) x[18][0] = 2
929.67/578.10	c (32,0) x[18][1] = 0
929.67/578.10	c (32,0) x[18][2] = 18
929.67/578.10	c (32,0) x[18][3] = 18
929.67/578.10	c (32,0) x[18][4] = 14
929.67/578.10	c (32,0) x[18][5] = 11
929.67/578.10	c (32,0) x[18][6] = 4
929.67/578.10	c (32,0) x[18][7] = 19
929.67/578.10	c (32,0) x[18][8] = 19
929.67/578.10	c (32,0) x[18][9] = 4
929.67/578.10	c (32,0) x[18][11] = 0
929.67/578.10	c (32,0) x[18][12] = 2
929.67/578.10	c (32,0) x[18][13] = 0
929.67/578.10	c (32,0) x[18][14] = 11
929.67/578.10	c (32,0) x[18][15] = 2
929.67/578.10	c (32,0) x[18][16] = 20
929.67/578.10	c (32,0) x[18][17] = 11
929.67/578.10	c (32,0) x[18][18] = 8
929.67/578.10	c (32,0) x[18][19] = 4
929.67/578.10	c (32,0) x[18][20] = 18
929.67/578.10	c (32,0) x[19][0] = 7
929.67/578.10	c (32,0) x[19][1] = 20
929.67/578.10	c (32,0) x[19][2] = 4
929.67/578.10	c (32,0) x[19][3] = 18
929.67/578.10	c (32,0) x[19][5] = 4
929.67/578.10	c (32,0) x[19][6] = 2
929.67/578.10	c (32,0) x[19][7] = 7
929.67/578.10	c (32,0) x[19][8] = 4
929.67/578.10	c (32,0) x[19][9] = 17
929.67/578.10	c (32,0) x[19][11] = 18
929.67/578.10	c (32,0) x[19][12] = 10
929.67/578.10	c (32,0) x[19][13] = 8
929.67/578.10	c (32,0) x[19][14] = 4
929.67/578.10	c (32,0) x[19][15] = 17
929.67/578.10	c (32,0) x[19][17] = 20
929.67/578.10	c (32,0) x[19][18] = 18
929.67/578.10	c (32,0) x[19][19] = 0
929.67/578.10	c (32,0) x[19][20] = 18
929.67/578.10	c (32,0) x[20][0] = 4
929.67/578.10	c (32,0) x[20][1] = 17
929.67/578.10	c (32,0) x[20][2] = 18
929.67/578.10	c (32,0) x[20][3] = 4
929.67/578.10	c (32,0) x[20][5] = 3
929.67/578.10	c (32,0) x[20][6] = 8
929.67/578.10	c (32,0) x[20][7] = 4
929.67/578.10	c (32,0) x[20][8] = 18
929.67/578.10	c (32,0) x[20][9] = 0
929.67/578.10	c (32,0) x[20][11] = 4
929.67/578.10	c (32,0) x[20][12] = 18
929.67/578.10	c (32,0) x[20][13] = 19
929.67/578.10	c (32,0) x[20][14] = 4
929.67/578.10	c (32,0) x[20][15] = 18
929.67/578.10	c (32,0) x[20][17] = 18
929.67/578.10	c (32,0) x[20][18] = 4
929.67/578.10	c (32,0) x[20][19] = 2
929.67/578.10	c (32,0) x[20][20] = 20
929.67/578.10	s SATISFIABLE
929.67/578.11	v <instantiation>
929.67/578.11	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>
929.67/578.11	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>
929.67/578.11	v </instantiation>
929.67/578.11	c (32,0) Show results End
929.67/578.11	c (32,0) Heap : 234 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
929.67/578.11	c (32,0) 31,32,STOP-AFTER(ALL)
929.67/578.11	c END-Prog: Wed Sep 25 00:08:37 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 (10948 MiB free)
  memory of node 1: 16384 MiB (12807 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405288-1569362380/watcher-4405288-1569362380 -o /var/tmp/evaluation-result-4405288-1569362380/solver-4405288-1569362380 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1569359473-24779 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405288-1569362380.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=25479, runsolver pid=25476
Current StackSize limit: 8192 KiB


[startup+0.105385 s]*
/proc/loadavg: 1.43 3.66 6.21 2/215 25501
/proc/meminfo: memFree=24233380/32770624 swapFree=67002972/67108860
[pid=25479] ppid=25476 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25479/stat : 25479 (scop.sh) S 25476 25479 24752 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 512477473 115843072 349 33554432000 4194304 5098028 140728340529856 140728340527112 140483324781180 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33243136 140728340534013 140728340534360 140728340534360 140728340537289 0
/proc/25479/statm: 28282 349 296 221 0 87 0
[pid=25482] ppid=25479 vsize=27314120 memory=107432 CPUtime=0.11 cores=0-7
/proc/25482/stat : 25482 (java) S 25479 25479 24752 0 -1 1077944320 6419 0 0 0 8 3 0 0 20 0 20 0 512477473 27969658880 26858 33554432000 4194304 4196468 140722819788912 140722819771456 140415676886775 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
/proc/25482/statm: 6828530 26858 2825 1 0 6790935 0
[pid=25482/tid=25483] ppid=25479 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/25482/task/25483/stat : 25483 (java) R 25479 25479 24752 0 -1 4202560 4420 0 0 0 7 2 0 0 20 0 20 0 512477473 27969658880 26924 33554432000 4194304 4196468 140722819788912 140415648697896 140415669603927 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25484] ppid=25479 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/25482/task/25484/stat : 25484 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512477475 27969658880 26924 33554432000 4194304 4196468 140722819788912 140415681129360 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25485] ppid=25479 vsize=27314120 memory=140048110769792 CPUtime=0 cores=0-7
/proc/25482/task/25485/stat : 25485 (java) S 25479 25479 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512477476 27969658880 26924 33554432000 4194304 4196468 140722819788912 140415501425424 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25486] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25486/stat : 25486 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512477476 27969658880 26924 33554432000 4194304 4196468 140722819788912 140415098211472 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25487] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25487/stat : 25487 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512477476 27969658880 26924 33554432000 4194304 4196468 140722819788912 140415097158672 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25488] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25488/stat : 25488 (java) S 25479 25479 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512477476 27969658880 26924 33554432000 4194304 4196468 140722819788912 140415096105360 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25489] ppid=25479 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25482/task/25489/stat : 25489 (java) S 25479 25479 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512477476 27969658880 26924 33554432000 4194304 4196468 140722819788912 140415095052560 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25490] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25490/stat : 25490 (java) S 25479 25479 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512477476 27969658880 26924 33554432000 4194304 4196468 140722819788912 140415094000272 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25491] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25491/stat : 25491 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512477476 27969658880 26924 33554432000 4194304 4196468 140722819788912 140415092947472 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25492] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25492/stat : 25492 (java) S 25479 25479 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512477477 27969658880 26924 33554432000 4194304 4196468 140722819788912 140414802344560 140415676897922 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25493] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25493/stat : 25493 (java) S 25479 25479 24752 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512477478 27969658880 26924 33554432000 4194304 4196468 140722819788912 140413486753056 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25494] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25494/stat : 25494 (java) S 25479 25479 24752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512477478 27969658880 26924 33554432000 4194304 4196468 140722819788912 140413352531568 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25495] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25495/stat : 25495 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512477480 27969658880 26924 33554432000 4194304 4196468 140722819788912 140412978027088 140415676905371 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25496] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25496/stat : 25496 (java) S 25479 25479 24752 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 512477480 27969658880 26924 33554432000 4194304 4196468 140722819788912 140414801291376 140415676897922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25497] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25497/stat : 25497 (java) S 25479 25479 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512477480 27969658880 26924 33554432000 4194304 4196468 140722819788912 140414800238576 140415676897922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25498] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25498/stat : 25498 (java) S 25479 25479 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512477480 27969658880 26924 33554432000 4194304 4196468 140722819788912 140414799186288 140415676897922 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25499] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25499/stat : 25499 (java) R 25479 25479 24752 0 -1 4202560 449 0 0 0 0 0 0 0 20 0 20 0 512477480 27969658880 26924 33554432000 4194304 4196468 140722819788912 140414798129400 140415655843113 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25500] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25500/stat : 25500 (java) S 25479 25479 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512477481 27969658880 26924 33554432000 4194304 4196468 140722819788912 140412480121696 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25501] ppid=25479 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25482/task/25501/stat : 25501 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512477481 27969658880 26924 33554432000 4194304 4196468 140722819788912 140414797081392 140415676897922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108828 KiB

[startup+0.21072 s]*
/proc/loadavg: 1.43 3.66 6.21 2/215 25501
/proc/meminfo: memFree=24214540/32770624 swapFree=67002972/67108860
[pid=25479] ppid=25476 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25479/stat : 25479 (scop.sh) S 25476 25479 24752 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 512477473 115843072 349 33554432000 4194304 5098028 140728340529856 140728340527112 140483324781180 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33243136 140728340534013 140728340534360 140728340534360 140728340537289 0
/proc/25479/statm: 28282 349 296 221 0 87 0
[pid=25482] ppid=25479 vsize=27314120 memory=121448 CPUtime=0.24 cores=0-7
/proc/25482/stat : 25482 (java) S 25479 25479 24752 0 -1 1077944320 11246 0 0 0 19 5 0 0 20 0 20 0 512477473 27969658880 30362 33554432000 4194304 4196468 140722819788912 140722819771456 140415676886775 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
/proc/25482/statm: 6828530 30362 2927 1 0 6790935 0
[pid=25482/tid=25483] ppid=25479 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/25482/task/25483/stat : 25483 (java) R 25479 25479 24752 0 -1 4202560 8942 0 0 0 16 4 0 0 20 0 20 0 512477473 27969658880 30362 33554432000 4194304 4196468 140722819788912 140415648710736 140415658450327 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25484] ppid=25479 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/25482/task/25484/stat : 25484 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512477475 27969658880 30362 33554432000 4194304 4196468 140722819788912 140415681129360 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25485] ppid=25479 vsize=27314120 memory=140048114594395 CPUtime=0 cores=0-7
/proc/25482/task/25485/stat : 25485 (java) S 25479 25479 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512477476 27969658880 30362 33554432000 4194304 4196468 140722819788912 140415501425424 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25486] ppid=25479 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25482/task/25486/stat : 25486 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512477476 27969658880 30362 33554432000 4194304 4196468 140722819788912 140415098211472 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25487] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25487/stat : 25487 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512477476 27969658880 30362 33554432000 4194304 4196468 140722819788912 140415097158672 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25488] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25488/stat : 25488 (java) S 25479 25479 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512477476 27969658880 30362 33554432000 4194304 4196468 140722819788912 140415096105360 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25489] ppid=25479 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25482/task/25489/stat : 25489 (java) S 25479 25479 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512477476 27969658880 30362 33554432000 4194304 4196468 140722819788912 140415095052560 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25490] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25490/stat : 25490 (java) S 25479 25479 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512477476 27969658880 30362 33554432000 4194304 4196468 140722819788912 140415094000272 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25491] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25491/stat : 25491 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512477476 27969658880 30362 33554432000 4194304 4196468 140722819788912 140415092947472 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25492] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25492/stat : 25492 (java) S 25479 25479 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512477477 27969658880 30362 33554432000 4194304 4196468 140722819788912 140414802344560 140415676897922 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25493] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25493/stat : 25493 (java) S 25479 25479 24752 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512477478 27969658880 30362 33554432000 4194304 4196468 140722819788912 140413486753056 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25494] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25494/stat : 25494 (java) S 25479 25479 24752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512477478 27969658880 30362 33554432000 4194304 4196468 140722819788912 140413352531568 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25495] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25495/stat : 25495 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512477480 27969658880 30362 33554432000 4194304 4196468 140722819788912 140412978027088 140415676905371 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25496] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25496/stat : 25496 (java) S 25479 25479 24752 0 -1 1077944384 449 0 0 0 0 0 0 0 20 0 20 0 512477480 27969658880 30362 33554432000 4194304 4196468 140722819788912 140414801291376 140415676897922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25497] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25497/stat : 25497 (java) S 25479 25479 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512477480 27969658880 30362 33554432000 4194304 4196468 140722819788912 140414800238576 140415676897922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25498] ppid=25479 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25482/task/25498/stat : 25498 (java) S 25479 25479 24752 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 512477480 27969658880 30362 33554432000 4194304 4196468 140722819788912 140414799186288 140415676897922 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25499] ppid=25479 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/25482/task/25499/stat : 25499 (java) S 25479 25479 24752 0 -1 1077944384 476 0 0 0 2 0 0 0 20 0 20 0 512477480 27969658880 30362 33554432000 4194304 4196468 140722819788912 140414798133488 140415676897922 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25500] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25500/stat : 25500 (java) S 25479 25479 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512477481 27969658880 30362 33554432000 4194304 4196468 140722819788912 140412480121696 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25501] ppid=25479 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25482/task/25501/stat : 25501 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512477481 27969658880 30362 33554432000 4194304 4196468 140722819788912 140414797081392 140415676897922 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122844 KiB

[startup+0.310364 s]*
/proc/loadavg: 1.43 3.66 6.21 2/215 25501
/proc/meminfo: memFree=24210880/32770624 swapFree=67002972/67108860
[pid=25479] ppid=25476 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25479/stat : 25479 (scop.sh) S 25476 25479 24752 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 512477473 115843072 349 33554432000 4194304 5098028 140728340529856 140728340527112 140483324781180 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33243136 140728340534013 140728340534360 140728340534360 140728340537289 0
/proc/25479/statm: 28282 349 296 221 0 87 0
[pid=25482] ppid=25479 vsize=27314120 memory=125468 CPUtime=0.41 cores=0-7
/proc/25482/stat : 25482 (java) S 25479 25479 24752 0 -1 1077944320 12281 0 0 0 36 5 0 0 20 0 20 0 512477473 27969658880 31367 33554432000 4194304 4196468 140722819788912 140722819771456 140415676886775 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
/proc/25482/statm: 6828530 31367 3030 1 0 6790935 0
[pid=25482/tid=25483] ppid=25479 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/25482/task/25483/stat : 25483 (java) R 25479 25479 24752 0 -1 4202560 9791 0 0 0 25 4 0 0 20 0 20 0 512477473 27969658880 31367 33554432000 4194304 4196468 140722819788912 140415648669792 140415658280509 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25484] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25484/stat : 25484 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512477475 27969658880 31367 33554432000 4194304 4196468 140722819788912 140415681129360 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25485] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25485/stat : 25485 (java) S 25479 25479 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512477476 27969658880 31367 33554432000 4194304 4196468 140722819788912 140415501425424 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25486] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25486/stat : 25486 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512477476 27969658880 31367 33554432000 4194304 4196468 140722819788912 140415098211472 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25487] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25487/stat : 25487 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512477476 27969658880 31367 33554432000 4194304 4196468 140722819788912 140415097158672 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25488] ppid=25479 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/25482/task/25488/stat : 25488 (java) S 25479 25479 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512477476 27969658880 31367 33554432000 4194304 4196468 140722819788912 140415096105360 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25489] ppid=25479 vsize=27314120 memory=140048011981743 CPUtime=0 cores=0-7
/proc/25482/task/25489/stat : 25489 (java) S 25479 25479 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512477476 27969658880 31367 33554432000 4194304 4196468 140722819788912 140415095052560 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25490] ppid=25479 vsize=27314120 memory=140048011984048 CPUtime=0 cores=0-7
/proc/25482/task/25490/stat : 25490 (java) S 25479 25479 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512477476 27969658880 31367 33554432000 4194304 4196468 140722819788912 140415094000272 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25491] ppid=25479 vsize=27314120 memory=140048011986352 CPUtime=0 cores=0-7
/proc/25482/task/25491/stat : 25491 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512477476 27969658880 31367 33554432000 4194304 4196468 140722819788912 140415092947472 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25492] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25492/stat : 25492 (java) S 25479 25479 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512477477 27969658880 31367 33554432000 4194304 4196468 140722819788912 140414802344560 140415676897922 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25493] ppid=25479 vsize=27314120 memory=280096023979664 CPUtime=0 cores=0-7
/proc/25482/task/25493/stat : 25493 (java) S 25479 25479 24752 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512477478 27969658880 31367 33554432000 4194304 4196468 140722819788912 140413486753056 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25494] ppid=25479 vsize=27314120 memory=280096023986576 CPUtime=0 cores=0-7
/proc/25482/task/25494/stat : 25494 (java) S 25479 25479 24752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512477478 27969658880 31367 33554432000 4194304 4196468 140722819788912 140413352531568 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25495] ppid=25479 vsize=27314120 memory=280096023927856 CPUtime=0 cores=0-7
/proc/25482/task/25495/stat : 25495 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512477480 27969658880 31367 33554432000 4194304 4196468 140722819788912 140412978027088 140415676905371 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25496] ppid=25479 vsize=27314120 memory=280096024000400 CPUtime=0.02 cores=0-7
/proc/25482/task/25496/stat : 25496 (java) R 25479 25479 24752 0 -1 4202560 506 0 0 0 2 0 0 0 20 0 20 0 512477480 27969658880 31367 33554432000 4194304 4196468 140722819788912 140414801291376 140415676898710 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25497] ppid=25479 vsize=27314120 memory=280096024007312 CPUtime=0 cores=0-7
/proc/25482/task/25497/stat : 25497 (java) S 25479 25479 24752 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 512477480 27969658880 31367 33554432000 4194304 4196468 140722819788912 140414800238576 140415676897922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25498] ppid=25479 vsize=27314120 memory=280096024005008 CPUtime=0.01 cores=0-7
/proc/25482/task/25498/stat : 25498 (java) S 25479 25479 24752 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 20 0 512477480 27969658880 31367 33554432000 4194304 4196468 140722819788912 140414799186288 140415676897922 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25499] ppid=25479 vsize=27314120 memory=280096024021168 CPUtime=0.07 cores=0-7
/proc/25482/task/25499/stat : 25499 (java) S 25479 25479 24752 0 -1 1077944384 521 0 0 0 7 0 0 0 20 0 20 0 512477480 27969658880 31367 33554432000 4194304 4196468 140722819788912 140414798133488 140415676897922 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25500] ppid=25479 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25500/stat : 25500 (java) S 25479 25479 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512477481 27969658880 31367 33554432000 4194304 4196468 140722819788912 140412480121696 140415676896981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25501] ppid=25479 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25482/task/25501/stat : 25501 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512477481 27969658880 31367 33554432000 4194304 4196468 140722819788912 140414797081392 140415676897922 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126864 KiB

[startup+0.701407 s]
/proc/loadavg: 1.43 3.66 6.21 3/215 25501
/proc/meminfo: memFree=24187936/32770624 swapFree=67002972/67108860
[pid=25479] ppid=25476 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25479/stat : 25479 (scop.sh) S 25476 25479 24752 0 -1 4202496 558 320 0 0 0 0 0 0 20 0 1 0 512477473 115843072 349 33554432000 4194304 5098028 140728340529856 140728340527112 140483324781180 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33243136 140728340534013 140728340534360 140728340534360 140728340537289 0
/proc/25479/statm: 28282 349 296 221 0 87 0
[pid=25482] ppid=25479 vsize=27320392 memory=165128 CPUtime=0.99 cores=0-7
/proc/25482/stat : 25482 (java) S 25479 25479 24752 0 -1 1077944320 19821 0 0 0 92 7 0 0 20 0 20 0 512477473 27976081408 41282 33554432000 4194304 4196468 140722819788912 140722819771456 140415676886775 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
/proc/25482/statm: 6830098 41282 3194 1 0 6791447 0
[pid=25482/tid=25483] ppid=25479 vsize=27320392 memory=280096024379056 CPUtime=0.67 cores=0-7
/proc/25482/task/25483/stat : 25483 (java) R 25479 25479 24752 0 -1 4202560 16879 0 0 0 62 5 0 0 20 0 20 0 512477473 27976081408 41282 33554432000 4194304 4196468 140722819788912 140415648717344 140415181311502 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25484] ppid=25479 vsize=27320392 memory=140048012190576 CPUtime=0 cores=0-7
/proc/25482/task/25484/stat : 25484 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512477475 27976081408 41282 33554432000 4194304 4196468 140722819788912 140415681129360 140415676896981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25485] ppid=25479 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/25482/task/25485/stat : 25485 (java) S 25479 25479 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512477476 27976081408 41282 33554432000 4194304 4196468 140722819788912 140415501425424 140415676896981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0
[pid=25482/tid=25486] ppid=25479 vsize=27320392 memory=2832 CPUtime=0 cores=0-7
/proc/25482/task/25486/stat : 25486 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512477476 27976081408 41282 33554432000 4194304 4196468 140722819788912 140415098211472 140415676896981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18493440 140722819793607 140722819794054 140722819794054 140722819796943 0

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

[pid=25573/tid=25574] ppid=25479 vsize=8414124 memory=2376 CPUtime=0.82 cores=0-7
/proc/25573/task/25574/stat : 25574 (java) S 25479 25479 24752 0 -1 1077944384 16990 0 0 0 74 8 0 0 20 0 24 0 512532043 8616062976 31240 33554432000 4194304 4196468 140724272238080 140616882466720 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25575] ppid=25479 vsize=8414124 memory=-8959460003576836498 CPUtime=0 cores=0-7
/proc/25573/task/25575/stat : 25575 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512532044 8616062976 31240 33554432000 4194304 4196468 140724272238080 140616914868752 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25576] ppid=25479 vsize=8414124 memory=124960 CPUtime=0 cores=0-7
/proc/25573/task/25576/stat : 25576 (java) S 25479 25479 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512532044 8616062976 31240 33554432000 4194304 4196468 140724272238080 140616715037328 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25577] ppid=25479 vsize=8414124 memory=3860404 CPUtime=0 cores=0-7
/proc/25573/task/25577/stat : 25577 (java) S 25479 25479 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512532044 8616062976 31240 33554432000 4194304 4196468 140724272238080 140616713984272 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25578] ppid=25479 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/25573/task/25578/stat : 25578 (java) S 25479 25479 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512532044 8616062976 31240 33554432000 4194304 4196468 140724272238080 140616712931728 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25579] ppid=25479 vsize=8414124 memory=64468 CPUtime=0 cores=0-7
/proc/25573/task/25579/stat : 25579 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512532044 8616062976 31240 33554432000 4194304 4196468 140724272238080 140616711879696 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25580] ppid=25479 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/25573/task/25580/stat : 25580 (java) S 25479 25479 24752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512532044 8616062976 31240 33554432000 4194304 4196468 140724272238080 140616710827152 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25581] ppid=25479 vsize=8414124 memory=2052 CPUtime=0 cores=0-7
/proc/25573/task/25581/stat : 25581 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512532044 8616062976 31240 33554432000 4194304 4196468 140724272238080 140616709774096 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25582] ppid=25479 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/25573/task/25582/stat : 25582 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512532044 8616062976 31240 33554432000 4194304 4196468 140724272238080 140616708721552 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25583] ppid=25479 vsize=8414124 memory=1716 CPUtime=0 cores=0-7
/proc/25573/task/25583/stat : 25583 (java) S 25479 25479 24752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512532045 8616062976 31240 33554432000 4194304 4196468 140724272238080 140616003410160 140616910637698 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25584] ppid=25479 vsize=8414124 memory=784 CPUtime=0 cores=0-7
/proc/25573/task/25584/stat : 25584 (java) S 25479 25479 24752 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512532046 8616062976 31240 33554432000 4194304 4196468 140724272238080 140615551542432 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25585] ppid=25479 vsize=8414124 memory=8560 CPUtime=0 cores=0-7
/proc/25573/task/25585/stat : 25585 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512532046 8616062976 31240 33554432000 4194304 4196468 140724272238080 140615283106544 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25586] ppid=25479 vsize=8414124 memory=6204 CPUtime=0 cores=0-7
/proc/25573/task/25586/stat : 25586 (java) S 25479 25479 24752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512532049 8616062976 31240 33554432000 4194304 4196468 140724272238080 140614908598224 140616910645147 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25587] ppid=25479 vsize=8414124 memory=1056 CPUtime=0.07 cores=0-7
/proc/25573/task/25587/stat : 25587 (java) S 25479 25479 24752 0 -1 1077944384 574 0 0 0 7 0 0 0 20 0 24 0 512532049 8616062976 31240 33554432000 4194304 4196468 140724272238080 140616002358000 140616910637698 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25588] ppid=25479 vsize=8414124 memory=1540 CPUtime=0.16 cores=0-7
/proc/25573/task/25588/stat : 25588 (java) S 25479 25479 24752 0 -1 1077944384 880 0 0 0 16 0 0 0 20 0 24 0 512532049 8616062976 31240 33554432000 4194304 4196468 140724272238080 140616001305456 140616910637698 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25589] ppid=25479 vsize=8414124 memory=1476 CPUtime=0.09 cores=0-7
/proc/25573/task/25589/stat : 25589 (java) S 25479 25479 24752 0 -1 1077944384 239 0 0 0 9 0 0 0 20 0 24 0 512532049 8616062976 31240 33554432000 4194304 4196468 140724272238080 140616000252400 140616910637698 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25590] ppid=25479 vsize=8414124 memory=124960 CPUtime=0.24 cores=0-7
/proc/25573/task/25590/stat : 25590 (java) S 25479 25479 24752 0 -1 1077944384 627 0 0 0 24 0 0 0 20 0 24 0 512532049 8616062976 31240 33554432000 4194304 4196468 140724272238080 140615999199856 140616910637698 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25591] ppid=25479 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/25573/task/25591/stat : 25591 (java) S 25479 25479 24752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512532049 8616062976 31240 33554432000 4194304 4196468 140724272238080 140614410693088 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25592] ppid=25479 vsize=8414124 memory=124960 CPUtime=0.01 cores=0-7
/proc/25573/task/25592/stat : 25592 (java) S 25479 25479 24752 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 512532049 8616062976 31240 33554432000 4194304 4196468 140724272238080 140615998147248 140616910637698 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25594] ppid=25479 vsize=8414124 memory=3828272 CPUtime=0 cores=0-7
/proc/25573/task/25594/stat : 25594 (java) S 25479 25479 24752 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512532123 8616062976 31240 33554432000 4194304 4196468 140724272238080 140615990670272 140616910651161 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25596] ppid=25479 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/25573/task/25596/stat : 25596 (java) S 25479 25479 24752 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 512532123 8616062976 31240 33554432000 4194304 4196468 140724272238080 140613739593776 140616910648477 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25597] ppid=25479 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/25573/task/25597/stat : 25597 (java) S 25479 25479 24752 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512532123 8616062976 31240 33554432000 4194304 4196468 140724272238080 140614008029360 140616910648477 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25598] ppid=25479 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/25573/task/25598/stat : 25598 (java) S 25479 25479 24752 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512532125 8616062976 31240 33554432000 4194304 4196468 140724272238080 140613471165872 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
Current children cumulated CPU time: 928.71 s
Current children cumulated vsize: 12644776 KiB
Current children cumulated memory: 3995400 KiB

[startup+578.001 s]*
/proc/loadavg: 3.90 2.19 4.09 3/219 25608
/proc/meminfo: memFree=23983904/32770624 swapFree=67002972/67108860
[pid=25479] ppid=25476 vsize=113128 memory=1476 CPUtime=716.12 cores=0-7
/proc/25479/stat : 25479 (scop.sh) S 25476 25479 24752 0 -1 4202496 584 230384 0 0 0 0 68489 3123 20 0 1 0 512477473 115843072 369 33554432000 4194304 5098028 140728340529856 140728340526600 140483324781180 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33243136 140728340534013 140728340534360 140728340534360 140728340537289 0
/proc/25479/statm: 28282 369 311 221 0 87 0
[pid=25573] ppid=25479 vsize=8283048 memory=227876 CPUtime=213.55 cores=0-7
/proc/25573/stat : 25573 (java) S 25479 25479 24752 0 -1 1077944320 21890 2180932 0 0 196 13 20530 616 20 0 22 0 512532042 8481841152 56969 33554432000 4194304 4196468 140724272238080 140724272220624 140616910626551 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
/proc/25573/statm: 2070762 56969 3232 1 0 2032106 0
[pid=25573/tid=25574] ppid=25479 vsize=8283048 memory=6791534058613427641 CPUtime=212.34 cores=0-7
/proc/25573/task/25574/stat : 25574 (java) R 25479 25479 24752 0 -1 4202560 17128 2180932 0 0 80 8 20530 616 20 0 22 0 512532043 8481841152 56969 33554432000 4194304 4196468 140724272238080 140616882462384 140616910638486 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25575] ppid=25479 vsize=8283048 memory=4872558044660077418 CPUtime=211.46 cores=0-7
/proc/25573/task/25575/stat : 25575 (java) S 25479 25479 24752 0 -1 1077944384 1 2180932 0 0 0 0 20530 616 20 0 22 0 512532044 8481841152 56969 33554432000 4194304 4196468 140724272238080 140616914868752 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25576] ppid=25479 vsize=8283048 memory=7649399375758898482 CPUtime=211.46 cores=0-7
/proc/25573/task/25576/stat : 25576 (java) S 25479 25479 24752 0 -1 1077944384 2 2180932 0 0 0 0 20530 616 20 0 22 0 512532044 8481841152 56969 33554432000 4194304 4196468 140724272238080 140616715037328 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25577] ppid=25479 vsize=8283048 memory=6944656575208382560 CPUtime=211.46 cores=0-7
/proc/25573/task/25577/stat : 25577 (java) S 25479 25479 24752 0 -1 1077944384 3 2180932 0 0 0 0 20530 616 20 0 22 0 512532044 8481841152 56969 33554432000 4194304 4196468 140724272238080 140616713984272 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25578] ppid=25479 vsize=8283048 memory=6944656592455097440 CPUtime=211.46 cores=0-7
/proc/25573/task/25578/stat : 25578 (java) S 25479 25479 24752 0 -1 1077944384 2 2180932 0 0 0 0 20530 616 20 0 22 0 512532044 8481841152 56969 33554432000 4194304 4196468 140724272238080 140616712931728 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25579] ppid=25479 vsize=8283048 memory=6082203000362396759 CPUtime=211.46 cores=0-7
/proc/25573/task/25579/stat : 25579 (java) S 25479 25479 24752 0 -1 1077944384 1 2180932 0 0 0 0 20530 616 20 0 22 0 512532044 8481841152 56969 33554432000 4194304 4196468 140724272238080 140616711879696 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25580] ppid=25479 vsize=8283048 memory=6082202991789632855 CPUtime=211.46 cores=0-7
/proc/25573/task/25580/stat : 25580 (java) S 25479 25479 24752 0 -1 1077944384 2 2180932 0 0 0 0 20530 616 20 0 22 0 512532044 8481841152 56969 33554432000 4194304 4196468 140724272238080 140616710827152 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25581] ppid=25479 vsize=8283048 memory=6082202987427294807 CPUtime=211.46 cores=0-7
/proc/25573/task/25581/stat : 25581 (java) S 25479 25479 24752 0 -1 1077944384 1 2180932 0 0 0 0 20530 616 20 0 22 0 512532044 8481841152 56969 33554432000 4194304 4196468 140724272238080 140616709774096 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25582] ppid=25479 vsize=8283048 memory=6943526294502006880 CPUtime=211.46 cores=0-7
/proc/25573/task/25582/stat : 25582 (java) S 25479 25479 24752 0 -1 1077944384 1 2180932 0 0 0 0 20530 616 20 0 22 0 512532044 8481841152 56969 33554432000 4194304 4196468 140724272238080 140616708721552 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25583] ppid=25479 vsize=8283048 memory=7013342048940813417 CPUtime=211.46 cores=0-7
/proc/25573/task/25583/stat : 25583 (java) S 25479 25479 24752 0 -1 1077944384 5 2180932 0 0 0 0 20530 616 20 0 22 0 512532045 8481841152 56969 33554432000 4194304 4196468 140724272238080 140616003410160 140616910637698 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25584] ppid=25479 vsize=8283048 memory=7822038051842261661 CPUtime=211.46 cores=0-7
/proc/25573/task/25584/stat : 25584 (java) S 25479 25479 24752 0 -1 1077944384 13 2180932 0 0 0 0 20530 616 20 0 22 0 512532046 8481841152 56969 33554432000 4194304 4196468 140724272238080 140615551542432 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25585] ppid=25479 vsize=8283048 memory=8514726395714825349 CPUtime=211.46 cores=0-7
/proc/25573/task/25585/stat : 25585 (java) S 25479 25479 24752 0 -1 1077944384 1 2180932 0 0 0 0 20530 616 20 0 22 0 512532046 8481841152 56969 33554432000 4194304 4196468 140724272238080 140615283106544 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25586] ppid=25479 vsize=8283048 memory=-8341965534556230502 CPUtime=211.46 cores=0-7
/proc/25573/task/25586/stat : 25586 (java) S 25479 25479 24752 0 -1 1077944384 1 2180932 0 0 0 0 20530 616 20 0 22 0 512532049 8481841152 56969 33554432000 4194304 4196468 140724272238080 140614908598224 140616910645147 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25587] ppid=25479 vsize=8283048 memory=9047017150487036571 CPUtime=211.61 cores=0-7
/proc/25573/task/25587/stat : 25587 (java) S 25479 25479 24752 0 -1 1077944384 756 2180932 0 0 15 0 20530 616 20 0 22 0 512532049 8481841152 56969 33554432000 4194304 4196468 140724272238080 140616002358000 140616910637698 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25588] ppid=25479 vsize=8283048 memory=-8253362762722141311 CPUtime=211.71 cores=0-7
/proc/25573/task/25588/stat : 25588 (java) S 25479 25479 24752 0 -1 1077944384 912 2180932 0 0 25 0 20530 616 20 0 22 0 512532049 8481841152 56969 33554432000 4194304 4196468 140724272238080 140616001305456 140616910637698 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25589] ppid=25479 vsize=8283048 memory=-8412656567318647667 CPUtime=211.6 cores=0-7
/proc/25573/task/25589/stat : 25589 (java) S 25479 25479 24752 0 -1 1077944384 341 2180932 0 0 14 0 20530 616 20 0 22 0 512532049 8481841152 56969 33554432000 4194304 4196468 140724272238080 140616000252400 140616910637698 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25590] ppid=25479 vsize=8283048 memory=4427205132082312746 CPUtime=211.79 cores=0-7
/proc/25573/task/25590/stat : 25590 (java) S 25479 25479 24752 0 -1 1077944384 1252 2180932 0 0 33 0 20530 616 20 0 22 0 512532049 8481841152 56969 33554432000 4194304 4196468 140724272238080 140615999199856 140616910637698 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25591] ppid=25479 vsize=8283048 memory=-8486080722631693414 CPUtime=211.46 cores=0-7
/proc/25573/task/25591/stat : 25591 (java) S 25479 25479 24752 0 -1 1077944384 3 2180932 0 0 0 0 20530 616 20 0 22 0 512532049 8481841152 56969 33554432000 4194304 4196468 140724272238080 140614410693088 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25592] ppid=25479 vsize=8283048 memory=-7023579799431922829 CPUtime=211.47 cores=0-7
/proc/25573/task/25592/stat : 25592 (java) S 25479 25479 24752 0 -1 1077944384 3 2180932 0 0 1 0 20530 616 20 0 22 0 512532049 8481841152 56969 33554432000 4194304 4196468 140724272238080 140615998147248 140616910637698 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25594] ppid=25479 vsize=8283048 memory=-8412652152092201843 CPUtime=211.46 cores=0-7
/proc/25573/task/25594/stat : 25594 (java) S 25479 25479 24752 0 -1 1077944384 24 2180932 0 0 0 0 20530 616 20 0 22 0 512532123 8481841152 56969 33554432000 4194304 4196468 140724272238080 140615990669456 140616910637698 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25598] ppid=25479 vsize=8283048 memory=7013342048940813417 CPUtime=211.46 cores=0-7
/proc/25573/task/25598/stat : 25598 (java) S 25479 25479 24752 0 -1 1077944384 12 2180932 0 0 0 0 20530 616 20 0 22 0 512532125 8481841152 56969 33554432000 4194304 4196468 140724272238080 140613471167664 140616910637698 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
Current children cumulated CPU time: 929.67 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 229352 KiB

[startup+578.114 s]
/proc/loadavg: 3.90 2.19 4.09 3/219 25608
/proc/meminfo: memFree=23983904/32770624 swapFree=67002972/67108860
[pid=25479] ppid=25476 vsize=113128 memory=1476 CPUtime=716.12 cores=0-7
/proc/25479/stat : 25479 (scop.sh) S 25476 25479 24752 0 -1 4202496 584 230384 0 0 0 0 68489 3123 20 0 1 0 512477473 115843072 369 33554432000 4194304 5098028 140728340529856 140728340526600 140483324781180 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33243136 140728340534013 140728340534360 140728340534360 140728340537289 0
/proc/25479/statm: 28282 369 311 221 0 87 0
[pid=25573] ppid=25479 vsize=8283048 memory=235356 CPUtime=213.77 cores=0-7
/proc/25573/stat : 25573 (java) S 25479 25479 24752 0 -1 1077944320 23241 2180932 0 0 216 15 20530 616 20 0 22 0 512532042 8481841152 58839 33554432000 4194304 4196468 140724272238080 140724272220624 140616910626551 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
/proc/25573/statm: 2070762 58839 3233 1 0 2032106 0
[pid=25573/tid=25574] ppid=25479 vsize=8283048 memory=136080 CPUtime=212.44 cores=0-7
/proc/25573/task/25574/stat : 25574 (java) R 25479 25479 24752 0 -1 4202560 18299 2180932 0 0 89 9 20530 616 20 0 22 0 512532043 8481841152 58839 33554432000 4194304 4196468 140724272238080 140616882453056 140616903312183 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25575] ppid=25479 vsize=8283048 memory=124960 CPUtime=211.46 cores=0-7
/proc/25573/task/25575/stat : 25575 (java) S 25479 25479 24752 0 -1 1077944384 1 2180932 0 0 0 0 20530 616 20 0 22 0 512532044 8481841152 58839 33554432000 4194304 4196468 140724272238080 140616914868752 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25576] ppid=25479 vsize=8283048 memory=3866220 CPUtime=211.46 cores=0-7
/proc/25573/task/25576/stat : 25576 (java) S 25479 25479 24752 0 -1 1077944384 2 2180932 0 0 0 0 20530 616 20 0 22 0 512532044 8481841152 58839 33554432000 4194304 4196468 140724272238080 140616715037328 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25577] ppid=25479 vsize=8283048 memory=124960 CPUtime=211.46 cores=0-7
/proc/25573/task/25577/stat : 25577 (java) S 25479 25479 24752 0 -1 1077944384 3 2180932 0 0 0 0 20530 616 20 0 22 0 512532044 8481841152 58839 33554432000 4194304 4196468 140724272238080 140616713984272 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25578] ppid=25479 vsize=8283048 memory=124960 CPUtime=211.46 cores=0-7
/proc/25573/task/25578/stat : 25578 (java) S 25479 25479 24752 0 -1 1077944384 2 2180932 0 0 0 0 20530 616 20 0 22 0 512532044 8481841152 58839 33554432000 4194304 4196468 140724272238080 140616712931728 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25579] ppid=25479 vsize=8283048 memory=1476 CPUtime=211.46 cores=0-7
/proc/25573/task/25579/stat : 25579 (java) S 25479 25479 24752 0 -1 1077944384 1 2180932 0 0 0 0 20530 616 20 0 22 0 512532044 8481841152 58839 33554432000 4194304 4196468 140724272238080 140616711879696 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25580] ppid=25479 vsize=8283048 memory=216212 CPUtime=211.46 cores=0-7
/proc/25573/task/25580/stat : 25580 (java) S 25479 25479 24752 0 -1 1077944384 2 2180932 0 0 0 0 20530 616 20 0 22 0 512532044 8481841152 58839 33554432000 4194304 4196468 140724272238080 140616710827152 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25581] ppid=25479 vsize=8283048 memory=1476 CPUtime=211.46 cores=0-7
/proc/25573/task/25581/stat : 25581 (java) S 25479 25479 24752 0 -1 1077944384 1 2180932 0 0 0 0 20530 616 20 0 22 0 512532044 8481841152 58839 33554432000 4194304 4196468 140724272238080 140616709774096 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25582] ppid=25479 vsize=8283048 memory=3746904 CPUtime=211.46 cores=0-7
/proc/25573/task/25582/stat : 25582 (java) S 25479 25479 24752 0 -1 1077944384 1 2180932 0 0 0 0 20530 616 20 0 22 0 512532044 8481841152 58839 33554432000 4194304 4196468 140724272238080 140616708721552 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25583] ppid=25479 vsize=8283048 memory=7309178837960058450 CPUtime=211.46 cores=0-7
/proc/25573/task/25583/stat : 25583 (java) S 25479 25479 24752 0 -1 1077944384 5 2180932 0 0 0 0 20530 616 20 0 22 0 512532045 8481841152 58839 33554432000 4194304 4196468 140724272238080 140616003410160 140616910637698 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25584] ppid=25479 vsize=8283048 memory=1476 CPUtime=211.46 cores=0-7
/proc/25573/task/25584/stat : 25584 (java) S 25479 25479 24752 0 -1 1077944384 13 2180932 0 0 0 0 20530 616 20 0 22 0 512532046 8481841152 58839 33554432000 4194304 4196468 140724272238080 140615551542432 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25585] ppid=25479 vsize=8283048 memory=124960 CPUtime=211.46 cores=0-7
/proc/25573/task/25585/stat : 25585 (java) S 25479 25479 24752 0 -1 1077944384 1 2180932 0 0 0 0 20530 616 20 0 22 0 512532046 8481841152 58839 33554432000 4194304 4196468 140724272238080 140615283106544 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25586] ppid=25479 vsize=8283048 memory=17624016 CPUtime=211.46 cores=0-7
/proc/25573/task/25586/stat : 25586 (java) S 25479 25479 24752 0 -1 1077944384 1 2180932 0 0 0 0 20530 616 20 0 22 0 512532049 8481841152 58839 33554432000 4194304 4196468 140724272238080 140614908598224 140616910645147 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25587] ppid=25479 vsize=8283048 memory=2052 CPUtime=211.62 cores=0-7
/proc/25573/task/25587/stat : 25587 (java) S 25479 25479 24752 0 -1 1077944384 769 2180932 0 0 16 0 20530 616 20 0 22 0 512532049 8481841152 58839 33554432000 4194304 4196468 140724272238080 140616002358000 140616910637698 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25588] ppid=25479 vsize=8283048 memory=1212 CPUtime=211.72 cores=0-7
/proc/25573/task/25588/stat : 25588 (java) S 25479 25479 24752 0 -1 1077944384 922 2180932 0 0 26 0 20530 616 20 0 22 0 512532049 8481841152 58839 33554432000 4194304 4196468 140724272238080 140616001305456 140616910637698 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25589] ppid=25479 vsize=8283048 memory=1036 CPUtime=211.63 cores=0-7
/proc/25573/task/25589/stat : 25589 (java) S 25479 25479 24752 0 -1 1077944384 358 2180932 0 0 17 0 20530 616 20 0 22 0 512532049 8481841152 58839 33554432000 4194304 4196468 140724272238080 140616000252400 140616910637698 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25590] ppid=25479 vsize=8283048 memory=1396 CPUtime=211.84 cores=0-7
/proc/25573/task/25590/stat : 25590 (java) S 25479 25479 24752 0 -1 1077944384 1390 2180932 0 0 38 0 20530 616 20 0 22 0 512532049 8481841152 58839 33554432000 4194304 4196468 140724272238080 140615999199856 140616910637698 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25591] ppid=25479 vsize=8283048 memory=17624016 CPUtime=211.46 cores=0-7
/proc/25573/task/25591/stat : 25591 (java) S 25479 25479 24752 0 -1 1077944384 3 2180932 0 0 0 0 20530 616 20 0 22 0 512532049 8481841152 58839 33554432000 4194304 4196468 140724272238080 140614410693088 140616910636757 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25592] ppid=25479 vsize=8283048 memory=1476 CPUtime=211.47 cores=0-7
/proc/25573/task/25592/stat : 25592 (java) S 25479 25479 24752 0 -1 1077944384 3 2180932 0 0 1 0 20530 616 20 0 22 0 512532049 8481841152 58839 33554432000 4194304 4196468 140724272238080 140615998147248 140616910637698 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25594] ppid=25479 vsize=8283048 memory=124960 CPUtime=211.46 cores=0-7
/proc/25573/task/25594/stat : 25594 (java) S 25479 25479 24752 0 -1 1077944384 24 2180932 0 0 0 0 20530 616 20 0 22 0 512532123 8481841152 58839 33554432000 4194304 4196468 140724272238080 140615990669456 140616910637698 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
[pid=25573/tid=25598] ppid=25479 vsize=8283048 memory=1540 CPUtime=211.46 cores=0-7
/proc/25573/task/25598/stat : 25598 (java) S 25479 25479 24752 0 -1 1077944384 12 2180932 0 0 0 0 20530 616 20 0 22 0 512532125 8481841152 58839 33554432000 4194304 4196468 140724272238080 140613471167664 140616910637698 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31080448 140724272243679 140724272243846 140724272243846 140724272246735 0
Current children cumulated CPU time: 929.89 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 236832 KiB

Child status: 0
Real time (s): 578.14
CPU time (s): 929.945
CPU user time (s): 892.364
CPU system time (s): 37.5813
CPU usage (%): 160.851
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 18048784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 892.364
system time used= 37.5813
maximum resident set size= 18047640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2435185
page faults= 0
swaps= 0
block input operations= 0
block output operations= 247840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 278595
involuntary context switches= 4608


# summary of solver processes directly reported to runsolver:
#   pid: 25479
#   total CPU time (s): 929.945
#   total CPU user time (s): 892.364
#   total CPU system time (s): 37.5813

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.91117 second user time and 6.65582 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-24 23:58:59
IDJOB=4405288
IDBENCH=139944
IDSOLVER=2867
FILE ID=node133/4405288-1569362380
RUNJOBID= node133-1569359473-24779
PBS_JOBID= 21705121
Free space on /var/tmp= 13484 MiB

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

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

MD5SUM BENCH= 495794a1d12b922029631b8ffbf13f9b
RANDOM SEED=1159557922

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.18
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:        24326112 kB
MemAvailable:   31840072 kB
Buffers:          153092 kB
Cached:          7415648 kB
SwapCached:         5152 kB
Active:          3730968 kB
Inactive:        3843228 kB
Active(anon):       3564 kB
Inactive(anon):    57204 kB
Active(file):    3727404 kB
Inactive(file):  3786024 kB
Unevictable:      110964 kB
Mlocked:          110964 kB
SwapTotal:      67108860 kB
SwapFree:       67002972 kB
Dirty:             23244 kB
Writeback:             0 kB
AnonPages:         63792 kB
Mapped:            57692 kB
Shmem:             46824 kB
Slab:             458300 kB
SReclaimable:     428992 kB
SUnreclaim:        29308 kB
KernelStack:        3696 kB
PageTables:         5500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /var/tmp at the end= 13464 MiB
End job on node133 at 2019-09-25 00:08:37