Trace number 4405462

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 102.793 50.7647

General information on the benchmark

NameQueens/
Queens-m1-s1/Queens-0150-m1.xml
MD5SUM87bfaaaf5fd3b270ee1dec703898481f
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 benchmark12.2089
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of constraints11176
Number of domains1
Minimum domain size150
Maximum domain size150
Distribution of domain sizes[{"size":150,"count":150}]
Minimum variable degree150
Maximum variable degree150
Distribution of variable degrees[{"degree":150,"count":150}]
Minimum constraint arity2
Maximum constraint arity150
Distribution of constraint arities[{"arity":2,"count":11175},{"arity":150,"count":1}]
Number of extensional constraints0
Number of intensional constraints11175
Distribution of constraint types[{"type":"intension","count":11175},{"type":"allDifferent","count":1}]
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-21331-serial-file.bin HOME/instance-4405462-1569359039.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 23:03:16 CEST 2019
0.66/0.57	c PID: 21334
0.66/0.57	c IP: 172.20.3.121
0.66/0.57	c HOST: node121.alineos.net
0.66/0.57	c (0,0) Parsing Begin
5.73/2.08	c (1,1) Parsing End
5.73/2.08	c (1,1) CSP: 150 int (0 aux), 0 bool (0 aux), 11176 ctr, max domain size 150
5.73/2.08	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
5.73/2.08	c (1,1) Constraint Name Generate Begin
6.13/2.14	c (1,1) Ctr:HOME/instance-4405462-1569359039.xml,AllDifferent:Dist:Ne:Num:Var
6.13/2.14	c (1,1) Constraint Name Generate End
6.13/2.14	c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
6.13/2.14	c (1,1) CSP to CSPinCNF Begin
10.72/3.41	c (2,2) translated 1118 (10%) constraints
11.10/3.62	c (3,3) translated 2236 (20%) constraints
11.44/3.82	c (3,3) translated 3353 (30%) constraints
11.78/4.01	c (3,3) translated 4471 (40%) constraints
11.93/4.20	c (3,3) translated 5588 (50%) constraints
12.45/4.39	c (3,3) translated 6706 (60%) constraints
12.76/4.56	c (4,4) translated 7824 (70%) constraints
12.96/4.73	c (4,4) translated 8941 (80%) constraints
13.06/4.89	c (4,4) translated 10059 (90%) constraints
13.28/5.07	c (4,4) translated 11176 (100%) constraints
13.28/5.07	c (4,4) ===========================================
13.45/5.19	c (4,4) Hybrid: #OE=11325, #LE=0
13.45/5.19	c (4,4) Hybrid
13.45/5.19	c (4,4) ===========================================
14.11/5.39	c (4,4) translated 4486 (10%) constraints
14.71/5.53	c (4,4) translated 8971 (20%) constraints
16.87/6.67	c (6,6) translated 13456 (30%) constraints
16.97/6.77	c (6,6) translated 17941 (40%) constraints
17.15/6.87	c (6,6) translated 22426 (50%) constraints
17.24/6.97	c (6,6) translated 26912 (60%) constraints
17.36/7.07	c (6,6) translated 31397 (70%) constraints
17.51/7.18	c (6,6) translated 35882 (80%) constraints
17.60/7.28	c (6,6) translated 40367 (90%) constraints
17.71/7.38	c (6,6) translated 44852 (100%) constraints
17.71/7.38	c (6,6) CSP to CSPinCNF End
17.71/7.40	c (6,6) CSP: 150 int (0 aux), 33675 bool (33675 aux), 89852 ctr, max domain size 150
17.71/7.40	c (6,6) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
17.71/7.40	c (6,6) CSPinCNF Propagation Begin
19.19/8.28	c (7,7) 1 values, 4 unsatisfiable literals, and 301 valid clauses are removed
19.19/8.28	c (7,7) CSPinCNF Propagation End
19.19/8.29	c (7,7) CSP: 150 int (0 aux), 33675 bool (33675 aux), 89551 ctr, max domain size 150
19.19/8.29	c (7,7) Heap : 2816 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
19.36/8.38	c (7,7) Hybrid: #OE=33825, #LE=0
19.36/8.38	c (7,7) Simplify CSPinCNF Begin
21.56/9.22	c (8,8) Simplify CSPinCNF End
21.56/9.24	c (8,8) CSP: 150 int (0 aux), 78373 bool (78373 aux), 134249 ctr, max domain size 150
21.56/9.24	c (8,8) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
21.56/9.24	c (8,8) Calculate Precise Domain Begin
21.56/9.24	c (8,8) 0 values are removed by re-calculation
21.56/9.24	c (8,8) Calculate Precise Domain End
21.56/9.25	c (8,8) CSP: 150 int (0 aux), 78373 bool (78373 aux), 134249 ctr, max domain size 150
21.56/9.25	c (8,8) Heap : 3379 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
21.56/9.25	c (8,8) CSPinCNF to SatSolver Begin
30.53/15.18	c (14,14) 13425 (10 %) CSP clauses are encoded (0 SAT variables, 1369025 SAT clauses)
36.39/20.12	c (19,19) 26850 (20 %) CSP clauses are encoded (0 SAT variables, 2716000 SAT clauses)
38.79/22.58	c (22,21) 40275 (30 %) CSP clauses are encoded (0 SAT variables, 3392624 SAT clauses)
38.90/22.69	c (22,21) 53700 (40 %) CSP clauses are encoded (0 SAT variables, 3406049 SAT clauses)
39.00/22.79	c (22,21) 67125 (50 %) CSP clauses are encoded (0 SAT variables, 3419474 SAT clauses)
39.79/23.41	c (22,22) 80550 (60 %) CSP clauses are encoded (0 SAT variables, 3564991 SAT clauses)
43.60/26.74	c (26,25) 93975 (70 %) CSP clauses are encoded (0 SAT variables, 4443156 SAT clauses)
47.19/30.34	c (29,29) 107400 (80 %) CSP clauses are encoded (0 SAT variables, 5424929 SAT clauses)
51.81/34.52	c (33,33) 120825 (90 %) CSP clauses are encoded (0 SAT variables, 6552870 SAT clauses)
57.18/39.48	c (38,38) 134249 (100 %) CSP clauses are encoded (0 SAT variables, 7896850 SAT clauses)
57.18/39.48	c (38,38) CSPinCNF to SatSolver End
57.18/39.48	c (38,38) Heap : 2950 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
57.18/39.48	c (38,38) 100722 bool, 7896999 clause
57.18/39.48	c (38,38) Export Begin
57.46/39.80	c (39,38) Export to HOME/scop-21331-serial-file.bin
57.46/39.80	c (39,38) Export End
57.46/39.81	c (39,38) Export File Size: 0.03 MB
57.46/39.81	c (39,38) 1,1,6,7,8,8,38,STOP-AFTER(DIMACS)
57.46/39.81	c END-Prog: Tue Sep 24 23:03:56 CEST 2019
57.46/39.84	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-21331-serial-file.bin
58.12/40.30	c (0,0) Read Serial File Begin
58.12/40.30	c (0,0) HOME/scop-21331-serial-file.bin
58.41/40.52	c (0,0) Read Serial File End
58.41/40.53	
58.41/40.53	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
58.41/40.53	(Solving Process)
58.41/40.53	
58.41/40.55	c BEGIN-Prog: Tue Sep 24 23:03:56 CEST 2019
58.41/40.55	c PID: 21357
58.41/40.55	c IP: 172.20.3.121
58.41/40.55	c HOST: node121.alineos.net
58.41/40.56	c (0,0) SatSolver.solve Begin
58.41/40.56	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405462-1569359039.xml-scop-21334.cnf
58.41/40.58	c (0,0) c
58.41/40.58	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)
58.41/40.58	c (0,0) c
58.41/40.58	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
58.41/40.58	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
58.41/40.58	c (0,0) c ========================================[ Problem Statistics ]===========================================
58.41/40.58	c (0,0) c |                                                                                                       |
61.11/43.04	c (2,0) c |  Number of variables:        100722                                                                   |
61.11/43.04	c (2,0) c |  Number of clauses:         7896999                                                                   |
61.11/43.04	c (2,0) c |  Parse time:                   2.20 s                                                                 |
61.11/43.04	c (2,0) c |                                                                                                       |
61.60/43.50	c (3,0) c | Too many clauses... No preprocessing                                                                  |
61.60/43.50	c (3,0) c |  Simplification time:          0.41 s                                                                 |
61.60/43.50	c (3,0) c |                                                                                                       |
61.60/43.50	c (3,0) c |  Generating clones                                                                                    |
62.90/44.86	c (4,0) c |  all clones generated. Memory =  4362.35Mb.                                                           |
62.90/44.86	c (4,0) c ========================================================================================================|
62.90/44.86	c (4,0) c
62.90/44.86	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
62.90/44.86	c (4,0) c
62.90/44.86	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.90/44.86	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
62.90/44.86	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.90/44.86	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
62.90/44.86	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
62.90/44.86	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
62.90/44.86	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
62.90/44.86	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
62.90/44.86	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
62.90/44.86	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
62.90/44.86	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
62.90/44.86	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
62.90/44.86	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
62.90/44.86	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
62.90/44.86	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
62.90/44.86	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
62.90/44.86	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
62.90/44.86	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
62.90/44.86	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
101.82/50.37	c (10,0) c
101.82/50.37	c (10,0) c real time : 9.78852 s
101.82/50.37	c (10,0) c cpu time  : 38.8689 s
101.82/50.37	c (10,0) c
101.82/50.37	c (10,0) c
101.82/50.37	c (10,0) c
101.82/50.37	c (10,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
101.82/50.37	c (10,0) c
101.82/50.37	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
101.82/50.37	c (10,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
101.82/50.37	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
101.82/50.37	c (10,0) c | Conflicts     |            5769 |        840 |        678 |        866 |        664 |        539 |        656 |        789 |        737 |
101.82/50.37	c (10,0) c | Decisions     |           98563 |      36096 |       9715 |       8183 |       6408 |       8670 |      11059 |       9497 |       8935 |
101.82/50.37	c (10,0) c | Propagations  |        22003662 |    2498560 |    2871784 |    2983121 |    2538028 |    2429002 |    2831002 |    3069641 |    2782524 |
101.82/50.37	c (10,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
101.82/50.37	c (10,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
101.82/50.37	c (10,0) c | Restarts      |              92 |          8 |         12 |         12 |         10 |         11 |         10 |         15 |         14 |
101.82/50.37	c (10,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
101.82/50.37	c (10,0) c | PropBinClauses|        26084887 |    2773136 |    3268399 |    3748367 |    3376013 |    2768646 |    3292514 |    3654210 |    3203602 |
101.82/50.37	c (10,0) c | PropPreBlocker|      1335947793 |  141336791 |  170469190 |  189443717 |  171545331 |  142393743 |  165500424 |  186106676 |  169151921 |
101.82/50.37	c (10,0) c | PropNotBlocker|       171409468 |   23076670 |   21468694 |   21142499 |   19730066 |   20516419 |   19974616 |   22763478 |   22737026 |
101.82/50.37	c (10,0) c | LitFullScans  |      1559762231 |  170058341 |  198072514 |  219111349 |  198321051 |  168034213 |  192024710 |  216074314 |  198065739 |
101.82/50.37	c (10,0) c | LitScanFracts |          170027 |      17294 |      19996 |      20715 |      19179 |      17304 |      21058 |      29145 |      25336 |
101.82/50.37	c (10,0) c | DecisionLevel0|              94 |          8 |         12 |         12 |         10 |         13 |         10 |         15 |         14 |
101.82/50.37	c (10,0) c | Periods       |             259 |         28 |         33 |         36 |         33 |         28 |         32 |         36 |         33 |
101.82/50.37	c (10,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
101.82/50.37	c (10,0) c | Avg_Trail     |                 |      66926 |      73768 |      77101 |      77495 |      75981 |      73319 |      66427 |      76261 |
101.82/50.37	c (10,0) c | Avg_DL        |                 |        919 |        270 |        231 |        246 |        311 |        333 |        248 |        277 |
101.82/50.37	c (10,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
101.82/50.37	c (10,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
101.82/50.37	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
101.82/50.37	c (10,0) c | Exported      |              99 |         33 |         10 |         10 |         14 |         11 |          5 |          9 |          7 |
101.82/50.37	c (10,0) c | Imported      |             615 |         52 |         81 |         84 |         79 |         70 |         78 |         83 |         88 |
101.82/50.37	c (10,0) c | Good          |             140 |         13 |         20 |         17 |         20 |         12 |         20 |         19 |         19 |
101.82/50.37	c (10,0) c | Purge         |             475 |         39 |         61 |         67 |         59 |         58 |         58 |         64 |         69 |
101.82/50.37	c (10,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
101.82/50.37	c (10,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
101.82/50.37	c (10,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
101.82/50.37	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
101.82/50.37	c (10,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          2 |          0 |          0 |          0 |
101.82/50.37	c (10,0) c | Binaries      |                 |          7 |          0 |          3 |          0 |          8 |          0 |          1 |          1 |
101.82/50.37	c (10,0) c | Glues         |                 |         33 |         10 |         10 |         14 |         11 |          5 |          9 |          7 |
101.82/50.37	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
101.82/50.37	c (10,0) c | Orig_Seen     |             0 % |      32551 |      37324 |      40008 |      31663 |      32224 |      28558 |      41151 |      38951 |
101.82/50.37	c (10,0) c | Diff Orig seen|                 |      X     |       4773 |       7457 | -      888 | -      327 | -     3993 |       8600 |       6400 |
101.82/50.37	c (10,0) c | Hamming       |            30 % |      X     |      30106 |      30307 |      31738 |      30992 |      28101 |      29588 |      30747 |
101.82/50.37	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
101.82/50.37	c (10,0) c | RunningTime   |                 |    5.4 100%|    5.1 100%|    5.1 100%|    5.3 100%|    5.5 100%|    5.4 100%|    5.1 100%|    5.2 100%|
101.82/50.37	c (10,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%|
101.82/50.37	c (10,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%|
101.82/50.37	c (10,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%|
101.82/50.37	c (10,0) c | SolvingTime   |                 |    5.4     |    5.1     |    5.1     |    5.3     |    5.5     |    5.4     |    5.1     |    5.2     |
101.82/50.37	c (10,0) c | PropagationTim|                 |    5.2  96%|    4.9  96%|    4.8  95%|    5.1  97%|    5.3  96%|    5.2  96%|    4.9  96%|    5.0  96%|
101.82/50.37	c (10,0) c | AnalysisTime  |                 |    0.1   1%|    0.1   1%|    0.1   2%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   2%|    0.1   1%|
101.82/50.37	c (10,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%|
101.82/50.37	c (10,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%|
101.82/50.37	c (10,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%|
101.82/50.37	c (10,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%|
101.82/50.37	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
101.82/50.37	c (10,0) c
101.82/50.37	c (10,0) c
101.82/50.37	c (10,0) c Threads : 8
101.82/50.37	c (10,0) c Winner : 0
101.82/50.37	c (10,0) c Conflicts_0 : 840
101.82/50.37	c (10,0) c Conflicts_1 : 678
101.82/50.37	c (10,0) c Conflicts_2 : 866
101.82/50.37	c (10,0) c Conflicts_3 : 664
101.82/50.37	c (10,0) c Conflicts_4 : 539
101.82/50.37	c (10,0) c Conflicts_5 : 656
101.82/50.37	c (10,0) c Conflicts_6 : 789
101.82/50.37	c (10,0) c Conflicts_7 : 737
101.82/50.37	c (10,0) c Conflicts_total : 5769
101.82/50.37	c (10,0) c Conflicts_winner : 840
101.82/50.37	c (10,0) c Decisions_0 : 36096
101.82/50.37	c (10,0) c Decisions_1 : 9715
101.82/50.37	c (10,0) c Decisions_2 : 8183
101.82/50.37	c (10,0) c Decisions_3 : 6408
101.82/50.37	c (10,0) c Decisions_4 : 8670
101.82/50.37	c (10,0) c Decisions_5 : 11059
101.82/50.37	c (10,0) c Decisions_6 : 9497
101.82/50.37	c (10,0) c Decisions_7 : 8935
101.82/50.37	c (10,0) c Decisions_total : 98563
101.82/50.37	c (10,0) c Decisions_winner : 36096
101.82/50.37	c (10,0) c Propagations_0 : 2498560
101.82/50.37	c (10,0) c Propagations_1 : 2871784
101.82/50.37	c (10,0) c Propagations_2 : 2983121
101.82/50.37	c (10,0) c Propagations_3 : 2538028
101.82/50.37	c (10,0) c Propagations_4 : 2429002
101.82/50.37	c (10,0) c Propagations_5 : 2831002
101.82/50.37	c (10,0) c Propagations_6 : 3069641
101.82/50.37	c (10,0) c Propagations_7 : 2782524
101.82/50.37	c (10,0) c Propagations_total : 22003662
101.82/50.37	c (10,0) c Propagations_winner : 2498560
101.82/50.37	c (10,0) c ReduceDBs_0 : 0
101.82/50.37	c (10,0) c ReduceDBs_1 : 0
101.82/50.37	c (10,0) c ReduceDBs_2 : 0
101.82/50.37	c (10,0) c ReduceDBs_3 : 0
101.82/50.37	c (10,0) c ReduceDBs_4 : 0
101.82/50.37	c (10,0) c ReduceDBs_5 : 0
101.82/50.37	c (10,0) c ReduceDBs_6 : 0
101.82/50.37	c (10,0) c ReduceDBs_7 : 0
101.82/50.37	c (10,0) c ReduceDBs_total : 0
101.82/50.37	c (10,0) c ReduceDBs_winner : 0
101.82/50.37	c (10,0) c SimpDBs_0 : 1
101.82/50.37	c (10,0) c SimpDBs_1 : 1
101.82/50.37	c (10,0) c SimpDBs_2 : 1
101.82/50.37	c (10,0) c SimpDBs_3 : 1
101.82/50.37	c (10,0) c SimpDBs_4 : 1
101.82/50.37	c (10,0) c SimpDBs_5 : 1
101.82/50.37	c (10,0) c SimpDBs_6 : 1
101.82/50.37	c (10,0) c SimpDBs_7 : 1
101.82/50.37	c (10,0) c SimpDBs_total : 8
101.82/50.37	c (10,0) c SimpDBs_winner : 1
101.82/50.37	c (10,0) c Restarts_0 : 8
101.82/50.37	c (10,0) c Restarts_1 : 12
101.82/50.37	c (10,0) c Restarts_2 : 12
101.82/50.37	c (10,0) c Restarts_3 : 10
101.82/50.37	c (10,0) c Restarts_4 : 11
101.82/50.37	c (10,0) c Restarts_5 : 10
101.82/50.37	c (10,0) c Restarts_6 : 15
101.82/50.37	c (10,0) c Restarts_7 : 14
101.82/50.37	c (10,0) c Restarts_total : 92
101.82/50.37	c (10,0) c Restarts_winner : 8
101.82/50.37	c (10,0) c ForcedImports_0 : 0
101.82/50.37	c (10,0) c ForcedImports_1 : 0
101.82/50.37	c (10,0) c ForcedImports_2 : 0
101.82/50.37	c (10,0) c ForcedImports_3 : 0
101.82/50.37	c (10,0) c ForcedImports_4 : 0
101.82/50.37	c (10,0) c ForcedImports_5 : 0
101.82/50.37	c (10,0) c ForcedImports_6 : 0
101.82/50.37	c (10,0) c ForcedImports_7 : 0
101.82/50.37	c (10,0) c ForcedImports_total : 0
101.82/50.37	c (10,0) c ForcedImports_winner : 0
101.82/50.37	c (10,0) c PropsBinClauses_0 : 2773136
101.82/50.37	c (10,0) c PropsBinClauses_1 : 3268399
101.82/50.37	c (10,0) c PropsBinClauses_2 : 3748367
101.82/50.37	c (10,0) c PropsBinClauses_3 : 3376013
101.82/50.37	c (10,0) c PropsBinClauses_4 : 2768646
101.82/50.37	c (10,0) c PropsBinClauses_5 : 3292514
101.82/50.37	c (10,0) c PropsBinClauses_6 : 3654210
101.82/50.37	c (10,0) c PropsBinClauses_7 : 3203602
101.82/50.37	c (10,0) c PropsBinClauses_total : 26084887
101.82/50.37	c (10,0) c PropsBinClauses_winner : 2773136
101.82/50.37	c (10,0) c PropsPreBlocker_0 : 141336791
101.82/50.37	c (10,0) c PropsPreBlocker_1 : 170469190
101.82/50.37	c (10,0) c PropsPreBlocker_2 : 189443717
101.82/50.37	c (10,0) c PropsPreBlocker_3 : 171545331
101.82/50.37	c (10,0) c PropsPreBlocker_4 : 142393743
101.82/50.37	c (10,0) c PropsPreBlocker_5 : 165500424
101.82/50.37	c (10,0) c PropsPreBlocker_6 : 186106676
101.82/50.37	c (10,0) c PropsPreBlocker_7 : 169151921
101.82/50.37	c (10,0) c PropsPreBlocker_total : 1335947793
101.82/50.37	c (10,0) c PropsPreBlocker_winner : 141336791
101.82/50.37	c (10,0) c PropsNotBlocker_0 : 23076670
101.82/50.37	c (10,0) c PropsNotBlocker_1 : 21468694
101.82/50.37	c (10,0) c PropsNotBlocker_2 : 21142499
101.82/50.37	c (10,0) c PropsNotBlocker_3 : 19730066
101.82/50.37	c (10,0) c PropsNotBlocker_4 : 20516419
101.82/50.37	c (10,0) c PropsNotBlocker_5 : 19974616
101.82/50.38	c (10,0) c PropsNotBlocker_6 : 22763478
101.82/50.38	c (10,0) c PropsNotBlocker_7 : 22737026
101.82/50.38	c (10,0) c PropsNotBlocker_total : 171409468
101.82/50.38	c (10,0) c PropsNotBlocker_winner : 23076670
101.82/50.38	c (10,0) c PropsLitFullScans_0 : 170058341
101.82/50.38	c (10,0) c PropsLitFullScans_1 : 198072514
101.82/50.38	c (10,0) c PropsLitFullScans_2 : 219111349
101.82/50.38	c (10,0) c PropsLitFullScans_3 : 198321051
101.82/50.38	c (10,0) c PropsLitFullScans_4 : 168034213
101.82/50.38	c (10,0) c PropsLitFullScans_5 : 192024710
101.82/50.38	c (10,0) c PropsLitFullScans_6 : 216074314
101.82/50.38	c (10,0) c PropsLitFullScans_7 : 198065739
101.82/50.38	c (10,0) c PropsLitFullScans_total : 1559762231
101.82/50.38	c (10,0) c PropsLitFullScans_winner : 170058341
101.82/50.38	c (10,0) c LitScanFractions_0 : 17294
101.82/50.38	c (10,0) c LitScanFractions_1 : 19996
101.82/50.38	c (10,0) c LitScanFractions_2 : 20715
101.82/50.38	c (10,0) c LitScanFractions_3 : 19179
101.82/50.38	c (10,0) c LitScanFractions_4 : 17304
101.82/50.38	c (10,0) c LitScanFractions_5 : 21058
101.82/50.38	c (10,0) c LitScanFractions_6 : 29145
101.82/50.38	c (10,0) c LitScanFractions_7 : 25336
101.82/50.38	c (10,0) c LitScanFractions_total : 170027
101.82/50.38	c (10,0) c LitScanFractions_winner : 17294
101.82/50.38	c (10,0) c DecisionLevel0_0 : 8
101.82/50.38	c (10,0) c DecisionLevel0_1 : 12
101.82/50.38	c (10,0) c DecisionLevel0_2 : 12
101.82/50.38	c (10,0) c DecisionLevel0_3 : 10
101.82/50.38	c (10,0) c DecisionLevel0_4 : 13
101.82/50.38	c (10,0) c DecisionLevel0_5 : 10
101.82/50.38	c (10,0) c DecisionLevel0_6 : 15
101.82/50.38	c (10,0) c DecisionLevel0_7 : 14
101.82/50.38	c (10,0) c DecisionLevel0_total : 94
101.82/50.38	c (10,0) c DecisionLevel0_winner : 8
101.82/50.38	c (10,0) c Periods_0 : 28
101.82/50.38	c (10,0) c Periods_1 : 33
101.82/50.38	c (10,0) c Periods_2 : 36
101.82/50.38	c (10,0) c Periods_3 : 33
101.82/50.38	c (10,0) c Periods_4 : 28
101.82/50.38	c (10,0) c Periods_5 : 32
101.82/50.38	c (10,0) c Periods_6 : 36
101.82/50.38	c (10,0) c Periods_7 : 33
101.82/50.38	c (10,0) c Periods_total : 259
101.82/50.38	c (10,0) c Periods_winner : 28
101.82/50.38	c (10,0) c Margin_0 : 20
101.82/50.38	c (10,0) c Margin_1 : 20
101.82/50.38	c (10,0) c Margin_2 : 20
101.82/50.38	c (10,0) c Margin_3 : 20
101.82/50.38	c (10,0) c Margin_4 : 20
101.82/50.38	c (10,0) c Margin_5 : 20
101.82/50.38	c (10,0) c Margin_6 : 20
101.82/50.38	c (10,0) c Margin_7 : 20
101.82/50.38	c (10,0) c Margin_total : 160
101.82/50.38	c (10,0) c Margin_winner : 20
101.82/50.38	c (10,0) c Exported_0 : 33
101.82/50.38	c (10,0) c Exported_1 : 10
101.82/50.38	c (10,0) c Exported_2 : 10
101.82/50.38	c (10,0) c Exported_3 : 14
101.82/50.38	c (10,0) c Exported_4 : 11
101.82/50.38	c (10,0) c Exported_5 : 5
101.82/50.38	c (10,0) c Exported_6 : 9
101.82/50.38	c (10,0) c Exported_7 : 7
101.82/50.38	c (10,0) c Exported_total : 99
101.82/50.38	c (10,0) c Exported_winner : 33
101.82/50.38	c (10,0) c Imported_0 : 52
101.82/50.38	c (10,0) c Imported_1 : 81
101.82/50.38	c (10,0) c Imported_2 : 84
101.82/50.38	c (10,0) c Imported_3 : 79
101.82/50.38	c (10,0) c Imported_4 : 70
101.82/50.38	c (10,0) c Imported_5 : 78
101.82/50.38	c (10,0) c Imported_6 : 83
101.82/50.38	c (10,0) c Imported_7 : 88
101.82/50.38	c (10,0) c Imported_total : 615
101.82/50.38	c (10,0) c Imported_winner : 52
101.82/50.38	c (10,0) c Good_0 : 13
101.82/50.38	c (10,0) c Good_1 : 20
101.82/50.38	c (10,0) c Good_2 : 17
101.82/50.38	c (10,0) c Good_3 : 20
101.82/50.38	c (10,0) c Good_4 : 12
101.82/50.38	c (10,0) c Good_5 : 20
101.82/50.38	c (10,0) c Good_6 : 19
101.82/50.38	c (10,0) c Good_7 : 19
101.82/50.38	c (10,0) c Good_total : 140
101.82/50.38	c (10,0) c Good_winner : 13
101.82/50.38	c (10,0) c Purge_0 : 39
101.82/50.38	c (10,0) c Purge_1 : 61
101.82/50.38	c (10,0) c Purge_2 : 67
101.82/50.38	c (10,0) c Purge_3 : 59
101.82/50.38	c (10,0) c Purge_4 : 58
101.82/50.38	c (10,0) c Purge_5 : 58
101.82/50.38	c (10,0) c Purge_6 : 64
101.82/50.38	c (10,0) c Purge_7 : 69
101.82/50.38	c (10,0) c Purge_total : 475
101.82/50.38	c (10,0) c Purge_winner : 39
101.82/50.38	c (10,0) c Promoted_0 : 0
101.82/50.38	c (10,0) c Promoted_1 : 0
101.82/50.38	c (10,0) c Promoted_2 : 0
101.82/50.38	c (10,0) c Promoted_3 : 0
101.82/50.38	c (10,0) c Promoted_4 : 0
101.82/50.38	c (10,0) c Promoted_5 : 0
101.82/50.38	c (10,0) c Promoted_6 : 0
101.82/50.38	c (10,0) c Promoted_7 : 0
101.82/50.38	c (10,0) c Promoted_total : 0
101.82/50.38	c (10,0) c Promoted_winner : 0
101.82/50.38	c (10,0) c Remove_Imp_0 : 0
101.82/50.38	c (10,0) c Remove_Imp_1 : 0
101.82/50.38	c (10,0) c Remove_Imp_2 : 0
101.82/50.38	c (10,0) c Remove_Imp_3 : 0
101.82/50.38	c (10,0) c Remove_Imp_4 : 0
101.82/50.38	c (10,0) c Remove_Imp_5 : 0
101.82/50.38	c (10,0) c Remove_Imp_6 : 0
101.82/50.38	c (10,0) c Remove_Imp_7 : 0
101.82/50.38	c (10,0) c Remove_Imp_total : 0
101.82/50.38	c (10,0) c Remove_Imp_winner : 0
101.82/50.38	c (10,0) c Blocked_Reuse_0 : 0
101.82/50.38	c (10,0) c Blocked_Reuse_1 : 0
101.82/50.38	c (10,0) c Blocked_Reuse_2 : 0
101.82/50.38	c (10,0) c Blocked_Reuse_3 : 0
101.82/50.38	c (10,0) c Blocked_Reuse_4 : 0
101.82/50.38	c (10,0) c Blocked_Reuse_5 : 0
101.82/50.38	c (10,0) c Blocked_Reuse_6 : 0
101.82/50.38	c (10,0) c Blocked_Reuse_7 : 0
101.82/50.38	c (10,0) c Blocked_Reuse_total : 0
101.82/50.38	c (10,0) c Blocked_Reuse_winner : 0
101.82/50.38	c (10,0) c Unaries_0 : 0
101.82/50.38	c (10,0) c Unaries_1 : 0
101.82/50.38	c (10,0) c Unaries_2 : 0
101.82/50.38	c (10,0) c Unaries_3 : 0
101.82/50.38	c (10,0) c Unaries_4 : 2
101.82/50.38	c (10,0) c Unaries_5 : 0
101.82/50.38	c (10,0) c Unaries_6 : 0
101.82/50.38	c (10,0) c Unaries_7 : 0
101.82/50.38	c (10,0) c Unaries_total : 2
101.82/50.38	c (10,0) c Unaries_winner : 0
101.82/50.38	c (10,0) c Binaries_0 : 7
101.82/50.38	c (10,0) c Binaries_1 : 0
101.82/50.38	c (10,0) c Binaries_2 : 3
101.82/50.38	c (10,0) c Binaries_3 : 0
101.82/50.38	c (10,0) c Binaries_4 : 8
101.82/50.38	c (10,0) c Binaries_5 : 0
101.82/50.38	c (10,0) c Binaries_6 : 1
101.82/50.38	c (10,0) c Binaries_7 : 1
101.82/50.38	c (10,0) c Binaries_total : 20
101.82/50.38	c (10,0) c Binaries_winner : 7
101.82/50.38	c (10,0) c Glues_0 : 33
101.82/50.38	c (10,0) c Glues_1 : 10
101.82/50.38	c (10,0) c Glues_2 : 10
101.82/50.38	c (10,0) c Glues_3 : 14
101.82/50.38	c (10,0) c Glues_4 : 11
101.82/50.38	c (10,0) c Glues_5 : 5
101.82/50.38	c (10,0) c Glues_6 : 9
101.82/50.38	c (10,0) c Glues_7 : 7
101.82/50.38	c (10,0) c Glues_total : 99
101.82/50.38	c (10,0) c Glues_winner : 33
101.82/50.38	c (10,0) c RunningTime_0 : 5.384290
101.82/50.38	c (10,0) c RunningTime_1 : 5.053091
101.82/50.38	c (10,0) c RunningTime_2 : 5.064162
101.82/50.38	c (10,0) c RunningTime_3 : 5.266844
101.82/50.38	c (10,0) c RunningTime_4 : 5.497739
101.82/50.38	c (10,0) c RunningTime_5 : 5.444083
101.82/50.38	c (10,0) c RunningTime_6 : 5.084532
101.82/50.38	c (10,0) c RunningTime_7 : 5.199806
101.82/50.38	c (10,0) c RunningTime_total : 41.994547
101.82/50.38	c (10,0) c RunningTime_winner : 5.384290
101.82/50.38	c (10,0) c WaitingTime_0 : 0.000013
101.82/50.38	c (10,0) c WaitingTime_1 : 0.000049
101.82/50.38	c (10,0) c WaitingTime_2 : 0.000042
101.82/50.38	c (10,0) c WaitingTime_3 : 0.000033
101.82/50.38	c (10,0) c WaitingTime_4 : 0.000010
101.82/50.38	c (10,0) c WaitingTime_5 : 0.000024
101.82/50.38	c (10,0) c WaitingTime_6 : 0.000059
101.82/50.38	c (10,0) c WaitingTime_7 : 0.000027
101.82/50.38	c (10,0) c WaitingTime_total : 0.000258
101.82/50.38	c (10,0) c WaitingTime_winner : 0.000013
101.82/50.38	c (10,0) c ExchangingTime_0 : 0.000355
101.82/50.38	c (10,0) c ExchangingTime_1 : 0.000382
101.82/50.38	c (10,0) c ExchangingTime_2 : 0.000478
101.82/50.38	c (10,0) c ExchangingTime_3 : 0.000406
101.82/50.38	c (10,0) c ExchangingTime_4 : 0.000322
101.82/50.38	c (10,0) c ExchangingTime_5 : 0.000339
101.82/50.38	c (10,0) c ExchangingTime_6 : 0.000405
101.82/50.38	c (10,0) c ExchangingTime_7 : 0.000438
101.82/50.38	c (10,0) c ExchangingTime_total : 0.003124
101.82/50.38	c (10,0) c ExchangingTime_winner : 0.000355
101.82/50.38	c (10,0) c PeriodProcTime_0 : 0.000285
101.82/50.38	c (10,0) c PeriodProcTime_1 : 0.000338
101.82/50.38	c (10,0) c PeriodProcTime_2 : 0.000444
101.82/50.38	c (10,0) c PeriodProcTime_3 : 0.000389
101.82/50.38	c (10,0) c PeriodProcTime_4 : 0.000379
101.82/50.38	c (10,0) c PeriodProcTime_5 : 0.000388
101.82/50.38	c (10,0) c PeriodProcTime_6 : 0.000422
101.82/50.38	c (10,0) c PeriodProcTime_7 : 0.000423
101.82/50.38	c (10,0) c PeriodProcTime_total : 0.003069
101.82/50.38	c (10,0) c PeriodProcTime_winner : 0.000285
101.82/50.38	c (10,0) c SolvingTime_0 : 5.384942
101.82/50.38	c (10,0) c SolvingTime_1 : 5.053861
101.82/50.38	c (10,0) c SolvingTime_2 : 5.065125
101.82/50.38	c (10,0) c SolvingTime_3 : 5.267672
101.82/50.38	c (10,0) c SolvingTime_4 : 5.498450
101.82/50.38	c (10,0) c SolvingTime_5 : 5.444834
101.82/50.38	c (10,0) c SolvingTime_6 : 5.085419
101.82/50.38	c (10,0) c SolvingTime_7 : 5.200695
101.82/50.38	c (10,0) c SolvingTime_total : 42.000997
101.82/50.38	c (10,0) c SolvingTime_winner : 5.384942
101.82/50.38	c (10,0) c PropagationTime_0 : 5.164203
101.82/50.38	c (10,0) c PropagationTime_1 : 4.872113
101.82/50.38	c (10,0) c PropagationTime_2 : 4.831325
101.82/50.38	c (10,0) c PropagationTime_3 : 5.088433
101.82/50.38	c (10,0) c PropagationTime_4 : 5.304889
101.82/50.38	c (10,0) c PropagationTime_5 : 5.244152
101.82/50.38	c (10,0) c PropagationTime_6 : 4.865794
101.82/50.38	c (10,0) c PropagationTime_7 : 4.975446
101.82/50.38	c (10,0) c PropagationTime_total : 40.346354
101.82/50.38	c (10,0) c PropagationTime_winner : 5.164203
101.82/50.38	c (10,0) c AnalysisTime_0 : 0.078176
101.82/50.38	c (10,0) c AnalysisTime_1 : 0.058229
101.82/50.38	c (10,0) c AnalysisTime_2 : 0.103082
101.82/50.38	c (10,0) c AnalysisTime_3 : 0.069734
101.82/50.38	c (10,0) c AnalysisTime_4 : 0.067882
101.82/50.38	c (10,0) c AnalysisTime_5 : 0.070308
101.82/50.38	c (10,0) c AnalysisTime_6 : 0.077715
101.82/50.38	c (10,0) c AnalysisTime_7 : 0.076530
101.82/50.38	c (10,0) c AnalysisTime_total : 0.601655
101.82/50.38	c (10,0) c AnalysisTime_winner : 0.078176
101.82/50.38	c (10,0) c ReductionTime_0 : 0.000000
101.82/50.38	c (10,0) c ReductionTime_1 : 0.000000
101.82/50.38	c (10,0) c ReductionTime_2 : 0.000000
101.82/50.38	c (10,0) c ReductionTime_3 : 0.000000
101.82/50.38	c (10,0) c ReductionTime_4 : 0.000000
101.82/50.38	c (10,0) c ReductionTime_5 : 0.000000
101.82/50.38	c (10,0) c ReductionTime_6 : 0.000000
101.82/50.38	c (10,0) c ReductionTime_7 : 0.000000
101.82/50.38	c (10,0) c ReductionTime_total : 0.000000
101.82/50.38	c (10,0) c ReductionTime_winner : 0.000000
101.82/50.38	c (10,0) c SimplifyTime_0 : 0.000001
101.82/50.38	c (10,0) c SimplifyTime_1 : 0.000001
101.82/50.38	c (10,0) c SimplifyTime_2 : 0.000003
101.82/50.38	c (10,0) c SimplifyTime_3 : 0.000001
101.82/50.38	c (10,0) c SimplifyTime_4 : 0.000001
101.82/50.38	c (10,0) c SimplifyTime_5 : 0.000002
101.82/50.38	c (10,0) c SimplifyTime_6 : 0.000000
101.82/50.38	c (10,0) c SimplifyTime_7 : 0.000002
101.82/50.38	c (10,0) c SimplifyTime_total : 0.000011
101.82/50.38	c (10,0) c SimplifyTime_winner : 0.000001
101.82/50.38	c (10,0) c UsedRateTime_0 : 0.000000
101.82/50.38	c (10,0) c UsedRateTime_1 : 0.000000
101.82/50.38	c (10,0) c UsedRateTime_2 : 0.000000
101.82/50.38	c (10,0) c UsedRateTime_3 : 0.000000
101.82/50.38	c (10,0) c UsedRateTime_4 : 0.000000
101.82/50.38	c (10,0) c UsedRateTime_5 : 0.000000
101.82/50.38	c (10,0) c UsedRateTime_6 : 0.000000
101.82/50.38	c (10,0) c UsedRateTime_7 : 0.000000
101.82/50.38	c (10,0) c UsedRateTime_total : 0.000000
101.82/50.38	c (10,0) c UsedRateTime_winner : 0.000000
101.82/50.38	c (10,0) c OverlapRateTime_0 : 0.000000
101.82/50.38	c (10,0) c OverlapRateTime_1 : 0.000000
101.82/50.38	c (10,0) c OverlapRateTime_2 : 0.000000
101.82/50.38	c (10,0) c OverlapRateTime_3 : 0.000000
101.82/50.38	c (10,0) c OverlapRateTime_4 : 0.000000
101.82/50.38	c (10,0) c OverlapRateTime_5 : 0.000000
101.82/50.38	c (10,0) c OverlapRateTime_6 : 0.000000
101.82/50.38	c (10,0) c OverlapRateTime_7 : 0.000000
101.82/50.38	c (10,0) c OverlapRateTime_total : 0.000000
101.82/50.38	c (10,0) c OverlapRateTime_winner : 0.000000
101.82/50.38	c (10,0) c
101.82/50.38	c (10,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
101.82/50.38	c (10,0) c
101.82/50.38	c (10,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
101.82/50.38	c (10,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
101.82/50.38	c (10,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
101.82/50.38	c (10,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
101.82/50.38	c (10,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
101.82/50.38	c (10,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
101.82/50.38	c (10,0) c | Initial random_seed   |  262327883 | 1503517350 | 1921971609 |  821728796 | 1268954413 |  560145094 | 1148519622 | 1353144022 |
101.82/50.38	c (10,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
101.82/50.38	c (10,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
101.82/50.38	c (10,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
101.82/50.38	c (10,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
101.82/50.38	c (10,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
101.82/50.38	c (10,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
101.82/50.38	c (10,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
101.82/50.38	c (10,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
101.82/50.38	c (10,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
101.82/50.38	c (10,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
101.82/50.38	c (10,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
101.82/50.38	c (10,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
101.82/50.38	c (10,0) 
101.82/50.38	c (10,0) s SATISFIABLE
58.97/50.57	c (10,0) SatSolver.solve End
58.97/50.57	c (10,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
58.97/50.57	c (10,0) Show results Begin
102.66/50.71	c (10,0) q[0] = 53
102.66/50.71	c (10,0) q[1] = 57
102.66/50.71	c (10,0) q[2] = 40
102.66/50.71	c (10,0) q[3] = 101
102.66/50.71	c (10,0) q[4] = 1
102.66/50.71	c (10,0) q[5] = 100
102.66/50.71	c (10,0) q[6] = 79
102.66/50.71	c (10,0) q[7] = 66
102.66/50.71	c (10,0) q[8] = 10
102.66/50.71	c (10,0) q[9] = 67
102.66/50.71	c (10,0) q[10] = 0
102.66/50.71	c (10,0) q[11] = 6
102.66/50.71	c (10,0) q[12] = 145
102.66/50.71	c (10,0) q[13] = 70
102.66/50.71	c (10,0) q[14] = 120
102.66/50.71	c (10,0) q[15] = 62
102.66/50.71	c (10,0) q[16] = 39
102.66/50.71	c (10,0) q[17] = 132
102.66/50.71	c (10,0) q[18] = 63
102.66/50.71	c (10,0) q[19] = 95
102.66/50.71	c (10,0) q[20] = 98
102.66/50.71	c (10,0) q[21] = 8
102.66/50.71	c (10,0) q[22] = 73
102.66/50.71	c (10,0) q[23] = 87
102.66/50.71	c (10,0) q[24] = 99
102.66/50.71	c (10,0) q[25] = 21
102.66/50.71	c (10,0) q[26] = 30
102.66/50.71	c (10,0) q[27] = 20
102.66/50.71	c (10,0) q[28] = 59
102.66/50.71	c (10,0) q[29] = 41
102.66/50.71	c (10,0) q[30] = 36
102.66/50.71	c (10,0) q[31] = 94
102.66/50.71	c (10,0) q[32] = 92
102.66/50.71	c (10,0) q[33] = 24
102.66/50.71	c (10,0) q[34] = 3
102.66/50.71	c (10,0) q[35] = 34
102.66/50.71	c (10,0) q[36] = 4
102.66/50.71	c (10,0) q[37] = 89
102.66/50.71	c (10,0) q[38] = 141
102.66/50.71	c (10,0) q[39] = 82
102.66/50.71	c (10,0) q[40] = 130
102.66/50.71	c (10,0) q[41] = 102
102.66/50.71	c (10,0) q[42] = 109
102.66/50.71	c (10,0) q[43] = 32
102.66/50.71	c (10,0) q[44] = 18
102.66/50.71	c (10,0) q[45] = 5
102.66/50.71	c (10,0) q[46] = 83
102.66/50.71	c (10,0) q[47] = 60
102.66/50.71	c (10,0) q[48] = 74
102.66/50.71	c (10,0) q[49] = 49
102.66/50.71	c (10,0) q[50] = 147
102.66/50.71	c (10,0) q[51] = 85
102.66/50.71	c (10,0) q[52] = 106
102.66/50.71	c (10,0) q[53] = 78
102.66/50.71	c (10,0) q[54] = 96
102.66/50.71	c (10,0) q[55] = 56
102.66/50.71	c (10,0) q[56] = 12
102.66/50.71	c (10,0) q[57] = 29
102.66/50.71	c (10,0) q[58] = 138
102.66/50.71	c (10,0) q[59] = 142
102.66/50.71	c (10,0) q[60] = 139
102.66/50.71	c (10,0) q[61] = 127
102.66/50.71	c (10,0) q[62] = 143
102.66/50.71	c (10,0) q[63] = 90
102.66/50.71	c (10,0) q[64] = 88
102.66/50.71	c (10,0) q[65] = 43
102.66/50.71	c (10,0) q[66] = 105
102.66/50.71	c (10,0) q[67] = 97
102.66/50.71	c (10,0) q[68] = 108
102.66/50.71	c (10,0) q[69] = 115
102.66/50.71	c (10,0) q[70] = 111
102.66/50.71	c (10,0) q[71] = 107
102.66/50.71	c (10,0) q[72] = 93
102.66/50.71	c (10,0) q[73] = 121
102.66/50.71	c (10,0) q[74] = 14
102.66/50.71	c (10,0) q[75] = 110
102.66/50.71	c (10,0) q[76] = 126
102.66/50.71	c (10,0) q[77] = 148
102.66/50.71	c (10,0) q[78] = 140
102.66/50.71	c (10,0) q[79] = 144
102.66/50.71	c (10,0) q[80] = 22
102.66/50.71	c (10,0) q[81] = 86
102.66/50.71	c (10,0) q[82] = 58
102.66/50.71	c (10,0) q[83] = 65
102.66/50.71	c (10,0) q[84] = 54
102.66/50.72	c (10,0) q[85] = 50
102.66/50.72	c (10,0) q[86] = 47
102.66/50.72	c (10,0) q[87] = 103
102.66/50.72	c (10,0) q[88] = 51
102.66/50.72	c (10,0) q[89] = 48
102.66/50.72	c (10,0) q[90] = 42
102.66/50.72	c (10,0) q[91] = 37
102.66/50.72	c (10,0) q[92] = 35
102.66/50.72	c (10,0) q[93] = 137
102.66/50.72	c (10,0) q[94] = 149
102.66/50.72	c (10,0) q[95] = 112
102.66/50.72	c (10,0) q[96] = 114
102.66/50.72	c (10,0) q[97] = 117
102.66/50.72	c (10,0) q[98] = 77
102.66/50.72	c (10,0) q[99] = 113
102.66/50.72	c (10,0) q[100] = 119
102.66/50.72	c (10,0) q[101] = 81
102.66/50.72	c (10,0) q[102] = 135
102.66/50.72	c (10,0) q[103] = 118
102.66/50.72	c (10,0) q[104] = 136
102.66/50.72	c (10,0) q[105] = 134
102.66/50.72	c (10,0) q[106] = 116
102.66/50.72	c (10,0) q[107] = 129
102.66/50.72	c (10,0) q[108] = 75
102.66/50.72	c (10,0) q[109] = 84
102.66/50.72	c (10,0) q[110] = 76
102.66/50.72	c (10,0) q[111] = 2
102.66/50.72	c (10,0) q[112] = 104
102.66/50.72	c (10,0) q[113] = 64
102.66/50.72	c (10,0) q[114] = 52
102.66/50.72	c (10,0) q[115] = 44
102.66/50.72	c (10,0) q[116] = 46
102.66/50.72	c (10,0) q[117] = 25
102.66/50.72	c (10,0) q[118] = 45
102.66/50.72	c (10,0) q[119] = 55
102.66/50.72	c (10,0) q[120] = 69
102.66/50.72	c (10,0) q[121] = 71
102.66/50.72	c (10,0) q[122] = 33
102.66/50.72	c (10,0) q[123] = 7
102.66/50.72	c (10,0) q[124] = 122
102.66/50.72	c (10,0) q[125] = 128
102.66/50.72	c (10,0) q[126] = 19
102.66/50.72	c (10,0) q[127] = 17
102.66/50.72	c (10,0) q[128] = 72
102.66/50.72	c (10,0) q[129] = 31
102.66/50.72	c (10,0) q[130] = 124
102.66/50.72	c (10,0) q[131] = 23
102.66/50.72	c (10,0) q[132] = 9
102.66/50.72	c (10,0) q[133] = 80
102.66/50.72	c (10,0) q[134] = 13
102.66/50.72	c (10,0) q[135] = 11
102.66/50.72	c (10,0) q[136] = 68
102.66/50.72	c (10,0) q[137] = 91
102.66/50.72	c (10,0) q[138] = 123
102.66/50.72	c (10,0) q[139] = 146
102.66/50.72	c (10,0) q[140] = 28
102.66/50.72	c (10,0) q[141] = 15
102.66/50.72	c (10,0) q[142] = 61
102.66/50.72	c (10,0) q[143] = 26
102.66/50.72	c (10,0) q[144] = 125
102.66/50.72	c (10,0) q[145] = 16
102.66/50.72	c (10,0) q[146] = 27
102.66/50.72	c (10,0) q[147] = 133
102.66/50.72	c (10,0) q[148] = 131
102.66/50.72	c (10,0) q[149] = 38
102.66/50.72	s SATISFIABLE
102.66/50.73	v <instantiation>
102.66/50.73	v     <list>q[0] q[1] q[2] q[3] q[4] q[5] q[6] q[7] q[8] q[9] q[10] q[11] q[12] q[13] q[14] q[15] q[16] q[17] q[18] q[19] q[20] q[21] q[22] q[23] q[24] q[25] q[26] q[27] q[28] q[29] q[30] q[31] q[32] q[33] q[34] q[35] q[36] q[37] q[38] q[39] q[40] q[41] q[42] q[43] q[44] q[45] q[46] q[47] q[48] q[49] q[50] q[51] q[52] q[53] q[54] q[55] q[56] q[57] q[58] q[59] q[60] q[61] q[62] q[63] q[64] q[65] q[66] q[67] q[68] q[69] q[70] q[71] q[72] q[73] q[74] q[75] q[76] q[77] q[78] q[79] q[80] q[81] q[82] q[83] q[84] q[85] q[86] q[87] q[88] q[89] q[90] q[91] q[92] q[93] q[94] q[95] q[96] q[97] q[98] q[99] q[100] q[101] q[102] q[103] q[104] q[105] q[106] q[107] q[108] q[109] q[110] q[111] q[112] q[113] q[114] q[115] q[116] q[117] q[118] q[119] q[120] q[121] q[122] q[123] q[124] q[125] q[126] q[127] q[128] q[129] q[130] q[131] q[132] q[133] q[134] q[135] q[136] q[137] q[138] q[139] q[140] q[141] q[142] q[143] q[144] q[145] q[146] q[147] q[148] q[149]</list>
102.66/50.73	v     <values>53 57 40 101 1 100 79 66 10 67 0 6 145 70 120 62 39 132 63 95 98 8 73 87 99 21 30 20 59 41 36 94 92 24 3 34 4 89 141 82 130 102 109 32 18 5 83 60 74 49 147 85 106 78 96 56 12 29 138 142 139 127 143 90 88 43 105 97 108 115 111 107 93 121 14 110 126 148 140 144 22 86 58 65 54 50 47 103 51 48 42 37 35 137 149 112 114 117 77 113 119 81 135 118 136 134 116 129 75 84 76 2 104 64 52 44 46 25 45 55 69 71 33 7 122 128 19 17 72 31 124 23 9 80 13 11 68 91 123 146 28 15 61 26 125 16 27 133 131 38</values>
102.66/50.73	v </instantiation>
102.66/50.73	c (10,0) Show results End
102.66/50.73	c (10,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
102.66/50.73	c (10,0) 10,10,STOP-AFTER(ALL)
102.66/50.73	c END-Prog: Tue Sep 24 23:04:06 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 (11992 MiB free)
  memory of node 1: 16384 MiB (13159 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405462-1569359039/watcher-4405462-1569359039 -o /var/tmp/evaluation-result-4405462-1569359039/solver-4405462-1569359039 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569357356-20838 --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-4405462-1569359039.xml 

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

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


[startup+0.100133 s]*
/proc/loadavg: 6.73 6.90 6.50 2/212 21353
/proc/meminfo: memFree=25662492/32770624 swapFree=66992456/67108860
[pid=21331] ppid=21328 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21331/stat : 21331 (scop.sh) S 21328 21331 20811 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512166436 115843072 349 33554432000 4194304 5098028 140725691161104 140725691158360 139761143186044 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28753920 140725691163388 140725691163736 140725691163736 140725691166665 0
/proc/21331/statm: 28282 349 296 221 0 87 0
[pid=21334] ppid=21331 vsize=27314120 memory=107196 CPUtime=0.1 cores=0-7
/proc/21334/stat : 21334 (java) S 21331 21331 20811 0 -1 1077944320 6411 0 0 0 8 2 0 0 20 0 20 0 512166436 27969658880 26799 33554432000 4194304 4196468 140723761359712 140723761342256 139993297493751 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
/proc/21334/statm: 6828530 26799 2779 1 0 6790935 0
[pid=21334/tid=21335] ppid=21331 vsize=27314120 memory=-2177352373413752899 CPUtime=0.09 cores=0-7
/proc/21334/task/21335/stat : 21335 (java) R 21331 21331 20811 0 -1 4202560 4510 0 0 0 7 2 0 0 20 0 20 0 512166436 27969658880 26799 33554432000 4194304 4196468 140723761359712 139993269320080 139993297515677 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21336] ppid=21331 vsize=27314120 memory=732370436762237925 CPUtime=0 cores=0-7
/proc/21334/task/21336/stat : 21336 (java) S 21331 21331 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512166439 27969658880 26799 33554432000 4194304 4196468 140723761359712 139993301735824 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21337] ppid=21331 vsize=27314120 memory=140298424784512 CPUtime=0 cores=0-7
/proc/21334/task/21337/stat : 21337 (java) S 21331 21331 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512166439 27969658880 26799 33554432000 4194304 4196468 140723761359712 139993119824144 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21338] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21338/stat : 21338 (java) S 21331 21331 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512166439 27969658880 26799 33554432000 4194304 4196468 140723761359712 139993118771856 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21339] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21339/stat : 21339 (java) S 21331 21331 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512166439 27969658880 26799 33554432000 4194304 4196468 140723761359712 139992717228560 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21340] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21340/stat : 21340 (java) S 21331 21331 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512166439 27969658880 26799 33554432000 4194304 4196468 140723761359712 139992716176272 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21341] ppid=21331 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21334/task/21341/stat : 21341 (java) S 21331 21331 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512166439 27969658880 26799 33554432000 4194304 4196468 140723761359712 139992715123472 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21342] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21342/stat : 21342 (java) S 21331 21331 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512166439 27969658880 26799 33554432000 4194304 4196468 140723761359712 139992714071184 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21343] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21343/stat : 21343 (java) S 21331 21331 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512166439 27969658880 26799 33554432000 4194304 4196468 140723761359712 139992713018384 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21344] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21344/stat : 21344 (java) S 21331 21331 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512166440 27969658880 26799 33554432000 4194304 4196468 140723761359712 139992154658928 139993297504898 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21345] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21345/stat : 21345 (java) S 21331 21331 20811 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512166441 27969658880 26799 33554432000 4194304 4196468 140723761359712 139991237780256 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21346] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21346/stat : 21346 (java) S 21331 21331 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512166441 27969658880 26799 33554432000 4194304 4196468 140723761359712 139990969345136 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21347] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21347/stat : 21347 (java) S 21331 21331 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512166444 27969658880 26799 33554432000 4194304 4196468 140723761359712 139990594836560 139993297512347 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21348] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21348/stat : 21348 (java) R 21331 21331 20811 0 -1 4202560 319 0 0 0 0 0 0 0 20 0 20 0 512166444 27969658880 26799 33554432000 4194304 4196468 140723761359712 139992153606768 139993297504898 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21349] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21349/stat : 21349 (java) S 21331 21331 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512166444 27969658880 26799 33554432000 4194304 4196468 140723761359712 139992152553968 139993297504898 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21350] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21350/stat : 21350 (java) R 21331 21331 20811 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 512166444 27969658880 26799 33554432000 4194304 4196468 140723761359712 139992151501680 139993297515098 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21351] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21351/stat : 21351 (java) S 21331 21331 20811 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 20 0 512166444 27969658880 26799 33554432000 4194304 4196468 140723761359712 139992150448880 139993297504898 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21352] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21352/stat : 21352 (java) S 21331 21331 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512166444 27969658880 26799 33554432000 4194304 4196468 140723761359712 139990096931168 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21353] ppid=21331 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21334/task/21353/stat : 21353 (java) S 21331 21331 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512166444 27969658880 26799 33554432000 4194304 4196468 140723761359712 139992149395760 139993297504898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108592 KiB

[startup+0.21012 s]*
/proc/loadavg: 6.73 6.90 6.50 3/212 21353
/proc/meminfo: memFree=25639436/32770624 swapFree=66992456/67108860
[pid=21331] ppid=21328 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21331/stat : 21331 (scop.sh) S 21328 21331 20811 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512166436 115843072 349 33554432000 4194304 5098028 140725691161104 140725691158360 139761143186044 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28753920 140725691163388 140725691163736 140725691163736 140725691166665 0
/proc/21331/statm: 28282 349 296 221 0 87 0
[pid=21334] ppid=21331 vsize=27314120 memory=126828 CPUtime=0.24 cores=0-7
/proc/21334/stat : 21334 (java) S 21331 21331 20811 0 -1 1077944320 12037 0 0 0 20 4 0 0 20 0 20 0 512166436 27969658880 31707 33554432000 4194304 4196468 140723761359712 140723761342256 139993297493751 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
/proc/21334/statm: 6828530 31707 2964 1 0 6790935 0
[pid=21334/tid=21335] ppid=21331 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/21334/task/21335/stat : 21335 (java) R 21331 21331 20811 0 -1 4202560 9763 0 0 0 16 3 0 0 20 0 20 0 512166436 27969658880 31707 33554432000 4194304 4196468 140723761359712 139993269293136 139993279057320 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21336] ppid=21331 vsize=27314120 memory=732370436762237925 CPUtime=0 cores=0-7
/proc/21334/task/21336/stat : 21336 (java) S 21331 21331 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512166439 27969658880 31707 33554432000 4194304 4196468 140723761359712 139993301735824 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21337] ppid=21331 vsize=27314120 memory=140298424784512 CPUtime=0 cores=0-7
/proc/21334/task/21337/stat : 21337 (java) S 21331 21331 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512166439 27969658880 31707 33554432000 4194304 4196468 140723761359712 139993119824144 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21338] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21338/stat : 21338 (java) S 21331 21331 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512166439 27969658880 31707 33554432000 4194304 4196468 140723761359712 139993118771856 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21339] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21339/stat : 21339 (java) S 21331 21331 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512166439 27969658880 31707 33554432000 4194304 4196468 140723761359712 139992717228560 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21340] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21340/stat : 21340 (java) S 21331 21331 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512166439 27969658880 31707 33554432000 4194304 4196468 140723761359712 139992716176272 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21341] ppid=21331 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21334/task/21341/stat : 21341 (java) S 21331 21331 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512166439 27969658880 31707 33554432000 4194304 4196468 140723761359712 139992715123472 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21342] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21342/stat : 21342 (java) S 21331 21331 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512166439 27969658880 31707 33554432000 4194304 4196468 140723761359712 139992714071184 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21343] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21343/stat : 21343 (java) S 21331 21331 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512166439 27969658880 31707 33554432000 4194304 4196468 140723761359712 139992713018384 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21344] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21344/stat : 21344 (java) S 21331 21331 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512166440 27969658880 31707 33554432000 4194304 4196468 140723761359712 139992154658928 139993297504898 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21345] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21345/stat : 21345 (java) S 21331 21331 20811 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512166441 27969658880 31707 33554432000 4194304 4196468 140723761359712 139991237780256 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21346] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21346/stat : 21346 (java) S 21331 21331 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512166441 27969658880 31707 33554432000 4194304 4196468 140723761359712 139990969345136 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21347] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21347/stat : 21347 (java) S 21331 21331 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512166444 27969658880 31707 33554432000 4194304 4196468 140723761359712 139990594836560 139993297512347 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21348] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21348/stat : 21348 (java) S 21331 21331 20811 0 -1 1077944384 478 0 0 0 0 0 0 0 20 0 20 0 512166444 27969658880 31707 33554432000 4194304 4196468 140723761359712 139992153606768 139993297504898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21349] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21349/stat : 21349 (java) S 21331 21331 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512166444 27969658880 31707 33554432000 4194304 4196468 140723761359712 139992152553968 139993297504898 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21350] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21350/stat : 21350 (java) S 21331 21331 20811 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 512166444 27969658880 31707 33554432000 4194304 4196468 140723761359712 139992151501680 139993297504898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21351] ppid=21331 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/21334/task/21351/stat : 21351 (java) S 21331 21331 20811 0 -1 1077944384 439 0 0 0 2 0 0 0 20 0 20 0 512166444 27969658880 31707 33554432000 4194304 4196468 140723761359712 139992150448880 139993297504898 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21352] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21352/stat : 21352 (java) S 21331 21331 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512166444 27969658880 31707 33554432000 4194304 4196468 140723761359712 139990096931168 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21353] ppid=21331 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21334/task/21353/stat : 21353 (java) S 21331 21331 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512166444 27969658880 31707 33554432000 4194304 4196468 140723761359712 139992149395760 139993297504898 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128224 KiB

[startup+0.309554 s]*
/proc/loadavg: 6.73 6.90 6.50 2/212 21353
/proc/meminfo: memFree=25636520/32770624 swapFree=66992456/67108860
[pid=21331] ppid=21328 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21331/stat : 21331 (scop.sh) S 21328 21331 20811 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512166436 115843072 349 33554432000 4194304 5098028 140725691161104 140725691158360 139761143186044 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28753920 140725691163388 140725691163736 140725691163736 140725691166665 0
/proc/21331/statm: 28282 349 296 221 0 87 0
[pid=21334] ppid=21331 vsize=27314120 memory=129908 CPUtime=0.42 cores=0-7
/proc/21334/stat : 21334 (java) S 21331 21331 20811 0 -1 1077944320 12513 0 0 0 38 4 0 0 20 0 20 0 512166436 27969658880 32477 33554432000 4194304 4196468 140723761359712 140723761342256 139993297493751 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
/proc/21334/statm: 6828530 32477 3000 1 0 6790935 0
[pid=21334/tid=21335] ppid=21331 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/21334/task/21335/stat : 21335 (java) R 21331 21331 20811 0 -1 4202560 10068 0 0 0 26 3 0 0 20 0 20 0 512166436 27969658880 32477 33554432000 4194304 4196468 140723761359712 139993269323824 139993297515677 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21336] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21336/stat : 21336 (java) S 21331 21331 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512166439 27969658880 32477 33554432000 4194304 4196468 140723761359712 139993301735824 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21337] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21337/stat : 21337 (java) S 21331 21331 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512166439 27969658880 32477 33554432000 4194304 4196468 140723761359712 139993119824144 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21338] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21338/stat : 21338 (java) S 21331 21331 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512166439 27969658880 32477 33554432000 4194304 4196468 140723761359712 139993118771856 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21339] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21339/stat : 21339 (java) S 21331 21331 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512166439 27969658880 32477 33554432000 4194304 4196468 140723761359712 139992717228560 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21340] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21340/stat : 21340 (java) S 21331 21331 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512166439 27969658880 32477 33554432000 4194304 4196468 140723761359712 139992716176272 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21341] ppid=21331 vsize=27314120 memory=140298328042159 CPUtime=0 cores=0-7
/proc/21334/task/21341/stat : 21341 (java) S 21331 21331 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512166439 27969658880 32477 33554432000 4194304 4196468 140723761359712 139992715123472 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21342] ppid=21331 vsize=27314120 memory=140298328044464 CPUtime=0 cores=0-7
/proc/21334/task/21342/stat : 21342 (java) S 21331 21331 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512166439 27969658880 32477 33554432000 4194304 4196468 140723761359712 139992714071184 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21343] ppid=21331 vsize=27314120 memory=140298328046768 CPUtime=0 cores=0-7
/proc/21334/task/21343/stat : 21343 (java) S 21331 21331 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512166439 27969658880 32477 33554432000 4194304 4196468 140723761359712 139992713018384 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21344] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21344/stat : 21344 (java) S 21331 21331 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512166440 27969658880 32477 33554432000 4194304 4196468 140723761359712 139992154658928 139993297504898 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21345] ppid=21331 vsize=27314120 memory=280596656107408 CPUtime=0 cores=0-7
/proc/21334/task/21345/stat : 21345 (java) S 21331 21331 20811 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512166441 27969658880 32477 33554432000 4194304 4196468 140723761359712 139991237780256 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21346] ppid=21331 vsize=27314120 memory=280596656105104 CPUtime=0 cores=0-7
/proc/21334/task/21346/stat : 21346 (java) S 21331 21331 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512166441 27969658880 32477 33554432000 4194304 4196468 140723761359712 139990969345136 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21347] ppid=21331 vsize=27314120 memory=280596656112016 CPUtime=0 cores=0-7
/proc/21334/task/21347/stat : 21347 (java) S 21331 21331 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512166444 27969658880 32477 33554432000 4194304 4196468 140723761359712 139990594836560 139993297512347 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21348] ppid=21331 vsize=27314120 memory=280596656053264 CPUtime=0.01 cores=0-7
/proc/21334/task/21348/stat : 21348 (java) S 21331 21331 20811 0 -1 1077944384 487 0 0 0 1 0 0 0 20 0 20 0 512166444 27969658880 32477 33554432000 4194304 4196468 140723761359712 139992153606768 139993297504898 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21349] ppid=21331 vsize=27314120 memory=280596656125840 CPUtime=0.01 cores=0-7
/proc/21334/task/21349/stat : 21349 (java) S 21331 21331 20811 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 512166444 27969658880 32477 33554432000 4194304 4196468 140723761359712 139992152553968 139993297504898 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21350] ppid=21331 vsize=27314120 memory=280596656132752 CPUtime=0.01 cores=0-7
/proc/21334/task/21350/stat : 21350 (java) S 21331 21331 20811 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 20 0 512166444 27969658880 32477 33554432000 4194304 4196468 140723761359712 139992151501680 139993297504898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21351] ppid=21331 vsize=27314120 memory=280596656130448 CPUtime=0.07 cores=0-7
/proc/21334/task/21351/stat : 21351 (java) S 21331 21331 20811 0 -1 1077944384 461 0 0 0 7 0 0 0 20 0 20 0 512166444 27969658880 32477 33554432000 4194304 4196468 140723761359712 139992150448880 139993297504898 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21352] ppid=21331 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21352/stat : 21352 (java) S 21331 21331 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512166444 27969658880 32477 33554432000 4194304 4196468 140723761359712 139990096931168 139993297503957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21353] ppid=21331 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21334/task/21353/stat : 21353 (java) S 21331 21331 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512166444 27969658880 32477 33554432000 4194304 4196468 140723761359712 139992149395760 139993297504898 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131304 KiB

