Trace number 4392302

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)SAT 101.662 51.0565

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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-12255-serial-file.bin HOME/instance-4392302-1568442682.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 08:30:42 CEST 2019
0.66/0.57	c PID: 12258
0.66/0.57	c IP: 172.20.3.143
0.66/0.57	c HOST: node143.alineos.net
0.66/0.57	c (0,0) Parsing Begin
6.41/2.14	c (1,1) Parsing End
6.41/2.14	c (1,1) CSP: 150 int (0 aux), 0 bool (0 aux), 11176 ctr, max domain size 150
6.41/2.15	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
6.41/2.15	c (1,1) Constraint Name Generate Begin
6.80/2.22	c (1,1) Ctr:HOME/instance-4392302-1568442682.xml,AllDifferent:Dist:Ne:Num:Var
6.80/2.22	c (1,1) Constraint Name Generate End
6.80/2.22	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
6.80/2.22	c (1,1) CSP to CSPinCNF Begin
10.84/3.47	c (2,2) translated 1118 (10%) constraints
11.38/3.67	c (3,3) translated 2236 (20%) constraints
11.79/3.87	c (3,3) translated 3353 (30%) constraints
12.07/4.05	c (3,3) translated 4471 (40%) constraints
12.37/4.24	c (3,3) translated 5588 (50%) constraints
12.78/4.42	c (3,3) translated 6706 (60%) constraints
12.92/4.59	c (4,4) translated 7824 (70%) constraints
13.14/4.75	c (4,4) translated 8941 (80%) constraints
13.34/4.92	c (4,4) translated 10059 (90%) constraints
13.54/5.40	c (4,4) translated 11176 (100%) constraints
13.54/5.40	c (4,4) ===========================================
13.54/5.40	c (4,4) Order
13.54/5.40	c (4,4) ===========================================
13.87/5.59	c (5,4) translated 4486 (10%) constraints
14.51/5.72	c (5,4) translated 8971 (20%) constraints
16.47/6.81	c (6,5) translated 13456 (30%) constraints
16.59/6.91	c (6,6) translated 17941 (40%) constraints
16.77/7.01	c (6,6) translated 22426 (50%) constraints
16.77/7.11	c (6,6) translated 26912 (60%) constraints
17.01/7.20	c (6,6) translated 31397 (70%) constraints
17.11/7.30	c (6,6) translated 35882 (80%) constraints
17.11/7.40	c (6,6) translated 40367 (90%) constraints
17.21/7.49	c (6,6) translated 44852 (100%) constraints
17.21/7.50	c (6,6) CSP to CSPinCNF End
17.32/7.52	c (6,6) CSP: 150 int (0 aux), 33675 bool (33675 aux), 89852 ctr, max domain size 150
17.32/7.52	c (6,6) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
17.32/7.52	c (6,6) CSPinCNF Propagation Begin
18.95/8.42	c (7,7) 1 values, 4 unsatisfiable literals, and 301 valid clauses are removed
18.95/8.42	c (7,7) CSPinCNF Propagation End
18.95/8.43	c (7,7) CSP: 150 int (0 aux), 33675 bool (33675 aux), 89551 ctr, max domain size 150
18.95/8.43	c (7,7) Heap : 2928 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
18.95/8.43	c (7,7) Simplify CSPinCNF Begin
21.12/9.26	c (8,8) Simplify CSPinCNF End
21.12/9.27	c (8,8) CSP: 150 int (0 aux), 78373 bool (78373 aux), 134249 ctr, max domain size 150
21.12/9.27	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
21.12/9.27	c (8,8) Calculate Precise Domain Begin
21.12/9.28	c (8,8) 0 values are removed by re-calculation
21.12/9.28	c (8,8) Calculate Precise Domain End
21.12/9.29	c (8,8) CSP: 150 int (0 aux), 78373 bool (78373 aux), 134249 ctr, max domain size 150
21.12/9.29	c (8,8) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
21.12/9.29	c (8,8) CSPinCNF to SatSolver Begin
30.33/15.30	c (14,14) 13425 (10 %) CSP clauses are encoded (0 SAT variables, 1369025 SAT clauses)
36.23/20.37	c (19,19) 26850 (20 %) CSP clauses are encoded (0 SAT variables, 2716000 SAT clauses)
38.73/22.89	c (22,21) 40275 (30 %) CSP clauses are encoded (0 SAT variables, 3392624 SAT clauses)
38.95/23.01	c (22,21) 53700 (40 %) CSP clauses are encoded (0 SAT variables, 3406049 SAT clauses)
39.05/23.12	c (22,21) 67125 (50 %) CSP clauses are encoded (0 SAT variables, 3419474 SAT clauses)
39.74/23.75	c (23,22) 80550 (60 %) CSP clauses are encoded (0 SAT variables, 3564991 SAT clauses)
43.58/27.07	c (26,25) 93975 (70 %) CSP clauses are encoded (0 SAT variables, 4443156 SAT clauses)
47.16/30.68	c (30,29) 107400 (80 %) CSP clauses are encoded (0 SAT variables, 5424929 SAT clauses)
51.78/34.85	c (34,33) 120825 (90 %) CSP clauses are encoded (0 SAT variables, 6552870 SAT clauses)
57.15/39.79	c (39,38) 134249 (100 %) CSP clauses are encoded (0 SAT variables, 7896850 SAT clauses)
57.15/39.79	c (39,38) CSPinCNF to SatSolver End
57.15/39.79	c (39,38) Heap : 3168 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
57.15/39.79	c (39,38) 100722 bool, 7896999 clause
57.15/39.79	c (39,38) Export Begin
57.26/39.89	c (39,38) Export to HOME/scop-12255-serial-file.bin
57.26/39.89	c (39,38) Export End
57.26/39.89	c (39,38) Export File Size: 0.03 MB
57.26/39.89	c (39,38) 1,1,6,7,8,8,39,STOP-AFTER(DIMACS)
57.26/39.89	c END-Prog: Sat Sep 14 08:31:21 CEST 2019
0.00/39.93	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-12255-serial-file.bin
58.08/40.40	c (0,0) Read Serial File Begin
58.08/40.40	c (0,0) HOME/scop-12255-serial-file.bin
58.38/40.62	c (0,0) Read Serial File End
58.38/40.63	
58.38/40.63	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
58.38/40.63	(Solving Process)
58.38/40.63	
58.38/40.65	c BEGIN-Prog: Sat Sep 14 08:31:22 CEST 2019
58.38/40.65	c PID: 12281
58.38/40.65	c IP: 172.20.3.143
58.38/40.65	c HOST: node143.alineos.net
58.38/40.66	c (0,0) SatSolver.solve Begin
58.38/40.66	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392302-1568442682.xml-scop-12258.cnf
58.38/40.68	c (0,0) c
58.38/40.68	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.38/40.68	c (0,0) c
58.38/40.68	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
58.38/40.68	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
58.38/40.68	c (0,0) c ========================================[ Problem Statistics ]===========================================
58.38/40.68	c (0,0) c |                                                                                                       |
61.06/43.15	c (2,0) c |  Number of variables:        100722                                                                   |
61.06/43.15	c (2,0) c |  Number of clauses:         7896999                                                                   |
61.06/43.15	c (2,0) c |  Parse time:                   2.23 s                                                                 |
61.06/43.15	c (2,0) c |                                                                                                       |
61.56/43.61	c (3,0) c | Too many clauses... No preprocessing                                                                  |
61.56/43.61	c (3,0) c |  Simplification time:          0.41 s                                                                 |
61.56/43.61	c (3,0) c |                                                                                                       |
61.56/43.61	c (3,0) c |  Generating clones                                                                                    |
62.86/44.97	c (4,0) c |  all clones generated. Memory =  4362.35Mb.                                                           |
62.86/44.97	c (4,0) c ========================================================================================================|
62.86/44.97	c (4,0) c
62.86/44.97	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
62.86/44.97	c (4,0) c
62.86/44.97	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.86/44.97	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
62.86/44.97	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
62.86/44.97	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
62.86/44.97	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
62.86/44.97	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
62.86/44.97	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
62.86/44.97	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
62.86/44.97	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
62.86/44.97	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
62.86/44.97	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
62.86/44.97	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
62.86/44.97	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
62.86/44.97	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
62.86/44.97	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
62.86/44.97	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
62.86/44.97	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
62.86/44.97	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
62.86/44.97	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
100.69/50.65	c (10,0) c
100.69/50.65	c (10,0) c real time : 9.97485 s
100.69/50.65	c (10,0) c cpu time  : 37.6415 s
100.69/50.65	c (10,0) c
100.69/50.65	c (10,0) c
100.69/50.65	c (10,0) c
100.69/50.65	c (10,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
100.69/50.65	c (10,0) c
100.69/50.65	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
100.69/50.66	c (10,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
100.69/50.66	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
100.69/50.66	c (10,0) c | Conflicts     |            5984 |        840 |        678 |        875 |        674 |        748 |        727 |        699 |        743 |
100.69/50.66	c (10,0) c | Decisions     |          102040 |      36096 |       9715 |       8750 |       6651 |      10409 |      12540 |       8572 |       9307 |
100.69/50.66	c (10,0) c | Propagations  |        23277989 |    2498560 |    2871784 |    3194123 |    2622809 |    3231372 |    3372036 |    2587477 |    2899828 |
100.69/50.66	c (10,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
100.69/50.66	c (10,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
100.69/50.66	c (10,0) c | Restarts      |              98 |          8 |         12 |         13 |         11 |         15 |         11 |         13 |         15 |
100.69/50.66	c (10,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
100.69/50.66	c (10,0) c | PropBinClauses|        27451440 |    2773136 |    3268399 |    3970541 |    3484324 |    3718888 |    3893181 |    3018016 |    3324955 |
100.69/50.66	c (10,0) c | PropPreBlocker|      1401818772 |  141336791 |  170469190 |  199298460 |  176426615 |  190918484 |  195555873 |  153591664 |  174221695 |
100.69/50.66	c (10,0) c | PropNotBlocker|       177316863 |   23076670 |   21468694 |   22048802 |   20360740 |   23995245 |   22086324 |   20816632 |   23463756 |
100.69/50.66	c (10,0) c | LitFullScans  |      1634176650 |  170058341 |  198072514 |  230277020 |  204040260 |  222024989 |  225462899 |  180185412 |  204055215 |
100.69/50.66	c (10,0) c | LitScanFracts |          171504 |      17294 |      19996 |      21307 |      19921 |      21084 |      22580 |      23407 |      25915 |
100.69/50.66	c (10,0) c | DecisionLevel0|             100 |          8 |         12 |         13 |         11 |         17 |         11 |         13 |         15 |
100.69/50.66	c (10,0) c | Periods       |             271 |         28 |         33 |         38 |         34 |         37 |         37 |         30 |         34 |
100.69/50.66	c (10,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
100.69/50.66	c (10,0) c | Avg_Trail     |                 |      66926 |      73768 |      77205 |      77629 |      78815 |      75087 |      64085 |      76296 |
100.69/50.66	c (10,0) c | Avg_DL        |                 |        919 |        270 |        231 |        246 |        295 |        328 |        248 |        276 |
100.69/50.66	c (10,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
100.69/50.66	c (10,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
100.69/50.66	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
100.69/50.66	c (10,0) c | Exported      |              99 |         33 |         10 |         10 |         14 |         11 |          5 |          9 |          7 |
100.69/50.66	c (10,0) c | Imported      |             625 |         52 |         81 |         84 |         79 |         81 |         87 |         72 |         89 |
100.69/50.66	c (10,0) c | Good          |             140 |         13 |         20 |         17 |         20 |         12 |         20 |         19 |         19 |
100.69/50.66	c (10,0) c | Purge         |             485 |         39 |         61 |         67 |         59 |         69 |         67 |         53 |         70 |
100.69/50.66	c (10,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
100.69/50.66	c (10,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
100.69/50.66	c (10,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
100.69/50.66	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
100.69/50.66	c (10,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          2 |          0 |          0 |          0 |
100.69/50.66	c (10,0) c | Binaries      |                 |          7 |          0 |          3 |          0 |          8 |          0 |          1 |          1 |
100.69/50.66	c (10,0) c | Glues         |                 |         33 |         10 |         10 |         14 |         11 |          5 |          9 |          7 |
100.69/50.66	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
100.69/50.66	c (10,0) c | Orig_Seen     |             0 % |      32551 |      37324 |      40327 |      32078 |      39974 |      32022 |      37489 |      39014 |
100.69/50.66	c (10,0) c | Diff Orig seen|                 |      X     |       4773 |       7776 | -      473 |       7423 | -      529 |       4938 |       6463 |
100.69/50.66	c (10,0) c | Hamming       |            29 % |      X     |      30106 |      30186 |      31327 |      30892 |      27994 |      28894 |      30694 |
100.69/50.66	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
100.69/50.66	c (10,0) c | RunningTime   |                 |    5.6 100%|    5.5 100%|    5.5 100%|    5.5 100%|    5.5 100%|    5.5 100%|    5.7 100%|    5.5 100%|
100.69/50.66	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%|
100.69/50.66	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%|
100.69/50.66	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%|
100.69/50.66	c (10,0) c | SolvingTime   |                 |    5.6     |    5.5     |    5.5     |    5.5     |    5.5     |    5.5     |    5.7     |    5.5     |
100.69/50.66	c (10,0) c | PropagationTim|                 |    5.4  96%|    5.3  96%|    5.3  96%|    5.4  97%|    5.3  96%|    5.4  97%|    5.4  96%|    5.3  96%|
100.69/50.66	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%|
100.69/50.66	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%|
100.69/50.66	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%|
100.69/50.66	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%|
100.69/50.66	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%|
100.69/50.66	c (10,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
100.69/50.66	c (10,0) c
100.69/50.66	c (10,0) c
100.69/50.66	c (10,0) c Threads : 8
100.69/50.66	c (10,0) c Winner : 0
100.69/50.66	c (10,0) c Conflicts_0 : 840
100.69/50.66	c (10,0) c Conflicts_1 : 678
100.69/50.66	c (10,0) c Conflicts_2 : 875
100.69/50.66	c (10,0) c Conflicts_3 : 674
100.69/50.66	c (10,0) c Conflicts_4 : 748
100.69/50.66	c (10,0) c Conflicts_5 : 727
100.69/50.66	c (10,0) c Conflicts_6 : 699
100.69/50.66	c (10,0) c Conflicts_7 : 743
100.69/50.66	c (10,0) c Conflicts_total : 5984
100.69/50.66	c (10,0) c Conflicts_winner : 840
100.69/50.66	c (10,0) c Decisions_0 : 36096
100.69/50.66	c (10,0) c Decisions_1 : 9715
100.69/50.66	c (10,0) c Decisions_2 : 8750
100.69/50.66	c (10,0) c Decisions_3 : 6651
100.69/50.66	c (10,0) c Decisions_4 : 10409
100.69/50.66	c (10,0) c Decisions_5 : 12540
100.69/50.66	c (10,0) c Decisions_6 : 8572
100.69/50.66	c (10,0) c Decisions_7 : 9307
100.69/50.66	c (10,0) c Decisions_total : 102040
100.69/50.66	c (10,0) c Decisions_winner : 36096
100.69/50.66	c (10,0) c Propagations_0 : 2498560
100.69/50.66	c (10,0) c Propagations_1 : 2871784
100.69/50.66	c (10,0) c Propagations_2 : 3194123
100.69/50.66	c (10,0) c Propagations_3 : 2622809
100.69/50.66	c (10,0) c Propagations_4 : 3231372
100.69/50.66	c (10,0) c Propagations_5 : 3372036
100.69/50.66	c (10,0) c Propagations_6 : 2587477
100.69/50.66	c (10,0) c Propagations_7 : 2899828
100.69/50.66	c (10,0) c Propagations_total : 23277989
100.69/50.66	c (10,0) c Propagations_winner : 2498560
100.69/50.66	c (10,0) c ReduceDBs_0 : 0
100.69/50.66	c (10,0) c ReduceDBs_1 : 0
100.69/50.66	c (10,0) c ReduceDBs_2 : 0
100.69/50.66	c (10,0) c ReduceDBs_3 : 0
100.69/50.66	c (10,0) c ReduceDBs_4 : 0
100.69/50.66	c (10,0) c ReduceDBs_5 : 0
100.69/50.66	c (10,0) c ReduceDBs_6 : 0
100.69/50.66	c (10,0) c ReduceDBs_7 : 0
100.69/50.66	c (10,0) c ReduceDBs_total : 0
100.69/50.66	c (10,0) c ReduceDBs_winner : 0
100.69/50.66	c (10,0) c SimpDBs_0 : 1
100.69/50.66	c (10,0) c SimpDBs_1 : 1
100.69/50.66	c (10,0) c SimpDBs_2 : 1
100.69/50.66	c (10,0) c SimpDBs_3 : 1
100.69/50.66	c (10,0) c SimpDBs_4 : 1
100.69/50.66	c (10,0) c SimpDBs_5 : 1
100.69/50.66	c (10,0) c SimpDBs_6 : 1
100.69/50.66	c (10,0) c SimpDBs_7 : 1
100.69/50.66	c (10,0) c SimpDBs_total : 8
100.69/50.66	c (10,0) c SimpDBs_winner : 1
100.69/50.66	c (10,0) c Restarts_0 : 8
100.69/50.66	c (10,0) c Restarts_1 : 12
100.69/50.66	c (10,0) c Restarts_2 : 13
100.69/50.66	c (10,0) c Restarts_3 : 11
100.69/50.66	c (10,0) c Restarts_4 : 15
100.69/50.66	c (10,0) c Restarts_5 : 11
100.69/50.66	c (10,0) c Restarts_6 : 13
100.69/50.66	c (10,0) c Restarts_7 : 15
100.69/50.66	c (10,0) c Restarts_total : 98
100.69/50.66	c (10,0) c Restarts_winner : 8
100.69/50.66	c (10,0) c ForcedImports_0 : 0
100.69/50.66	c (10,0) c ForcedImports_1 : 0
100.69/50.66	c (10,0) c ForcedImports_2 : 0
100.69/50.66	c (10,0) c ForcedImports_3 : 0
100.69/50.66	c (10,0) c ForcedImports_4 : 0
100.69/50.66	c (10,0) c ForcedImports_5 : 0
100.69/50.66	c (10,0) c ForcedImports_6 : 0
100.69/50.66	c (10,0) c ForcedImports_7 : 0
100.69/50.66	c (10,0) c ForcedImports_total : 0
100.69/50.66	c (10,0) c ForcedImports_winner : 0
100.69/50.66	c (10,0) c PropsBinClauses_0 : 2773136
100.69/50.66	c (10,0) c PropsBinClauses_1 : 3268399
100.69/50.66	c (10,0) c PropsBinClauses_2 : 3970541
100.69/50.66	c (10,0) c PropsBinClauses_3 : 3484324
100.69/50.66	c (10,0) c PropsBinClauses_4 : 3718888
100.69/50.66	c (10,0) c PropsBinClauses_5 : 3893181
100.69/50.66	c (10,0) c PropsBinClauses_6 : 3018016
100.69/50.66	c (10,0) c PropsBinClauses_7 : 3324955
100.69/50.66	c (10,0) c PropsBinClauses_total : 27451440
100.69/50.66	c (10,0) c PropsBinClauses_winner : 2773136
100.69/50.66	c (10,0) c PropsPreBlocker_0 : 141336791
100.69/50.66	c (10,0) c PropsPreBlocker_1 : 170469190
100.69/50.66	c (10,0) c PropsPreBlocker_2 : 199298460
100.69/50.66	c (10,0) c PropsPreBlocker_3 : 176426615
100.69/50.66	c (10,0) c PropsPreBlocker_4 : 190918484
100.69/50.66	c (10,0) c PropsPreBlocker_5 : 195555873
100.69/50.66	c (10,0) c PropsPreBlocker_6 : 153591664
100.69/50.66	c (10,0) c PropsPreBlocker_7 : 174221695
100.69/50.66	c (10,0) c PropsPreBlocker_total : 1401818772
100.69/50.66	c (10,0) c PropsPreBlocker_winner : 141336791
100.69/50.66	c (10,0) c PropsNotBlocker_0 : 23076670
100.69/50.66	c (10,0) c PropsNotBlocker_1 : 21468694
100.69/50.66	c (10,0) c PropsNotBlocker_2 : 22048802
100.69/50.66	c (10,0) c PropsNotBlocker_3 : 20360740
100.69/50.66	c (10,0) c PropsNotBlocker_4 : 23995245
100.69/50.66	c (10,0) c PropsNotBlocker_5 : 22086324
100.69/50.66	c (10,0) c PropsNotBlocker_6 : 20816632
100.69/50.66	c (10,0) c PropsNotBlocker_7 : 23463756
100.69/50.66	c (10,0) c PropsNotBlocker_total : 177316863
100.69/50.66	c (10,0) c PropsNotBlocker_winner : 23076670
100.69/50.66	c (10,0) c PropsLitFullScans_0 : 170058341
100.69/50.66	c (10,0) c PropsLitFullScans_1 : 198072514
100.69/50.66	c (10,0) c PropsLitFullScans_2 : 230277020
100.69/50.66	c (10,0) c PropsLitFullScans_3 : 204040260
100.69/50.66	c (10,0) c PropsLitFullScans_4 : 222024989
100.69/50.66	c (10,0) c PropsLitFullScans_5 : 225462899
100.69/50.66	c (10,0) c PropsLitFullScans_6 : 180185412
100.69/50.66	c (10,0) c PropsLitFullScans_7 : 204055215
100.69/50.66	c (10,0) c PropsLitFullScans_total : 1634176650
100.69/50.66	c (10,0) c PropsLitFullScans_winner : 170058341
100.69/50.66	c (10,0) c LitScanFractions_0 : 17294
100.69/50.66	c (10,0) c LitScanFractions_1 : 19996
100.69/50.66	c (10,0) c LitScanFractions_2 : 21307
100.69/50.66	c (10,0) c LitScanFractions_3 : 19921
100.69/50.66	c (10,0) c LitScanFractions_4 : 21084
100.69/50.66	c (10,0) c LitScanFractions_5 : 22580
100.69/50.66	c (10,0) c LitScanFractions_6 : 23407
100.69/50.66	c (10,0) c LitScanFractions_7 : 25915
100.69/50.66	c (10,0) c LitScanFractions_total : 171504
100.69/50.66	c (10,0) c LitScanFractions_winner : 17294
100.69/50.66	c (10,0) c DecisionLevel0_0 : 8
100.69/50.66	c (10,0) c DecisionLevel0_1 : 12
100.69/50.66	c (10,0) c DecisionLevel0_2 : 13
100.69/50.66	c (10,0) c DecisionLevel0_3 : 11
100.69/50.66	c (10,0) c DecisionLevel0_4 : 17
100.69/50.66	c (10,0) c DecisionLevel0_5 : 11
100.69/50.66	c (10,0) c DecisionLevel0_6 : 13
100.69/50.66	c (10,0) c DecisionLevel0_7 : 15
100.69/50.66	c (10,0) c DecisionLevel0_total : 100
100.69/50.66	c (10,0) c DecisionLevel0_winner : 8
100.69/50.66	c (10,0) c Periods_0 : 28
100.69/50.66	c (10,0) c Periods_1 : 33
100.69/50.66	c (10,0) c Periods_2 : 38
100.69/50.66	c (10,0) c Periods_3 : 34
100.69/50.66	c (10,0) c Periods_4 : 37
100.69/50.66	c (10,0) c Periods_5 : 37
100.69/50.66	c (10,0) c Periods_6 : 30
100.69/50.66	c (10,0) c Periods_7 : 34
100.69/50.66	c (10,0) c Periods_total : 271
100.69/50.66	c (10,0) c Periods_winner : 28
100.69/50.66	c (10,0) c Margin_0 : 20
100.69/50.66	c (10,0) c Margin_1 : 20
100.69/50.66	c (10,0) c Margin_2 : 20
100.69/50.66	c (10,0) c Margin_3 : 20
100.69/50.66	c (10,0) c Margin_4 : 20
100.69/50.66	c (10,0) c Margin_5 : 20
100.69/50.66	c (10,0) c Margin_6 : 20
100.69/50.66	c (10,0) c Margin_7 : 20
100.69/50.66	c (10,0) c Margin_total : 160
100.69/50.66	c (10,0) c Margin_winner : 20
100.69/50.66	c (10,0) c Exported_0 : 33
100.69/50.66	c (10,0) c Exported_1 : 10
100.69/50.66	c (10,0) c Exported_2 : 10
100.69/50.66	c (10,0) c Exported_3 : 14
100.69/50.66	c (10,0) c Exported_4 : 11
100.69/50.66	c (10,0) c Exported_5 : 5
100.69/50.66	c (10,0) c Exported_6 : 9
100.69/50.66	c (10,0) c Exported_7 : 7
100.69/50.66	c (10,0) c Exported_total : 99
100.69/50.66	c (10,0) c Exported_winner : 33
100.69/50.66	c (10,0) c Imported_0 : 52
100.69/50.66	c (10,0) c Imported_1 : 81
100.69/50.66	c (10,0) c Imported_2 : 84
100.69/50.66	c (10,0) c Imported_3 : 79
100.69/50.66	c (10,0) c Imported_4 : 81
100.69/50.66	c (10,0) c Imported_5 : 87
100.69/50.66	c (10,0) c Imported_6 : 72
100.69/50.66	c (10,0) c Imported_7 : 89
100.69/50.66	c (10,0) c Imported_total : 625
100.69/50.66	c (10,0) c Imported_winner : 52
100.69/50.66	c (10,0) c Good_0 : 13
100.69/50.66	c (10,0) c Good_1 : 20
100.69/50.66	c (10,0) c Good_2 : 17
100.69/50.66	c (10,0) c Good_3 : 20
100.69/50.67	c (10,0) c Good_4 : 12
100.69/50.67	c (10,0) c Good_5 : 20
100.69/50.67	c (10,0) c Good_6 : 19
100.69/50.67	c (10,0) c Good_7 : 19
100.69/50.67	c (10,0) c Good_total : 140
100.69/50.67	c (10,0) c Good_winner : 13
100.69/50.67	c (10,0) c Purge_0 : 39
100.69/50.67	c (10,0) c Purge_1 : 61
100.69/50.67	c (10,0) c Purge_2 : 67
100.69/50.67	c (10,0) c Purge_3 : 59
100.69/50.67	c (10,0) c Purge_4 : 69
100.69/50.67	c (10,0) c Purge_5 : 67
100.69/50.67	c (10,0) c Purge_6 : 53
100.69/50.67	c (10,0) c Purge_7 : 70
100.69/50.67	c (10,0) c Purge_total : 485
100.69/50.67	c (10,0) c Purge_winner : 39
100.69/50.67	c (10,0) c Promoted_0 : 0
100.69/50.67	c (10,0) c Promoted_1 : 0
100.69/50.67	c (10,0) c Promoted_2 : 0
100.69/50.67	c (10,0) c Promoted_3 : 0
100.69/50.67	c (10,0) c Promoted_4 : 0
100.69/50.67	c (10,0) c Promoted_5 : 0
100.69/50.67	c (10,0) c Promoted_6 : 0
100.69/50.67	c (10,0) c Promoted_7 : 0
100.69/50.67	c (10,0) c Promoted_total : 0
100.69/50.67	c (10,0) c Promoted_winner : 0
100.69/50.67	c (10,0) c Remove_Imp_0 : 0
100.69/50.67	c (10,0) c Remove_Imp_1 : 0
100.69/50.67	c (10,0) c Remove_Imp_2 : 0
100.69/50.67	c (10,0) c Remove_Imp_3 : 0
100.69/50.67	c (10,0) c Remove_Imp_4 : 0
100.69/50.67	c (10,0) c Remove_Imp_5 : 0
100.69/50.67	c (10,0) c Remove_Imp_6 : 0
100.69/50.67	c (10,0) c Remove_Imp_7 : 0
100.69/50.67	c (10,0) c Remove_Imp_total : 0
100.69/50.67	c (10,0) c Remove_Imp_winner : 0
100.69/50.67	c (10,0) c Blocked_Reuse_0 : 0
100.69/50.67	c (10,0) c Blocked_Reuse_1 : 0
100.69/50.67	c (10,0) c Blocked_Reuse_2 : 0
100.69/50.67	c (10,0) c Blocked_Reuse_3 : 0
100.69/50.67	c (10,0) c Blocked_Reuse_4 : 0
100.69/50.67	c (10,0) c Blocked_Reuse_5 : 0
100.69/50.67	c (10,0) c Blocked_Reuse_6 : 0
100.69/50.67	c (10,0) c Blocked_Reuse_7 : 0
100.69/50.67	c (10,0) c Blocked_Reuse_total : 0
100.69/50.67	c (10,0) c Blocked_Reuse_winner : 0
100.69/50.67	c (10,0) c Unaries_0 : 0
100.69/50.67	c (10,0) c Unaries_1 : 0
100.69/50.67	c (10,0) c Unaries_2 : 0
100.69/50.67	c (10,0) c Unaries_3 : 0
100.69/50.67	c (10,0) c Unaries_4 : 2
100.69/50.67	c (10,0) c Unaries_5 : 0
100.69/50.67	c (10,0) c Unaries_6 : 0
100.69/50.67	c (10,0) c Unaries_7 : 0
100.69/50.67	c (10,0) c Unaries_total : 2
100.69/50.67	c (10,0) c Unaries_winner : 0
100.69/50.67	c (10,0) c Binaries_0 : 7
100.69/50.67	c (10,0) c Binaries_1 : 0
100.69/50.67	c (10,0) c Binaries_2 : 3
100.69/50.67	c (10,0) c Binaries_3 : 0
100.69/50.67	c (10,0) c Binaries_4 : 8
100.69/50.67	c (10,0) c Binaries_5 : 0
100.69/50.67	c (10,0) c Binaries_6 : 1
100.69/50.67	c (10,0) c Binaries_7 : 1
100.69/50.67	c (10,0) c Binaries_total : 20
100.69/50.67	c (10,0) c Binaries_winner : 7
100.69/50.67	c (10,0) c Glues_0 : 33
100.69/50.67	c (10,0) c Glues_1 : 10
100.69/50.67	c (10,0) c Glues_2 : 10
100.69/50.67	c (10,0) c Glues_3 : 14
100.69/50.67	c (10,0) c Glues_4 : 11
100.69/50.67	c (10,0) c Glues_5 : 5
100.69/50.67	c (10,0) c Glues_6 : 9
100.69/50.67	c (10,0) c Glues_7 : 7
100.69/50.67	c (10,0) c Glues_total : 99
100.69/50.67	c (10,0) c Glues_winner : 33
100.69/50.67	c (10,0) c RunningTime_0 : 5.608093
100.69/50.67	c (10,0) c RunningTime_1 : 5.497991
100.69/50.67	c (10,0) c RunningTime_2 : 5.485019
100.69/50.67	c (10,0) c RunningTime_3 : 5.521341
100.69/50.67	c (10,0) c RunningTime_4 : 5.506191
100.69/50.67	c (10,0) c RunningTime_5 : 5.522964
100.69/50.67	c (10,0) c RunningTime_6 : 5.667390
100.69/50.67	c (10,0) c RunningTime_7 : 5.547699
100.69/50.67	c (10,0) c RunningTime_total : 44.356687
100.69/50.67	c (10,0) c RunningTime_winner : 5.608093
100.69/50.67	c (10,0) c WaitingTime_0 : 0.000004
100.69/50.67	c (10,0) c WaitingTime_1 : 0.000027
100.69/50.67	c (10,0) c WaitingTime_2 : 0.000050
100.69/50.67	c (10,0) c WaitingTime_3 : 0.000019
100.69/50.67	c (10,0) c WaitingTime_4 : 0.000041
100.69/50.67	c (10,0) c WaitingTime_5 : 0.000040
100.69/50.67	c (10,0) c WaitingTime_6 : 0.000014
100.69/50.67	c (10,0) c WaitingTime_7 : 0.000024
100.69/50.67	c (10,0) c WaitingTime_total : 0.000220
100.69/50.67	c (10,0) c WaitingTime_winner : 0.000004
100.69/50.67	c (10,0) c ExchangingTime_0 : 0.001008
100.69/50.67	c (10,0) c ExchangingTime_1 : 0.000442
100.69/50.67	c (10,0) c ExchangingTime_2 : 0.000465
100.69/50.67	c (10,0) c ExchangingTime_3 : 0.000417
100.69/50.67	c (10,0) c ExchangingTime_4 : 0.000429
100.69/50.67	c (10,0) c ExchangingTime_5 : 0.000406
100.69/50.67	c (10,0) c ExchangingTime_6 : 0.000397
100.69/50.67	c (10,0) c ExchangingTime_7 : 0.000414
100.69/50.67	c (10,0) c ExchangingTime_total : 0.003978
100.69/50.67	c (10,0) c ExchangingTime_winner : 0.001008
100.69/50.67	c (10,0) c PeriodProcTime_0 : 0.000334
100.69/50.67	c (10,0) c PeriodProcTime_1 : 0.000406
100.69/50.67	c (10,0) c PeriodProcTime_2 : 0.000415
100.69/50.67	c (10,0) c PeriodProcTime_3 : 0.000415
100.69/50.67	c (10,0) c PeriodProcTime_4 : 0.000435
100.69/50.67	c (10,0) c PeriodProcTime_5 : 0.000423
100.69/50.67	c (10,0) c PeriodProcTime_6 : 0.000419
100.69/50.67	c (10,0) c PeriodProcTime_7 : 0.000426
100.69/50.67	c (10,0) c PeriodProcTime_total : 0.003274
100.69/50.67	c (10,0) c PeriodProcTime_winner : 0.000334
100.69/50.67	c (10,0) c SolvingTime_0 : 5.609438
100.69/50.67	c (10,0) c SolvingTime_1 : 5.498866
100.69/50.67	c (10,0) c SolvingTime_2 : 5.485949
100.69/50.67	c (10,0) c SolvingTime_3 : 5.522192
100.69/50.67	c (10,0) c SolvingTime_4 : 5.507097
100.69/50.67	c (10,0) c SolvingTime_5 : 5.523834
100.69/50.67	c (10,0) c SolvingTime_6 : 5.668220
100.69/50.67	c (10,0) c SolvingTime_7 : 5.548563
100.69/50.67	c (10,0) c SolvingTime_total : 44.364159
100.69/50.67	c (10,0) c SolvingTime_winner : 5.609438
100.69/50.67	c (10,0) c PropagationTime_0 : 5.409054
100.69/50.67	c (10,0) c PropagationTime_1 : 5.280432
100.69/50.67	c (10,0) c PropagationTime_2 : 5.257582
100.69/50.67	c (10,0) c PropagationTime_3 : 5.362330
100.69/50.67	c (10,0) c PropagationTime_4 : 5.282528
100.69/50.67	c (10,0) c PropagationTime_5 : 5.355168
100.69/50.67	c (10,0) c PropagationTime_6 : 5.429016
100.69/50.67	c (10,0) c PropagationTime_7 : 5.332084
100.69/50.67	c (10,0) c PropagationTime_total : 42.708194
100.69/50.67	c (10,0) c PropagationTime_winner : 5.409054
100.69/50.67	c (10,0) c AnalysisTime_0 : 0.061929
100.69/50.67	c (10,0) c AnalysisTime_1 : 0.067602
100.69/50.67	c (10,0) c AnalysisTime_2 : 0.093554
100.69/50.67	c (10,0) c AnalysisTime_3 : 0.063475
100.69/50.67	c (10,0) c AnalysisTime_4 : 0.080686
100.69/50.67	c (10,0) c AnalysisTime_5 : 0.063283
100.69/50.67	c (10,0) c AnalysisTime_6 : 0.100797
100.69/50.67	c (10,0) c AnalysisTime_7 : 0.074444
100.69/50.67	c (10,0) c AnalysisTime_total : 0.605770
100.69/50.67	c (10,0) c AnalysisTime_winner : 0.061929
100.69/50.67	c (10,0) c ReductionTime_0 : 0.000000
100.69/50.67	c (10,0) c ReductionTime_1 : 0.000000
100.69/50.67	c (10,0) c ReductionTime_2 : 0.000000
100.69/50.67	c (10,0) c ReductionTime_3 : 0.000000
100.69/50.67	c (10,0) c ReductionTime_4 : 0.000000
100.69/50.67	c (10,0) c ReductionTime_5 : 0.000000
100.69/50.67	c (10,0) c ReductionTime_6 : 0.000000
100.69/50.67	c (10,0) c ReductionTime_7 : 0.000000
100.69/50.67	c (10,0) c ReductionTime_total : 0.000000
100.69/50.67	c (10,0) c ReductionTime_winner : 0.000000
100.69/50.67	c (10,0) c SimplifyTime_0 : 0.000000
100.69/50.67	c (10,0) c SimplifyTime_1 : 0.000002
100.69/50.67	c (10,0) c SimplifyTime_2 : 0.000001
100.69/50.67	c (10,0) c SimplifyTime_3 : 0.000000
100.69/50.67	c (10,0) c SimplifyTime_4 : 0.000002
100.69/50.67	c (10,0) c SimplifyTime_5 : 0.000001
100.69/50.67	c (10,0) c SimplifyTime_6 : 0.000000
100.69/50.67	c (10,0) c SimplifyTime_7 : 0.000002
100.69/50.67	c (10,0) c SimplifyTime_total : 0.000008
100.69/50.67	c (10,0) c SimplifyTime_winner : 0.000000
100.69/50.67	c (10,0) c UsedRateTime_0 : 0.000000
100.69/50.67	c (10,0) c UsedRateTime_1 : 0.000000
100.69/50.67	c (10,0) c UsedRateTime_2 : 0.000000
100.69/50.67	c (10,0) c UsedRateTime_3 : 0.000000
100.69/50.67	c (10,0) c UsedRateTime_4 : 0.000000
100.69/50.67	c (10,0) c UsedRateTime_5 : 0.000000
100.69/50.67	c (10,0) c UsedRateTime_6 : 0.000000
100.69/50.67	c (10,0) c UsedRateTime_7 : 0.000000
100.69/50.67	c (10,0) c UsedRateTime_total : 0.000000
100.69/50.67	c (10,0) c UsedRateTime_winner : 0.000000
100.69/50.67	c (10,0) c OverlapRateTime_0 : 0.000000
100.69/50.67	c (10,0) c OverlapRateTime_1 : 0.000000
100.69/50.67	c (10,0) c OverlapRateTime_2 : 0.000000
100.69/50.67	c (10,0) c OverlapRateTime_3 : 0.000000
100.69/50.67	c (10,0) c OverlapRateTime_4 : 0.000000
100.69/50.67	c (10,0) c OverlapRateTime_5 : 0.000000
100.69/50.67	c (10,0) c OverlapRateTime_6 : 0.000000
100.69/50.67	c (10,0) c OverlapRateTime_7 : 0.000000
100.69/50.67	c (10,0) c OverlapRateTime_total : 0.000000
100.69/50.67	c (10,0) c OverlapRateTime_winner : 0.000000
100.69/50.67	c (10,0) c
100.69/50.67	c (10,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
100.69/50.67	c (10,0) c
100.69/50.67	c (10,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
100.69/50.67	c (10,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
100.69/50.67	c (10,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
100.69/50.67	c (10,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
100.69/50.67	c (10,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
100.69/50.67	c (10,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
100.69/50.67	c (10,0) c | Initial random_seed   |  262327883 | 1503517350 | 2116222174 | 1681129059 |  123026569 | 1365157997 |  772871210 | 1128102220 |
100.69/50.67	c (10,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
100.69/50.67	c (10,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
100.69/50.67	c (10,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
100.69/50.67	c (10,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
100.69/50.67	c (10,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
100.69/50.67	c (10,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
100.69/50.67	c (10,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
100.69/50.67	c (10,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
100.69/50.67	c (10,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
100.69/50.67	c (10,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
100.69/50.67	c (10,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
100.69/50.67	c (10,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
100.69/50.67	c (10,0) 
100.69/50.67	c (10,0) s SATISFIABLE
58.95/50.86	c (10,0) SatSolver.solve End
58.95/50.86	c (10,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
58.95/50.86	c (10,0) Show results Begin
101.28/51.00	c (10,0) q[0] = 53
101.28/51.00	c (10,0) q[1] = 57
101.28/51.00	c (10,0) q[2] = 40
101.28/51.00	c (10,0) q[3] = 101
101.28/51.00	c (10,0) q[4] = 1
101.28/51.00	c (10,0) q[5] = 100
101.28/51.00	c (10,0) q[6] = 79
101.28/51.00	c (10,0) q[7] = 66
101.28/51.00	c (10,0) q[8] = 10
101.28/51.00	c (10,0) q[9] = 67
101.28/51.00	c (10,0) q[10] = 0
101.28/51.00	c (10,0) q[11] = 6
101.28/51.00	c (10,0) q[12] = 145
101.28/51.00	c (10,0) q[13] = 70
101.28/51.00	c (10,0) q[14] = 120
101.28/51.00	c (10,0) q[15] = 62
101.28/51.00	c (10,0) q[16] = 39
101.28/51.00	c (10,0) q[17] = 132
101.28/51.00	c (10,0) q[18] = 63
101.28/51.00	c (10,0) q[19] = 95
101.28/51.00	c (10,0) q[20] = 98
101.28/51.00	c (10,0) q[21] = 8
101.28/51.00	c (10,0) q[22] = 73
101.28/51.00	c (10,0) q[23] = 87
101.28/51.00	c (10,0) q[24] = 99
101.28/51.00	c (10,0) q[25] = 21
101.28/51.00	c (10,0) q[26] = 30
101.28/51.00	c (10,0) q[27] = 20
101.28/51.00	c (10,0) q[28] = 59
101.28/51.00	c (10,0) q[29] = 41
101.28/51.00	c (10,0) q[30] = 36
101.28/51.00	c (10,0) q[31] = 94
101.28/51.00	c (10,0) q[32] = 92
101.28/51.00	c (10,0) q[33] = 24
101.28/51.00	c (10,0) q[34] = 3
101.28/51.00	c (10,0) q[35] = 34
101.28/51.00	c (10,0) q[36] = 4
101.28/51.00	c (10,0) q[37] = 89
101.28/51.00	c (10,0) q[38] = 141
101.28/51.00	c (10,0) q[39] = 82
101.28/51.00	c (10,0) q[40] = 130
101.28/51.00	c (10,0) q[41] = 102
101.28/51.00	c (10,0) q[42] = 109
101.28/51.00	c (10,0) q[43] = 32
101.28/51.00	c (10,0) q[44] = 18
101.28/51.00	c (10,0) q[45] = 5
101.28/51.00	c (10,0) q[46] = 83
101.28/51.00	c (10,0) q[47] = 60
101.28/51.00	c (10,0) q[48] = 74
101.28/51.00	c (10,0) q[49] = 49
101.28/51.00	c (10,0) q[50] = 147
101.28/51.00	c (10,0) q[51] = 85
101.28/51.00	c (10,0) q[52] = 106
101.28/51.00	c (10,0) q[53] = 78
101.28/51.00	c (10,0) q[54] = 96
101.28/51.00	c (10,0) q[55] = 56
101.28/51.00	c (10,0) q[56] = 12
101.28/51.00	c (10,0) q[57] = 29
101.28/51.00	c (10,0) q[58] = 138
101.28/51.00	c (10,0) q[59] = 142
101.28/51.00	c (10,0) q[60] = 139
101.28/51.00	c (10,0) q[61] = 127
101.28/51.00	c (10,0) q[62] = 143
101.28/51.00	c (10,0) q[63] = 90
101.28/51.00	c (10,0) q[64] = 88
101.28/51.00	c (10,0) q[65] = 43
101.28/51.00	c (10,0) q[66] = 105
101.28/51.00	c (10,0) q[67] = 97
101.28/51.00	c (10,0) q[68] = 108
101.28/51.00	c (10,0) q[69] = 115
101.28/51.00	c (10,0) q[70] = 111
101.28/51.00	c (10,0) q[71] = 107
101.28/51.00	c (10,0) q[72] = 93
101.28/51.00	c (10,0) q[73] = 121
101.28/51.00	c (10,0) q[74] = 14
101.28/51.00	c (10,0) q[75] = 110
101.28/51.00	c (10,0) q[76] = 126
101.28/51.00	c (10,0) q[77] = 148
101.28/51.00	c (10,0) q[78] = 140
101.28/51.00	c (10,0) q[79] = 144
101.28/51.00	c (10,0) q[80] = 22
101.28/51.00	c (10,0) q[81] = 86
101.28/51.00	c (10,0) q[82] = 58
101.28/51.00	c (10,0) q[83] = 65
101.28/51.00	c (10,0) q[84] = 54
101.57/51.01	c (10,0) q[85] = 50
101.57/51.01	c (10,0) q[86] = 47
101.57/51.01	c (10,0) q[87] = 103
101.57/51.01	c (10,0) q[88] = 51
101.57/51.01	c (10,0) q[89] = 48
101.57/51.01	c (10,0) q[90] = 42
101.57/51.01	c (10,0) q[91] = 37
101.57/51.01	c (10,0) q[92] = 35
101.57/51.01	c (10,0) q[93] = 137
101.57/51.01	c (10,0) q[94] = 149
101.57/51.01	c (10,0) q[95] = 112
101.57/51.01	c (10,0) q[96] = 114
101.57/51.01	c (10,0) q[97] = 117
101.57/51.01	c (10,0) q[98] = 77
101.57/51.01	c (10,0) q[99] = 113
101.57/51.01	c (10,0) q[100] = 119
101.57/51.01	c (10,0) q[101] = 81
101.57/51.01	c (10,0) q[102] = 135
101.57/51.01	c (10,0) q[103] = 118
101.57/51.01	c (10,0) q[104] = 136
101.57/51.01	c (10,0) q[105] = 134
101.57/51.01	c (10,0) q[106] = 116
101.57/51.01	c (10,0) q[107] = 129
101.57/51.01	c (10,0) q[108] = 75
101.57/51.01	c (10,0) q[109] = 84
101.57/51.01	c (10,0) q[110] = 76
101.57/51.01	c (10,0) q[111] = 2
101.57/51.01	c (10,0) q[112] = 104
101.57/51.01	c (10,0) q[113] = 64
101.57/51.01	c (10,0) q[114] = 52
101.57/51.01	c (10,0) q[115] = 44
101.57/51.01	c (10,0) q[116] = 46
101.57/51.01	c (10,0) q[117] = 25
101.57/51.01	c (10,0) q[118] = 45
101.57/51.01	c (10,0) q[119] = 55
101.57/51.01	c (10,0) q[120] = 69
101.57/51.01	c (10,0) q[121] = 71
101.57/51.01	c (10,0) q[122] = 33
101.57/51.01	c (10,0) q[123] = 7
101.57/51.01	c (10,0) q[124] = 122
101.57/51.01	c (10,0) q[125] = 128
101.57/51.01	c (10,0) q[126] = 19
101.57/51.01	c (10,0) q[127] = 17
101.57/51.01	c (10,0) q[128] = 72
101.57/51.01	c (10,0) q[129] = 31
101.57/51.01	c (10,0) q[130] = 124
101.57/51.01	c (10,0) q[131] = 23
101.57/51.01	c (10,0) q[132] = 9
101.57/51.01	c (10,0) q[133] = 80
101.57/51.01	c (10,0) q[134] = 13
101.57/51.01	c (10,0) q[135] = 11
101.57/51.01	c (10,0) q[136] = 68
101.57/51.01	c (10,0) q[137] = 91
101.57/51.01	c (10,0) q[138] = 123
101.57/51.01	c (10,0) q[139] = 146
101.57/51.01	c (10,0) q[140] = 28
101.57/51.01	c (10,0) q[141] = 15
101.57/51.01	c (10,0) q[142] = 61
101.57/51.01	c (10,0) q[143] = 26
101.57/51.01	c (10,0) q[144] = 125
101.57/51.01	c (10,0) q[145] = 16
101.57/51.01	c (10,0) q[146] = 27
101.57/51.01	c (10,0) q[147] = 133
101.57/51.01	c (10,0) q[148] = 131
101.57/51.01	c (10,0) q[149] = 38
101.57/51.01	s SATISFIABLE
101.57/51.02	v <instantiation>
101.57/51.02	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>
101.57/51.02	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>
101.57/51.02	v </instantiation>
101.57/51.02	c (10,0) Show results End
101.57/51.02	c (10,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
101.57/51.02	c (10,0) 10,10,STOP-AFTER(ALL)
101.57/51.02	c END-Prog: Sat Sep 14 08:31:32 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 (10815 MiB free)
  memory of node 1: 16384 MiB (13295 MiB free)
  node distances:
     10  21
     21  10

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

solver pid=12255, runsolver pid=12252

[startup+0.100116 s]*
/proc/loadavg: 1.14 3.66 6.12 2/211 12277
/proc/meminfo: memFree=24595312/32770624 swapFree=67108848/67108860
[pid=12255] ppid=12252 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12255/stat : 12255 (scop.sh) S 12252 12255 10407 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 420205560 115843072 349 33554432000 4194304 5098028 140737044076720 140737044073976 140016463540860 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34803712 140737044083493 140737044083820 140737044083820 140737044086733 0
/proc/12255/statm: 28282 349 296 221 0 87 0
[pid=12258] ppid=12255 vsize=27314120 memory=107336 CPUtime=0.1 cores=0-7
/proc/12258/stat : 12258 (java) S 12255 12255 10407 0 -1 1077944320 6888 0 0 0 8 2 0 0 20 0 20 0 420205560 27969658880 26834 33554432000 4194304 4196468 140731320922624 140731320905168 140714409451255 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
/proc/12258/statm: 6828530 26834 2800 1 0 6790935 0
[pid=12258/tid=12259] ppid=12255 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/12258/task/12259/stat : 12259 (java) R 12255 12255 10407 0 -1 4202560 5007 0 0 0 7 1 0 0 20 0 20 0 420205560 27969658880 26834 33554432000 4194304 4196468 140731320922624 140714381277584 140714409463190 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12260] ppid=12255 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12258/task/12260/stat : 12260 (java) S 12255 12255 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420205563 27969658880 26834 33554432000 4194304 4196468 140731320922624 140714413693840 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12261] ppid=12255 vsize=27314120 memory=140556874356352 CPUtime=0 cores=0-7
/proc/12258/task/12261/stat : 12261 (java) S 12255 12255 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420205563 27969658880 26834 33554432000 4194304 4196468 140731320922624 140714227850000 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12262] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12262/stat : 12262 (java) S 12255 12255 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420205563 27969658880 26834 33554432000 4194304 4196468 140731320922624 140714226797712 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12263] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12263/stat : 12263 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420205563 27969658880 26834 33554432000 4194304 4196468 140731320922624 140714225744912 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12264] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12264/stat : 12264 (java) S 12255 12255 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420205563 27969658880 26834 33554432000 4194304 4196468 140731320922624 140714224691600 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12265] ppid=12255 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12258/task/12265/stat : 12265 (java) S 12255 12255 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420205563 27969658880 26834 33554432000 4194304 4196468 140731320922624 140714223638800 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12266] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12266/stat : 12266 (java) S 12255 12255 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420205563 27969658880 26834 33554432000 4194304 4196468 140731320922624 140714222586512 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12267] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12267/stat : 12267 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420205563 27969658880 26834 33554432000 4194304 4196468 140731320922624 140714221533712 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12268] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12268/stat : 12268 (java) S 12255 12255 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420205564 27969658880 26834 33554432000 4194304 4196468 140731320922624 140712930634352 140714409462402 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12269] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12269/stat : 12269 (java) S 12255 12255 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420205565 27969658880 26834 33554432000 4194304 4196468 140731320922624 140712322524448 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12270] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12270/stat : 12270 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420205565 27969658880 26834 33554432000 4194304 4196468 140731320922624 140712054089328 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12271] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12271/stat : 12271 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420205567 27969658880 26834 33554432000 4194304 4196468 140731320922624 140711679580752 140714409469851 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12272] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12272/stat : 12272 (java) S 12255 12255 10407 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 420205567 27969658880 26834 33554432000 4194304 4196468 140731320922624 140712929581168 140714409462402 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12273] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12273/stat : 12273 (java) S 12255 12255 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420205567 27969658880 26834 33554432000 4194304 4196468 140731320922624 140712928528368 140714409462402 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12274] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12274/stat : 12274 (java) S 12255 12255 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420205568 27969658880 26834 33554432000 4194304 4196468 140731320922624 140712590961008 140714409462402 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12275] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12275/stat : 12275 (java) S 12255 12255 10407 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 20 0 420205568 27969658880 26834 33554432000 4194304 4196468 140731320922624 140712589908208 140714409462402 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12276] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12276/stat : 12276 (java) S 12255 12255 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420205568 27969658880 26834 33554432000 4194304 4196468 140731320922624 140711181675360 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12277] ppid=12255 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12258/task/12277/stat : 12277 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420205568 27969658880 26834 33554432000 4194304 4196468 140731320922624 140712588856112 140714409462402 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108732 KiB

[startup+0.210173 s]*
/proc/loadavg: 1.14 3.66 6.12 2/211 12277
/proc/meminfo: memFree=24574320/32770624 swapFree=67108848/67108860
[pid=12255] ppid=12252 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12255/stat : 12255 (scop.sh) S 12252 12255 10407 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 420205560 115843072 349 33554432000 4194304 5098028 140737044076720 140737044073976 140016463540860 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34803712 140737044083493 140737044083820 140737044083820 140737044086733 0
/proc/12255/statm: 28282 349 296 221 0 87 0
[pid=12258] ppid=12255 vsize=27314120 memory=126420 CPUtime=0.25 cores=0-7
/proc/12258/stat : 12258 (java) S 12255 12255 10407 0 -1 1077944320 12395 0 0 0 21 4 0 0 20 0 20 0 420205560 27969658880 31605 33554432000 4194304 4196468 140731320922624 140731320905168 140714409451255 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
/proc/12258/statm: 6828530 31605 2939 1 0 6790935 0
[pid=12258/tid=12259] ppid=12255 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/12258/task/12259/stat : 12259 (java) R 12255 12255 10407 0 -1 4202560 10130 0 0 0 17 3 0 0 20 0 20 0 420205560 27969658880 31605 33554432000 4194304 4196468 140731320922624 140714381275216 140714409465104 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12260] ppid=12255 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/12258/task/12260/stat : 12260 (java) S 12255 12255 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420205563 27969658880 31605 33554432000 4194304 4196468 140731320922624 140714413693840 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12261] ppid=12255 vsize=27314120 memory=140556874368229 CPUtime=0 cores=0-7
/proc/12258/task/12261/stat : 12261 (java) S 12255 12255 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420205563 27969658880 31605 33554432000 4194304 4196468 140731320922624 140714227850000 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12262] ppid=12255 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12258/task/12262/stat : 12262 (java) S 12255 12255 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420205563 27969658880 31605 33554432000 4194304 4196468 140731320922624 140714226797712 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12263] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12263/stat : 12263 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420205563 27969658880 31605 33554432000 4194304 4196468 140731320922624 140714225744912 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12264] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12264/stat : 12264 (java) S 12255 12255 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420205563 27969658880 31605 33554432000 4194304 4196468 140731320922624 140714224691600 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12265] ppid=12255 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12258/task/12265/stat : 12265 (java) S 12255 12255 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420205563 27969658880 31605 33554432000 4194304 4196468 140731320922624 140714223638800 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12266] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12266/stat : 12266 (java) S 12255 12255 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420205563 27969658880 31605 33554432000 4194304 4196468 140731320922624 140714222586512 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12267] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12267/stat : 12267 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420205563 27969658880 31605 33554432000 4194304 4196468 140731320922624 140714221533712 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12268] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12268/stat : 12268 (java) S 12255 12255 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420205564 27969658880 31605 33554432000 4194304 4196468 140731320922624 140712930634352 140714409462402 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12269] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12269/stat : 12269 (java) S 12255 12255 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420205565 27969658880 31605 33554432000 4194304 4196468 140731320922624 140712322524448 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12270] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12270/stat : 12270 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420205565 27969658880 31605 33554432000 4194304 4196468 140731320922624 140712054089328 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12271] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12271/stat : 12271 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420205567 27969658880 31605 33554432000 4194304 4196468 140731320922624 140711679580752 140714409469851 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12272] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12272/stat : 12272 (java) S 12255 12255 10407 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 420205567 27969658880 31605 33554432000 4194304 4196468 140731320922624 140712929581168 140714409462402 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12273] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12273/stat : 12273 (java) S 12255 12255 10407 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 20 0 420205567 27969658880 31605 33554432000 4194304 4196468 140731320922624 140712928528368 140714409462402 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12274] ppid=12255 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12258/task/12274/stat : 12274 (java) S 12255 12255 10407 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 420205568 27969658880 31605 33554432000 4194304 4196468 140731320922624 140712590961008 140714409462402 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12275] ppid=12255 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/12258/task/12275/stat : 12275 (java) S 12255 12255 10407 0 -1 1077944384 439 0 0 0 2 0 0 0 20 0 20 0 420205568 27969658880 31605 33554432000 4194304 4196468 140731320922624 140712589908208 140714409462402 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12276] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12276/stat : 12276 (java) S 12255 12255 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420205568 27969658880 31605 33554432000 4194304 4196468 140731320922624 140711181675360 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12277] ppid=12255 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12258/task/12277/stat : 12277 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420205568 27969658880 31605 33554432000 4194304 4196468 140731320922624 140712588856112 140714409462402 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127816 KiB

