Trace number 4405468

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 818.526 572.069

General information on the benchmark

NameCrossword/Crossword-m1c-ogd2008-herald/
Crossword-m1c-ogd2008-h1905.xml
MD5SUMb304f6c83ea7150e2963a619c79f8da9
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.587835
Satisfiable
(Un)Satisfiability was proved
Number of variables361
Number of constraints126
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":291}]
Minimum variable degree0
Maximum variable degree2
Distribution of variable degrees[{"degree":0,"count":70},{"degree":2,"count":291}]
Minimum constraint arity3
Maximum constraint arity19
Distribution of constraint arities[{"arity":3,"count":25},{"arity":4,"count":62},{"arity":5,"count":18},{"arity":6,"count":8},{"arity":7,"count":10},{"arity":16,"count":2},{"arity":19,"count":1}]
Number of extensional constraints126
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":126}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-9174-serial-file.bin HOME/instance-4405468-1569362916.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Tue Sep 24 23:06:55 CEST 2019
0.65/0.56	c PID: 9177
0.65/0.56	c IP: 172.20.3.105
0.65/0.56	c HOST: node105.alineos.net
0.65/0.57	c (0,0) Parsing Begin
3.08/1.49	c (0,0) Parsing End
3.42/1.50	c (0,0) CSP: 291 int (0 aux), 0 bool (0 aux), 126 ctr, max domain size 26
3.42/1.50	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.42/1.50	c (0,0) Constraint Name Generate Begin
3.42/1.51	c (0,0) Ctr:HOME/instance-4405468-1569362916.xml,ExtensionSupport:Var
3.42/1.51	c (0,0) Constraint Name Generate End
3.42/1.51	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.42/1.51	c (0,0) CSP to CSPinCNF Begin
21.91/11.95	c (11,11) translated 13 (10%) constraints
33.92/21.67	c (21,20) translated 26 (20%) constraints
42.44/30.04	c (29,29) translated 38 (30%) constraints
55.29/39.64	c (39,38) translated 51 (40%) constraints
68.32/48.64	c (48,46) translated 63 (50%) constraints
70.38/50.59	c (50,48) translated 76 (60%) constraints
99.16/73.85	c (73,71) translated 89 (70%) constraints
307.58/225.90	c (225,215) translated 101 (80%) constraints
385.84/288.72	c (288,275) translated 114 (90%) constraints
420.53/317.33	c (316,303) translated 126 (100%) constraints
438.87/331.81	c (331,317) ===========================================
440.52/333.42	c (332,318) Hybrid: #OE=612877, #LE=0
440.52/333.42	c (332,318) Hybrid
440.52/333.42	c (332,318) ===========================================
452.46/344.76	c (344,330) translated 585457 (10%) constraints
466.78/356.61	c (356,341) translated 1170914 (20%) constraints
484.35/369.36	c (368,353) translated 1756371 (30%) constraints
496.36/381.39	c (380,365) translated 2341828 (40%) constraints
513.76/394.14	c (393,377) translated 2927285 (50%) constraints
530.42/406.01	c (405,389) translated 3512742 (60%) constraints
541.92/417.59	c (417,400) translated 4098199 (70%) constraints
559.51/430.43	c (429,412) translated 4683656 (80%) constraints
571.50/442.39	c (441,424) translated 5269113 (90%) constraints
589.06/454.71	c (454,436) translated 5854569 (100%) constraints
589.06/454.71	c (454,436) CSP to CSPinCNF End
589.16/454.90	c (454,436) CSP: 291 int (0 aux), 612586 bool (612586 aux), 5854569 ctr, max domain size 26
589.16/454.90	c (454,436) Heap : 10263 MiB used (max 21769 MiB), NonHeap : 27 MiB used (max 0 MiB)
589.16/454.90	c (454,436) CSPinCNF Propagation Begin
653.56/485.86	c (485,462) 0 values, 126 unsatisfiable literals, and 0 valid clauses are removed
653.56/485.86	c (485,462) CSPinCNF Propagation End
653.77/486.04	c (485,462) CSP: 291 int (0 aux), 612586 bool (612586 aux), 5854569 ctr, max domain size 26
653.77/486.04	c (485,462) Heap : 14304 MiB used (max 21770 MiB), NonHeap : 27 MiB used (max 0 MiB)
655.47/487.76	c (487,464) Hybrid: #OE=612877, #LE=0
655.47/487.76	c (487,464) Simplify CSPinCNF Begin
679.47/499.96	c (499,475) Simplify CSPinCNF End
679.68/500.14	c (499,475) CSP: 291 int (0 aux), 612586 bool (612586 aux), 5854569 ctr, max domain size 26
679.68/500.14	c (499,475) Heap : 15402 MiB used (max 21107 MiB), NonHeap : 28 MiB used (max 0 MiB)
679.68/500.14	c (499,475) Calculate Precise Domain Begin
679.68/500.14	c (499,475) 0 values are removed by re-calculation
679.68/500.14	c (499,475) Calculate Precise Domain End
679.87/500.32	c (499,475) CSP: 291 int (0 aux), 612586 bool (612586 aux), 5854569 ctr, max domain size 26
679.87/500.32	c (499,475) Heap : 15402 MiB used (max 21107 MiB), NonHeap : 28 MiB used (max 0 MiB)
679.87/500.32	c (499,475) CSPinCNF to SatSolver Begin
704.06/508.95	c (508,482) 585457 (10 %) CSP clauses are encoded (0 SAT variables, 592434 SAT clauses)
709.42/514.29	c (513,487) 1170914 (20 %) CSP clauses are encoded (0 SAT variables, 1177891 SAT clauses)
718.48/520.24	c (519,492) 1756371 (30 %) CSP clauses are encoded (0 SAT variables, 1763348 SAT clauses)
726.77/526.26	c (525,498) 2341828 (40 %) CSP clauses are encoded (0 SAT variables, 2348805 SAT clauses)
735.05/532.18	c (531,504) 2927285 (50 %) CSP clauses are encoded (0 SAT variables, 2934262 SAT clauses)
742.89/537.56	c (537,509) 3512742 (60 %) CSP clauses are encoded (0 SAT variables, 3519719 SAT clauses)
750.97/543.17	c (542,514) 4098199 (70 %) CSP clauses are encoded (0 SAT variables, 4105176 SAT clauses)
759.42/549.12	c (548,519) 4683656 (80 %) CSP clauses are encoded (0 SAT variables, 4690633 SAT clauses)
767.97/555.14	c (554,525) 5269113 (90 %) CSP clauses are encoded (0 SAT variables, 5276090 SAT clauses)
776.00/560.79	c (560,530) 5854569 (100 %) CSP clauses are encoded (0 SAT variables, 5861546 SAT clauses)
776.00/560.79	c (560,530) CSPinCNF to SatSolver End
776.00/560.79	c (560,530) Heap : 12649 MiB used (max 21634 MiB), NonHeap : 29 MiB used (max 0 MiB)
776.00/560.79	c (560,530) 619855 bool, 5861547 clause
776.00/560.79	c (560,530) Export Begin
776.29/561.08	c (560,531) Export to HOME/scop-9174-serial-file.bin
776.29/561.08	c (560,531) Export End
776.29/561.08	c (560,531) Export File Size: 0.06 MB
776.29/561.08	c (560,531) 0,0,454,485,499,499,560,STOP-AFTER(DIMACS)
776.29/561.08	c END-Prog: Tue Sep 24 23:16:16 CEST 2019
0.00/561.17	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9174-serial-file.bin
776.41/561.64	c (0,0) Read Serial File Begin
776.41/561.64	c (0,0) HOME/scop-9174-serial-file.bin
776.41/561.89	c (0,0) Read Serial File End
776.41/561.90	
776.41/561.90	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
776.41/561.90	(Solving Process)
776.41/561.90	
776.41/561.92	c BEGIN-Prog: Tue Sep 24 23:16:17 CEST 2019
776.41/561.92	c PID: 9237
776.41/561.92	c IP: 172.20.3.105
776.41/561.92	c HOST: node105.alineos.net
776.41/561.93	c (0,0) SatSolver.solve Begin
776.41/561.93	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405468-1569362916.xml-scop-9177.cnf
776.41/561.96	c (0,0) c
776.41/561.96	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)
776.41/561.96	c (0,0) c
776.41/561.96	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
776.41/561.96	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
776.41/561.96	c (0,0) c ========================================[ Problem Statistics ]===========================================
776.41/561.96	c (0,0) c |                                                                                                       |
780.00/564.22	c (2,0) c |  Number of variables:        619855                                                                   |
780.00/564.22	c (2,0) c |  Number of clauses:         5861454                                                                   |
780.00/564.22	c (2,0) c |  Parse time:                   2.08 s                                                                 |
780.00/564.22	c (2,0) c |                                                                                                       |
780.50/564.74	c (3,0) c | Too many clauses... No preprocessing                                                                  |
780.50/564.74	c (3,0) c |  Simplification time:          0.47 s                                                                 |
780.50/564.74	c (3,0) c |                                                                                                       |
780.50/564.76	c (3,0) c |  Generating clones                                                                                    |
782.41/566.60	c (5,0) c |  all clones generated. Memory =  3622.59Mb.                                                           |
782.41/566.60	c (5,0) c ========================================================================================================|
782.41/566.60	c (5,0) c
782.41/566.60	c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
782.41/566.60	c (5,0) c
782.41/566.60	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
782.41/566.60	c (5,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
782.41/566.60	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
782.41/566.60	c (5,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
782.41/566.60	c (5,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
782.41/566.60	c (5,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
782.41/566.60	c (5,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
782.41/566.60	c (5,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
782.41/566.60	c (5,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
782.41/566.60	c (5,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
782.41/566.60	c (5,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
782.41/566.60	c (5,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
782.41/566.60	c (5,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
782.41/566.60	c (5,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
782.41/566.60	c (5,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
782.41/566.60	c (5,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
782.41/566.60	c (5,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
782.41/566.60	c (5,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
782.41/566.60	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
817.13/571.49	c (9,0) c
817.13/571.49	c (9,0) c real time : 9.53832 s
817.13/571.49	c (9,0) c cpu time  : 35.4617 s
817.13/571.49	c (9,0) c
817.13/571.49	c (9,0) c
817.13/571.49	c (9,0) c
817.13/571.49	c (9,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
817.13/571.49	c (9,0) c
817.13/571.49	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
817.13/571.49	c (9,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
817.13/571.49	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
817.13/571.49	c (9,0) c | Conflicts     |           10504 |       1332 |       1044 |       1931 |       1339 |       1078 |       1336 |       1470 |        974 |
817.13/571.49	c (9,0) c | Decisions     |          711123 |     102008 |      82454 |      78993 |     130972 |      82208 |      84133 |      65639 |      84716 |
817.13/571.49	c (9,0) c | Propagations  |        80563999 |    9091066 |    9315869 |   11200242 |    9614515 |   10443303 |   10500815 |   11332018 |    9066171 |
817.13/571.49	c (9,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
817.13/571.49	c (9,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
817.13/571.49	c (9,0) c | Restarts      |              36 |          4 |          5 |          7 |          4 |          4 |          5 |          6 |          1 |
817.13/571.49	c (9,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
817.13/571.49	c (9,0) c | PropBinClauses|        92474847 |   10509022 |   10763190 |   12624630 |   10908528 |   11736002 |   12144351 |   13536405 |   10252719 |
817.13/571.49	c (9,0) c | PropPreBlocker|       416784779 |   49936736 |   46669412 |   57750064 |   53925468 |   54344424 |   54292912 |   50878902 |   48986861 |
817.13/571.49	c (9,0) c | PropNotBlocker|       120153113 |   14278911 |   13261486 |   18267808 |   15221566 |   14017272 |   16429861 |   15656152 |   13020057 |
817.13/571.49	c (9,0) c | LitFullScans  |       757615614 |   90271797 |   84077714 |  106967770 |   96031683 |   96071012 |  102023253 |   96053972 |   86118413 |
817.13/571.49	c (9,0) c | LitScanFracts |          148360 |      24830 |      16243 |       5509 |      26545 |      13020 |      13152 |      32729 |      16332 |
817.13/571.49	c (9,0) c | DecisionLevel0|              36 |          4 |          5 |          7 |          4 |          4 |          5 |          6 |          1 |
817.13/571.49	c (9,0) c | Periods       |             125 |         15 |         14 |         17 |         16 |         16 |         17 |         16 |         14 |
817.13/571.49	c (9,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
817.13/571.49	c (9,0) c | Avg_Trail     |                 |     360074 |     235092 |     256292 |     376798 |     296763 |     278692 |     254442 |     439128 |
817.13/571.49	c (9,0) c | Avg_DL        |                 |       3763 |        940 |        708 |       2577 |       1118 |       1354 |       1292 |       2024 |
817.13/571.49	c (9,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
817.13/571.49	c (9,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
817.13/571.49	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
817.13/571.49	c (9,0) c | Exported      |             648 |         69 |         73 |        123 |         83 |         79 |         76 |         79 |         66 |
817.13/571.49	c (9,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
817.13/571.49	c (9,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
817.13/571.49	c (9,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
817.13/571.49	c (9,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
817.13/571.49	c (9,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
817.13/571.49	c (9,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
817.13/571.49	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
817.13/571.49	c (9,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
817.13/571.49	c (9,0) c | Binaries      |                 |         55 |         54 |         93 |         63 |         47 |         57 |         57 |         58 |
817.13/571.49	c (9,0) c | Glues         |                 |         69 |         73 |        123 |         83 |         79 |         76 |         79 |         66 |
817.13/571.49	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
817.13/571.49	c (9,0) c | Orig_Seen     |             0 % |      43822 |      23466 |      41398 |      57180 |      34034 |      41053 |      41439 |      29330 |
817.13/571.49	c (9,0) c | Diff Orig seen|                 |      14492 | -     5864 |      12068 |      27850 |       4704 |      11723 |      12109 |      X     |
817.13/571.49	c (9,0) c | Hamming       |             7 % |      44240 |      43539 |      46467 |      52359 |      42425 |      43794 |      41823 |      X     |
817.13/571.49	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
817.13/571.49	c (9,0) c | RunningTime   |                 |    4.8 100%|    4.8 100%|    4.7 100%|    4.6 100%|    4.8 100%|    4.6 100%|    4.6 100%|    4.6 100%|
817.13/571.49	c (9,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%|
817.13/571.49	c (9,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%|
817.13/571.49	c (9,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%|
817.13/571.49	c (9,0) c | SolvingTime   |                 |    4.8     |    4.8     |    4.7     |    4.6     |    4.8     |    4.6     |    4.6     |    4.6     |
817.13/571.49	c (9,0) c | PropagationTim|                 |    4.5  92%|    4.4  93%|    4.3  92%|    4.2  91%|    4.4  92%|    4.2  91%|    4.3  93%|    4.2  93%|
817.13/571.49	c (9,0) c | AnalysisTime  |                 |    0.1   2%|    0.1   1%|    0.1   2%|    0.1   2%|    0.1   2%|    0.1   3%|    0.1   2%|    0.1   1%|
817.13/571.49	c (9,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%|
817.13/571.49	c (9,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
817.13/571.49	c (9,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%|
817.13/571.49	c (9,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%|
817.13/571.49	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
817.13/571.49	c (9,0) c
817.13/571.49	c (9,0) c
817.13/571.49	c (9,0) c Threads : 8
817.13/571.49	c (9,0) c Winner : 7
817.13/571.49	c (9,0) c Conflicts_0 : 1332
817.13/571.49	c (9,0) c Conflicts_1 : 1044
817.13/571.49	c (9,0) c Conflicts_2 : 1931
817.13/571.49	c (9,0) c Conflicts_3 : 1339
817.13/571.49	c (9,0) c Conflicts_4 : 1078
817.13/571.49	c (9,0) c Conflicts_5 : 1336
817.13/571.49	c (9,0) c Conflicts_6 : 1470
817.13/571.49	c (9,0) c Conflicts_7 : 974
817.13/571.49	c (9,0) c Conflicts_total : 10504
817.13/571.49	c (9,0) c Conflicts_winner : 974
817.13/571.49	c (9,0) c Decisions_0 : 102008
817.13/571.49	c (9,0) c Decisions_1 : 82454
817.13/571.49	c (9,0) c Decisions_2 : 78993
817.13/571.50	c (9,0) c Decisions_3 : 130972
817.13/571.50	c (9,0) c Decisions_4 : 82208
817.13/571.50	c (9,0) c Decisions_5 : 84133
817.13/571.50	c (9,0) c Decisions_6 : 65639
817.13/571.50	c (9,0) c Decisions_7 : 84716
817.13/571.50	c (9,0) c Decisions_total : 711123
817.13/571.50	c (9,0) c Decisions_winner : 84716
817.13/571.50	c (9,0) c Propagations_0 : 9091066
817.13/571.50	c (9,0) c Propagations_1 : 9315869
817.13/571.50	c (9,0) c Propagations_2 : 11200242
817.13/571.50	c (9,0) c Propagations_3 : 9614515
817.13/571.50	c (9,0) c Propagations_4 : 10443303
817.13/571.50	c (9,0) c Propagations_5 : 10500815
817.13/571.50	c (9,0) c Propagations_6 : 11332018
817.13/571.50	c (9,0) c Propagations_7 : 9066171
817.13/571.50	c (9,0) c Propagations_total : 80563999
817.13/571.50	c (9,0) c Propagations_winner : 9066171
817.13/571.50	c (9,0) c ReduceDBs_0 : 0
817.13/571.50	c (9,0) c ReduceDBs_1 : 0
817.13/571.50	c (9,0) c ReduceDBs_2 : 0
817.13/571.50	c (9,0) c ReduceDBs_3 : 0
817.13/571.50	c (9,0) c ReduceDBs_4 : 0
817.13/571.50	c (9,0) c ReduceDBs_5 : 0
817.13/571.50	c (9,0) c ReduceDBs_6 : 0
817.13/571.50	c (9,0) c ReduceDBs_7 : 0
817.13/571.50	c (9,0) c ReduceDBs_total : 0
817.13/571.50	c (9,0) c ReduceDBs_winner : 0
817.13/571.50	c (9,0) c SimpDBs_0 : 1
817.13/571.50	c (9,0) c SimpDBs_1 : 1
817.13/571.50	c (9,0) c SimpDBs_2 : 1
817.13/571.50	c (9,0) c SimpDBs_3 : 1
817.13/571.50	c (9,0) c SimpDBs_4 : 1
817.13/571.50	c (9,0) c SimpDBs_5 : 1
817.13/571.50	c (9,0) c SimpDBs_6 : 1
817.13/571.50	c (9,0) c SimpDBs_7 : 1
817.13/571.50	c (9,0) c SimpDBs_total : 8
817.13/571.50	c (9,0) c SimpDBs_winner : 1
817.13/571.50	c (9,0) c Restarts_0 : 4
817.13/571.50	c (9,0) c Restarts_1 : 5
817.13/571.50	c (9,0) c Restarts_2 : 7
817.13/571.50	c (9,0) c Restarts_3 : 4
817.13/571.50	c (9,0) c Restarts_4 : 4
817.13/571.50	c (9,0) c Restarts_5 : 5
817.13/571.50	c (9,0) c Restarts_6 : 6
817.13/571.50	c (9,0) c Restarts_7 : 1
817.13/571.50	c (9,0) c Restarts_total : 36
817.13/571.50	c (9,0) c Restarts_winner : 1
817.13/571.50	c (9,0) c ForcedImports_0 : 0
817.13/571.50	c (9,0) c ForcedImports_1 : 0
817.13/571.50	c (9,0) c ForcedImports_2 : 0
817.13/571.50	c (9,0) c ForcedImports_3 : 0
817.13/571.50	c (9,0) c ForcedImports_4 : 0
817.13/571.50	c (9,0) c ForcedImports_5 : 0
817.13/571.50	c (9,0) c ForcedImports_6 : 0
817.13/571.50	c (9,0) c ForcedImports_7 : 0
817.13/571.50	c (9,0) c ForcedImports_total : 0
817.24/571.50	c (9,0) c ForcedImports_winner : 0
817.24/571.50	c (9,0) c PropsBinClauses_0 : 10509022
817.24/571.50	c (9,0) c PropsBinClauses_1 : 10763190
817.24/571.50	c (9,0) c PropsBinClauses_2 : 12624630
817.24/571.50	c (9,0) c PropsBinClauses_3 : 10908528
817.24/571.50	c (9,0) c PropsBinClauses_4 : 11736002
817.24/571.50	c (9,0) c PropsBinClauses_5 : 12144351
817.24/571.50	c (9,0) c PropsBinClauses_6 : 13536405
817.24/571.50	c (9,0) c PropsBinClauses_7 : 10252719
817.24/571.50	c (9,0) c PropsBinClauses_total : 92474847
817.24/571.50	c (9,0) c PropsBinClauses_winner : 10252719
817.24/571.50	c (9,0) c PropsPreBlocker_0 : 49936736
817.24/571.50	c (9,0) c PropsPreBlocker_1 : 46669412
817.24/571.50	c (9,0) c PropsPreBlocker_2 : 57750064
817.24/571.50	c (9,0) c PropsPreBlocker_3 : 53925468
817.24/571.50	c (9,0) c PropsPreBlocker_4 : 54344424
817.24/571.50	c (9,0) c PropsPreBlocker_5 : 54292912
817.24/571.50	c (9,0) c PropsPreBlocker_6 : 50878902
817.24/571.50	c (9,0) c PropsPreBlocker_7 : 48986861
817.24/571.50	c (9,0) c PropsPreBlocker_total : 416784779
817.24/571.50	c (9,0) c PropsPreBlocker_winner : 48986861
817.24/571.50	c (9,0) c PropsNotBlocker_0 : 14278911
817.24/571.50	c (9,0) c PropsNotBlocker_1 : 13261486
817.24/571.50	c (9,0) c PropsNotBlocker_2 : 18267808
817.24/571.50	c (9,0) c PropsNotBlocker_3 : 15221566
817.24/571.50	c (9,0) c PropsNotBlocker_4 : 14017272
817.24/571.50	c (9,0) c PropsNotBlocker_5 : 16429861
817.24/571.50	c (9,0) c PropsNotBlocker_6 : 15656152
817.24/571.50	c (9,0) c PropsNotBlocker_7 : 13020057
817.24/571.50	c (9,0) c PropsNotBlocker_total : 120153113
817.24/571.50	c (9,0) c PropsNotBlocker_winner : 13020057
817.24/571.50	c (9,0) c PropsLitFullScans_0 : 90271797
817.24/571.50	c (9,0) c PropsLitFullScans_1 : 84077714
817.24/571.50	c (9,0) c PropsLitFullScans_2 : 106967770
817.24/571.50	c (9,0) c PropsLitFullScans_3 : 96031683
817.24/571.50	c (9,0) c PropsLitFullScans_4 : 96071012
817.24/571.50	c (9,0) c PropsLitFullScans_5 : 102023253
817.24/571.50	c (9,0) c PropsLitFullScans_6 : 96053972
817.24/571.50	c (9,0) c PropsLitFullScans_7 : 86118413
817.24/571.50	c (9,0) c PropsLitFullScans_total : 757615614
817.24/571.50	c (9,0) c PropsLitFullScans_winner : 86118413
817.24/571.50	c (9,0) c LitScanFractions_0 : 24830
817.24/571.50	c (9,0) c LitScanFractions_1 : 16243
817.24/571.50	c (9,0) c LitScanFractions_2 : 5509
817.24/571.50	c (9,0) c LitScanFractions_3 : 26545
817.24/571.50	c (9,0) c LitScanFractions_4 : 13020
817.24/571.50	c (9,0) c LitScanFractions_5 : 13152
817.24/571.50	c (9,0) c LitScanFractions_6 : 32729
817.24/571.50	c (9,0) c LitScanFractions_7 : 16332
817.24/571.50	c (9,0) c LitScanFractions_total : 148360
817.24/571.50	c (9,0) c LitScanFractions_winner : 16332
817.24/571.50	c (9,0) c DecisionLevel0_0 : 4
817.24/571.50	c (9,0) c DecisionLevel0_1 : 5
817.24/571.50	c (9,0) c DecisionLevel0_2 : 7
817.24/571.50	c (9,0) c DecisionLevel0_3 : 4
817.24/571.50	c (9,0) c DecisionLevel0_4 : 4
817.24/571.50	c (9,0) c DecisionLevel0_5 : 5
817.24/571.50	c (9,0) c DecisionLevel0_6 : 6
817.24/571.50	c (9,0) c DecisionLevel0_7 : 1
817.24/571.50	c (9,0) c DecisionLevel0_total : 36
817.24/571.50	c (9,0) c DecisionLevel0_winner : 1
817.24/571.50	c (9,0) c Periods_0 : 15
817.24/571.50	c (9,0) c Periods_1 : 14
817.24/571.50	c (9,0) c Periods_2 : 17
817.24/571.50	c (9,0) c Periods_3 : 16
817.24/571.50	c (9,0) c Periods_4 : 16
817.24/571.50	c (9,0) c Periods_5 : 17
817.24/571.50	c (9,0) c Periods_6 : 16
817.24/571.50	c (9,0) c Periods_7 : 14
817.24/571.50	c (9,0) c Periods_total : 125
817.24/571.50	c (9,0) c Periods_winner : 14
817.24/571.50	c (9,0) c Margin_0 : 20
817.24/571.50	c (9,0) c Margin_1 : 20
817.24/571.50	c (9,0) c Margin_2 : 20
817.24/571.50	c (9,0) c Margin_3 : 20
817.24/571.50	c (9,0) c Margin_4 : 20
817.24/571.50	c (9,0) c Margin_5 : 20
817.24/571.50	c (9,0) c Margin_6 : 20
817.24/571.50	c (9,0) c Margin_7 : 20
817.24/571.50	c (9,0) c Margin_total : 160
817.24/571.50	c (9,0) c Margin_winner : 20
817.24/571.50	c (9,0) c Exported_0 : 69
817.24/571.50	c (9,0) c Exported_1 : 73
817.24/571.50	c (9,0) c Exported_2 : 123
817.24/571.50	c (9,0) c Exported_3 : 83
817.24/571.50	c (9,0) c Exported_4 : 79
817.24/571.50	c (9,0) c Exported_5 : 76
817.24/571.50	c (9,0) c Exported_6 : 79
817.24/571.50	c (9,0) c Exported_7 : 66
817.24/571.50	c (9,0) c Exported_total : 648
817.24/571.50	c (9,0) c Exported_winner : 66
817.24/571.50	c (9,0) c Imported_0 : 0
817.24/571.50	c (9,0) c Imported_1 : 0
817.24/571.50	c (9,0) c Imported_2 : 0
817.24/571.50	c (9,0) c Imported_3 : 0
817.24/571.50	c (9,0) c Imported_4 : 0
817.24/571.50	c (9,0) c Imported_5 : 0
817.24/571.50	c (9,0) c Imported_6 : 0
817.24/571.50	c (9,0) c Imported_7 : 0
817.24/571.50	c (9,0) c Imported_total : 0
817.24/571.50	c (9,0) c Imported_winner : 0
817.24/571.50	c (9,0) c Good_0 : 0
817.24/571.50	c (9,0) c Good_1 : 0
817.24/571.50	c (9,0) c Good_2 : 0
817.24/571.50	c (9,0) c Good_3 : 0
817.24/571.50	c (9,0) c Good_4 : 0
817.24/571.50	c (9,0) c Good_5 : 0
817.24/571.50	c (9,0) c Good_6 : 0
817.24/571.50	c (9,0) c Good_7 : 0
817.24/571.50	c (9,0) c Good_total : 0
817.24/571.50	c (9,0) c Good_winner : 0
817.24/571.50	c (9,0) c Purge_0 : 0
817.24/571.50	c (9,0) c Purge_1 : 0
817.24/571.50	c (9,0) c Purge_2 : 0
817.24/571.50	c (9,0) c Purge_3 : 0
817.24/571.50	c (9,0) c Purge_4 : 0
817.24/571.50	c (9,0) c Purge_5 : 0
817.24/571.50	c (9,0) c Purge_6 : 0
817.24/571.50	c (9,0) c Purge_7 : 0
817.24/571.50	c (9,0) c Purge_total : 0
817.24/571.50	c (9,0) c Purge_winner : 0
817.24/571.50	c (9,0) c Promoted_0 : 0
817.24/571.50	c (9,0) c Promoted_1 : 0
817.24/571.50	c (9,0) c Promoted_2 : 0
817.24/571.50	c (9,0) c Promoted_3 : 0
817.24/571.50	c (9,0) c Promoted_4 : 0
817.24/571.50	c (9,0) c Promoted_5 : 0
817.24/571.50	c (9,0) c Promoted_6 : 0
817.24/571.50	c (9,0) c Promoted_7 : 0
817.24/571.50	c (9,0) c Promoted_total : 0
817.24/571.50	c (9,0) c Promoted_winner : 0
817.24/571.50	c (9,0) c Remove_Imp_0 : 0
817.24/571.50	c (9,0) c Remove_Imp_1 : 0
817.24/571.50	c (9,0) c Remove_Imp_2 : 0
817.24/571.50	c (9,0) c Remove_Imp_3 : 0
817.24/571.50	c (9,0) c Remove_Imp_4 : 0
817.24/571.50	c (9,0) c Remove_Imp_5 : 0
817.24/571.50	c (9,0) c Remove_Imp_6 : 0
817.24/571.50	c (9,0) c Remove_Imp_7 : 0
817.24/571.50	c (9,0) c Remove_Imp_total : 0
817.24/571.50	c (9,0) c Remove_Imp_winner : 0
817.24/571.50	c (9,0) c Blocked_Reuse_0 : 0
817.24/571.50	c (9,0) c Blocked_Reuse_1 : 0
817.24/571.50	c (9,0) c Blocked_Reuse_2 : 0
817.24/571.50	c (9,0) c Blocked_Reuse_3 : 0
817.24/571.50	c (9,0) c Blocked_Reuse_4 : 0
817.24/571.50	c (9,0) c Blocked_Reuse_5 : 0
817.24/571.50	c (9,0) c Blocked_Reuse_6 : 0
817.24/571.50	c (9,0) c Blocked_Reuse_7 : 0
817.24/571.50	c (9,0) c Blocked_Reuse_total : 0
817.24/571.50	c (9,0) c Blocked_Reuse_winner : 0
817.24/571.50	c (9,0) c Unaries_0 : 0
817.24/571.50	c (9,0) c Unaries_1 : 0
817.24/571.50	c (9,0) c Unaries_2 : 0
817.24/571.50	c (9,0) c Unaries_3 : 0
817.24/571.50	c (9,0) c Unaries_4 : 0
817.24/571.50	c (9,0) c Unaries_5 : 0
817.24/571.50	c (9,0) c Unaries_6 : 0
817.24/571.50	c (9,0) c Unaries_7 : 0
817.24/571.50	c (9,0) c Unaries_total : 0
817.24/571.50	c (9,0) c Unaries_winner : 0
817.24/571.50	c (9,0) c Binaries_0 : 55
817.24/571.50	c (9,0) c Binaries_1 : 54
817.24/571.50	c (9,0) c Binaries_2 : 93
817.24/571.50	c (9,0) c Binaries_3 : 63
817.24/571.50	c (9,0) c Binaries_4 : 47
817.24/571.50	c (9,0) c Binaries_5 : 57
817.24/571.50	c (9,0) c Binaries_6 : 57
817.24/571.50	c (9,0) c Binaries_7 : 58
817.24/571.50	c (9,0) c Binaries_total : 484
817.24/571.50	c (9,0) c Binaries_winner : 58
817.24/571.50	c (9,0) c Glues_0 : 69
817.24/571.50	c (9,0) c Glues_1 : 73
817.24/571.50	c (9,0) c Glues_2 : 123
817.24/571.50	c (9,0) c Glues_3 : 83
817.24/571.50	c (9,0) c Glues_4 : 79
817.24/571.50	c (9,0) c Glues_5 : 76
817.24/571.50	c (9,0) c Glues_6 : 79
817.24/571.50	c (9,0) c Glues_7 : 66
817.24/571.50	c (9,0) c Glues_total : 648
817.24/571.50	c (9,0) c Glues_winner : 66
817.24/571.50	c (9,0) c RunningTime_0 : 4.844629
817.24/571.50	c (9,0) c RunningTime_1 : 4.754966
817.24/571.50	c (9,0) c RunningTime_2 : 4.657003
817.24/571.50	c (9,0) c RunningTime_3 : 4.613671
817.24/571.50	c (9,0) c RunningTime_4 : 4.768360
817.24/571.50	c (9,0) c RunningTime_5 : 4.648602
817.24/571.50	c (9,0) c RunningTime_6 : 4.589778
817.24/571.50	c (9,0) c RunningTime_7 : 4.576798
817.24/571.50	c (9,0) c RunningTime_total : 37.453806
817.24/571.50	c (9,0) c RunningTime_winner : 4.576798
817.24/571.50	c (9,0) c WaitingTime_0 : 0.000000
817.24/571.50	c (9,0) c WaitingTime_1 : 0.000000
817.24/571.50	c (9,0) c WaitingTime_2 : 0.000000
817.24/571.50	c (9,0) c WaitingTime_3 : 0.000000
817.24/571.50	c (9,0) c WaitingTime_4 : 0.000000
817.24/571.50	c (9,0) c WaitingTime_5 : 0.000000
817.24/571.50	c (9,0) c WaitingTime_6 : 0.000000
817.24/571.50	c (9,0) c WaitingTime_7 : 0.000000
817.24/571.50	c (9,0) c WaitingTime_total : 0.000000
817.24/571.50	c (9,0) c WaitingTime_winner : 0.000000
817.24/571.50	c (9,0) c ExchangingTime_0 : 0.000342
817.24/571.50	c (9,0) c ExchangingTime_1 : 0.000364
817.24/571.50	c (9,0) c ExchangingTime_2 : 0.000918
817.24/571.50	c (9,0) c ExchangingTime_3 : 0.000407
817.24/571.50	c (9,0) c ExchangingTime_4 : 0.000348
817.24/571.50	c (9,0) c ExchangingTime_5 : 0.000521
817.24/571.50	c (9,0) c ExchangingTime_6 : 0.000466
817.24/571.50	c (9,0) c ExchangingTime_7 : 0.000299
817.24/571.50	c (9,0) c ExchangingTime_total : 0.003664
817.24/571.50	c (9,0) c ExchangingTime_winner : 0.000299
817.24/571.50	c (9,0) c PeriodProcTime_0 : 0.000149
817.24/571.50	c (9,0) c PeriodProcTime_1 : 0.000162
817.24/571.50	c (9,0) c PeriodProcTime_2 : 0.000197
817.24/571.50	c (9,0) c PeriodProcTime_3 : 0.000182
817.24/571.50	c (9,0) c PeriodProcTime_4 : 0.000194
817.24/571.50	c (9,0) c PeriodProcTime_5 : 0.000169
817.24/571.50	c (9,0) c PeriodProcTime_6 : 0.000222
817.24/571.50	c (9,0) c PeriodProcTime_7 : 0.000140
817.24/571.50	c (9,0) c PeriodProcTime_total : 0.001415
817.24/571.50	c (9,0) c PeriodProcTime_winner : 0.000140
817.24/571.50	c (9,0) c SolvingTime_0 : 4.845119
817.24/571.50	c (9,0) c SolvingTime_1 : 4.755492
817.24/571.50	c (9,0) c SolvingTime_2 : 4.658118
817.24/571.50	c (9,0) c SolvingTime_3 : 4.614260
817.24/571.50	c (9,0) c SolvingTime_4 : 4.768902
817.24/571.50	c (9,0) c SolvingTime_5 : 4.649292
817.24/571.50	c (9,0) c SolvingTime_6 : 4.590466
817.24/571.50	c (9,0) c SolvingTime_7 : 4.577237
817.24/571.51	c (9,0) c SolvingTime_total : 37.458886
817.24/571.51	c (9,0) c SolvingTime_winner : 4.577237
817.24/571.51	c (9,0) c PropagationTime_0 : 4.467191
817.24/571.51	c (9,0) c PropagationTime_1 : 4.436136
817.24/571.51	c (9,0) c PropagationTime_2 : 4.297233
817.24/571.51	c (9,0) c PropagationTime_3 : 4.220481
817.24/571.51	c (9,0) c PropagationTime_4 : 4.377602
817.24/571.51	c (9,0) c PropagationTime_5 : 4.217977
817.24/571.51	c (9,0) c PropagationTime_6 : 4.261581
817.24/571.51	c (9,0) c PropagationTime_7 : 4.236403
817.24/571.51	c (9,0) c PropagationTime_total : 34.514605
817.24/571.51	c (9,0) c PropagationTime_winner : 4.236403
817.24/571.51	c (9,0) c AnalysisTime_0 : 0.097151
817.24/571.51	c (9,0) c AnalysisTime_1 : 0.061001
817.24/571.51	c (9,0) c AnalysisTime_2 : 0.102149
817.24/571.51	c (9,0) c AnalysisTime_3 : 0.084788
817.24/571.51	c (9,0) c AnalysisTime_4 : 0.074534
817.24/571.51	c (9,0) c AnalysisTime_5 : 0.141766
817.24/571.51	c (9,0) c AnalysisTime_6 : 0.092535
817.24/571.51	c (9,0) c AnalysisTime_7 : 0.063189
817.24/571.51	c (9,0) c AnalysisTime_total : 0.717113
817.24/571.51	c (9,0) c AnalysisTime_winner : 0.063189
817.24/571.51	c (9,0) c ReductionTime_0 : 0.000000
817.24/571.51	c (9,0) c ReductionTime_1 : 0.000000
817.24/571.51	c (9,0) c ReductionTime_2 : 0.000000
817.24/571.51	c (9,0) c ReductionTime_3 : 0.000000
817.24/571.51	c (9,0) c ReductionTime_4 : 0.000000
817.24/571.51	c (9,0) c ReductionTime_5 : 0.000000
817.24/571.51	c (9,0) c ReductionTime_6 : 0.000000
817.24/571.51	c (9,0) c ReductionTime_7 : 0.000000
817.24/571.51	c (9,0) c ReductionTime_total : 0.000000
817.24/571.51	c (9,0) c ReductionTime_winner : 0.000000
817.24/571.51	c (9,0) c SimplifyTime_0 : 0.000000
817.24/571.51	c (9,0) c SimplifyTime_1 : 0.000001
817.24/571.51	c (9,0) c SimplifyTime_2 : 0.000000
817.24/571.51	c (9,0) c SimplifyTime_3 : 0.000002
817.24/571.51	c (9,0) c SimplifyTime_4 : 0.000000
817.24/571.51	c (9,0) c SimplifyTime_5 : 0.000000
817.24/571.51	c (9,0) c SimplifyTime_6 : 0.000001
817.24/571.51	c (9,0) c SimplifyTime_7 : 0.000000
817.24/571.51	c (9,0) c SimplifyTime_total : 0.000004
817.24/571.51	c (9,0) c SimplifyTime_winner : 0.000000
817.24/571.51	c (9,0) c UsedRateTime_0 : 0.000000
817.24/571.51	c (9,0) c UsedRateTime_1 : 0.000000
817.24/571.51	c (9,0) c UsedRateTime_2 : 0.000000
817.24/571.51	c (9,0) c UsedRateTime_3 : 0.000000
817.24/571.51	c (9,0) c UsedRateTime_4 : 0.000000
817.24/571.51	c (9,0) c UsedRateTime_5 : 0.000000
817.24/571.51	c (9,0) c UsedRateTime_6 : 0.000000
817.24/571.51	c (9,0) c UsedRateTime_7 : 0.000000
817.24/571.51	c (9,0) c UsedRateTime_total : 0.000000
817.24/571.51	c (9,0) c UsedRateTime_winner : 0.000000
817.24/571.51	c (9,0) c OverlapRateTime_0 : 0.000000
817.24/571.51	c (9,0) c OverlapRateTime_1 : 0.000000
817.24/571.51	c (9,0) c OverlapRateTime_2 : 0.000000
817.24/571.51	c (9,0) c OverlapRateTime_3 : 0.000000
817.24/571.51	c (9,0) c OverlapRateTime_4 : 0.000000
817.24/571.51	c (9,0) c OverlapRateTime_5 : 0.000000
817.24/571.51	c (9,0) c OverlapRateTime_6 : 0.000000
817.24/571.51	c (9,0) c OverlapRateTime_7 : 0.000000
817.24/571.51	c (9,0) c OverlapRateTime_total : 0.000000
817.24/571.51	c (9,0) c OverlapRateTime_winner : 0.000000
817.24/571.51	c (9,0) c
817.24/571.51	c (9,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
817.24/571.51	c (9,0) c
817.24/571.51	c (9,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
817.24/571.51	c (9,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
817.24/571.51	c (9,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
817.24/571.51	c (9,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
817.24/571.51	c (9,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
817.24/571.51	c (9,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
817.24/571.51	c (9,0) c | Initial random_seed   | 1373710713 | 1707959141 | 1211898361 |  958806921 |  812896277 | 1867142455 | 2137310975 | 1887885804 |
817.24/571.51	c (9,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
817.24/571.51	c (9,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
817.24/571.51	c (9,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
817.24/571.51	c (9,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
817.24/571.51	c (9,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
817.24/571.51	c (9,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
817.24/571.51	c (9,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
817.24/571.51	c (9,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
817.24/571.51	c (9,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
817.24/571.51	c (9,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
817.24/571.51	c (9,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
817.24/571.51	c (9,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
817.24/571.51	c (9,0) 
817.24/571.51	c (9,0) s SATISFIABLE
778.25/571.87	c (10,0) SatSolver.solve End
778.25/571.87	c (10,0) Heap : 221 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
778.25/571.87	c (10,0) Show results Begin
818.16/572.00	c (10,0) x[0][0] = 0
818.16/572.00	c (10,0) x[0][1] = 17
818.16/572.00	c (10,0) x[0][2] = 19
818.16/572.00	c (10,0) x[0][3] = 15
818.16/572.00	c (10,0) x[0][6] = 0
818.16/572.00	c (10,0) x[0][7] = 1
818.16/572.00	c (10,0) x[0][8] = 18
818.16/572.00	c (10,0) x[0][10] = 10
818.16/572.00	c (10,0) x[0][11] = 17
818.16/572.01	c (10,0) x[0][12] = 0
818.16/572.01	c (10,0) x[0][13] = 4
818.16/572.01	c (10,0) x[0][15] = 1
818.16/572.01	c (10,0) x[0][16] = 0
818.16/572.01	c (10,0) x[0][17] = 2
818.16/572.01	c (10,0) x[0][18] = 18
818.16/572.01	c (10,0) x[1][0] = 15
818.16/572.01	c (10,0) x[1][1] = 8
818.16/572.01	c (10,0) x[1][2] = 17
818.16/572.01	c (10,0) x[1][3] = 0
818.16/572.01	c (10,0) x[1][5] = 0
818.16/572.01	c (10,0) x[1][6] = 2
818.16/572.01	c (10,0) x[1][7] = 19
818.16/572.01	c (10,0) x[1][8] = 0
818.16/572.01	c (10,0) x[1][10] = 7
818.16/572.01	c (10,0) x[1][11] = 14
818.16/572.01	c (10,0) x[1][12] = 8
818.16/572.01	c (10,0) x[1][13] = 11
818.16/572.01	c (10,0) x[1][15] = 14
818.16/572.01	c (10,0) x[1][16] = 2
818.16/572.01	c (10,0) x[1][17] = 0
818.16/572.01	c (10,0) x[1][18] = 20
818.16/572.01	c (10,0) x[2][0] = 14
818.16/572.01	c (10,0) x[2][1] = 15
818.16/572.01	c (10,0) x[2][2] = 0
818.16/572.01	c (10,0) x[2][3] = 7
818.16/572.01	c (10,0) x[2][5] = 17
818.16/572.01	c (10,0) x[2][6] = 7
818.16/572.01	c (10,0) x[2][7] = 20
818.16/572.01	c (10,0) x[2][8] = 12
818.16/572.01	c (10,0) x[2][10] = 0
818.16/572.01	c (10,0) x[2][11] = 6
818.16/572.01	c (10,0) x[2][12] = 18
818.16/572.01	c (10,0) x[2][13] = 20
818.16/572.01	c (10,0) x[2][15] = 18
818.16/572.01	c (10,0) x[2][16] = 19
818.16/572.01	c (10,0) x[2][17] = 14
818.16/572.01	c (10,0) x[2][18] = 11
818.16/572.01	c (10,0) x[3][0] = 18
818.16/572.01	c (10,0) x[3][1] = 0
818.16/572.01	c (10,0) x[3][2] = 12
818.16/572.01	c (10,0) x[3][3] = 0
818.16/572.01	c (10,0) x[3][4] = 8
818.16/572.01	c (10,0) x[3][5] = 6
818.16/572.01	c (10,0) x[3][6] = 4
818.16/572.01	c (10,0) x[3][8] = 15
818.16/572.01	c (10,0) x[3][9] = 20
818.16/572.01	c (10,0) x[3][10] = 18
818.16/572.01	c (10,0) x[3][12] = 18
818.16/572.01	c (10,0) x[3][13] = 4
818.16/572.01	c (10,0) x[3][14] = 19
818.16/572.01	c (10,0) x[3][15] = 18
818.16/572.01	c (10,0) x[4][3] = 10
818.16/572.01	c (10,0) x[4][4] = 14
818.16/572.01	c (10,0) x[4][5] = 20
818.16/572.01	c (10,0) x[4][6] = 1
818.16/572.01	c (10,0) x[4][7] = 1
818.16/572.01	c (10,0) x[4][8] = 0
818.16/572.01	c (10,0) x[4][9] = 18
818.16/572.01	c (10,0) x[4][10] = 8
818.16/572.01	c (10,0) x[4][11] = 3
818.16/572.01	c (10,0) x[4][12] = 8
818.16/572.01	c (10,0) x[4][13] = 17
818.16/572.01	c (10,0) x[4][14] = 0
818.16/572.01	c (10,0) x[4][15] = 2
818.16/572.01	c (10,0) x[4][16] = 7
818.16/572.01	c (10,0) x[4][17] = 0
818.16/572.01	c (10,0) x[4][18] = 20
818.16/572.01	c (10,0) x[5][0] = 4
818.16/572.01	c (10,0) x[5][1] = 11
818.16/572.01	c (10,0) x[5][2] = 14
818.16/572.01	c (10,0) x[5][3] = 13
818.16/572.01	c (10,0) x[5][4] = 2
818.16/572.01	c (10,0) x[5][5] = 4
818.16/572.01	c (10,0) x[5][7] = 8
818.16/572.01	c (10,0) x[5][8] = 13
818.40/572.02	c (10,0) x[5][9] = 20
818.40/572.02	c (10,0) x[5][10] = 11
818.40/572.02	c (10,0) x[5][11] = 4
818.40/572.02	c (10,0) x[5][14] = 18
818.40/572.02	c (10,0) x[5][15] = 7
818.40/572.02	c (10,0) x[5][16] = 0
818.40/572.02	c (10,0) x[5][17] = 0
818.40/572.02	c (10,0) x[5][18] = 1
818.40/572.02	c (10,0) x[6][0] = 18
818.40/572.02	c (10,0) x[6][1] = 8
818.40/572.02	c (10,0) x[6][2] = 12
818.40/572.02	c (10,0) x[6][4] = 10
818.40/572.02	c (10,0) x[6][5] = 8
818.40/572.02	c (10,0) x[6][6] = 12
818.40/572.02	c (10,0) x[6][7] = 25
818.40/572.02	c (10,0) x[6][9] = 18
818.40/572.02	c (10,0) x[6][10] = 8
818.40/572.02	c (10,0) x[6][11] = 4
818.40/572.02	c (10,0) x[6][12] = 2
818.40/572.02	c (10,0) x[6][15] = 4
818.40/572.02	c (10,0) x[6][16] = 17
818.40/572.02	c (10,0) x[6][17] = 17
818.40/572.02	c (10,0) x[6][18] = 0
818.40/572.02	c (10,0) x[7][0] = 18
818.40/572.02	c (10,0) x[7][1] = 19
818.40/572.02	c (10,0) x[7][2] = 0
818.40/572.02	c (10,0) x[7][3] = 17
818.40/572.02	c (10,0) x[7][5] = 11
818.40/572.02	c (10,0) x[7][6] = 0
818.40/572.02	c (10,0) x[7][7] = 13
818.40/572.02	c (10,0) x[7][8] = 3
818.40/572.02	c (10,0) x[7][11] = 15
818.40/572.02	c (10,0) x[7][12] = 17
818.40/572.02	c (10,0) x[7][13] = 0
818.40/572.02	c (10,0) x[7][14] = 12
818.40/572.02	c (10,0) x[7][16] = 3
818.40/572.02	c (10,0) x[7][17] = 19
818.40/572.02	c (10,0) x[7][18] = 2
818.40/572.02	c (10,0) x[8][0] = 4
818.40/572.02	c (10,0) x[8][1] = 8
818.40/572.02	c (10,0) x[8][2] = 6
818.40/572.02	c (10,0) x[8][3] = 4
818.40/572.02	c (10,0) x[8][6] = 11
818.40/572.02	c (10,0) x[8][7] = 0
818.40/572.02	c (10,0) x[8][8] = 4
818.40/572.02	c (10,0) x[8][9] = 12
818.40/572.02	c (10,0) x[8][10] = 0
818.40/572.02	c (10,0) x[8][12] = 0
818.40/572.02	c (10,0) x[8][13] = 3
818.40/572.02	c (10,0) x[8][14] = 0
818.40/572.02	c (10,0) x[8][15] = 5
818.40/572.02	c (10,0) x[9][0] = 18
818.40/572.02	c (10,0) x[9][1] = 2
818.40/572.02	c (10,0) x[9][2] = 7
818.40/572.02	c (10,0) x[9][3] = 11
818.40/572.02	c (10,0) x[9][4] = 8
818.40/572.02	c (10,0) x[9][5] = 19
818.40/572.02	c (10,0) x[9][6] = 4
818.40/572.02	c (10,0) x[9][7] = 13
818.40/572.02	c (10,0) x[9][8] = 1
818.40/572.02	c (10,0) x[9][9] = 4
818.40/572.02	c (10,0) x[9][10] = 17
818.40/572.02	c (10,0) x[9][11] = 6
818.40/572.02	c (10,0) x[9][12] = 1
818.40/572.02	c (10,0) x[9][13] = 4
818.40/572.02	c (10,0) x[9][14] = 8
818.40/572.02	c (10,0) x[9][15] = 11
818.40/572.02	c (10,0) x[9][16] = 8
818.40/572.02	c (10,0) x[9][17] = 13
818.40/572.02	c (10,0) x[9][18] = 25
818.40/572.02	c (10,0) x[10][3] = 20
818.40/572.02	c (10,0) x[10][4] = 2
818.40/572.02	c (10,0) x[10][5] = 20
818.40/572.02	c (10,0) x[10][6] = 0
818.40/572.02	c (10,0) x[10][8] = 18
818.40/572.02	c (10,0) x[10][9] = 14
818.40/572.02	c (10,0) x[10][10] = 7
818.40/572.02	c (10,0) x[10][11] = 20
818.40/572.02	c (10,0) x[10][12] = 1
818.40/572.02	c (10,0) x[10][15] = 0
818.40/572.02	c (10,0) x[10][16] = 12
818.40/572.02	c (10,0) x[10][17] = 14
818.40/572.02	c (10,0) x[10][18] = 17
818.40/572.02	c (10,0) x[11][0] = 15
818.40/572.02	c (10,0) x[11][1] = 12
818.40/572.02	c (10,0) x[11][2] = 0
818.40/572.02	c (10,0) x[11][4] = 7
818.40/572.02	c (10,0) x[11][5] = 8
818.40/572.02	c (10,0) x[11][6] = 11
818.40/572.02	c (10,0) x[11][7] = 12
818.40/572.02	c (10,0) x[11][10] = 0
818.40/572.02	c (10,0) x[11][11] = 24
818.40/572.02	c (10,0) x[11][12] = 0
818.40/572.02	c (10,0) x[11][13] = 3
818.40/572.02	c (10,0) x[11][15] = 2
818.40/572.02	c (10,0) x[11][16] = 15
818.40/572.02	c (10,0) x[11][17] = 17
818.40/572.02	c (10,0) x[11][18] = 4
818.40/572.02	c (10,0) x[12][0] = 18
818.40/572.02	c (10,0) x[12][1] = 0
818.40/572.02	c (10,0) x[12][2] = 11
818.40/572.02	c (10,0) x[12][3] = 11
818.40/572.02	c (10,0) x[12][6] = 12
818.40/572.02	c (10,0) x[12][7] = 0
818.40/572.02	c (10,0) x[12][8] = 14
818.40/572.02	c (10,0) x[12][9] = 1
818.40/572.02	c (10,0) x[12][11] = 0
818.40/572.02	c (10,0) x[12][12] = 24
818.40/572.02	c (10,0) x[12][13] = 4
818.40/572.02	c (10,0) x[12][14] = 17
818.40/572.02	c (10,0) x[12][16] = 4
818.40/572.02	c (10,0) x[12][17] = 3
818.40/572.02	c (10,0) x[12][18] = 4
818.40/572.02	c (10,0) x[13][0] = 14
818.40/572.02	c (10,0) x[13][1] = 11
818.40/572.02	c (10,0) x[13][2] = 12
818.40/572.02	c (10,0) x[13][3] = 4
818.40/572.02	c (10,0) x[13][4] = 19
818.40/572.02	c (10,0) x[13][7] = 14
818.40/572.02	c (10,0) x[13][8] = 11
818.40/572.02	c (10,0) x[13][9] = 0
818.40/572.02	c (10,0) x[13][10] = 4
818.40/572.02	c (10,0) x[13][11] = 13
818.40/572.02	c (10,0) x[13][13] = 15
818.40/572.02	c (10,0) x[13][14] = 14
818.40/572.02	c (10,0) x[13][15] = 13
818.40/572.02	c (10,0) x[13][16] = 2
818.40/572.02	c (10,0) x[13][17] = 8
818.40/572.02	c (10,0) x[13][18] = 5
818.40/572.02	c (10,0) x[14][0] = 0
818.40/572.02	c (10,0) x[14][1] = 14
818.40/572.02	c (10,0) x[14][2] = 20
818.40/572.02	c (10,0) x[14][3] = 8
818.40/572.02	c (10,0) x[14][4] = 13
818.40/572.02	c (10,0) x[14][5] = 4
818.40/572.02	c (10,0) x[14][6] = 19
818.40/572.02	c (10,0) x[14][7] = 1
818.40/572.02	c (10,0) x[14][8] = 4
818.40/572.02	c (10,0) x[14][9] = 11
818.40/572.02	c (10,0) x[14][10] = 11
818.40/572.02	c (10,0) x[14][11] = 4
818.40/572.02	c (10,0) x[14][12] = 6
818.40/572.02	c (10,0) x[14][13] = 17
818.40/572.02	c (10,0) x[14][14] = 0
818.40/572.02	c (10,0) x[14][15] = 0
818.40/572.02	c (10,0) x[15][3] = 15
818.40/572.02	c (10,0) x[15][4] = 5
818.40/572.02	c (10,0) x[15][5] = 0
818.40/572.02	c (10,0) x[15][6] = 20
818.40/572.02	c (10,0) x[15][8] = 14
818.40/572.02	c (10,0) x[15][9] = 18
818.40/572.02	c (10,0) x[15][10] = 14
818.40/572.02	c (10,0) x[15][12] = 14
818.40/572.02	c (10,0) x[15][13] = 4
818.40/572.02	c (10,0) x[15][14] = 3
818.40/572.02	c (10,0) x[15][15] = 8
818.40/572.02	c (10,0) x[15][16] = 15
818.40/572.02	c (10,0) x[15][17] = 4
818.40/572.02	c (10,0) x[15][18] = 18
818.40/572.02	c (10,0) x[16][0] = 4
818.40/572.02	c (10,0) x[16][1] = 20
818.40/572.02	c (10,0) x[16][2] = 11
818.40/572.02	c (10,0) x[16][3] = 14
818.40/572.02	c (10,0) x[16][5] = 17
818.40/572.02	c (10,0) x[16][6] = 8
818.40/572.02	c (10,0) x[16][7] = 14
818.40/572.02	c (10,0) x[16][8] = 11
818.40/572.02	c (10,0) x[16][10] = 6
818.40/572.02	c (10,0) x[16][11] = 17
818.40/572.02	c (10,0) x[16][12] = 20
818.40/572.02	c (10,0) x[16][13] = 13
818.40/572.02	c (10,0) x[16][15] = 0
818.40/572.02	c (10,0) x[16][16] = 18
818.40/572.02	c (10,0) x[16][17] = 15
818.40/572.02	c (10,0) x[16][18] = 8
818.40/572.02	c (10,0) x[17][0] = 5
818.40/572.02	c (10,0) x[17][1] = 0
818.40/572.02	c (10,0) x[17][2] = 0
818.40/572.02	c (10,0) x[17][3] = 0
818.40/572.02	c (10,0) x[17][5] = 15
818.40/572.02	c (10,0) x[17][6] = 11
818.40/572.02	c (10,0) x[17][7] = 8
818.40/572.02	c (10,0) x[17][8] = 0
818.40/572.02	c (10,0) x[17][10] = 11
818.40/572.02	c (10,0) x[17][11] = 8
818.40/572.02	c (10,0) x[17][12] = 4
818.40/572.02	c (10,0) x[17][13] = 3
818.40/572.02	c (10,0) x[17][15] = 3
818.40/572.02	c (10,0) x[17][16] = 0
818.40/572.02	c (10,0) x[17][17] = 8
818.40/572.02	c (10,0) x[17][18] = 11
818.40/572.02	c (10,0) x[18][0] = 22
818.40/572.02	c (10,0) x[18][1] = 14
818.40/572.02	c (10,0) x[18][2] = 10
818.40/572.02	c (10,0) x[18][3] = 18
818.40/572.02	c (10,0) x[18][5] = 18
818.40/572.02	c (10,0) x[18][6] = 19
818.40/572.02	c (10,0) x[18][7] = 0
818.40/572.02	c (10,0) x[18][8] = 19
818.40/572.02	c (10,0) x[18][10] = 0
818.40/572.02	c (10,0) x[18][11] = 17
818.40/572.02	c (10,0) x[18][12] = 23
818.40/572.02	c (10,0) x[18][15] = 4
818.40/572.02	c (10,0) x[18][16] = 17
818.40/572.02	c (10,0) x[18][17] = 2
818.40/572.02	c (10,0) x[18][18] = 14
818.40/572.02	s SATISFIABLE
818.40/572.03	v <instantiation>
818.40/572.03	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][6] x[0][7] x[0][8] x[0][10] x[0][11] x[0][12] x[0][13] x[0][15] x[0][16] x[0][17] x[0][18] 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][10] x[1][11] x[1][12] x[1][13] x[1][15] x[1][16] x[1][17] x[1][18] x[2][0] x[2][1] x[2][2] x[2][3] x[2][5] x[2][6] x[2][7] x[2][8] x[2][10] x[2][11] x[2][12] x[2][13] x[2][15] x[2][16] x[2][17] x[2][18] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][8] x[3][9] x[3][10] x[3][12] x[3][13] x[3][14] x[3][15] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[6][0] x[6][1] x[6][2] x[6][4] x[6][5] x[6][6] x[6][7] x[6][9] x[6][10] x[6][11] x[6][12] x[6][15] x[6][16] x[6][17] x[6][18] x[7][0] x[7][1] x[7][2] x[7][3] x[7][5] x[7][6] x[7][7] x[7][8] x[7][11] x[7][12] x[7][13] x[7][14] x[7][16] x[7][17] x[7][18] x[8][0] x[8][1] x[8][2] x[8][3] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][12] x[8][13] x[8][14] x[8][15] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[10][3] x[10][4] x[10][5] x[10][6] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][15] x[10][16] x[10][17] x[10][18] x[11][0] x[11][1] x[11][2] x[11][4] x[11][5] x[11][6] x[11][7] x[11][10] x[11][11] x[11][12] x[11][13] x[11][15] x[11][16] x[11][17] x[11][18] x[12][0] x[12][1] x[12][2] x[12][3] x[12][6] x[12][7] x[12][8] x[12][9] x[12][11] x[12][12] x[12][13] x[12][14] x[12][16] x[12][17] x[12][18] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[15][3] x[15][4] x[15][5] x[15][6] x[15][8] x[15][9] x[15][10] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[16][0] x[16][1] x[16][2] x[16][3] x[16][5] x[16][6] x[16][7] x[16][8] 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][5] x[17][6] x[17][7] x[17][8] x[17][10] x[17][11] x[17][12] x[17][13] x[17][15] x[17][16] x[17][17] x[17][18] x[18][0] x[18][1] x[18][2] x[18][3] x[18][5] x[18][6] x[18][7] x[18][8] x[18][10] x[18][11] x[18][12] x[18][15] x[18][16] x[18][17] x[18][18]</list>
818.40/572.03	v     <values>0 17 19 15 0 1 18 10 17 0 4 1 0 2 18 15 8 17 0 0 2 19 0 7 14 8 11 14 2 0 20 14 15 0 7 17 7 20 12 0 6 18 20 18 19 14 11 18 0 12 0 8 6 4 15 20 18 18 4 19 18 10 14 20 1 1 0 18 8 3 8 17 0 2 7 0 20 4 11 14 13 2 4 8 13 20 11 4 18 7 0 0 1 18 8 12 10 8 12 25 18 8 4 2 4 17 17 0 18 19 0 17 11 0 13 3 15 17 0 12 3 19 2 4 8 6 4 11 0 4 12 0 0 3 0 5 18 2 7 11 8 19 4 13 1 4 17 6 1 4 8 11 8 13 25 20 2 20 0 18 14 7 20 1 0 12 14 17 15 12 0 7 8 11 12 0 24 0 3 2 15 17 4 18 0 11 11 12 0 14 1 0 24 4 17 4 3 4 14 11 12 4 19 14 11 0 4 13 15 14 13 2 8 5 0 14 20 8 13 4 19 1 4 11 11 4 6 17 0 0 15 5 0 20 14 18 14 14 4 3 8 15 4 18 4 20 11 14 17 8 14 11 6 17 20 13 0 18 15 8 5 0 0 0 15 11 8 0 11 8 4 3 3 0 8 11 22 14 10 18 18 19 0 19 0 17 23 4 17 2 14</values>
818.40/572.03	v </instantiation>
818.40/572.03	c (10,0) Show results End
818.40/572.03	c (10,0) Heap : 241 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
818.40/572.03	c (10,0) 10,10,STOP-AFTER(ALL)
818.40/572.03	c END-Prog: Tue Sep 24 23:16:27 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 (13510 MiB free)
  memory of node 1: 16384 MiB (12056 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405468-1569362916/watcher-4405468-1569362916 -o /var/tmp/evaluation-result-4405468-1569362916/solver-4405468-1569362916 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569352967-7589 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405468-1569362916.xml 

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

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


[startup+0.100154 s]*
/proc/loadavg: 2.59 5.67 7.05 2/210 9196
/proc/meminfo: memFree=26086424/32770624 swapFree=66956864/67108860
[pid=9174] ppid=9171 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9174/stat : 9174 (scop.sh) S 9171 9174 7562 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512549347 115843072 350 33554432000 4194304 5098028 140721829736752 140721829734008 139721063846524 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20631552 140721829741308 140721829741656 140721829741656 140721829744585 0
/proc/9174/statm: 28282 350 297 221 0 87 0
[pid=9177] ppid=9174 vsize=27314120 memory=106536 CPUtime=0.1 cores=0-7
/proc/9177/stat : 9177 (java) S 9174 9174 7562 0 -1 1077944320 6700 0 0 0 8 2 0 0 20 0 20 0 512549347 27969658880 26634 33554432000 4194304 4196468 140724771822496 140724771805040 140351745576695 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
/proc/9177/statm: 6828530 26634 2801 1 0 6790935 0
[pid=9177/tid=9178] ppid=9174 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/9177/task/9178/stat : 9178 (java) R 9174 9174 7562 0 -1 4202560 4816 0 0 0 7 2 0 0 20 0 20 0 512549348 27969658880 26634 33554432000 4194304 4196468 140724771822496 140351717401552 140351729620325 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9179] ppid=9174 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9177/task/9179/stat : 9179 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549350 27969658880 26634 33554432000 4194304 4196468 140724771822496 140351749819408 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9180] ppid=9174 vsize=27314120 memory=139957413475968 CPUtime=0 cores=0-7
/proc/9177/task/9180/stat : 9180 (java) S 9174 9174 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512549350 27969658880 26634 33554432000 4194304 4196468 140724771822496 140351563975824 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9181] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9181/stat : 9181 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549350 27969658880 26634 33554432000 4194304 4196468 140724771822496 140351562922768 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9182] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9182/stat : 9182 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549350 27969658880 26634 33554432000 4194304 4196468 140724771822496 140351561870224 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9183] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9183/stat : 9183 (java) S 9174 9174 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512549350 27969658880 26634 33554432000 4194304 4196468 140724771822496 140351560817168 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9184] ppid=9174 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9177/task/9184/stat : 9184 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549350 27969658880 26634 33554432000 4194304 4196468 140724771822496 140351559764624 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9185] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9185/stat : 9185 (java) S 9174 9174 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512549350 27969658880 26634 33554432000 4194304 4196468 140724771822496 140351558711568 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9186] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9186/stat : 9186 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549350 27969658880 26634 33554432000 4194304 4196468 140724771822496 140351557659024 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9187] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9187/stat : 9187 (java) S 9174 9174 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512549352 27969658880 26634 33554432000 4194304 4196468 140724771822496 140349796231920 140351745587842 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9188] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9188/stat : 9188 (java) S 9174 9174 7562 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512549352 27969658880 26634 33554432000 4194304 4196468 140724771822496 140349666223776 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9189] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9189/stat : 9189 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549352 27969658880 26634 33554432000 4194304 4196468 140724771822496 140349397787888 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9190] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9190/stat : 9190 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549355 27969658880 26634 33554432000 4194304 4196468 140724771822496 140349023279568 140351745595291 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9191] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9191/stat : 9191 (java) S 9174 9174 7562 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 512549355 27969658880 26634 33554432000 4194304 4196468 140724771822496 140349795178736 140351745587842 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9192] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9192/stat : 9192 (java) S 9174 9174 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512549355 27969658880 27146 33554432000 4194304 4196468 140724771822496 140349794126192 140351745587842 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9193] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9193/stat : 9193 (java) S 9174 9174 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512549355 27969658880 27146 33554432000 4194304 4196468 140724771822496 140349793073136 140351745587842 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9194] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9194/stat : 9194 (java) S 9174 9174 7562 0 -1 1077944384 261 0 0 0 0 0 0 0 20 0 20 0 512549355 27969658880 27146 33554432000 4194304 4196468 140724771822496 140349792020592 140351745587842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9195] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9195/stat : 9195 (java) S 9174 9174 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512549355 27969658880 27146 33554432000 4194304 4196468 140724771822496 140348525374432 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9196] ppid=9174 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9177/task/9196/stat : 9196 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549355 27969658880 27146 33554432000 4194304 4196468 140724771822496 140349790969008 140351745587842 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107936 KiB

[startup+0.210482 s]*
/proc/loadavg: 2.59 5.67 7.05 2/210 9196
/proc/meminfo: memFree=26068284/32770624 swapFree=66956864/67108860
[pid=9174] ppid=9171 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9174/stat : 9174 (scop.sh) S 9171 9174 7562 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512549347 115843072 350 33554432000 4194304 5098028 140721829736752 140721829734008 139721063846524 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20631552 140721829741308 140721829741656 140721829741656 140721829744585 0
/proc/9174/statm: 28282 350 297 221 0 87 0
[pid=9177] ppid=9174 vsize=27314120 memory=123116 CPUtime=0.25 cores=0-7
/proc/9177/stat : 9177 (java) S 9174 9174 7562 0 -1 1077944320 11709 0 0 0 21 4 0 0 20 0 20 0 512549347 27969658880 30779 33554432000 4194304 4196468 140724771822496 140724771805040 140351745576695 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
/proc/9177/statm: 6828530 30779 2895 1 0 6790935 0
[pid=9177/tid=9178] ppid=9174 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/9177/task/9178/stat : 9178 (java) R 9174 9174 7562 0 -1 4202560 9421 0 0 0 17 3 0 0 20 0 20 0 512549348 27969658880 30779 33554432000 4194304 4196468 140724771822496 140351717360256 140351725852482 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9179] ppid=9174 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/9177/task/9179/stat : 9179 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549350 27969658880 30779 33554432000 4194304 4196468 140724771822496 140351749819408 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9180] ppid=9174 vsize=27314120 memory=139957413489285 CPUtime=0 cores=0-7
/proc/9177/task/9180/stat : 9180 (java) S 9174 9174 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512549350 27969658880 30779 33554432000 4194304 4196468 140724771822496 140351563975824 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9181] ppid=9174 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9177/task/9181/stat : 9181 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549350 27969658880 30779 33554432000 4194304 4196468 140724771822496 140351562922768 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9182] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9182/stat : 9182 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549350 27969658880 30779 33554432000 4194304 4196468 140724771822496 140351561870224 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9183] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9183/stat : 9183 (java) S 9174 9174 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512549350 27969658880 30779 33554432000 4194304 4196468 140724771822496 140351560817168 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9184] ppid=9174 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9177/task/9184/stat : 9184 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549350 27969658880 30779 33554432000 4194304 4196468 140724771822496 140351559764624 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9185] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9185/stat : 9185 (java) S 9174 9174 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512549350 27969658880 30779 33554432000 4194304 4196468 140724771822496 140351558711568 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9186] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9186/stat : 9186 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549350 27969658880 30779 33554432000 4194304 4196468 140724771822496 140351557659024 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9187] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9187/stat : 9187 (java) S 9174 9174 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512549352 27969658880 30779 33554432000 4194304 4196468 140724771822496 140349796231920 140351745587842 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9188] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9188/stat : 9188 (java) S 9174 9174 7562 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512549352 27969658880 30779 33554432000 4194304 4196468 140724771822496 140349666223776 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9189] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9189/stat : 9189 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549352 27969658880 30779 33554432000 4194304 4196468 140724771822496 140349397787888 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9190] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9190/stat : 9190 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549355 27969658880 30779 33554432000 4194304 4196468 140724771822496 140349023279568 140351745595291 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9191] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9191/stat : 9191 (java) S 9174 9174 7562 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 512549355 27969658880 30779 33554432000 4194304 4196468 140724771822496 140349795178736 140351745587842 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9192] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9192/stat : 9192 (java) S 9174 9174 7562 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 512549355 27969658880 30779 33554432000 4194304 4196468 140724771822496 140349794126192 140351745587842 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9193] ppid=9174 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9177/task/9193/stat : 9193 (java) S 9174 9174 7562 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 512549355 27969658880 30779 33554432000 4194304 4196468 140724771822496 140349793073136 140351745587842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9194] ppid=9174 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/9177/task/9194/stat : 9194 (java) S 9174 9174 7562 0 -1 1077944384 479 0 0 0 2 0 0 0 20 0 20 0 512549355 27969658880 30779 33554432000 4194304 4196468 140724771822496 140349792020592 140351745587842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9195] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9195/stat : 9195 (java) S 9174 9174 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512549355 27969658880 30779 33554432000 4194304 4196468 140724771822496 140348525374432 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9196] ppid=9174 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9177/task/9196/stat : 9196 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549355 27969658880 30779 33554432000 4194304 4196468 140724771822496 140349790969008 140351745587842 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124516 KiB

[startup+0.310833 s]*
/proc/loadavg: 2.59 5.67 7.05 2/210 9196
/proc/meminfo: memFree=26065844/32770624 swapFree=66956864/67108860
[pid=9174] ppid=9171 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9174/stat : 9174 (scop.sh) S 9171 9174 7562 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512549347 115843072 350 33554432000 4194304 5098028 140721829736752 140721829734008 139721063846524 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20631552 140721829741308 140721829741656 140721829741656 140721829744585 0
/proc/9174/statm: 28282 350 297 221 0 87 0
[pid=9177] ppid=9174 vsize=27314120 memory=127440 CPUtime=0.43 cores=0-7
/proc/9177/stat : 9177 (java) S 9174 9174 7562 0 -1 1077944320 12268 0 0 0 39 4 0 0 20 0 20 0 512549347 27969658880 31860 33554432000 4194304 4196468 140724771822496 140724771805040 140351745576695 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
/proc/9177/statm: 6828530 31860 3048 1 0 6790935 0
[pid=9177/tid=9178] ppid=9174 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/9177/task/9178/stat : 9178 (java) R 9174 9174 7562 0 -1 4202560 9790 0 0 0 26 3 0 0 20 0 20 0 512549348 27969658880 31860 33554432000 4194304 4196468 140724771822496 140351717367344 140351730742343 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9179] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9179/stat : 9179 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549350 27969658880 31860 33554432000 4194304 4196468 140724771822496 140351749819408 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9180] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9180/stat : 9180 (java) S 9174 9174 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512549350 27969658880 31860 33554432000 4194304 4196468 140724771822496 140351563975824 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9181] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9181/stat : 9181 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549350 27969658880 31860 33554432000 4194304 4196468 140724771822496 140351562922768 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9182] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9182/stat : 9182 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549350 27969658880 31860 33554432000 4194304 4196468 140724771822496 140351561870224 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9183] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9183/stat : 9183 (java) S 9174 9174 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512549350 27969658880 31860 33554432000 4194304 4196468 140724771822496 140351560817168 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9184] ppid=9174 vsize=27314120 memory=139957280795311 CPUtime=0 cores=0-7
/proc/9177/task/9184/stat : 9184 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549350 27969658880 31860 33554432000 4194304 4196468 140724771822496 140351559764624 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9185] ppid=9174 vsize=27314120 memory=139957280797616 CPUtime=0 cores=0-7
/proc/9177/task/9185/stat : 9185 (java) S 9174 9174 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512549350 27969658880 31860 33554432000 4194304 4196468 140724771822496 140351558711568 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9186] ppid=9174 vsize=27314120 memory=139957280799920 CPUtime=0 cores=0-7
/proc/9177/task/9186/stat : 9186 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549350 27969658880 31860 33554432000 4194304 4196468 140724771822496 140351557659024 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9187] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9187/stat : 9187 (java) S 9174 9174 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512549352 27969658880 31860 33554432000 4194304 4196468 140724771822496 140349796231920 140351745587842 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9188] ppid=9174 vsize=27314120 memory=279914561613712 CPUtime=0 cores=0-7
/proc/9177/task/9188/stat : 9188 (java) S 9174 9174 7562 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512549352 27969658880 31860 33554432000 4194304 4196468 140724771822496 140349666223776 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9189] ppid=9174 vsize=27314120 memory=279914561611408 CPUtime=0 cores=0-7
/proc/9177/task/9189/stat : 9189 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549352 27969658880 31860 33554432000 4194304 4196468 140724771822496 140349397787888 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9190] ppid=9174 vsize=27314120 memory=279914561618320 CPUtime=0 cores=0-7
/proc/9177/task/9190/stat : 9190 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549355 27969658880 31860 33554432000 4194304 4196468 140724771822496 140349023279568 140351745595291 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9191] ppid=9174 vsize=27314120 memory=279914561559600 CPUtime=0 cores=0-7
/proc/9177/task/9191/stat : 9191 (java) S 9174 9174 7562 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 512549355 27969658880 31860 33554432000 4194304 4196468 140724771822496 140349795178736 140351745587842 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9192] ppid=9174 vsize=27314120 memory=279914561632144 CPUtime=0.02 cores=0-7
/proc/9177/task/9192/stat : 9192 (java) R 9174 9174 7562 0 -1 4202560 213 0 0 0 2 0 0 0 20 0 20 0 512549355 27969658880 31860 33554432000 4194304 4196468 140724771822496 140349794126192 140351730691779 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9193] ppid=9174 vsize=27314120 memory=279914561639056 CPUtime=0.01 cores=0-7
/proc/9177/task/9193/stat : 9193 (java) S 9174 9174 7562 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 20 0 512549355 27969658880 31860 33554432000 4194304 4196468 140724771822496 140349793073136 140351745587842 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9194] ppid=9174 vsize=27314120 memory=279914561636752 CPUtime=0.07 cores=0-7
/proc/9177/task/9194/stat : 9194 (java) S 9174 9174 7562 0 -1 1077944384 524 0 0 0 7 0 0 0 20 0 20 0 512549355 27969658880 31860 33554432000 4194304 4196468 140724771822496 140349792020592 140351745587842 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9195] ppid=9174 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9195/stat : 9195 (java) S 9174 9174 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512549355 27969658880 31860 33554432000 4194304 4196468 140724771822496 140348525374432 140351745586901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9196] ppid=9174 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9177/task/9196/stat : 9196 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549355 27969658880 31860 33554432000 4194304 4196468 140724771822496 140349790969008 140351745587842 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128840 KiB