[startup+0.70087 s]
/proc/loadavg: 6.73 6.90 6.50 2/212 21353
/proc/meminfo: memFree=25616712/32770624 swapFree=66992456/67108860
[pid=21331] ppid=21328 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21331/stat : 21331 (scop.sh) S 21328 21331 20811 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512166436 115843072 349 33554432000 4194304 5098028 140725691161104 140725691158360 139761143186044 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28753920 140725691163388 140725691163736 140725691163736 140725691166665 0
/proc/21331/statm: 28282 349 296 221 0 87 0
[pid=21334] ppid=21331 vsize=27320392 memory=167108 CPUtime=0.98 cores=0-7
/proc/21334/stat : 21334 (java) S 21331 21331 20811 0 -1 1077944320 19841 0 0 0 92 6 0 0 20 0 20 0 512166436 27976081408 41777 33554432000 4194304 4196468 140723761359712 140723761342256 139993297493751 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
/proc/21334/statm: 6830098 41777 3192 1 0 6791447 0
[pid=21334/tid=21335] ppid=21331 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/21334/task/21335/stat : 21335 (java) R 21331 21331 20811 0 -1 4202560 16864 0 0 0 62 5 0 0 20 0 20 0 512166436 27976081408 41777 33554432000 4194304 4196468 140723761359712 139993269331568 139992798177391 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21336] ppid=21331 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21336/stat : 21336 (java) S 21331 21331 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512166439 27976081408 41777 33554432000 4194304 4196468 140723761359712 139993301735824 139993297503957 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21337] ppid=21331 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21337/stat : 21337 (java) S 21331 21331 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512166439 27976081408 41777 33554432000 4194304 4196468 140723761359712 139993119824144 139993297503957 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0
[pid=21334/tid=21338] ppid=21331 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21338/stat : 21338 (java) S 21331 21331 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512166439 27976081408 41777 33554432000 4194304 4196468 140723761359712 139993118771856 139993297503957 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13950976 140723761361606 140723761362054 140723761362054 140723761364943 0

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