[startup+0.309403 s]*
/proc/loadavg: 1.14 3.66 6.12 2/211 12277
/proc/meminfo: memFree=24571528/32770624 swapFree=67108848/67108860
[pid=12255] ppid=12252 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12255/stat : 12255 (scop.sh) S 12252 12255 10407 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 420205560 115843072 349 33554432000 4194304 5098028 140737044076720 140737044073976 140016463540860 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34803712 140737044083493 140737044083820 140737044083820 140737044086733 0
/proc/12255/statm: 28282 349 296 221 0 87 0
[pid=12258] ppid=12255 vsize=27314120 memory=129572 CPUtime=0.41 cores=0-7
/proc/12258/stat : 12258 (java) S 12255 12255 10407 0 -1 1077944320 13360 0 0 0 37 4 0 0 20 0 20 0 420205560 27969658880 32393 33554432000 4194304 4196468 140731320922624 140731320905168 140714409451255 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
/proc/12258/statm: 6828530 32393 2995 1 0 6790935 0
[pid=12258/tid=12259] ppid=12255 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/12258/task/12259/stat : 12259 (java) R 12255 12255 10407 0 -1 4202560 10929 0 0 0 26 3 0 0 20 0 20 0 420205560 27969658880 32393 33554432000 4194304 4196468 140731320922624 140714381281328 140714391014811 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12260] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12260/stat : 12260 (java) S 12255 12255 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420205563 27969658880 32393 33554432000 4194304 4196468 140731320922624 140714413693840 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12261] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12261/stat : 12261 (java) S 12255 12255 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420205563 27969658880 32393 33554432000 4194304 4196468 140731320922624 140714227850000 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12262] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12262/stat : 12262 (java) S 12255 12255 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420205563 27969658880 32393 33554432000 4194304 4196468 140731320922624 140714226797712 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12263] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12263/stat : 12263 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420205563 27969658880 32393 33554432000 4194304 4196468 140731320922624 140714225744912 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12264] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12264/stat : 12264 (java) S 12255 12255 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420205563 27969658880 32393 33554432000 4194304 4196468 140731320922624 140714224691600 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12265] ppid=12255 vsize=27314120 memory=140556764277423 CPUtime=0 cores=0-7
/proc/12258/task/12265/stat : 12265 (java) S 12255 12255 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420205563 27969658880 32393 33554432000 4194304 4196468 140731320922624 140714223638800 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12266] ppid=12255 vsize=27314120 memory=140556764279728 CPUtime=0 cores=0-7
/proc/12258/task/12266/stat : 12266 (java) S 12255 12255 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420205563 27969658880 32393 33554432000 4194304 4196468 140731320922624 140714222586512 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12267] ppid=12255 vsize=27314120 memory=140556764282032 CPUtime=0 cores=0-7
/proc/12258/task/12267/stat : 12267 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420205563 27969658880 32393 33554432000 4194304 4196468 140731320922624 140714221533712 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12268] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12268/stat : 12268 (java) S 12255 12255 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420205564 27969658880 32393 33554432000 4194304 4196468 140731320922624 140712930634352 140714409462402 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12269] ppid=12255 vsize=27314120 memory=281113528577936 CPUtime=0 cores=0-7
/proc/12258/task/12269/stat : 12269 (java) S 12255 12255 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420205565 27969658880 32393 33554432000 4194304 4196468 140731320922624 140712322524448 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12270] ppid=12255 vsize=27314120 memory=281113528575632 CPUtime=0 cores=0-7
/proc/12258/task/12270/stat : 12270 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420205565 27969658880 32393 33554432000 4194304 4196468 140731320922624 140712054089328 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12271] ppid=12255 vsize=27314120 memory=281113528582544 CPUtime=0 cores=0-7
/proc/12258/task/12271/stat : 12271 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420205567 27969658880 32393 33554432000 4194304 4196468 140731320922624 140711679580752 140714409469851 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12272] ppid=12255 vsize=27314120 memory=281113528523824 CPUtime=0 cores=0-7
/proc/12258/task/12272/stat : 12272 (java) S 12255 12255 10407 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 420205567 27969658880 32393 33554432000 4194304 4196468 140731320922624 140712929581168 140714409462402 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12273] ppid=12255 vsize=27314120 memory=281113528596368 CPUtime=0.01 cores=0-7
/proc/12258/task/12273/stat : 12273 (java) S 12255 12255 10407 0 -1 1077944384 180 0 0 0 1 0 0 0 20 0 20 0 420205567 27969658880 32393 33554432000 4194304 4196468 140731320922624 140712928528368 140714409462402 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12274] ppid=12255 vsize=27314120 memory=281113528603280 CPUtime=0.02 cores=0-7
/proc/12258/task/12274/stat : 12274 (java) S 12255 12255 10407 0 -1 1077944384 132 0 0 0 2 0 0 0 20 0 20 0 420205568 27969658880 32393 33554432000 4194304 4196468 140731320922624 140712590961008 140714409462402 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12275] ppid=12255 vsize=27314120 memory=281113528600976 CPUtime=0.07 cores=0-7
/proc/12258/task/12275/stat : 12275 (java) S 12255 12255 10407 0 -1 1077944384 461 0 0 0 7 0 0 0 20 0 20 0 420205568 27969658880 32393 33554432000 4194304 4196468 140731320922624 140712589908208 140714409462402 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12276] ppid=12255 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12276/stat : 12276 (java) S 12255 12255 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420205568 27969658880 32393 33554432000 4194304 4196468 140731320922624 140711181675360 140714409461461 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12277] ppid=12255 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12258/task/12277/stat : 12277 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420205568 27969658880 32393 33554432000 4194304 4196468 140731320922624 140712588856112 140714409462402 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130968 KiB