[startup+0.709372 s]
/proc/loadavg: 2.59 5.67 7.05 2/210 9196
/proc/meminfo: memFree=26042964/32770624 swapFree=66956864/67108860
[pid=9174] ppid=9171 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/9174/stat : 9174 (scop.sh) S 9171 9174 7562 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512549347 115843072 350 33554432000 4194304 5098028 140721829736752 140721829734008 139721063846524 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20631552 140721829741308 140721829741656 140721829741656 140721829744585 0
/proc/9174/statm: 28282 350 297 221 0 87 0
[pid=9177] ppid=9174 vsize=27320392 memory=167860 CPUtime=1.04 cores=0-7
/proc/9177/stat : 9177 (java) S 9174 9174 7562 0 -1 1077944320 20578 0 0 0 97 7 0 0 20 0 20 0 512549347 27976081408 41965 33554432000 4194304 4196468 140724771822496 140724771805040 140351745576695 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
/proc/9177/statm: 6830098 41965 3181 1 0 6791447 0
[pid=9177/tid=9178] ppid=9174 vsize=27320392 memory=0 CPUtime=0.69 cores=0-7
/proc/9177/task/9178/stat : 9178 (java) R 9174 9174 7562 0 -1 4202560 17369 0 0 0 63 6 0 0 20 0 20 0 512549348 27976081408 41965 33554432000 4194304 4196468 140724771822496 140351717412752 140351745598621 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9179] ppid=9174 vsize=27320392 memory=139957281006448 CPUtime=0 cores=0-7
/proc/9177/task/9179/stat : 9179 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549350 27976081408 41965 33554432000 4194304 4196468 140724771822496 140351749819408 140351745586901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9180] ppid=9174 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/9177/task/9180/stat : 9180 (java) S 9174 9174 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512549350 27976081408 41965 33554432000 4194304 4196468 140724771822496 140351563975824 140351745586901 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0
[pid=9177/tid=9181] ppid=9174 vsize=27320392 memory=784 CPUtime=0 cores=0-7
/proc/9177/task/9181/stat : 9181 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512549350 27976081408 41965 33554432000 4194304 4196468 140724771822496 140351562922768 140351745586901 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38432768 140724771824327 140724771824774 140724771824774 140724771827663 0

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