[pid=21357/tid=21358] ppid=21331 vsize=8414124 memory=0 CPUtime=0.76 cores=0-7
/proc/21357/task/21358/stat : 21358 (java) S 21331 21331 20811 0 -1 1077944384 16910 0 0 0 70 6 0 0 20 0 24 0 512170421 8616062976 31281 33554432000 4194304 4196468 140728027285712 140180566536096 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21359] ppid=21331 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21357/task/21359/stat : 21359 (java) S 21331 21331 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512170422 8616062976 31281 33554432000 4194304 4196468 140728027285712 140180598938128 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21360] ppid=21331 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21357/task/21360/stat : 21360 (java) S 21331 21331 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512170422 8616062976 31281 33554432000 4194304 4196468 140728027285712 140180419234448 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21361] ppid=21331 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21357/task/21361/stat : 21361 (java) S 21331 21331 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512170422 8616062976 31281 33554432000 4194304 4196468 140728027285712 140180078774544 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21362] ppid=21331 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21357/task/21362/stat : 21362 (java) S 21331 21331 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512170422 8616062976 31281 33554432000 4194304 4196468 140728027285712 140180077722000 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21363] ppid=21331 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/21357/task/21363/stat : 21363 (java) S 21331 21331 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512170422 8616062976 31281 33554432000 4194304 4196468 140728027285712 140180076669968 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21364] ppid=21331 vsize=8414124 memory=119932 CPUtime=0 cores=0-7
/proc/21357/task/21364/stat : 21364 (java) S 21331 21331 20811 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512170422 8616062976 31281 33554432000 4194304 4196468 140728027285712 140180075617424 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21365] ppid=21331 vsize=8414124 memory=4861012 CPUtime=0 cores=0-7
/proc/21357/task/21365/stat : 21365 (java) S 21331 21331 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512170422 8616062976 31281 33554432000 4194304 4196468 140728027285712 140180074564368 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21366] ppid=21331 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/21357/task/21366/stat : 21366 (java) S 21331 21331 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512170422 8616062976 31281 33554432000 4194304 4196468 140728027285712 140180073511824 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21367] ppid=21331 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/21357/task/21367/stat : 21367 (java) S 21331 21331 20811 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512170424 8616062976 31281 33554432000 4194304 4196468 140728027285712 140180023781616 140180594707074 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21368] ppid=21331 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/21357/task/21368/stat : 21368 (java) S 21331 21331 20811 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512170424 8616062976 31281 33554432000 4194304 4196468 140728027285712 140179008382112 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21369] ppid=21331 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/21357/task/21369/stat : 21369 (java) S 21331 21331 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512170425 8616062976 31281 33554432000 4194304 4196468 140728027285712 140178739946224 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21370] ppid=21331 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/21357/task/21370/stat : 21370 (java) S 21331 21331 20811 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512170427 8616062976 31281 33554432000 4194304 4196468 140728027285712 140178365437904 140180594714523 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21371] ppid=21331 vsize=8414124 memory=4136 CPUtime=0.07 cores=0-7
/proc/21357/task/21371/stat : 21371 (java) S 21331 21331 20811 0 -1 1077944384 660 0 0 0 7 0 0 0 20 0 24 0 512170427 8616062976 31281 33554432000 4194304 4196468 140728027285712 140180022729456 140180594707074 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21372] ppid=21331 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/21357/task/21372/stat : 21372 (java) S 21331 21331 20811 0 -1 1077944384 366 0 0 0 6 0 0 0 20 0 24 0 512170427 8616062976 31281 33554432000 4194304 4196468 140728027285712 140180021676912 140180594707074 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21373] ppid=21331 vsize=8414124 memory=119932 CPUtime=0.07 cores=0-7
/proc/21357/task/21373/stat : 21373 (java) R 21331 21331 20811 0 -1 4202560 449 0 0 0 7 0 0 0 20 0 24 0 512170427 8616062976 31281 33554432000 4194304 4196468 140728027285712 140180020609272 140180576242652 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21374] ppid=21331 vsize=8414124 memory=2477836 CPUtime=0.23 cores=0-7
/proc/21357/task/21374/stat : 21374 (java) R 21331 21331 20811 0 -1 4202560 1021 0 0 0 23 0 0 0 20 0 24 0 512170427 8616062976 31281 33554432000 4194304 4196468 140728027285712 140180019568184 140180573662130 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21375] ppid=21331 vsize=8414124 memory=1404238533774450294 CPUtime=0 cores=0-7
/proc/21357/task/21375/stat : 21375 (java) S 21331 21331 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512170427 8616062976 31281 33554432000 4194304 4196468 140728027285712 140177867532768 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21376] ppid=21331 vsize=8414124 memory=8247907794334132811 CPUtime=0 cores=0-7
/proc/21357/task/21376/stat : 21376 (java) S 21331 21331 20811 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512170428 8616062976 31281 33554432000 4194304 4196468 140728027285712 140180018518704 140180594707074 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21378] ppid=21331 vsize=8414124 memory=-8253362664378451598 CPUtime=0 cores=0-7
/proc/21357/task/21378/stat : 21378 (java) S 21331 21331 20811 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512170494 8616062976 31281 33554432000 4194304 4196468 140728027285712 140180016907200 140180594720537 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21380] ppid=21331 vsize=8414124 memory=1404238533774188662 CPUtime=0.03 cores=0-7
/proc/21357/task/21380/stat : 21380 (java) R 21331 21331 20811 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 24 0 512170494 8616062976 31281 33554432000 4194304 4196468 140728027285712 140177196433392 140180587398407 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21381] ppid=21331 vsize=8414124 memory=8326441112149131687 CPUtime=0 cores=0-7
/proc/21357/task/21381/stat : 21381 (java) S 21331 21331 20811 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 512170494 8616062976 31281 33554432000 4194304 4196468 140728027285712 140177464869008 140180594717853 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21382] ppid=21331 vsize=8414124 memory=8027785509644887146 CPUtime=0 cores=0-7
/proc/21357/task/21382/stat : 21382 (java) S 21331 21331 20811 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 512170496 8616062976 31281 33554432000 4194304 4196468 140728027285712 140176928005552 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 14075652 KiB
Current children cumulated memory: 4992792 KiB