[startup+0.700871 s]
/proc/loadavg: 1.14 3.66 6.12 2/211 12277
/proc/meminfo: memFree=24551140/32770624 swapFree=67108848/67108860
[pid=12255] ppid=12252 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12255/stat : 12255 (scop.sh) S 12252 12255 10407 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 420205560 115843072 349 33554432000 4194304 5098028 140737044076720 140737044073976 140016463540860 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34803712 140737044083493 140737044083820 140737044083820 140737044086733 0
/proc/12255/statm: 28282 349 296 221 0 87 0
[pid=12258] ppid=12255 vsize=27320392 memory=165044 CPUtime=0.98 cores=0-7
/proc/12258/stat : 12258 (java) S 12255 12255 10407 0 -1 1077944320 20348 0 0 0 91 7 0 0 20 0 20 0 420205560 27976081408 41261 33554432000 4194304 4196468 140731320922624 140731320905168 140714409451255 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
/proc/12258/statm: 6830098 41261 3177 1 0 6791447 0
[pid=12258/tid=12259] ppid=12255 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/12258/task/12259/stat : 12259 (java) R 12255 12255 10407 0 -1 4202560 17435 0 0 0 61 6 0 0 20 0 20 0 420205560 27976081408 41261 33554432000 4194304 4196468 140731320922624 140714381288592 140714409473181 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12260] ppid=12255 vsize=27320392 memory=140556764488560 CPUtime=0 cores=0-7
/proc/12258/task/12260/stat : 12260 (java) S 12255 12255 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420205563 27976081408 41261 33554432000 4194304 4196468 140731320922624 140714413693840 140714409461461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12261] ppid=12255 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/12258/task/12261/stat : 12261 (java) S 12255 12255 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420205563 27976081408 41261 33554432000 4194304 4196468 140731320922624 140714227850000 140714409461461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0
[pid=12258/tid=12262] ppid=12255 vsize=27320392 memory=7180 CPUtime=0 cores=0-7
/proc/12258/task/12262/stat : 12262 (java) S 12255 12255 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420205563 27976081408 41261 33554432000 4194304 4196468 140731320922624 140714226797712 140714409461461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28372992 140731320926955 140731320927382 140731320927382 140731320930255 0

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