/proc/9237/task/9241/stat : 9241 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512605467 8616062976 30630 33554432000 4194304 4196468 140734941230448 139881772300560 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9242] ppid=9174 vsize=8414124 memory=4096 CPUtime=0 cores=0-7
/proc/9237/task/9242/stat : 9242 (java) S 9174 9174 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512605467 8616062976 30630 33554432000 4194304 4196468 140734941230448 139881771248016 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9243] ppid=9174 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/9237/task/9243/stat : 9243 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512605467 8616062976 30630 33554432000 4194304 4196468 140734941230448 139881770195984 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9244] ppid=9174 vsize=8414124 memory=3436 CPUtime=0 cores=0-7
/proc/9237/task/9244/stat : 9244 (java) S 9174 9174 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512605467 8616062976 30630 33554432000 4194304 4196468 140734941230448 139881769143440 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9245] ppid=9174 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/9237/task/9245/stat : 9245 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512605467 8616062976 30630 33554432000 4194304 4196468 140734941230448 139881768090384 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9246] ppid=9174 vsize=8414124 memory=122520 CPUtime=0 cores=0-7
/proc/9237/task/9246/stat : 9246 (java) S 9174 9174 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512605467 8616062976 30630 33554432000 4194304 4196468 140734941230448 139881767037840 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9247] ppid=9174 vsize=8414124 memory=3709924 CPUtime=0 cores=0-7
/proc/9237/task/9247/stat : 9247 (java) S 9174 9174 7562 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512605468 8616062976 30630 33554432000 4194304 4196468 140734941230448 139881717307632 139882288233090 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9248] ppid=9174 vsize=8414124 memory=14056 CPUtime=0 cores=0-7
/proc/9237/task/9248/stat : 9248 (java) S 9174 9174 7562 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512605469 8616062976 30630 33554432000 4194304 4196468 140734941230448 139880910808224 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9249] ppid=9174 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/9237/task/9249/stat : 9249 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512605469 8616062976 30630 33554432000 4194304 4196468 140734941230448 139880642372336 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9250] ppid=9174 vsize=8414124 memory=516 CPUtime=0 cores=0-7
/proc/9237/task/9250/stat : 9250 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512605472 8616062976 30630 33554432000 4194304 4196468 140734941230448 139880267864016 139882288240539 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9251] ppid=9174 vsize=8414124 memory=1556 CPUtime=0.09 cores=0-7
/proc/9237/task/9251/stat : 9251 (java) S 9174 9174 7562 0 -1 1077944384 731 0 0 0 9 0 0 0 20 0 24 0 512605472 8616062976 30630 33554432000 4194304 4196468 140734941230448 139881380571888 139882288233090 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9252] ppid=9174 vsize=8414124 memory=928 CPUtime=0.05 cores=0-7
/proc/9237/task/9252/stat : 9252 (java) S 9174 9174 7562 0 -1 1077944384 171 0 0 0 5 0 0 0 20 0 24 0 512605472 8616062976 30630 33554432000 4194304 4196468 140734941230448 139881379519344 139882288233090 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9253] ppid=9174 vsize=8414124 memory=1772 CPUtime=0.16 cores=0-7
/proc/9237/task/9253/stat : 9253 (java) S 9174 9174 7562 0 -1 1077944384 783 0 0 0 16 0 0 0 20 0 24 0 512605472 8616062976 30630 33554432000 4194304 4196468 140734941230448 139881378466288 139882288233090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9254] ppid=9174 vsize=8414124 memory=900 CPUtime=0.22 cores=0-7
/proc/9237/task/9254/stat : 9254 (java) S 9174 9174 7562 0 -1 1077944384 580 0 0 0 22 0 0 0 20 0 24 0 512605472 8616062976 30630 33554432000 4194304 4196468 140734941230448 139881377413744 139882288233090 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9255] ppid=9174 vsize=8414124 memory=1444 CPUtime=0 cores=0-7
/proc/9237/task/9255/stat : 9255 (java) S 9174 9174 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512605472 8616062976 30630 33554432000 4194304 4196468 140734941230448 139879769958880 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9256] ppid=9174 vsize=8414124 memory=1976 CPUtime=0 cores=0-7
/proc/9237/task/9256/stat : 9256 (java) S 9174 9174 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512605472 8616062976 30630 33554432000 4194304 4196468 140734941230448 139881376361136 139882288233090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9258] ppid=9174 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/9237/task/9258/stat : 9258 (java) S 9174 9174 7562 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512605543 8616062976 30630 33554432000 4194304 4196468 140734941230448 139881368327104 139882288246553 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9260] ppid=9174 vsize=8414124 memory=1620 CPUtime=0 cores=0-7
/proc/9237/task/9260/stat : 9260 (java) S 9174 9174 7562 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 512605543 8616062976 30630 33554432000 4194304 4196468 140734941230448 139879098859568 139882288243869 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9261] ppid=9174 vsize=8414124 memory=1136 CPUtime=0 cores=0-7
/proc/9237/task/9261/stat : 9261 (java) S 9174 9174 7562 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 512605543 8616062976 30630 33554432000 4194304 4196468 140734941230448 139879367295152 139882288243869 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9262] ppid=9174 vsize=8414124 memory=1072 CPUtime=0 cores=0-7
/proc/9237/task/9262/stat : 9262 (java) S 9174 9174 7562 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512605545 8616062976 30630 33554432000 4194304 4196468 140734941230448 139878830431664 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
Current children cumulated CPU time: 816.49 s
Current children cumulated vsize: 12919484 KiB
Current children cumulated memory: 4173380 KiB