[startup+50.601 s]
/proc/loadavg: 3.93 6.09 6.24 6/222 21392
/proc/meminfo: memFree=20611624/32770624 swapFree=66992456/67108860
[pid=21331] ppid=21328 vsize=113128 memory=1476 CPUtime=57.52 cores=0-7
/proc/21331/stat : 21331 (scop.sh) S 21328 21331 20811 0 -1 4202496 583 49045 0 0 0 0 5520 232 20 0 1 0 512166436 115843072 369 33554432000 4194304 5098028 140725691161104 140725691157848 139761143186044 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28753920 140725691163388 140725691163736 140725691163736 140725691166665 0
/proc/21331/statm: 28282 369 311 221 0 87 0
[pid=21357] ppid=21331 vsize=8283048 memory=143208 CPUtime=44.88 cores=0-7
/proc/21357/stat : 21357 (java) S 21331 21331 20811 0 -1 1077944320 21696 1381702 0 0 140 9 3889 450 20 0 22 0 512170421 8481841152 35802 33554432000 4194304 4196468 140728027285712 140728027268256 140180594695927 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
/proc/21357/statm: 2070762 35802 3224 1 0 2032106 0
[pid=21357/tid=21358] ppid=21331 vsize=8283048 memory=8324806709987212174 CPUtime=44.18 cores=0-7
/proc/21357/task/21358/stat : 21358 (java) R 21331 21331 20811 0 -1 4202560 17045 1381702 0 0 73 6 3889 450 20 0 22 0 512170421 8481841152 35802 33554432000 4194304 4196468 140728027285712 140180566489104 140180594717853 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21359] ppid=21331 vsize=8283048 memory=6226344589618472806 CPUtime=43.39 cores=0-7
/proc/21357/task/21359/stat : 21359 (java) S 21331 21331 20811 0 -1 1077944384 2 1381702 0 0 0 0 3889 450 20 0 22 0 512170422 8481841152 35802 33554432000 4194304 4196468 140728027285712 140180598938128 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21360] ppid=21331 vsize=8283048 memory=7301576818759985260 CPUtime=43.39 cores=0-7
/proc/21357/task/21360/stat : 21360 (java) S 21331 21331 20811 0 -1 1077944384 1 1381702 0 0 0 0 3889 450 20 0 22 0 512170422 8481841152 35802 33554432000 4194304 4196468 140728027285712 140180419234448 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21361] ppid=21331 vsize=8283048 memory=7594009511172728672 CPUtime=43.39 cores=0-7
/proc/21357/task/21361/stat : 21361 (java) S 21331 21331 20811 0 -1 1077944384 2 1381702 0 0 0 0 3889 450 20 0 22 0 512170422 8481841152 35802 33554432000 4194304 4196468 140728027285712 140180078774544 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21362] ppid=21331 vsize=8283048 memory=7305499867691444838 CPUtime=43.39 cores=0-7
/proc/21357/task/21362/stat : 21362 (java) S 21331 21331 20811 0 -1 1077944384 2 1381702 0 0 0 0 3889 450 20 0 22 0 512170422 8481841152 35802 33554432000 4194304 4196468 140728027285712 140180077722000 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21363] ppid=21331 vsize=8283048 memory=0 CPUtime=43.39 cores=0-7
/proc/21357/task/21363/stat : 21363 (java) S 21331 21331 20811 0 -1 1077944384 2 1381702 0 0 0 0 3889 450 20 0 22 0 512170422 8481841152 35802 33554432000 4194304 4196468 140728027285712 140180076669968 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21364] ppid=21331 vsize=8283048 memory=4862156 CPUtime=43.39 cores=0-7
/proc/21357/task/21364/stat : 21364 (java) S 21331 21331 20811 0 -1 1077944384 2 1381702 0 0 0 0 3889 450 20 0 22 0 512170422 8481841152 35802 33554432000 4194304 4196468 140728027285712 140180075617424 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21365] ppid=21331 vsize=8283048 memory=1476 CPUtime=43.39 cores=0-7
/proc/21357/task/21365/stat : 21365 (java) S 21331 21331 20811 0 -1 1077944384 3 1381702 0 0 0 0 3889 450 20 0 22 0 512170422 8481841152 35802 33554432000 4194304 4196468 140728027285712 140180074564368 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21366] ppid=21331 vsize=8283048 memory=119932 CPUtime=43.39 cores=0-7
/proc/21357/task/21366/stat : 21366 (java) S 21331 21331 20811 0 -1 1077944384 1 1381702 0 0 0 0 3889 450 20 0 22 0 512170422 8481841152 35802 33554432000 4194304 4196468 140728027285712 140180073511824 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21367] ppid=21331 vsize=8283048 memory=4854688 CPUtime=43.39 cores=0-7
/proc/21357/task/21367/stat : 21367 (java) S 21331 21331 20811 0 -1 1077944384 5 1381702 0 0 0 0 3889 450 20 0 22 0 512170424 8481841152 35802 33554432000 4194304 4196468 140728027285712 140180023781616 140180594707074 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21368] ppid=21331 vsize=8283048 memory=0 CPUtime=43.39 cores=0-7
/proc/21357/task/21368/stat : 21368 (java) S 21331 21331 20811 0 -1 1077944384 13 1381702 0 0 0 0 3889 450 20 0 22 0 512170424 8481841152 35802 33554432000 4194304 4196468 140728027285712 140179008382112 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21369] ppid=21331 vsize=8283048 memory=0 CPUtime=43.39 cores=0-7
/proc/21357/task/21369/stat : 21369 (java) S 21331 21331 20811 0 -1 1077944384 1 1381702 0 0 0 0 3889 450 20 0 22 0 512170425 8481841152 35802 33554432000 4194304 4196468 140728027285712 140178739946224 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21370] ppid=21331 vsize=8283048 memory=0 CPUtime=43.39 cores=0-7
/proc/21357/task/21370/stat : 21370 (java) S 21331 21331 20811 0 -1 1077944384 1 1381702 0 0 0 0 3889 450 20 0 22 0 512170427 8481841152 35802 33554432000 4194304 4196468 140728027285712 140178365437904 140180594714523 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21371] ppid=21331 vsize=8283048 memory=0 CPUtime=43.48 cores=0-7
/proc/21357/task/21371/stat : 21371 (java) S 21331 21331 20811 0 -1 1077944384 671 1381702 0 0 9 0 3889 450 20 0 22 0 512170427 8481841152 35802 33554432000 4194304 4196468 140728027285712 140180022729456 140180594707074 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21372] ppid=21331 vsize=8283048 memory=0 CPUtime=43.49 cores=0-7
/proc/21357/task/21372/stat : 21372 (java) S 21331 21331 20811 0 -1 1077944384 402 1381702 0 0 10 0 3889 450 20 0 22 0 512170427 8481841152 35802 33554432000 4194304 4196468 140728027285712 140180021676912 140180594707074 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21373] ppid=21331 vsize=8283048 memory=0 CPUtime=43.49 cores=0-7
/proc/21357/task/21373/stat : 21373 (java) S 21331 21331 20811 0 -1 1077944384 494 1381702 0 0 10 0 3889 450 20 0 22 0 512170427 8481841152 35802 33554432000 4194304 4196468 140728027285712 140180020623856 140180594707074 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21374] ppid=21331 vsize=8283048 memory=0 CPUtime=43.65 cores=0-7
/proc/21357/task/21374/stat : 21374 (java) S 21331 21331 20811 0 -1 1077944384 1106 1381702 0 0 26 0 3889 450 20 0 22 0 512170427 8481841152 35802 33554432000 4194304 4196468 140728027285712 140180019571312 140180594707074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21375] ppid=21331 vsize=8283048 memory=0 CPUtime=43.39 cores=0-7
/proc/21357/task/21375/stat : 21375 (java) S 21331 21331 20811 0 -1 1077944384 3 1381702 0 0 0 0 3889 450 20 0 22 0 512170427 8481841152 35802 33554432000 4194304 4196468 140728027285712 140177867532768 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21376] ppid=21331 vsize=8283048 memory=0 CPUtime=43.39 cores=0-7
/proc/21357/task/21376/stat : 21376 (java) S 21331 21331 20811 0 -1 1077944384 3 1381702 0 0 0 0 3889 450 20 0 22 0 512170428 8481841152 35802 33554432000 4194304 4196468 140728027285712 140180018518704 140180594707074 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21378] ppid=21331 vsize=8283048 memory=0 CPUtime=43.39 cores=0-7
/proc/21357/task/21378/stat : 21378 (java) S 21331 21331 20811 0 -1 1077944384 25 1381702 0 0 0 0 3889 450 20 0 22 0 512170494 8481841152 35802 33554432000 4194304 4196468 140728027285712 140180016906384 140180594707074 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21382] ppid=21331 vsize=8283048 memory=0 CPUtime=43.39 cores=0-7
/proc/21357/task/21382/stat : 21382 (java) S 21331 21331 20811 0 -1 1077944384 13 1381702 0 0 0 0 3889 450 20 0 22 0 512170496 8481841152 35802 33554432000 4194304 4196468 140728027285712 140176928007344 140180594707074 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
Current children cumulated CPU time: 102.4 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 144684 KiB