[pid=12281/tid=12284] ppid=12255 vsize=8414124 memory=54919746814954 CPUtime=0 cores=0-7
/proc/12281/task/12284/stat : 12284 (java) S 12255 12255 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420209555 8616062976 29258 33554432000 4194304 4196468 140722930908000 139731662785680 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12285] ppid=12255 vsize=8414124 memory=54919746814954 CPUtime=0 cores=0-7
/proc/12281/task/12285/stat : 12285 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420209555 8616062976 29258 33554432000 4194304 4196468 140722930908000 139731308718864 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12286] ppid=12255 vsize=8414124 memory=54919746814954 CPUtime=0 cores=0-7
/proc/12281/task/12286/stat : 12286 (java) S 12255 12255 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420209555 8616062976 29258 33554432000 4194304 4196468 140722930908000 139731307666320 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12287] ppid=12255 vsize=8414124 memory=54919746814954 CPUtime=0 cores=0-7
/proc/12281/task/12287/stat : 12287 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420209555 8616062976 29258 33554432000 4194304 4196468 140722930908000 139731306613264 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12288] ppid=12255 vsize=8414124 memory=54919746814954 CPUtime=0 cores=0-7
/proc/12281/task/12288/stat : 12288 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420209555 8616062976 29258 33554432000 4194304 4196468 140722930908000 139731305560720 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12289] ppid=12255 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/12281/task/12289/stat : 12289 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420209555 8616062976 29258 33554432000 4194304 4196468 140722930908000 139731304507664 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12290] ppid=12255 vsize=8414124 memory=117032 CPUtime=0 cores=0-7
/proc/12281/task/12290/stat : 12290 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420209555 8616062976 29258 33554432000 4194304 4196468 140722930908000 139731303455120 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12291] ppid=12255 vsize=8414124 memory=4858076 CPUtime=0 cores=0-7
/proc/12281/task/12291/stat : 12291 (java) S 12255 12255 10407 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420209557 8616062976 29258 33554432000 4194304 4196468 140722930908000 139731052505840 139731825175170 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12292] ppid=12255 vsize=8414124 memory=2352 CPUtime=0 cores=0-7
/proc/12281/task/12292/stat : 12292 (java) S 12255 12255 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420209557 8616062976 29258 33554432000 4194304 4196468 140722930908000 139730251409056 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12293] ppid=12255 vsize=8414124 memory=1792 CPUtime=0 cores=0-7
/proc/12281/task/12293/stat : 12293 (java) S 12255 12255 10407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420209557 8616062976 29258 33554432000 4194304 4196468 140722930908000 139730117186800 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12294] ppid=12255 vsize=8414124 memory=8612 CPUtime=0 cores=0-7
/proc/12281/task/12294/stat : 12294 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420209560 8616062976 29258 33554432000 4194304 4196468 140722930908000 139729742682576 139731825182619 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12295] ppid=12255 vsize=8414124 memory=1192 CPUtime=0.06 cores=0-7
/proc/12281/task/12295/stat : 12295 (java) S 12255 12255 10407 0 -1 1077944384 672 0 0 0 6 0 0 0 20 0 24 0 420209560 8616062976 29258 33554432000 4194304 4196468 140722930908000 139731051452656 139731825175170 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12296] ppid=12255 vsize=8414124 memory=5536 CPUtime=0.03 cores=0-7
/proc/12281/task/12296/stat : 12296 (java) S 12255 12255 10407 0 -1 1077944384 206 0 0 0 3 0 0 0 20 0 24 0 420209560 8616062976 29258 33554432000 4194304 4196468 140722930908000 139731050400112 139731825175170 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12297] ppid=12255 vsize=8414124 memory=4540 CPUtime=0.06 cores=0-7
/proc/12281/task/12297/stat : 12297 (java) S 12255 12255 10407 0 -1 1077944384 261 0 0 0 6 0 0 0 20 0 24 0 420209560 8616062976 29258 33554432000 4194304 4196468 140722930908000 139731049347056 139731825175170 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12298] ppid=12255 vsize=8414124 memory=752 CPUtime=0.21 cores=0-7
/proc/12281/task/12298/stat : 12298 (java) S 12255 12255 10407 0 -1 1077944384 743 0 0 0 21 0 0 0 20 0 24 0 420209560 8616062976 29258 33554432000 4194304 4196468 140722930908000 139731048294512 139731825175170 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12299] ppid=12255 vsize=8414124 memory=1636 CPUtime=0 cores=0-7
/proc/12281/task/12299/stat : 12299 (java) S 12255 12255 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420209560 8616062976 29258 33554432000 4194304 4196468 140722930908000 139729244777440 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12300] ppid=12255 vsize=8414124 memory=812 CPUtime=0 cores=0-7
/proc/12281/task/12300/stat : 12300 (java) S 12255 12255 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420209561 8616062976 29258 33554432000 4194304 4196468 140722930908000 139731047242928 139731825175170 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12302] ppid=12255 vsize=8414124 memory=1840 CPUtime=0 cores=0-7
/proc/12281/task/12302/stat : 12302 (java) S 12255 12255 10407 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420209628 8616062976 29258 33554432000 4194304 4196468 140722930908000 139731258394048 139731825188633 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12304] ppid=12255 vsize=8414124 memory=1792 CPUtime=0 cores=0-7
/proc/12281/task/12304/stat : 12304 (java) S 12255 12255 10407 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 420209628 8616062976 29258 33554432000 4194304 4196468 140722930908000 139728573677072 139731825185949 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12305] ppid=12255 vsize=8414124 memory=8612 CPUtime=0 cores=0-7
/proc/12281/task/12305/stat : 12305 (java) S 12255 12255 10407 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420209628 8616062976 29258 33554432000 4194304 4196468 140722930908000 139728842112656 139731825185949 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12306] ppid=12255 vsize=8414124 memory=1192 CPUtime=0 cores=0-7
/proc/12281/task/12306/stat : 12306 (java) S 12255 12255 10407 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420209631 8616062976 29258 33554432000 4194304 4196468 140722930908000 139728305249200 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
Current children cumulated CPU time: 99.79 s
Current children cumulated vsize: 14108436 KiB
Current children cumulated memory: 4983640 KiB