[startup+571.602 s]
/proc/loadavg: 1.32 1.94 4.40 8/224 9272
/proc/meminfo: memFree=21873928/32770624 swapFree=66956868/67108860
[pid=9174] ppid=9171 vsize=113128 memory=1476 CPUtime=776.41 cores=0-7
/proc/9174/stat : 9174 (scop.sh) S 9171 9174 7562 0 -1 4202496 582 261819 0 0 0 0 73573 4068 20 0 1 0 512549347 115843072 369 33554432000 4194304 5098028 140721829736752 140721829733496 139721063846524 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20631552 140721829741308 140721829741656 140721829741656 140721829744585 0
/proc/9174/statm: 28282 369 311 221 0 87 0
[pid=9237] ppid=9174 vsize=8414124 memory=143668 CPUtime=1.57 cores=0-7
/proc/9237/stat : 9237 (java) S 9174 9174 7562 0 -1 1077944320 22321 0 0 0 148 9 0 0 20 0 24 0 512605464 8616062976 35917 33554432000 4194304 4196468 140734941230448 140734941212992 139882288221943 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
/proc/9237/statm: 2103531 35917 3218 1 0 2064875 0
[pid=9257] ppid=9237 vsize=4360972 memory=4053396 CPUtime=39.55 cores=0-7
/proc/9257/stat : 9257 (manyglucose-4.1) R 9237 9174 7562 0 -1 4202496 1197792 0 0 0 3555 400 0 0 20 0 1 0 512605543 4465635328 1013349 33554432000 4194304 4454172 140726669069472 140726669066192 139741459874188 0 4 0 8388610 0 0 0 17 7 0 0 0 0 0 6552832 6554400 26365952 140726669075278 140726669075484 140726669075484 140726669078454 0
/proc/9257/statm: 1090243 1013349 418 64 0 1085911 0
[pid=9237/tid=9238] ppid=9174 vsize=8414124 memory=14012 CPUtime=0.8 cores=0-7
/proc/9237/task/9238/stat : 9238 (java) S 9174 9174 7562 0 -1 1077944384 17995 0 0 0 73 7 0 0 20 0 24 0 512605465 8616062976 35917 33554432000 4194304 4196468 140734941230448 139882260062112 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9239] ppid=9174 vsize=8414124 memory=25404 CPUtime=0 cores=0-7
/proc/9237/task/9239/stat : 9239 (java) S 9174 9174 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512605466 8616062976 35917 33554432000 4194304 4196468 140734941230448 139882292464144 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9240] ppid=9174 vsize=8414124 memory=14056 CPUtime=0 cores=0-7
/proc/9237/task/9240/stat : 9240 (java) S 9174 9174 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512605466 8616062976 35917 33554432000 4194304 4196468 140734941230448 139881773353616 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9241] ppid=9174 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/9237/task/9241/stat : 9241 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512605467 8616062976 35917 33554432000 4194304 4196468 140734941230448 139881772300560 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9242] ppid=9174 vsize=8414124 memory=516 CPUtime=0 cores=0-7
/proc/9237/task/9242/stat : 9242 (java) S 9174 9174 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512605467 8616062976 35917 33554432000 4194304 4196468 140734941230448 139881771248016 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9243] ppid=9174 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/9237/task/9243/stat : 9243 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512605467 8616062976 35917 33554432000 4194304 4196468 140734941230448 139881770195984 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9244] ppid=9174 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/9237/task/9244/stat : 9244 (java) S 9174 9174 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512605467 8616062976 35917 33554432000 4194304 4196468 140734941230448 139881769143440 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9245] ppid=9174 vsize=8414124 memory=1772 CPUtime=0 cores=0-7
/proc/9237/task/9245/stat : 9245 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512605467 8616062976 35917 33554432000 4194304 4196468 140734941230448 139881768090384 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9246] ppid=9174 vsize=8414124 memory=900 CPUtime=0 cores=0-7
/proc/9237/task/9246/stat : 9246 (java) S 9174 9174 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512605467 8616062976 35917 33554432000 4194304 4196468 140734941230448 139881767037840 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9247] ppid=9174 vsize=8414124 memory=1444 CPUtime=0 cores=0-7
/proc/9237/task/9247/stat : 9247 (java) S 9174 9174 7562 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512605468 8616062976 35917 33554432000 4194304 4196468 140734941230448 139881717307632 139882288233090 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9248] ppid=9174 vsize=8414124 memory=1976 CPUtime=0 cores=0-7
/proc/9237/task/9248/stat : 9248 (java) S 9174 9174 7562 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512605469 8616062976 35917 33554432000 4194304 4196468 140734941230448 139880910808224 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9249] ppid=9174 vsize=8414124 memory=2580 CPUtime=0 cores=0-7
/proc/9237/task/9249/stat : 9249 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512605469 8616062976 35917 33554432000 4194304 4196468 140734941230448 139880642372336 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9250] ppid=9174 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/9237/task/9250/stat : 9250 (java) S 9174 9174 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512605472 8616062976 35917 33554432000 4194304 4196468 140734941230448 139880267864016 139882288240539 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9251] ppid=9174 vsize=8414124 memory=312155947512627226 CPUtime=0.11 cores=0-7
/proc/9237/task/9251/stat : 9251 (java) S 9174 9174 7562 0 -1 1077944384 743 0 0 0 11 0 0 0 20 0 24 0 512605472 8616062976 35917 33554432000 4194304 4196468 140734941230448 139881380571888 139882288233090 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9252] ppid=9174 vsize=8414124 memory=288230621803970871 CPUtime=0.07 cores=0-7
/proc/9237/task/9252/stat : 9252 (java) S 9174 9174 7562 0 -1 1077944384 280 0 0 0 7 0 0 0 20 0 24 0 512605472 8616062976 35917 33554432000 4194304 4196468 140734941230448 139881379519344 139882288233090 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9253] ppid=9174 vsize=8414124 memory=15825482151102897 CPUtime=0.21 cores=0-7
/proc/9237/task/9253/stat : 9253 (java) S 9174 9174 7562 0 -1 1077944384 804 0 0 0 21 0 0 0 20 0 24 0 512605472 8616062976 35917 33554432000 4194304 4196468 140734941230448 139881378466288 139882288233090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9254] ppid=9174 vsize=8414124 memory=0 CPUtime=0.26 cores=0-7
/proc/9237/task/9254/stat : 9254 (java) S 9174 9174 7562 0 -1 1077944384 1080 0 0 0 26 0 0 0 20 0 24 0 512605472 8616062976 35917 33554432000 4194304 4196468 140734941230448 139881377413744 139882288233090 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9255] ppid=9174 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9237/task/9255/stat : 9255 (java) S 9174 9174 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512605472 8616062976 35917 33554432000 4194304 4196468 140734941230448 139879769958880 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9256] ppid=9174 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9237/task/9256/stat : 9256 (java) S 9174 9174 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512605472 8616062976 35917 33554432000 4194304 4196468 140734941230448 139881376361136 139882288233090 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9258] ppid=9174 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9237/task/9258/stat : 9258 (java) S 9174 9174 7562 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512605543 8616062976 35917 33554432000 4194304 4196468 140734941230448 139881368327104 139882288246553 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9260] ppid=9174 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/9237/task/9260/stat : 9260 (java) S 9174 9174 7562 0 -1 4202560 27 0 0 0 6 0 0 0 20 0 24 0 512605543 8616062976 35917 33554432000 4194304 4196468 140734941230448 139879098859520 139882288243869 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9261] ppid=9174 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9237/task/9261/stat : 9261 (java) S 9174 9174 7562 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 512605543 8616062976 35917 33554432000 4194304 4196468 140734941230448 139879367295152 139882288243869 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9262] ppid=9174 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9237/task/9262/stat : 9262 (java) S 9174 9174 7562 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512605545 8616062976 35917 33554432000 4194304 4196468 140734941230448 139878830431664 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
Current children cumulated CPU time: 817.53 s
Current children cumulated vsize: 12888224 KiB
Current children cumulated memory: 4198540 KiB