[startup+50.701 s]
/proc/loadavg: 3.93 6.09 6.24 6/222 21392
/proc/meminfo: memFree=20611624/32770624 swapFree=66992456/67108860
[pid=21331] ppid=21328 vsize=113128 memory=1476 CPUtime=57.52 cores=0-7
/proc/21331/stat : 21331 (scop.sh) S 21328 21331 20811 0 -1 4202496 583 49045 0 0 0 0 5520 232 20 0 1 0 512166436 115843072 369 33554432000 4194304 5098028 140725691161104 140725691157848 139761143186044 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28753920 140725691163388 140725691163736 140725691163736 140725691166665 0
/proc/21331/statm: 28282 369 311 221 0 87 0
[pid=21357] ppid=21331 vsize=8283048 memory=149044 CPUtime=45.14 cores=0-7
/proc/21357/stat : 21357 (java) S 21331 21331 20811 0 -1 1077944320 22085 1381702 0 0 166 9 3889 450 20 0 22 0 512170421 8481841152 37261 33554432000 4194304 4196468 140728027285712 140728027268256 140180594695927 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
/proc/21357/statm: 2070762 37261 3228 1 0 2032106 0
[pid=21357/tid=21358] ppid=21331 vsize=8283048 memory=1476 CPUtime=44.28 cores=0-7
/proc/21357/task/21358/stat : 21358 (java) R 21331 21331 20811 0 -1 4202560 17183 1381702 0 0 83 6 3889 450 20 0 22 0 512170421 8481841152 37261 33554432000 4194304 4196468 140728027285712 140180566534128 140180594707862 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21359] ppid=21331 vsize=8283048 memory=142660 CPUtime=43.39 cores=0-7
/proc/21357/task/21359/stat : 21359 (java) S 21331 21331 20811 0 -1 1077944384 2 1381702 0 0 0 0 3889 450 20 0 22 0 512170422 8481841152 37261 33554432000 4194304 4196468 140728027285712 140180598938128 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21360] ppid=21331 vsize=8283048 memory=1476 CPUtime=43.39 cores=0-7
/proc/21357/task/21360/stat : 21360 (java) S 21331 21331 20811 0 -1 1077944384 1 1381702 0 0 0 0 3889 450 20 0 22 0 512170422 8481841152 37261 33554432000 4194304 4196468 140728027285712 140180419234448 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21361] ppid=21331 vsize=8283048 memory=1476 CPUtime=43.39 cores=0-7
/proc/21357/task/21361/stat : 21361 (java) S 21331 21331 20811 0 -1 1077944384 2 1381702 0 0 0 0 3889 450 20 0 22 0 512170422 8481841152 37261 33554432000 4194304 4196468 140728027285712 140180078774544 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21362] ppid=21331 vsize=8283048 memory=1324 CPUtime=43.39 cores=0-7
/proc/21357/task/21362/stat : 21362 (java) S 21331 21331 20811 0 -1 1077944384 2 1381702 0 0 0 0 3889 450 20 0 22 0 512170422 8481841152 37261 33554432000 4194304 4196468 140728027285712 140180077722000 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21363] ppid=21331 vsize=8283048 memory=780 CPUtime=43.39 cores=0-7
/proc/21357/task/21363/stat : 21363 (java) S 21331 21331 20811 0 -1 1077944384 2 1381702 0 0 0 0 3889 450 20 0 22 0 512170422 8481841152 37261 33554432000 4194304 4196468 140728027285712 140180076669968 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21364] ppid=21331 vsize=8283048 memory=984 CPUtime=43.39 cores=0-7
/proc/21357/task/21364/stat : 21364 (java) S 21331 21331 20811 0 -1 1077944384 2 1381702 0 0 0 0 3889 450 20 0 22 0 512170422 8481841152 37261 33554432000 4194304 4196468 140728027285712 140180075617424 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21365] ppid=21331 vsize=8283048 memory=3620 CPUtime=43.39 cores=0-7
/proc/21357/task/21365/stat : 21365 (java) S 21331 21331 20811 0 -1 1077944384 3 1381702 0 0 0 0 3889 450 20 0 22 0 512170422 8481841152 37261 33554432000 4194304 4196468 140728027285712 140180074564368 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21366] ppid=21331 vsize=8283048 memory=4865476 CPUtime=43.39 cores=0-7
/proc/21357/task/21366/stat : 21366 (java) S 21331 21331 20811 0 -1 1077944384 1 1381702 0 0 0 0 3889 450 20 0 22 0 512170422 8481841152 37261 33554432000 4194304 4196468 140728027285712 140180073511824 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21367] ppid=21331 vsize=8283048 memory=21236 CPUtime=43.39 cores=0-7
/proc/21357/task/21367/stat : 21367 (java) S 21331 21331 20811 0 -1 1077944384 5 1381702 0 0 0 0 3889 450 20 0 22 0 512170424 8481841152 37261 33554432000 4194304 4196468 140728027285712 140180023781616 140180594707074 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21368] ppid=21331 vsize=8283048 memory=0 CPUtime=43.39 cores=0-7
/proc/21357/task/21368/stat : 21368 (java) S 21331 21331 20811 0 -1 1077944384 13 1381702 0 0 0 0 3889 450 20 0 22 0 512170424 8481841152 37261 33554432000 4194304 4196468 140728027285712 140179008382112 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21369] ppid=21331 vsize=8283048 memory=8940608846612819040 CPUtime=43.39 cores=0-7
/proc/21357/task/21369/stat : 21369 (java) S 21331 21331 20811 0 -1 1077944384 1 1381702 0 0 0 0 3889 450 20 0 22 0 512170425 8481841152 37261 33554432000 4194304 4196468 140728027285712 140178739946224 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21370] ppid=21331 vsize=8283048 memory=804 CPUtime=43.39 cores=0-7
/proc/21357/task/21370/stat : 21370 (java) S 21331 21331 20811 0 -1 1077944384 1 1381702 0 0 0 0 3889 450 20 0 22 0 512170427 8481841152 37261 33554432000 4194304 4196468 140728027285712 140178365437904 140180594714523 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21371] ppid=21331 vsize=8283048 memory=4104 CPUtime=43.52 cores=0-7
/proc/21357/task/21371/stat : 21371 (java) S 21331 21331 20811 0 -1 1077944384 741 1381702 0 0 13 0 3889 450 20 0 22 0 512170427 8481841152 37261 33554432000 4194304 4196468 140728027285712 140180022729456 140180594707074 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21372] ppid=21331 vsize=8283048 memory=1396 CPUtime=43.53 cores=0-7
/proc/21357/task/21372/stat : 21372 (java) R 21331 21331 20811 0 -1 4202560 430 1381702 0 0 14 0 3889 450 20 0 22 0 512170427 8481841152 37261 33554432000 4194304 4196468 140728027285712 140180021656272 140180574188801 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21373] ppid=21331 vsize=8283048 memory=0 CPUtime=43.51 cores=0-7
/proc/21357/task/21373/stat : 21373 (java) S 21331 21331 20811 0 -1 1077944384 510 1381702 0 0 12 0 3889 450 20 0 22 0 512170427 8481841152 37261 33554432000 4194304 4196468 140728027285712 140180020623856 140180594707074 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21374] ppid=21331 vsize=8283048 memory=1476 CPUtime=43.7 cores=0-7
/proc/21357/task/21374/stat : 21374 (java) R 21331 21331 20811 0 -1 4202560 1245 1381702 0 0 31 0 3889 450 20 0 22 0 512170427 8481841152 37261 33554432000 4194304 4196468 140728027285712 140180019571312 140180574128992 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21375] ppid=21331 vsize=8283048 memory=119932 CPUtime=43.39 cores=0-7
/proc/21357/task/21375/stat : 21375 (java) S 21331 21331 20811 0 -1 1077944384 3 1381702 0 0 0 0 3889 450 20 0 22 0 512170427 8481841152 37261 33554432000 4194304 4196468 140728027285712 140177867532768 140180594706133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21376] ppid=21331 vsize=8283048 memory=3784 CPUtime=43.39 cores=0-7
/proc/21357/task/21376/stat : 21376 (java) S 21331 21331 20811 0 -1 1077944384 3 1381702 0 0 0 0 3889 450 20 0 22 0 512170428 8481841152 37261 33554432000 4194304 4196468 140728027285712 140180018518704 140180594707074 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21378] ppid=21331 vsize=8283048 memory=1440 CPUtime=43.39 cores=0-7
/proc/21357/task/21378/stat : 21378 (java) S 21331 21331 20811 0 -1 1077944384 25 1381702 0 0 0 0 3889 450 20 0 22 0 512170494 8481841152 37261 33554432000 4194304 4196468 140728027285712 140180016906384 140180594707074 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
[pid=21357/tid=21382] ppid=21331 vsize=8283048 memory=904 CPUtime=43.39 cores=0-7
/proc/21357/task/21382/stat : 21382 (java) S 21331 21331 20811 0 -1 1077944384 13 1381702 0 0 0 0 3889 450 20 0 22 0 512170496 8481841152 37261 33554432000 4194304 4196468 140728027285712 140176928007344 140180594707074 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26595328 140728027288543 140728027288710 140728027288710 140728027291599 0
Current children cumulated CPU time: 102.66 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 150520 KiB