[startup+50.8011 s]
/proc/loadavg: 1.59 3.36 5.89 9/224 12314
/proc/meminfo: memFree=19553136/32770624 swapFree=67108848/67108860
[pid=12255] ppid=12252 vsize=113128 memory=1476 CPUtime=57.48 cores=0-7
/proc/12255/stat : 12255 (scop.sh) S 12252 12255 10407 0 -1 4202496 583 48908 0 0 0 0 5507 241 20 0 1 0 420205560 115843072 369 33554432000 4194304 5098028 140737044076720 140737044073464 140016463540860 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34803712 140737044083493 140737044083820 140737044083820 140737044086733 0
/proc/12255/statm: 28282 369 311 221 0 87 0
[pid=12281] ppid=12255 vsize=8414124 memory=140200 CPUtime=1.47 cores=0-7
/proc/12281/stat : 12281 (java) S 12255 12255 10407 0 -1 1077944320 22473 0 0 0 139 8 0 0 20 0 24 0 420209553 8616062976 35050 33554432000 4194304 4196468 140722930908000 140722930890544 139731825164023 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
/proc/12281/statm: 2103531 35050 3221 1 0 2064875 0
[pid=12281/tid=12282] ppid=12255 vsize=8414124 memory=8323121154383575950 CPUtime=0.77 cores=0-7
/proc/12281/task/12282/stat : 12282 (java) S 12255 12255 10407 0 -1 1077944384 17502 0 0 0 72 5 0 0 20 0 24 0 420209554 8616062976 35050 33554432000 4194304 4196468 140722930908000 139731797004192 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12283] ppid=12255 vsize=8414124 memory=25064 CPUtime=0 cores=0-7
/proc/12281/task/12283/stat : 12283 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420209555 8616062976 35050 33554432000 4194304 4196468 140722930908000 139731829406736 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12284] ppid=12255 vsize=8414124 memory=4048 CPUtime=0 cores=0-7
/proc/12281/task/12284/stat : 12284 (java) S 12255 12255 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420209555 8616062976 35050 33554432000 4194304 4196468 140722930908000 139731662785680 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12285] ppid=12255 vsize=8414124 memory=14288 CPUtime=0 cores=0-7
/proc/12281/task/12285/stat : 12285 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420209555 8616062976 35050 33554432000 4194304 4196468 140722930908000 139731308718864 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12286] ppid=12255 vsize=8414124 memory=504 CPUtime=0 cores=0-7
/proc/12281/task/12286/stat : 12286 (java) S 12255 12255 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420209555 8616062976 35050 33554432000 4194304 4196468 140722930908000 139731307666320 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12287] ppid=12255 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/12281/task/12287/stat : 12287 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420209555 8616062976 35050 33554432000 4194304 4196468 140722930908000 139731306613264 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12288] ppid=12255 vsize=8414124 memory=288230621820748097 CPUtime=0 cores=0-7
/proc/12281/task/12288/stat : 12288 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420209555 8616062976 35050 33554432000 4194304 4196468 140722930908000 139731305560720 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12289] ppid=12255 vsize=8414124 memory=3088060 CPUtime=0 cores=0-7
/proc/12281/task/12289/stat : 12289 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420209555 8616062976 35050 33554432000 4194304 4196468 140722930908000 139731304507664 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12290] ppid=12255 vsize=8414124 memory=302585828469899595 CPUtime=0 cores=0-7
/proc/12281/task/12290/stat : 12290 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420209555 8616062976 35050 33554432000 4194304 4196468 140722930908000 139731303455120 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12291] ppid=12255 vsize=8414124 memory=2497016 CPUtime=0 cores=0-7
/proc/12281/task/12291/stat : 12291 (java) S 12255 12255 10407 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420209557 8616062976 35050 33554432000 4194304 4196468 140722930908000 139731052505840 139731825175170 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12292] ppid=12255 vsize=8414124 memory=7883382284117434707 CPUtime=0 cores=0-7
/proc/12281/task/12292/stat : 12292 (java) S 12255 12255 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420209557 8616062976 35050 33554432000 4194304 4196468 140722930908000 139730251409056 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12293] ppid=12255 vsize=8414124 memory=7956563579038949715 CPUtime=0 cores=0-7
/proc/12281/task/12293/stat : 12293 (java) S 12255 12255 10407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420209557 8616062976 35050 33554432000 4194304 4196468 140722930908000 139730117186800 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12294] ppid=12255 vsize=8414124 memory=7800344954196685412 CPUtime=0 cores=0-7
/proc/12281/task/12294/stat : 12294 (java) S 12255 12255 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420209560 8616062976 35050 33554432000 4194304 4196468 140722930908000 139729742682576 139731825182619 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12295] ppid=12255 vsize=8414124 memory=6940442134320802664 CPUtime=0.11 cores=0-7
/proc/12281/task/12295/stat : 12295 (java) S 12255 12255 10407 0 -1 1077944384 821 0 0 0 11 0 0 0 20 0 24 0 420209560 8616062976 35050 33554432000 4194304 4196468 140722930908000 139731051452656 139731825175170 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12296] ppid=12255 vsize=8414124 memory=6155106135703310693 CPUtime=0.08 cores=0-7
/proc/12281/task/12296/stat : 12296 (java) S 12255 12255 10407 0 -1 1077944384 608 0 0 0 8 0 0 0 20 0 24 0 420209560 8616062976 35050 33554432000 4194304 4196468 140722930908000 139731050400112 139731825175170 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12297] ppid=12255 vsize=8414124 memory=7521696826242716521 CPUtime=0.09 cores=0-7
/proc/12281/task/12297/stat : 12297 (java) S 12255 12255 10407 0 -1 1077944384 278 0 0 0 9 0 0 0 20 0 24 0 420209560 8616062976 35050 33554432000 4194304 4196468 140722930908000 139731049347056 139731825175170 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12298] ppid=12255 vsize=8414124 memory=0 CPUtime=0.25 cores=0-7
/proc/12281/task/12298/stat : 12298 (java) S 12255 12255 10407 0 -1 1077944384 1279 0 0 0 25 0 0 0 20 0 24 0 420209560 8616062976 35050 33554432000 4194304 4196468 140722930908000 139731048294512 139731825175170 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12299] ppid=12255 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12281/task/12299/stat : 12299 (java) S 12255 12255 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420209560 8616062976 35050 33554432000 4194304 4196468 140722930908000 139729244777440 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12300] ppid=12255 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12281/task/12300/stat : 12300 (java) S 12255 12255 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420209561 8616062976 35050 33554432000 4194304 4196468 140722930908000 139731047242928 139731825175170 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12302] ppid=12255 vsize=8414124 memory=54919746814954 CPUtime=0 cores=0-7
/proc/12281/task/12302/stat : 12302 (java) S 12255 12255 10407 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420209628 8616062976 35050 33554432000 4194304 4196468 140722930908000 139731258394048 139731825188633 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12304] ppid=12255 vsize=8414124 memory=54919746814954 CPUtime=0.1 cores=0-7
/proc/12281/task/12304/stat : 12304 (java) S 12255 12255 10407 0 -1 4202560 572 0 0 0 10 0 0 0 20 0 24 0 420209628 8616062976 35050 33554432000 4194304 4196468 140722930908000 139728573677040 139731825185949 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12305] ppid=12255 vsize=8414124 memory=54919746814954 CPUtime=0 cores=0-7
/proc/12281/task/12305/stat : 12305 (java) S 12255 12255 10407 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420209628 8616062976 35050 33554432000 4194304 4196468 140722930908000 139728842112656 139731825185949 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12306] ppid=12255 vsize=8414124 memory=54919746814954 CPUtime=0 cores=0-7
/proc/12281/task/12306/stat : 12306 (java) S 12255 12255 10407 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420209631 8616062976 35050 33554432000 4194304 4196468 140722930908000 139728305249200 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
Current children cumulated CPU time: 58.95 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 141676 KiB