[startup+572.001 s]*
/proc/loadavg: 1.29 1.92 4.38 3/212 9272
/proc/meminfo: memFree=25794240/32770624 swapFree=66956868/67108860
[pid=9174] ppid=9171 vsize=113128 memory=1476 CPUtime=776.41 cores=0-7
/proc/9174/stat : 9174 (scop.sh) S 9171 9174 7562 0 -1 4202496 582 261819 0 0 0 0 73573 4068 20 0 1 0 512549347 115843072 369 33554432000 4194304 5098028 140721829736752 140721829733496 139721063846524 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20631552 140721829741308 140721829741656 140721829741656 140721829744585 0
/proc/9174/statm: 28282 369 311 221 0 87 0
[pid=9237] ppid=9174 vsize=8283048 memory=248512 CPUtime=41.99 cores=0-7
/proc/9237/stat : 9237 (java) S 9174 9174 7562 0 -1 1077944320 22928 1197798 0 0 212 12 3559 416 20 0 22 0 512605464 8481841152 62128 33554432000 4194304 4196468 140734941230448 140734941212992 139882288221943 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
/proc/9237/statm: 2070762 62128 3235 1 0 2032106 0
[pid=9237/tid=9238] ppid=9174 vsize=8283048 memory=8317482817917895235 CPUtime=40.69 cores=0-7
/proc/9237/task/9238/stat : 9238 (java) R 9174 9174 7562 0 -1 4202560 18226 1197798 0 0 87 7 3559 416 20 0 22 0 512605465 8481841152 62128 33554432000 4194304 4196468 140734941230448 139882260060032 140734941468610 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9239] ppid=9174 vsize=8283048 memory=4872558044660077418 CPUtime=39.75 cores=0-7
/proc/9237/task/9239/stat : 9239 (java) S 9174 9174 7562 0 -1 1077944384 2 1197798 0 0 0 0 3559 416 20 0 22 0 512605466 8481841152 62128 33554432000 4194304 4196468 140734941230448 139882292464144 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9240] ppid=9174 vsize=8283048 memory=7377551968399289956 CPUtime=39.75 cores=0-7
/proc/9237/task/9240/stat : 9240 (java) S 9174 9174 7562 0 -1 1077944384 2 1197798 0 0 0 0 3559 416 20 0 22 0 512605466 8481841152 62128 33554432000 4194304 4196468 140734941230448 139881773353616 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9241] ppid=9174 vsize=8283048 memory=6083629088518728545 CPUtime=39.75 cores=0-7
/proc/9237/task/9241/stat : 9241 (java) S 9174 9174 7562 0 -1 1077944384 1 1197798 0 0 0 0 3559 416 20 0 22 0 512605467 8481841152 62128 33554432000 4194304 4196468 140734941230448 139881772300560 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9242] ppid=9174 vsize=8283048 memory=6083629088518728545 CPUtime=39.75 cores=0-7
/proc/9237/task/9242/stat : 9242 (java) S 9174 9174 7562 0 -1 1077944384 3 1197798 0 0 0 0 3559 416 20 0 22 0 512605467 8481841152 62128 33554432000 4194304 4196468 140734941230448 139881771248016 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9243] ppid=9174 vsize=8283048 memory=7882544469192171857 CPUtime=39.75 cores=0-7
/proc/9237/task/9243/stat : 9243 (java) S 9174 9174 7562 0 -1 1077944384 1 1197798 0 0 0 0 3559 416 20 0 22 0 512605467 8481841152 62128 33554432000 4194304 4196468 140734941230448 139881770195984 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9244] ppid=9174 vsize=8283048 memory=8112282956445269571 CPUtime=39.75 cores=0-7
/proc/9237/task/9244/stat : 9244 (java) S 9174 9174 7562 0 -1 1077944384 2 1197798 0 0 0 0 3559 416 20 0 22 0 512605467 8481841152 62128 33554432000 4194304 4196468 140734941230448 139881769143440 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9245] ppid=9174 vsize=8283048 memory=0 CPUtime=39.75 cores=0-7
/proc/9237/task/9245/stat : 9245 (java) S 9174 9174 7562 0 -1 1077944384 1 1197798 0 0 0 0 3559 416 20 0 22 0 512605467 8481841152 62128 33554432000 4194304 4196468 140734941230448 139881768090384 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9246] ppid=9174 vsize=8283048 memory=0 CPUtime=39.75 cores=0-7
/proc/9237/task/9246/stat : 9246 (java) S 9174 9174 7562 0 -1 1077944384 2 1197798 0 0 0 0 3559 416 20 0 22 0 512605467 8481841152 62128 33554432000 4194304 4196468 140734941230448 139881767037840 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9247] ppid=9174 vsize=8283048 memory=0 CPUtime=39.75 cores=0-7
/proc/9237/task/9247/stat : 9247 (java) S 9174 9174 7562 0 -1 1077944384 5 1197798 0 0 0 0 3559 416 20 0 22 0 512605468 8481841152 62128 33554432000 4194304 4196468 140734941230448 139881717307632 139882288233090 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9248] ppid=9174 vsize=8283048 memory=0 CPUtime=39.75 cores=0-7
/proc/9237/task/9248/stat : 9248 (java) S 9174 9174 7562 0 -1 1077944384 13 1197798 0 0 0 0 3559 416 20 0 22 0 512605469 8481841152 62128 33554432000 4194304 4196468 140734941230448 139880910808224 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9249] ppid=9174 vsize=8283048 memory=0 CPUtime=39.75 cores=0-7
/proc/9237/task/9249/stat : 9249 (java) S 9174 9174 7562 0 -1 1077944384 1 1197798 0 0 0 0 3559 416 20 0 22 0 512605469 8481841152 62128 33554432000 4194304 4196468 140734941230448 139880642372336 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9250] ppid=9174 vsize=8283048 memory=0 CPUtime=39.75 cores=0-7
/proc/9237/task/9250/stat : 9250 (java) S 9174 9174 7562 0 -1 1077944384 1 1197798 0 0 0 0 3559 416 20 0 22 0 512605472 8481841152 62128 33554432000 4194304 4196468 140734941230448 139880267864016 139882288240539 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9251] ppid=9174 vsize=8283048 memory=0 CPUtime=39.93 cores=0-7
/proc/9237/task/9251/stat : 9251 (java) R 9174 9174 7562 0 -1 4202560 767 1197798 0 0 18 0 3559 416 20 0 22 0 512605472 8481841152 62128 33554432000 4194304 4196468 140734941230448 139881380561152 139882272618760 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9252] ppid=9174 vsize=8283048 memory=0 CPUtime=39.88 cores=0-7
/proc/9237/task/9252/stat : 9252 (java) S 9174 9174 7562 0 -1 1077944384 309 1197798 0 0 13 0 3559 416 20 0 22 0 512605472 8481841152 62128 33554432000 4194304 4196468 140734941230448 139881379519344 139882288233090 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9253] ppid=9174 vsize=8283048 memory=0 CPUtime=40.02 cores=0-7
/proc/9237/task/9253/stat : 9253 (java) S 9174 9174 7562 0 -1 1077944384 842 1197798 0 0 27 0 3559 416 20 0 22 0 512605472 8481841152 62128 33554432000 4194304 4196468 140734941230448 139881378466288 139882288233090 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9254] ppid=9174 vsize=8283048 memory=0 CPUtime=40.1 cores=0-7
/proc/9237/task/9254/stat : 9254 (java) R 9174 9174 7562 0 -1 4202560 1280 1197798 0 0 35 0 3559 416 20 0 22 0 512605472 8481841152 62128 33554432000 4194304 4196468 140734941230448 139881377413744 139882288233878 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9255] ppid=9174 vsize=8283048 memory=0 CPUtime=39.75 cores=0-7
/proc/9237/task/9255/stat : 9255 (java) S 9174 9174 7562 0 -1 1077944384 3 1197798 0 0 0 0 3559 416 20 0 22 0 512605472 8481841152 62128 33554432000 4194304 4196468 140734941230448 139879769958880 139882288232149 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9256] ppid=9174 vsize=8283048 memory=0 CPUtime=39.75 cores=0-7
/proc/9237/task/9256/stat : 9256 (java) S 9174 9174 7562 0 -1 1077944384 3 1197798 0 0 0 0 3559 416 20 0 22 0 512605472 8481841152 62128 33554432000 4194304 4196468 140734941230448 139881376361136 139882288233090 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9258] ppid=9174 vsize=8283048 memory=0 CPUtime=39.75 cores=0-7
/proc/9237/task/9258/stat : 9258 (java) S 9174 9174 7562 0 -1 1077944384 24 1197798 0 0 0 0 3559 416 20 0 22 0 512605543 8481841152 62157 33554432000 4194304 4196468 140734941230448 139881368326288 139882288233090 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
[pid=9237/tid=9262] ppid=9174 vsize=8283048 memory=0 CPUtime=39.75 cores=0-7
/proc/9237/task/9262/stat : 9262 (java) S 9174 9174 7562 0 -1 1077944384 12 1197798 0 0 0 0 3559 416 20 0 22 0 512605545 8481841152 62157 33554432000 4194304 4196468 140734941230448 139878830433456 139882288233090 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10747904 140734941234144 140734941234310 140734941234310 140734941237199 0
Current children cumulated CPU time: 818.4 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 249988 KiB