Child status: 0
Real time (s): 50.7647
CPU time (s): 102.793
CPU user time (s): 95.8222
CPU system time (s): 6.97089
CPU usage (%): 202.489
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6288244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 95.8222
system time used= 6.97089
maximum resident set size= 6287036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1454646
page faults= 0
swaps= 0
block input operations= 24
block output operations= 326136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151532
involuntary context switches= 267


# summary of solver processes directly reported to runsolver:
#   pid: 21331
#   total CPU time (s): 102.793
#   total CPU user time (s): 95.8222
#   total CPU system time (s): 6.97089

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.394538 second user time and 0.547255 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-24 23:03:16
IDJOB=4405462
IDBENCH=138789
IDSOLVER=2868
FILE ID=node121/4405462-1569359039
RUNJOBID= node121-1569357356-20838
PBS_JOBID= 21705107
Free space on /var/tmp= 13512 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Queens/Queens-m1-s1/Queens-0150-m1.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-4405462-1569359039/watcher-4405462-1569359039 -o /var/tmp/evaluation-result-4405462-1569359039/solver-4405462-1569359039 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569357356-20838 --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-4405462-1569359039.xml

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

MD5SUM BENCH= 87bfaaaf5fd3b270ee1dec703898481f
RANDOM SEED=90068710

node121.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.75
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.75
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.75
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.75
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:        25755872 kB
MemAvailable:   31846232 kB
Buffers:          152328 kB
Cached:          6028272 kB
SwapCached:         4600 kB
Active:          3064976 kB
Inactive:        3124836 kB
Active(anon):       2180 kB
Inactive(anon):    56820 kB
Active(file):    3062796 kB
Inactive(file):  3068016 kB
Unevictable:      109592 kB
Mlocked:          109592 kB
SwapTotal:      67108860 kB
SwapFree:       66992456 kB
Dirty:             20996 kB
Writeback:             0 kB
AnonPages:        462568 kB
Mapped:            53180 kB
Shmem:             41144 kB
Slab:             417196 kB
SReclaimable:     388008 kB
SUnreclaim:        29188 kB
KernelStack:        3760 kB
PageTables:         5528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    417792 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /var/tmp at the end= 13488 MiB
End job on node121 at 2019-09-24 23:04:07