[startup+51.0008 s]*
/proc/loadavg: 1.59 3.36 5.89 4/213 12314
/proc/meminfo: memFree=24391984/32770624 swapFree=67108848/67108860
[pid=12255] ppid=12252 vsize=113128 memory=1476 CPUtime=57.48 cores=0-7
/proc/12255/stat : 12255 (scop.sh) S 12252 12255 10407 0 -1 4202496 583 48908 0 0 0 0 5507 241 20 0 1 0 420205560 115843072 369 33554432000 4194304 5098028 140737044076720 140737044073464 140016463540860 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34803712 140737044083493 140737044083820 140737044083820 140737044086733 0
/proc/12255/statm: 28282 369 311 221 0 87 0
[pid=12281] ppid=12255 vsize=8284072 memory=147744 CPUtime=44.09 cores=0-7
/proc/12281/stat : 12281 (java) S 12255 12255 10407 0 -1 1077944320 23821 1390878 0 0 172 10 3766 461 20 0 22 0 420209553 8482889728 36936 33554432000 4194304 4196468 140722930908000 140722930890544 139731825164023 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
/proc/12281/statm: 2071018 36936 3231 1 0 2032362 0
[pid=12281/tid=12282] ppid=12255 vsize=8284072 memory=576461178948550685 CPUtime=43.18 cores=0-7
/proc/12281/task/12282/stat : 12282 (java) R 12255 12255 10407 0 -1 4202560 18557 1390878 0 0 85 6 3766 461 20 0 22 0 420209554 8482889728 36936 33554432000 4194304 4196468 140722930908000 139731796990752 139731817843741 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12283] ppid=12255 vsize=8284072 memory=288230583182829924 CPUtime=42.27 cores=0-7
/proc/12281/task/12283/stat : 12283 (java) S 12255 12255 10407 0 -1 1077944384 1 1390878 0 0 0 0 3766 461 20 0 22 0 420209555 8482889728 36936 33554432000 4194304 4196468 140722930908000 139731829406736 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12284] ppid=12255 vsize=8284072 memory=140556876843650 CPUtime=42.27 cores=0-7
/proc/12281/task/12284/stat : 12284 (java) S 12255 12255 10407 0 -1 1077944384 3 1390878 0 0 0 0 3766 461 20 0 22 0 420209555 8482889728 36936 33554432000 4194304 4196468 140722930908000 139731662785680 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12285] ppid=12255 vsize=8284072 memory=-1 CPUtime=42.27 cores=0-7
/proc/12281/task/12285/stat : 12285 (java) S 12255 12255 10407 0 -1 1077944384 1 1390878 0 0 0 0 3766 461 20 0 22 0 420209555 8482889728 36936 33554432000 4194304 4196468 140722930908000 139731308718864 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12286] ppid=12255 vsize=8284072 memory=0 CPUtime=42.27 cores=0-7
/proc/12281/task/12286/stat : 12286 (java) S 12255 12255 10407 0 -1 1077944384 2 1390878 0 0 0 0 3766 461 20 0 22 0 420209555 8482889728 36936 33554432000 4194304 4196468 140722930908000 139731307666320 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12287] ppid=12255 vsize=8284072 memory=0 CPUtime=42.27 cores=0-7
/proc/12281/task/12287/stat : 12287 (java) S 12255 12255 10407 0 -1 1077944384 1 1390878 0 0 0 0 3766 461 20 0 22 0 420209555 8482889728 36936 33554432000 4194304 4196468 140722930908000 139731306613264 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12288] ppid=12255 vsize=8284072 memory=-1 CPUtime=42.27 cores=0-7
/proc/12281/task/12288/stat : 12288 (java) S 12255 12255 10407 0 -1 1077944384 1 1390878 0 0 0 0 3766 461 20 0 22 0 420209555 8482889728 36936 33554432000 4194304 4196468 140722930908000 139731305560720 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12289] ppid=12255 vsize=8284072 memory=0 CPUtime=42.27 cores=0-7
/proc/12281/task/12289/stat : 12289 (java) S 12255 12255 10407 0 -1 1077944384 1 1390878 0 0 0 0 3766 461 20 0 22 0 420209555 8482889728 36936 33554432000 4194304 4196468 140722930908000 139731304507664 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12290] ppid=12255 vsize=8284072 memory=0 CPUtime=42.27 cores=0-7
/proc/12281/task/12290/stat : 12290 (java) S 12255 12255 10407 0 -1 1077944384 1 1390878 0 0 0 0 3766 461 20 0 22 0 420209555 8482889728 36936 33554432000 4194304 4196468 140722930908000 139731303455120 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12291] ppid=12255 vsize=8284072 memory=0 CPUtime=42.27 cores=0-7
/proc/12281/task/12291/stat : 12291 (java) S 12255 12255 10407 0 -1 1077944384 5 1390878 0 0 0 0 3766 461 20 0 22 0 420209557 8482889728 36936 33554432000 4194304 4196468 140722930908000 139731052505840 139731825175170 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12292] ppid=12255 vsize=8284072 memory=0 CPUtime=42.27 cores=0-7
/proc/12281/task/12292/stat : 12292 (java) S 12255 12255 10407 0 -1 1077944384 13 1390878 0 0 0 0 3766 461 20 0 22 0 420209557 8482889728 36936 33554432000 4194304 4196468 140722930908000 139730251409056 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12293] ppid=12255 vsize=8284072 memory=0 CPUtime=42.27 cores=0-7
/proc/12281/task/12293/stat : 12293 (java) S 12255 12255 10407 0 -1 1077944384 21 1390878 0 0 0 0 3766 461 20 0 22 0 420209557 8482889728 36936 33554432000 4194304 4196468 140722930908000 139730117186800 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12294] ppid=12255 vsize=8284072 memory=0 CPUtime=42.27 cores=0-7
/proc/12281/task/12294/stat : 12294 (java) S 12255 12255 10407 0 -1 1077944384 1 1390878 0 0 0 0 3766 461 20 0 22 0 420209560 8482889728 36936 33554432000 4194304 4196468 140722930908000 139729742682576 139731825182619 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12295] ppid=12255 vsize=8284072 memory=0 CPUtime=42.43 cores=0-7
/proc/12281/task/12295/stat : 12295 (java) S 12255 12255 10407 0 -1 1077944384 837 1390878 0 0 16 0 3766 461 20 0 22 0 420209560 8482889728 36936 33554432000 4194304 4196468 140722930908000 139731051452656 139731825175170 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12296] ppid=12255 vsize=8284072 memory=0 CPUtime=42.4 cores=0-7
/proc/12281/task/12296/stat : 12296 (java) S 12255 12255 10407 0 -1 1077944384 654 1390878 0 0 13 0 3766 461 20 0 22 0 420209560 8482889728 36936 33554432000 4194304 4196468 140722930908000 139731050400112 139731825175170 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12297] ppid=12255 vsize=8284072 memory=0 CPUtime=42.41 cores=0-7
/proc/12281/task/12297/stat : 12297 (java) S 12255 12255 10407 0 -1 1077944384 375 1390878 0 0 14 0 3766 461 20 0 22 0 420209560 8482889728 36936 33554432000 4194304 4196468 140722930908000 139731049347056 139731825175170 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12298] ppid=12255 vsize=8284072 memory=0 CPUtime=42.59 cores=0-7
/proc/12281/task/12298/stat : 12298 (java) S 12255 12255 10407 0 -1 1077944384 1453 1390878 0 0 32 0 3766 461 20 0 22 0 420209560 8482889728 36936 33554432000 4194304 4196468 140722930908000 139731048294512 139731825175170 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12299] ppid=12255 vsize=8284072 memory=0 CPUtime=42.27 cores=0-7
/proc/12281/task/12299/stat : 12299 (java) S 12255 12255 10407 0 -1 1077944384 3 1390878 0 0 0 0 3766 461 20 0 22 0 420209560 8482889728 36936 33554432000 4194304 4196468 140722930908000 139729244777440 139731825174229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12300] ppid=12255 vsize=8284072 memory=0 CPUtime=42.27 cores=0-7
/proc/12281/task/12300/stat : 12300 (java) S 12255 12255 10407 0 -1 1077944384 3 1390878 0 0 0 0 3766 461 20 0 22 0 420209561 8482889728 36936 33554432000 4194304 4196468 140722930908000 139731047242928 139731825175170 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12302] ppid=12255 vsize=8284072 memory=-1 CPUtime=42.27 cores=0-7
/proc/12281/task/12302/stat : 12302 (java) S 12255 12255 10407 0 -1 1077944384 23 1390878 0 0 0 0 3766 461 20 0 22 0 420209628 8482889728 36936 33554432000 4194304 4196468 140722930908000 139731258393232 139731825175170 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
[pid=12281/tid=12306] ppid=12255 vsize=8284072 memory=0 CPUtime=42.27 cores=0-7
/proc/12281/task/12306/stat : 12306 (java) S 12255 12255 10407 0 -1 1077944384 15 1390878 0 0 0 0 3766 461 20 0 22 0 420209631 8482889728 36936 33554432000 4194304 4196468 140722930908000 139728305250992 139731825175170 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722930914295 140722930914454 140722930914454 140722930917327 0
Current children cumulated CPU time: 101.57 s
Current children cumulated vsize: 8397200 KiB
Current children cumulated memory: 149220 KiB