Child status: 0
Real time (s): 572.069
CPU time (s): 818.526
CPU user time (s): 773.506
CPU system time (s): 45.0192
CPU usage (%): 143.082
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 20129960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 773.506
system time used= 45.0192
maximum resident set size= 20128696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1484301
page faults= 0
swaps= 0
block input operations= 0
block output operations= 299416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 291025
involuntary context switches= 2606


# summary of solver processes directly reported to runsolver:
#   pid: 9174
#   total CPU time (s): 818.526
#   total CPU user time (s): 773.506
#   total CPU system time (s): 45.0192

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.14923 second user time and 5.8237 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-24 23:06:55
IDJOB=4405468
IDBENCH=140069
IDSOLVER=2868
FILE ID=node105/4405468-1569362916
RUNJOBID= node105-1569352967-7589
PBS_JOBID= 21705104
Free space on /var/tmp= 13176 MiB

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

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

MD5SUM BENCH= b304f6c83ea7150e2963a619c79f8da9
RANDOM SEED=854290653

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26181448 kB
MemAvailable:   31798524 kB
Buffers:          130516 kB
Cached:          5614420 kB
SwapCached:        48356 kB
Active:          2861056 kB
Inactive:        2934132 kB
Active(anon):       4760 kB
Inactive(anon):    99620 kB
Active(file):    2856296 kB
Inactive(file):  2834512 kB
Unevictable:      110908 kB
Mlocked:          110908 kB
SwapTotal:      67108860 kB
SwapFree:       66956864 kB
Dirty:             23680 kB
Writeback:             0 kB
AnonPages:         45644 kB
Mapped:            54688 kB
Shmem:             45940 kB
Slab:             383824 kB
SReclaimable:     354728 kB
SUnreclaim:        29096 kB
KernelStack:        3696 kB
PageTables:         5740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13156 MiB
End job on node105 at 2019-09-24 23:16:27