Child status: 0
Real time (s): 51.0565
CPU time (s): 101.662
CPU user time (s): 94.4865
CPU system time (s): 7.17547
CPU usage (%): 199.117
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 6285712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 94.4865
system time used= 7.17547
maximum resident set size= 6286192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1464609
page faults= 0
swaps= 0
block input operations= 8
block output operations= 326136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 202740
involuntary context switches= 267


# summary of solver processes directly reported to runsolver:
#   pid: 12255
#   total CPU time (s): 101.662
#   total CPU user time (s): 94.4865
#   total CPU system time (s): 7.17547

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.415208 second user time and 0.53305 second system time

The end

Launcher Data 

Begin job on node143 at 2019-09-14 08:30:41
IDJOB=4392302
IDBENCH=138789
IDSOLVER=2838
FILE ID=node143/4392302-1568442682
RUNJOBID= node143-1568436511-10434
PBS_JOBID= 21702317
Free space on /tmp= 59272 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Queens/Queens-m1-s1/Queens-0150-m1.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392302-1568442682/watcher-4392302-1568442682 -o /tmp/evaluation-result-4392302-1568442682/solver-4392302-1568442682 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568436511-10434 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392302-1568442682.xml

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

MD5SUM BENCH= 87bfaaaf5fd3b270ee1dec703898481f
RANDOM SEED=1117978304

node143.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.73
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.73
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.73
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.73
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:        24691268 kB
MemAvailable:   31754412 kB
Buffers:          204340 kB
Cached:          7147576 kB
SwapCached:            8 kB
Active:          2147396 kB
Inactive:        5256888 kB
Active(anon):       5444 kB
Inactive(anon):   146300 kB
Active(file):    2141952 kB
Inactive(file):  5110588 kB
Unevictable:      106476 kB
Mlocked:          106476 kB
SwapTotal:      67108860 kB
SwapFree:       67108848 kB
Dirty:             21244 kB
Writeback:             0 kB
AnonPages:        312460 kB
Mapped:            48920 kB
Shmem:             90756 kB
Slab:             268436 kB
SReclaimable:     239064 kB
SUnreclaim:        29372 kB
KernelStack:        3712 kB
PageTables:         5612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     499348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 59252 MiB
End job on node143 at 2019-09-14 08:31:32