Trace number 4392638

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-203.xml
MD5SUMce251f4c9ae0df3aa97e9296eb89cd68
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 benchmark141.487
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size634
Maximum domain size634
Distribution of domain sizes[{"size":634,"count":50}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints52
Distribution of constraint types[{"type":"intension","count":52},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-29997-serial-file.bin HOME/instance-4392638-1568429616.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 04:52:55 CEST 2019
0.66/0.56	c PID: 30000
0.66/0.56	c IP: 172.20.3.134
0.66/0.56	c HOST: node134.alineos.net
0.66/0.57	c (0,0) Parsing Begin
1.40/0.91	c (0,0) Parsing End
1.40/0.91	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 53 ctr, max domain size 634
1.40/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.91	c (0,0) Constraint Name Generate Begin
1.40/0.92	c (0,0) Ctr:HOME/instance-4392638-1568429616.xml,Le:NoOverlap:Num:Var
1.40/0.92	c (0,0) Constraint Name Generate End
1.40/0.92	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.40/0.92	c (0,0) CSP to CSPinCNF Begin
1.40/1.00	c (0,0) translated 6 (10%) constraints
1.40/1.00	c (0,0) translated 11 (20%) constraints
1.40/1.00	c (0,0) translated 16 (30%) constraints
1.40/1.01	c (0,0) translated 22 (40%) constraints
1.57/1.01	c (0,0) translated 27 (50%) constraints
1.57/1.01	c (0,0) translated 32 (60%) constraints
1.57/1.01	c (0,0) translated 38 (70%) constraints
1.57/1.02	c (0,0) translated 43 (80%) constraints
1.57/1.02	c (0,0) translated 48 (90%) constraints
2.19/1.28	c (0,0) translated 53 (100%) constraints
2.19/1.28	c (0,0) ===========================================
2.51/1.30	c (0,0) Hybrid: #OE=50, #LE=0
2.51/1.30	c (0,0) Hybrid
2.51/1.30	c (0,0) ===========================================
2.51/1.30	c (0,0) translated 36 (10%) constraints
2.51/1.31	c (0,0) translated 71 (20%) constraints
2.51/1.32	c (0,0) translated 106 (30%) constraints
2.51/1.33	c (0,0) translated 141 (40%) constraints
2.51/1.33	c (0,0) translated 176 (50%) constraints
2.51/1.34	c (0,0) translated 212 (60%) constraints
2.51/1.34	c (0,0) translated 247 (70%) constraints
2.51/1.35	c (0,0) translated 282 (80%) constraints
2.51/1.35	c (0,0) translated 317 (90%) constraints
2.51/1.35	c (0,0) translated 352 (100%) constraints
2.51/1.36	c (0,0) CSP to CSPinCNF End
2.51/1.36	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 352 ctr, max domain size 620
2.51/1.36	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.51/1.36	c (0,0) CSPinCNF Propagation Begin
2.51/1.39	c (0,0) 0 values, 6 unsatisfiable literals, and 51 valid clauses are removed
2.51/1.39	c (0,0) CSPinCNF Propagation End
2.51/1.39	c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 301 ctr, max domain size 620
2.51/1.39	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.51/1.39	c (0,0) Hybrid: #OE=50, #LE=0
2.51/1.39	c (0,0) Simplify CSPinCNF Begin
2.87/1.49	c (0,0) Simplify CSPinCNF End
2.87/1.49	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 620
2.87/1.49	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.87/1.49	c (0,0) Calculate Precise Domain Begin
2.87/1.50	c (0,0) 0 values are removed by re-calculation
2.87/1.50	c (0,0) Calculate Precise Domain End
2.87/1.50	c (0,0) CSP: 50 int (0 aux), 1194 bool (1194 aux), 1495 ctr, max domain size 620
2.87/1.50	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.87/1.50	c (0,0) CSPinCNF to SatSolver Begin
4.85/2.04	c (1,1) 150 (10 %) CSP clauses are encoded (0 SAT variables, 88075 SAT clauses)
5.08/2.27	c (1,1) 299 (20 %) CSP clauses are encoded (0 SAT variables, 148260 SAT clauses)
5.30/2.48	c (1,1) 449 (30 %) CSP clauses are encoded (0 SAT variables, 203813 SAT clauses)
5.63/2.70	c (2,2) 598 (40 %) CSP clauses are encoded (0 SAT variables, 261278 SAT clauses)
5.84/2.95	c (2,2) 748 (50 %) CSP clauses are encoded (0 SAT variables, 313609 SAT clauses)
5.96/3.11	c (2,2) 897 (60 %) CSP clauses are encoded (0 SAT variables, 365106 SAT clauses)
6.16/3.29	c (2,2) 1047 (70 %) CSP clauses are encoded (0 SAT variables, 413670 SAT clauses)
6.36/3.46	c (2,2) 1196 (80 %) CSP clauses are encoded (0 SAT variables, 460679 SAT clauses)
6.58/3.61	c (3,3) 1346 (90 %) CSP clauses are encoded (0 SAT variables, 500547 SAT clauses)
6.69/3.72	c (3,3) 1495 (100 %) CSP clauses are encoded (0 SAT variables, 526964 SAT clauses)
6.69/3.72	c (3,3) CSPinCNF to SatSolver End
6.69/3.72	c (3,3) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
6.69/3.72	c (3,3) 27326 bool, 527161 clause
6.69/3.72	c (3,3) Export Begin
6.85/3.80	c (3,3) Export to HOME/scop-29997-serial-file.bin
6.85/3.80	c (3,3) Export End
6.85/3.80	c (3,3) Export File Size: 0.01 MB
6.85/3.80	c (3,3) 0,0,0,0,0,0,3,STOP-AFTER(DIMACS)
6.85/3.80	c END-Prog: Sat Sep 14 04:52:59 CEST 2019
6.85/3.83	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-29997-serial-file.bin
7.36/4.29	c (0,0) Read Serial File Begin
7.36/4.29	c (0,0) HOME/scop-29997-serial-file.bin
7.64/4.48	c (0,0) Read Serial File End
7.78/4.50	
7.78/4.50	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
7.78/4.50	(Solving Process)
7.78/4.50	
7.78/4.52	c BEGIN-Prog: Sat Sep 14 04:52:59 CEST 2019
7.78/4.52	c PID: 30020
7.78/4.52	c IP: 172.20.3.134
7.78/4.52	c HOST: node134.alineos.net
7.78/4.52	c (0,0) SatSolver.solve Begin
7.78/4.52	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392638-1568429616.xml-scop-30000.cnf
7.78/4.55	c (0,0) c
7.78/4.55	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)
7.78/4.55	c (0,0) c
7.78/4.55	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
7.78/4.55	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
7.78/4.55	c (0,0) c ========================================[ Problem Statistics ]===========================================
7.78/4.55	c (0,0) c |                                                                                                       |
8.00/4.74	c (0,0) c |  Number of variables:         27326                                                                   |
8.00/4.74	c (0,0) c |  Number of clauses:          527161                                                                   |
8.00/4.74	c (0,0) c |  Parse time:                   0.18 s                                                                 |
8.00/4.74	c (0,0) c |                                                                                                       |
9.05/5.61	c (1,0) c |  Simplification time:          0.86 s                                                                 |
9.05/5.61	c (1,0) c |                                                                                                       |
9.05/5.61	c (1,0) c |  Generating clones                                                                                    |
9.15/5.76	c (1,0) c |  all clones generated. Memory =   350.77Mb.                                                           |
9.15/5.76	c (1,0) c ========================================================================================================|
9.15/5.76	c (1,0) c
9.15/5.76	c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
9.15/5.76	c (1,0) c
9.15/5.76	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.15/5.76	c (1,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
9.15/5.76	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.15/5.76	c (1,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
9.15/5.76	c (1,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
9.15/5.76	c (1,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
9.15/5.76	c (1,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
9.15/5.76	c (1,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
9.15/5.76	c (1,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
9.15/5.76	c (1,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
9.15/5.76	c (1,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
9.15/5.76	c (1,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
9.15/5.76	c (1,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
9.15/5.76	c (1,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
9.15/5.76	c (1,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
9.15/5.76	c (1,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
9.15/5.76	c (1,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
9.15/5.76	c (1,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
9.15/5.76	c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
246.94/35.62	c (31,0) c
246.94/35.62	c (31,0) c |------------------------------------------------------------------------------------------------------------------------|
246.94/35.62	c (31,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
246.94/35.62	c (31,0) c |------------------------------------------------------------------------------------------------------------------------|
246.94/35.62	c (31,0) c |  0 |    123 |     120080 |      50703 |    79142 |    24579 |     9087 |    55478 |     5985 |      203 |  20 |  0.516 |
246.94/35.62	c (31,0) c |  1 |    158 |     119353 |      50775 |    72599 |    24650 |     8575 |    56218 |     5540 |      205 |  20 |  0.516 |
246.94/35.62	c (31,0) c |  2 |    125 |     112609 |      49486 |    75490 |    23339 |     8497 |    55665 |     5418 |      202 |  20 |  0.516 |
246.94/35.62	c (31,0) c |  3 |    137 |     123630 |      53710 |    80402 |    15167 |     8917 |    57279 |     5828 |      212 |  20 |  0.516 |
246.94/35.62	c (31,0) c |  4 |    183 |     128248 |      53039 |    78140 |    14223 |     8616 |    56554 |     5833 |      210 |  20 |  0.516 |
246.94/35.62	c (31,0) c |  5 |    156 |     130598 |      54609 |    82865 |    16022 |     9216 |    56744 |     5978 |      211 |  20 |  0.516 |
246.94/35.62	c (31,0) c |  6 |    139 |     120232 |      52603 |    75242 |    14018 |     8918 |    56621 |     6303 |      210 |  20 |  0.516 |
246.94/35.62	c (31,0) c |  7 |    179 |     125736 |      51028 |    80244 |    12475 |     8017 |    57980 |     6034 |      210 |  20 |  0.516 |
246.94/35.62	c (31,0) c 
246.94/35.62	c (31,0) c synthesis      415953 conflicts   402617000 propagations     1746 conflicts/sec  1689835 propagations/sec
246.94/35.62	c (31,0) c real: 31.0772 s, cpu: 238.258 s, memory: 925.52 Mb
478.17/64.62	c (60,0) c
478.17/64.62	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
478.17/64.62	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
478.17/64.62	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
478.17/64.62	c (60,0) c |  0 |    267 |     198870 |      88647 |    98746 |    35076 |    13551 |    90489 |    11319 |      388 |  20 |  0.516 |
478.17/64.62	c (60,0) c |  1 |    303 |     197097 |      87609 |    92449 |    34039 |    13784 |    89970 |    10763 |      386 |  20 |  0.516 |
478.17/64.62	c (60,0) c |  2 |    275 |     190605 |      85756 |    96068 |    32180 |    12874 |    90143 |    10512 |      381 |  20 |  0.516 |
478.17/64.62	c (60,0) c |  3 |    309 |     205064 |      91801 |    98472 |    20620 |    14267 |    91463 |    11454 |      397 |  20 |  0.516 |
478.17/64.62	c (60,0) c |  4 |    328 |     209472 |      91181 |    98170 |    19937 |    13272 |    91826 |    11316 |      395 |  20 |  0.516 |
478.17/64.62	c (60,0) c |  5 |    294 |     209590 |      91114 |   102462 |    19927 |    13769 |    90681 |    11349 |      392 |  20 |  0.516 |
478.17/64.62	c (60,0) c |  6 |    294 |     201539 |      91049 |    97576 |    19865 |    14126 |    92057 |    11324 |      399 |  20 |  0.516 |
478.17/64.62	c (60,0) c |  7 |    397 |     214583 |      90455 |   101681 |    19278 |    12612 |    93831 |    11784 |      400 |  20 |  0.516 |
478.17/64.62	c (60,0) c 
478.17/64.62	c (60,0) c synthesis      717614 conflicts   736277364 propagations     1529 conflicts/sec  1568746 propagations/sec
478.17/64.62	c (60,0) c real: 60.0772 s, cpu: 469.341 s, memory: 925.52 Mb
700.97/93.62	c (89,0) c
700.97/93.62	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
700.97/93.62	c (89,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
700.97/93.62	c (89,0) c |------------------------------------------------------------------------------------------------------------------------|
700.97/93.62	c (89,0) c |  0 |    446 |     266088 |     120582 |   111385 |    28725 |    17063 |   114997 |    15374 |      562 |  20 |  1.332 |
700.97/93.62	c (89,0) c |  1 |    454 |     269216 |     121869 |   106559 |    30049 |    17369 |   115098 |    14951 |      564 |  20 |  1.332 |
700.97/93.62	c (89,0) c |  2 |    419 |     258779 |     118618 |   108781 |    26629 |    16253 |   113238 |    14856 |      549 |  20 |  1.332 |
700.97/93.62	c (89,0) c |  3 |    442 |     265721 |     120906 |   110193 |    29195 |    17445 |   113015 |    15119 |      554 |  20 |  1.332 |
700.97/93.62	c (89,0) c |  4 |    501 |     275050 |     122064 |   110565 |    30299 |    16474 |   115427 |    15261 |      560 |  20 |  1.332 |
700.97/93.62	c (89,0) c |  5 |    469 |     280025 |     123599 |   115583 |    31711 |    17115 |   115589 |    15591 |      564 |  20 |  1.332 |
700.97/93.62	c (89,0) c |  6 |    428 |     263648 |     122053 |   110726 |    30317 |    17695 |   114919 |    15183 |      564 |  20 |  1.332 |
700.97/93.62	c (89,0) c |  7 |    514 |     274514 |     120142 |   112195 |    27950 |    15638 |   116511 |    15259 |      563 |  20 |  2.145 |
700.97/93.62	c (89,0) c 
700.97/93.62	c (89,0) c synthesis      969833 conflicts  1027936251 propagations     1402 conflicts/sec  1485921 propagations/sec
700.97/93.62	c (89,0) c real: 89.0772 s, cpu: 691.784 s, memory: 1339.16 Mb
929.63/123.54	c (119,0) c
929.63/123.54	c (119,0) c real time : 118.992 s
929.63/123.54	c (119,0) c cpu time  : 919.958 s
929.63/123.54	c (119,0) c
929.63/123.54	c (119,0) c
929.63/123.54	c (119,0) c
929.63/123.54	c (119,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
929.63/123.54	c (119,0) c
929.63/123.54	c (119,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
929.63/123.54	c (119,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
929.63/123.54	c (119,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
929.63/123.54	c (119,0) c | Conflicts     |         1235375 |     153148 |     154517 |     154228 |     154633 |     155374 |     156422 |     155045 |     152008 |
929.63/123.54	c (119,0) c | Decisions     |         2682734 |     328239 |     334507 |     329599 |     333899 |     343637 |     346214 |     330193 |     336446 |
929.63/123.54	c (119,0) c | Propagations  |      1346166741 |  167545540 |  167520870 |  168669547 |  168942748 |  167661810 |  167939302 |  168611220 |  169275704 |
929.63/123.54	c (119,0) c | ReduceDBs     |              80 |         10 |         10 |         10 |         10 |         10 |         10 |         10 |         10 |
929.63/123.54	c (119,0) c | SimpDBs       |              58 |          7 |          8 |          7 |          7 |          8 |          8 |          6 |          7 |
929.63/123.54	c (119,0) c | Restarts      |            4877 |        581 |        554 |        578 |        600 |        697 |        641 |        572 |        654 |
929.63/123.54	c (119,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
929.63/123.54	c (119,0) c | PropBinClauses|      1592742860 |  199253761 |  198232963 |  200484945 |  199791992 |  198245159 |  197656567 |  199340462 |  199737011 |
929.63/123.54	c (119,0) c | PropPreBlocker|     19991273998 | 2492918691 | 2499531184 | 2498696885 | 2503550637 | 2484754388 | 2502082069 | 2514596797 | 2495143347 |
929.63/123.54	c (119,0) c | PropNotBlocker|      6189717968 |  780564784 |  774069236 |  766274045 |  773469159 |  774617209 |  771560383 |  770973380 |  778189772 |
929.63/123.54	c (119,0) c | LitFullScans  |     35976358068 | 4494498523 | 4496696916 | 4494549670 | 4494500085 | 4494491838 | 4500489791 | 4506567662 | 4494563583 |
929.63/123.54	c (119,0) c | LitScanFracts |         3984159 |     455511 |     516538 |     532945 |     495186 |     456422 |     487036 |     561050 |     479471 |
929.63/123.54	c (119,0) c | DecisionLevel0|            4894 |        583 |        557 |        579 |        601 |        700 |        643 |        572 |        659 |
929.63/123.54	c (119,0) c | Periods       |            5995 |        749 |        749 |        749 |        749 |        749 |        750 |        751 |        749 |
929.63/123.54	c (119,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
929.63/123.54	c (119,0) c | Avg_Trail     |                 |      11614 |      11643 |      11603 |      11633 |      11591 |      11742 |      11679 |      11636 |
929.63/123.54	c (119,0) c | Avg_DL        |                 |         24 |         24 |         24 |         25 |         24 |         25 |         25 |         25 |
929.63/123.54	c (119,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
929.63/123.54	c (119,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
929.63/123.54	c (119,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
929.63/123.54	c (119,0) c | Exported      |          162578 |      20465 |      20827 |      19832 |      20830 |      19781 |      20401 |      21691 |      18751 |
929.63/123.54	c (119,0) c | Imported      |         1117393 |     139347 |     138890 |     140095 |     139312 |     140403 |     139949 |     138614 |     140783 |
929.63/123.54	c (119,0) c | Good          |            1292 |        160 |        158 |        163 |        165 |        167 |        154 |        167 |        158 |
929.63/123.54	c (119,0) c | Purge         |         1116101 |     139187 |     138732 |     139932 |     139147 |     140236 |     139795 |     138447 |     140625 |
929.63/123.54	c (119,0) c | Promoted      |          153222 |      19402 |      18790 |      18899 |      19204 |      19357 |      19382 |      19000 |      19188 |
929.63/123.54	c (119,0) c | Remove_Imp    |          648773 |      81251 |      80863 |      82045 |      80466 |      80872 |      79632 |      79485 |      84159 |
929.63/123.54	c (119,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
929.63/123.54	c (119,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
929.63/123.54	c (119,0) c | Unaries       |                 |          2 |          3 |          1 |          1 |          3 |          2 |          0 |          5 |
929.63/123.54	c (119,0) c | Binaries      |                 |         25 |         28 |         22 |         20 |         18 |         31 |         18 |         26 |
929.63/123.54	c (119,0) c | Glues         |                 |        337 |        351 |        353 |        351 |        345 |        305 |        326 |        330 |
929.63/123.54	c (119,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
929.63/123.54	c (119,0) c | Orig_Seen     |            23 % |     121103 |     119783 |     118998 |     119989 |     120350 |     126057 |     121031 |     121183 |
929.63/123.54	c (119,0) c | Diff Orig seen|                 |       1320 |      X     | -      785 |        206 |        567 |       6274 |       1248 |       1400 |
929.63/123.54	c (119,0) c | Hamming       |            20 % |       7494 |      X     |       5043 |       7010 |       5449 |       3062 |       5635 |       6229 |
929.63/123.54	c (119,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
929.63/123.54	c (119,0) c | RunningTime   |                 |  115.5  99%|  115.4  99%|  116.9 100%|  117.5 100%|  116.3 100%|  115.5  99%|  112.6  97%|  113.9  98%|
929.63/123.54	c (119,0) c | WaitingTime   |                 |    1.1   1%|    0.6   0%|    0.0   0%|    0.2   0%|    0.0   0%|    0.6   1%|    3.5   3%|    2.7   2%|
929.63/123.54	c (119,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
929.63/123.54	c (119,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%|
929.63/123.54	c (119,0) c | SolvingTime   |                 |  116.7     |  116.1     |  117.0     |  117.8     |  116.4     |  116.2     |  116.1     |  116.6     |
929.63/123.54	c (119,0) c | PropagationTim|                 |   97.7  84%|   96.8  83%|   96.7  83%|   97.6  83%|   95.8  82%|   96.2  83%|   96.9  83%|   96.2  83%|
929.63/123.54	c (119,0) c | AnalysisTime  |                 |   15.8  14%|   16.0  14%|   16.9  14%|   16.7  14%|   17.1  15%|   16.5  14%|   16.1  14%|   17.1  15%|
929.63/123.54	c (119,0) c | ReductionTime |                 |    0.4   0%|    0.4   0%|    0.4   0%|    0.5   0%|    0.5   0%|    0.5   0%|    0.4   0%|    0.4   0%|
929.63/123.54	c (119,0) c | SimplifyTime  |                 |    0.1   0%|    0.2   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.2   0%|    0.1   0%|    0.1   0%|
929.63/123.54	c (119,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%|
929.63/123.54	c (119,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%|
929.63/123.54	c (119,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
929.63/123.54	c (119,0) c
929.63/123.54	c (119,0) c
929.63/123.54	c (119,0) c Threads : 8
929.63/123.54	c (119,0) c Winner : 1
929.63/123.54	c (119,0) c Conflicts_0 : 153148
929.63/123.54	c (119,0) c Conflicts_1 : 154517
929.63/123.54	c (119,0) c Conflicts_2 : 154228
929.63/123.54	c (119,0) c Conflicts_3 : 154633
929.63/123.54	c (119,0) c Conflicts_4 : 155374
929.63/123.54	c (119,0) c Conflicts_5 : 156422
929.63/123.54	c (119,0) c Conflicts_6 : 155045
929.63/123.54	c (119,0) c Conflicts_7 : 152008
929.63/123.54	c (119,0) c Conflicts_total : 1235375
929.63/123.54	c (119,0) c Conflicts_winner : 154517
929.63/123.54	c (119,0) c Decisions_0 : 328239
929.63/123.54	c (119,0) c Decisions_1 : 334507
929.63/123.54	c (119,0) c Decisions_2 : 329599
929.63/123.54	c (119,0) c Decisions_3 : 333899
929.63/123.54	c (119,0) c Decisions_4 : 343637
929.63/123.54	c (119,0) c Decisions_5 : 346214
929.63/123.54	c (119,0) c Decisions_6 : 330193
929.63/123.54	c (119,0) c Decisions_7 : 336446
929.63/123.54	c (119,0) c Decisions_total : 2682734
929.63/123.54	c (119,0) c Decisions_winner : 334507
929.63/123.54	c (119,0) c Propagations_0 : 167545540
929.63/123.54	c (119,0) c Propagations_1 : 167520870
929.63/123.54	c (119,0) c Propagations_2 : 168669547
929.63/123.54	c (119,0) c Propagations_3 : 168942748
929.63/123.54	c (119,0) c Propagations_4 : 167661810
929.63/123.54	c (119,0) c Propagations_5 : 167939302
929.63/123.54	c (119,0) c Propagations_6 : 168611220
929.63/123.54	c (119,0) c Propagations_7 : 169275704
929.63/123.54	c (119,0) c Propagations_total : 1346166741
929.63/123.54	c (119,0) c Propagations_winner : 167520870
929.63/123.54	c (119,0) c ReduceDBs_0 : 10
929.63/123.54	c (119,0) c ReduceDBs_1 : 10
929.63/123.54	c (119,0) c ReduceDBs_2 : 10
929.63/123.54	c (119,0) c ReduceDBs_3 : 10
929.63/123.54	c (119,0) c ReduceDBs_4 : 10
929.63/123.54	c (119,0) c ReduceDBs_5 : 10
929.63/123.54	c (119,0) c ReduceDBs_6 : 10
929.63/123.54	c (119,0) c ReduceDBs_7 : 10
929.63/123.54	c (119,0) c ReduceDBs_total : 80
929.63/123.54	c (119,0) c ReduceDBs_winner : 10
929.63/123.54	c (119,0) c SimpDBs_0 : 7
929.63/123.54	c (119,0) c SimpDBs_1 : 8
929.63/123.54	c (119,0) c SimpDBs_2 : 7
929.63/123.54	c (119,0) c SimpDBs_3 : 7
929.63/123.54	c (119,0) c SimpDBs_4 : 8
929.63/123.54	c (119,0) c SimpDBs_5 : 8
929.63/123.54	c (119,0) c SimpDBs_6 : 6
929.63/123.54	c (119,0) c SimpDBs_7 : 7
929.63/123.54	c (119,0) c SimpDBs_total : 58
929.63/123.54	c (119,0) c SimpDBs_winner : 8
929.63/123.54	c (119,0) c Restarts_0 : 581
929.63/123.54	c (119,0) c Restarts_1 : 554
929.63/123.54	c (119,0) c Restarts_2 : 578
929.63/123.54	c (119,0) c Restarts_3 : 600
929.63/123.54	c (119,0) c Restarts_4 : 697
929.63/123.54	c (119,0) c Restarts_5 : 641
929.63/123.54	c (119,0) c Restarts_6 : 572
929.63/123.54	c (119,0) c Restarts_7 : 654
929.63/123.54	c (119,0) c Restarts_total : 4877
929.63/123.54	c (119,0) c Restarts_winner : 554
929.63/123.54	c (119,0) c ForcedImports_0 : 0
929.63/123.54	c (119,0) c ForcedImports_1 : 0
929.63/123.54	c (119,0) c ForcedImports_2 : 0
929.63/123.54	c (119,0) c ForcedImports_3 : 0
929.63/123.54	c (119,0) c ForcedImports_4 : 0
929.63/123.54	c (119,0) c ForcedImports_5 : 0
929.63/123.54	c (119,0) c ForcedImports_6 : 0
929.63/123.54	c (119,0) c ForcedImports_7 : 0
929.63/123.54	c (119,0) c ForcedImports_total : 0
929.63/123.54	c (119,0) c ForcedImports_winner : 0
929.63/123.54	c (119,0) c PropsBinClauses_0 : 199253761
929.63/123.54	c (119,0) c PropsBinClauses_1 : 198232963
929.63/123.54	c (119,0) c PropsBinClauses_2 : 200484945
929.63/123.54	c (119,0) c PropsBinClauses_3 : 199791992
929.63/123.54	c (119,0) c PropsBinClauses_4 : 198245159
929.63/123.54	c (119,0) c PropsBinClauses_5 : 197656567
929.63/123.54	c (119,0) c PropsBinClauses_6 : 199340462
929.63/123.54	c (119,0) c PropsBinClauses_7 : 199737011
929.63/123.54	c (119,0) c PropsBinClauses_total : 1592742860
929.63/123.54	c (119,0) c PropsBinClauses_winner : 198232963
929.63/123.54	c (119,0) c PropsPreBlocker_0 : 2492918691
929.63/123.54	c (119,0) c PropsPreBlocker_1 : 2499531184
929.63/123.54	c (119,0) c PropsPreBlocker_2 : 2498696885
929.63/123.54	c (119,0) c PropsPreBlocker_3 : 2503550637
929.63/123.54	c (119,0) c PropsPreBlocker_4 : 2484754388
929.63/123.54	c (119,0) c PropsPreBlocker_5 : 2502082069
929.63/123.54	c (119,0) c PropsPreBlocker_6 : 2514596797
929.63/123.54	c (119,0) c PropsPreBlocker_7 : 2495143347
929.63/123.54	c (119,0) c PropsPreBlocker_total : 19991273998
929.63/123.54	c (119,0) c PropsPreBlocker_winner : 2499531184
929.63/123.54	c (119,0) c PropsNotBlocker_0 : 780564784
929.63/123.54	c (119,0) c PropsNotBlocker_1 : 774069236
929.63/123.54	c (119,0) c PropsNotBlocker_2 : 766274045
929.63/123.54	c (119,0) c PropsNotBlocker_3 : 773469159
929.63/123.54	c (119,0) c PropsNotBlocker_4 : 774617209
929.63/123.54	c (119,0) c PropsNotBlocker_5 : 771560383
929.63/123.54	c (119,0) c PropsNotBlocker_6 : 770973380
929.63/123.54	c (119,0) c PropsNotBlocker_7 : 778189772
929.63/123.55	c (119,0) c PropsNotBlocker_total : 6189717968
929.63/123.55	c (119,0) c PropsNotBlocker_winner : 774069236
929.63/123.55	c (119,0) c PropsLitFullScans_0 : 4494498523
929.63/123.55	c (119,0) c PropsLitFullScans_1 : 4496696916
929.63/123.55	c (119,0) c PropsLitFullScans_2 : 4494549670
929.63/123.55	c (119,0) c PropsLitFullScans_3 : 4494500085
929.63/123.55	c (119,0) c PropsLitFullScans_4 : 4494491838
929.63/123.55	c (119,0) c PropsLitFullScans_5 : 4500489791
929.63/123.55	c (119,0) c PropsLitFullScans_6 : 4506567662
929.63/123.55	c (119,0) c PropsLitFullScans_7 : 4494563583
929.63/123.55	c (119,0) c PropsLitFullScans_total : 35976358068
929.63/123.55	c (119,0) c PropsLitFullScans_winner : 4496696916
929.63/123.55	c (119,0) c LitScanFractions_0 : 455511
929.63/123.55	c (119,0) c LitScanFractions_1 : 516538
929.63/123.55	c (119,0) c LitScanFractions_2 : 532945
929.63/123.55	c (119,0) c LitScanFractions_3 : 495186
929.63/123.55	c (119,0) c LitScanFractions_4 : 456422
929.63/123.55	c (119,0) c LitScanFractions_5 : 487036
929.63/123.55	c (119,0) c LitScanFractions_6 : 561050
929.63/123.55	c (119,0) c LitScanFractions_7 : 479471
929.63/123.55	c (119,0) c LitScanFractions_total : 3984159
929.63/123.55	c (119,0) c LitScanFractions_winner : 516538
929.63/123.55	c (119,0) c DecisionLevel0_0 : 583
929.63/123.55	c (119,0) c DecisionLevel0_1 : 557
929.63/123.55	c (119,0) c DecisionLevel0_2 : 579
929.63/123.55	c (119,0) c DecisionLevel0_3 : 601
929.63/123.55	c (119,0) c DecisionLevel0_4 : 700
929.63/123.55	c (119,0) c DecisionLevel0_5 : 643
929.63/123.55	c (119,0) c DecisionLevel0_6 : 572
929.63/123.55	c (119,0) c DecisionLevel0_7 : 659
929.63/123.55	c (119,0) c DecisionLevel0_total : 4894
929.63/123.55	c (119,0) c DecisionLevel0_winner : 557
929.63/123.55	c (119,0) c Periods_0 : 749
929.63/123.55	c (119,0) c Periods_1 : 749
929.63/123.55	c (119,0) c Periods_2 : 749
929.63/123.55	c (119,0) c Periods_3 : 749
929.63/123.55	c (119,0) c Periods_4 : 749
929.63/123.55	c (119,0) c Periods_5 : 750
929.63/123.55	c (119,0) c Periods_6 : 751
929.63/123.55	c (119,0) c Periods_7 : 749
929.63/123.55	c (119,0) c Periods_total : 5995
929.63/123.55	c (119,0) c Periods_winner : 749
929.63/123.55	c (119,0) c Margin_0 : 20
929.63/123.55	c (119,0) c Margin_1 : 20
929.63/123.55	c (119,0) c Margin_2 : 20
929.63/123.55	c (119,0) c Margin_3 : 20
929.63/123.55	c (119,0) c Margin_4 : 20
929.63/123.55	c (119,0) c Margin_5 : 20
929.63/123.55	c (119,0) c Margin_6 : 20
929.63/123.55	c (119,0) c Margin_7 : 20
929.63/123.55	c (119,0) c Margin_total : 160
929.63/123.55	c (119,0) c Margin_winner : 20
929.63/123.55	c (119,0) c Exported_0 : 20465
929.63/123.55	c (119,0) c Exported_1 : 20827
929.63/123.55	c (119,0) c Exported_2 : 19832
929.63/123.55	c (119,0) c Exported_3 : 20830
929.63/123.55	c (119,0) c Exported_4 : 19781
929.63/123.55	c (119,0) c Exported_5 : 20401
929.63/123.55	c (119,0) c Exported_6 : 21691
929.63/123.55	c (119,0) c Exported_7 : 18751
929.63/123.55	c (119,0) c Exported_total : 162578
929.63/123.55	c (119,0) c Exported_winner : 20827
929.63/123.55	c (119,0) c Imported_0 : 139347
929.63/123.55	c (119,0) c Imported_1 : 138890
929.63/123.55	c (119,0) c Imported_2 : 140095
929.63/123.55	c (119,0) c Imported_3 : 139312
929.63/123.55	c (119,0) c Imported_4 : 140403
929.63/123.55	c (119,0) c Imported_5 : 139949
929.63/123.55	c (119,0) c Imported_6 : 138614
929.63/123.55	c (119,0) c Imported_7 : 140783
929.63/123.55	c (119,0) c Imported_total : 1117393
929.63/123.55	c (119,0) c Imported_winner : 138890
929.63/123.55	c (119,0) c Good_0 : 160
929.63/123.55	c (119,0) c Good_1 : 158
929.63/123.55	c (119,0) c Good_2 : 163
929.63/123.55	c (119,0) c Good_3 : 165
929.63/123.55	c (119,0) c Good_4 : 167
929.63/123.55	c (119,0) c Good_5 : 154
929.63/123.55	c (119,0) c Good_6 : 167
929.63/123.55	c (119,0) c Good_7 : 158
929.63/123.55	c (119,0) c Good_total : 1292
929.63/123.55	c (119,0) c Good_winner : 158
929.63/123.55	c (119,0) c Purge_0 : 139187
929.63/123.55	c (119,0) c Purge_1 : 138732
929.63/123.55	c (119,0) c Purge_2 : 139932
929.63/123.55	c (119,0) c Purge_3 : 139147
929.63/123.55	c (119,0) c Purge_4 : 140236
929.63/123.55	c (119,0) c Purge_5 : 139795
929.63/123.55	c (119,0) c Purge_6 : 138447
929.63/123.55	c (119,0) c Purge_7 : 140625
929.63/123.55	c (119,0) c Purge_total : 1116101
929.63/123.55	c (119,0) c Purge_winner : 138732
929.63/123.55	c (119,0) c Promoted_0 : 19402
929.63/123.55	c (119,0) c Promoted_1 : 18790
929.63/123.55	c (119,0) c Promoted_2 : 18899
929.63/123.55	c (119,0) c Promoted_3 : 19204
929.63/123.55	c (119,0) c Promoted_4 : 19357
929.63/123.55	c (119,0) c Promoted_5 : 19382
929.63/123.55	c (119,0) c Promoted_6 : 19000
929.63/123.55	c (119,0) c Promoted_7 : 19188
929.63/123.55	c (119,0) c Promoted_total : 153222
929.63/123.55	c (119,0) c Promoted_winner : 18790
929.63/123.55	c (119,0) c Remove_Imp_0 : 81251
929.63/123.55	c (119,0) c Remove_Imp_1 : 80863
929.63/123.55	c (119,0) c Remove_Imp_2 : 82045
929.63/123.55	c (119,0) c Remove_Imp_3 : 80466
929.63/123.55	c (119,0) c Remove_Imp_4 : 80872
929.63/123.55	c (119,0) c Remove_Imp_5 : 79632
929.63/123.55	c (119,0) c Remove_Imp_6 : 79485
929.63/123.55	c (119,0) c Remove_Imp_7 : 84159
929.63/123.55	c (119,0) c Remove_Imp_total : 648773
929.63/123.55	c (119,0) c Remove_Imp_winner : 80863
929.63/123.55	c (119,0) c Blocked_Reuse_0 : 0
929.63/123.55	c (119,0) c Blocked_Reuse_1 : 0
929.63/123.55	c (119,0) c Blocked_Reuse_2 : 0
929.63/123.55	c (119,0) c Blocked_Reuse_3 : 0
929.63/123.55	c (119,0) c Blocked_Reuse_4 : 0
929.63/123.55	c (119,0) c Blocked_Reuse_5 : 0
929.63/123.55	c (119,0) c Blocked_Reuse_6 : 0
929.63/123.55	c (119,0) c Blocked_Reuse_7 : 0
929.63/123.55	c (119,0) c Blocked_Reuse_total : 0
929.63/123.55	c (119,0) c Blocked_Reuse_winner : 0
929.63/123.55	c (119,0) c Unaries_0 : 2
929.63/123.55	c (119,0) c Unaries_1 : 3
929.63/123.55	c (119,0) c Unaries_2 : 1
929.63/123.55	c (119,0) c Unaries_3 : 1
929.63/123.55	c (119,0) c Unaries_4 : 3
929.63/123.55	c (119,0) c Unaries_5 : 2
929.63/123.55	c (119,0) c Unaries_6 : 0
929.63/123.55	c (119,0) c Unaries_7 : 5
929.63/123.55	c (119,0) c Unaries_total : 17
929.63/123.55	c (119,0) c Unaries_winner : 3
929.63/123.55	c (119,0) c Binaries_0 : 25
929.63/123.55	c (119,0) c Binaries_1 : 28
929.63/123.55	c (119,0) c Binaries_2 : 22
929.63/123.55	c (119,0) c Binaries_3 : 20
929.63/123.55	c (119,0) c Binaries_4 : 18
929.63/123.55	c (119,0) c Binaries_5 : 31
929.63/123.55	c (119,0) c Binaries_6 : 18
929.63/123.55	c (119,0) c Binaries_7 : 26
929.63/123.55	c (119,0) c Binaries_total : 188
929.63/123.55	c (119,0) c Binaries_winner : 28
929.63/123.55	c (119,0) c Glues_0 : 337
929.63/123.55	c (119,0) c Glues_1 : 351
929.63/123.55	c (119,0) c Glues_2 : 353
929.63/123.55	c (119,0) c Glues_3 : 351
929.63/123.55	c (119,0) c Glues_4 : 345
929.63/123.55	c (119,0) c Glues_5 : 305
929.63/123.55	c (119,0) c Glues_6 : 326
929.63/123.55	c (119,0) c Glues_7 : 330
929.63/123.55	c (119,0) c Glues_total : 2698
929.63/123.55	c (119,0) c Glues_winner : 351
929.63/123.55	c (119,0) c RunningTime_0 : 115.492234
929.63/123.55	c (119,0) c RunningTime_1 : 115.440436
929.63/123.55	c (119,0) c RunningTime_2 : 116.858759
929.63/123.55	c (119,0) c RunningTime_3 : 117.476663
929.63/123.55	c (119,0) c RunningTime_4 : 116.308781
929.63/123.55	c (119,0) c RunningTime_5 : 115.465076
929.63/123.55	c (119,0) c RunningTime_6 : 112.584321
929.63/123.55	c (119,0) c RunningTime_7 : 113.869060
929.63/123.55	c (119,0) c RunningTime_total : 923.495329
929.63/123.55	c (119,0) c RunningTime_winner : 115.440436
929.63/123.55	c (119,0) c WaitingTime_0 : 1.115726
929.63/123.55	c (119,0) c WaitingTime_1 : 0.578887
929.63/123.55	c (119,0) c WaitingTime_2 : 0.001109
929.63/123.55	c (119,0) c WaitingTime_3 : 0.194813
929.63/123.55	c (119,0) c WaitingTime_4 : 0.001302
929.63/123.55	c (119,0) c WaitingTime_5 : 0.603325
929.63/123.55	c (119,0) c WaitingTime_6 : 3.481189
929.63/123.55	c (119,0) c WaitingTime_7 : 2.660142
929.63/123.55	c (119,0) c WaitingTime_total : 8.636493
929.63/123.55	c (119,0) c WaitingTime_winner : 0.578887
929.63/123.55	c (119,0) c ExchangingTime_0 : 0.091842
929.63/123.55	c (119,0) c ExchangingTime_1 : 0.075448
929.63/123.55	c (119,0) c ExchangingTime_2 : 0.086117
929.63/123.55	c (119,0) c ExchangingTime_3 : 0.078482
929.63/123.55	c (119,0) c ExchangingTime_4 : 0.090327
929.63/123.55	c (119,0) c ExchangingTime_5 : 0.087243
929.63/123.55	c (119,0) c ExchangingTime_6 : 0.074656
929.63/123.55	c (119,0) c ExchangingTime_7 : 0.093857
929.63/123.55	c (119,0) c ExchangingTime_total : 0.677971
929.63/123.55	c (119,0) c ExchangingTime_winner : 0.075448
929.63/123.55	c (119,0) c PeriodProcTime_0 : 0.006513
929.63/123.55	c (119,0) c PeriodProcTime_1 : 0.006363
929.63/123.55	c (119,0) c PeriodProcTime_2 : 0.009544
929.63/123.55	c (119,0) c PeriodProcTime_3 : 0.008038
929.63/123.55	c (119,0) c PeriodProcTime_4 : 0.007934
929.63/123.55	c (119,0) c PeriodProcTime_5 : 0.008245
929.63/123.55	c (119,0) c PeriodProcTime_6 : 0.006391
929.63/123.55	c (119,0) c PeriodProcTime_7 : 0.006491
929.63/123.55	c (119,0) c PeriodProcTime_total : 0.059519
929.63/123.55	c (119,0) c PeriodProcTime_winner : 0.006363
929.63/123.55	c (119,0) c SolvingTime_0 : 116.706316
929.63/123.55	c (119,0) c SolvingTime_1 : 116.101134
929.63/123.55	c (119,0) c SolvingTime_2 : 116.955528
929.63/123.55	c (119,0) c SolvingTime_3 : 117.757995
929.63/123.55	c (119,0) c SolvingTime_4 : 116.408344
929.63/123.55	c (119,0) c SolvingTime_5 : 116.163889
929.63/123.55	c (119,0) c SolvingTime_6 : 116.146556
929.63/123.55	c (119,0) c SolvingTime_7 : 116.629550
929.63/123.55	c (119,0) c SolvingTime_total : 932.869313
929.63/123.55	c (119,0) c SolvingTime_winner : 116.101134
929.63/123.55	c (119,0) c PropagationTime_0 : 97.661546
929.63/123.55	c (119,0) c PropagationTime_1 : 96.819398
929.63/123.55	c (119,0) c PropagationTime_2 : 96.695059
929.63/123.55	c (119,0) c PropagationTime_3 : 97.632379
929.63/123.55	c (119,0) c PropagationTime_4 : 95.828090
929.63/123.55	c (119,0) c PropagationTime_5 : 96.197088
929.63/123.55	c (119,0) c PropagationTime_6 : 96.897852
929.63/123.55	c (119,0) c PropagationTime_7 : 96.228292
929.63/123.55	c (119,0) c PropagationTime_total : 773.959704
929.63/123.55	c (119,0) c PropagationTime_winner : 96.819398
929.63/123.55	c (119,0) c AnalysisTime_0 : 15.782932
929.63/123.55	c (119,0) c AnalysisTime_1 : 15.969819
929.63/123.55	c (119,0) c AnalysisTime_2 : 16.852979
929.63/123.55	c (119,0) c AnalysisTime_3 : 16.701821
929.63/123.55	c (119,0) c AnalysisTime_4 : 17.097885
929.63/123.55	c (119,0) c AnalysisTime_5 : 16.486946
929.63/123.55	c (119,0) c AnalysisTime_6 : 16.055367
929.63/123.55	c (119,0) c AnalysisTime_7 : 17.064314
929.63/123.55	c (119,0) c AnalysisTime_total : 132.012064
929.63/123.55	c (119,0) c AnalysisTime_winner : 15.969819
929.63/123.55	c (119,0) c ReductionTime_0 : 0.420528
929.63/123.55	c (119,0) c ReductionTime_1 : 0.433227
929.63/123.55	c (119,0) c ReductionTime_2 : 0.445448
929.63/123.55	c (119,0) c ReductionTime_3 : 0.466668
929.63/123.55	c (119,0) c ReductionTime_4 : 0.480656
929.63/123.55	c (119,0) c ReductionTime_5 : 0.474894
929.63/123.55	c (119,0) c ReductionTime_6 : 0.428631
929.63/123.55	c (119,0) c ReductionTime_7 : 0.430833
929.63/123.55	c (119,0) c ReductionTime_total : 3.580885
929.63/123.55	c (119,0) c ReductionTime_winner : 0.433227
929.63/123.55	c (119,0) c SimplifyTime_0 : 0.130913
929.63/123.55	c (119,0) c SimplifyTime_1 : 0.195328
929.63/123.55	c (119,0) c SimplifyTime_2 : 0.140108
929.63/123.55	c (119,0) c SimplifyTime_3 : 0.137005
929.63/123.55	c (119,0) c SimplifyTime_4 : 0.148616
929.63/123.55	c (119,0) c SimplifyTime_5 : 0.158892
929.63/123.55	c (119,0) c SimplifyTime_6 : 0.104419
929.63/123.55	c (119,0) c SimplifyTime_7 : 0.134408
929.63/123.55	c (119,0) c SimplifyTime_total : 1.149689
929.63/123.55	c (119,0) c SimplifyTime_winner : 0.195328
929.63/123.55	c (119,0) c UsedRateTime_0 : 0.000000
929.63/123.55	c (119,0) c UsedRateTime_1 : 0.000000
929.63/123.55	c (119,0) c UsedRateTime_2 : 0.000000
929.63/123.55	c (119,0) c UsedRateTime_3 : 0.000000
929.63/123.55	c (119,0) c UsedRateTime_4 : 0.000000
929.63/123.55	c (119,0) c UsedRateTime_5 : 0.000000
929.63/123.55	c (119,0) c UsedRateTime_6 : 0.000000
929.63/123.55	c (119,0) c UsedRateTime_7 : 0.000000
929.63/123.55	c (119,0) c UsedRateTime_total : 0.000000
929.63/123.55	c (119,0) c UsedRateTime_winner : 0.000000
929.63/123.55	c (119,0) c OverlapRateTime_0 : 0.000000
929.63/123.55	c (119,0) c OverlapRateTime_1 : 0.000000
929.63/123.55	c (119,0) c OverlapRateTime_2 : 0.000000
929.63/123.55	c (119,0) c OverlapRateTime_3 : 0.000000
929.63/123.55	c (119,0) c OverlapRateTime_4 : 0.000000
929.63/123.55	c (119,0) c OverlapRateTime_5 : 0.000000
929.63/123.55	c (119,0) c OverlapRateTime_6 : 0.000000
929.63/123.55	c (119,0) c OverlapRateTime_7 : 0.000000
929.63/123.55	c (119,0) c OverlapRateTime_total : 0.000000
929.63/123.55	c (119,0) c OverlapRateTime_winner : 0.000000
929.63/123.55	c (119,0) c
929.63/123.55	c (119,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
929.63/123.55	c (119,0) c
929.63/123.55	c (119,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
929.63/123.55	c (119,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
929.63/123.55	c (119,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
929.63/123.55	c (119,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
929.63/123.55	c (119,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
929.63/123.55	c (119,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
929.63/123.55	c (119,0) c | Initial random_seed   | 2016904820 | 1730990928 |  329761305 | 2138309837 |  417010493 | 1244593101 | 1662743158 | 1958058407 |
929.63/123.55	c (119,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
929.63/123.55	c (119,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
929.63/123.55	c (119,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
929.63/123.55	c (119,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
929.63/123.55	c (119,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
929.63/123.55	c (119,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
929.63/123.55	c (119,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
929.63/123.55	c (119,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
929.63/123.55	c (119,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
929.63/123.55	c (119,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
929.63/123.55	c (119,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
929.63/123.55	c (119,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
929.63/123.55	c (119,0) 
929.63/123.55	c (119,0) s SATISFIABLE
929.89/123.60	c (119,0) SatSolver.solve End
929.89/123.60	c (119,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
929.89/123.60	c (119,0) Show results Begin
930.15/123.71	c (119,0) x[0] = 327
930.15/123.71	c (119,0) x[1] = 265
930.15/123.71	c (119,0) x[2] = 241
930.15/123.71	c (119,0) x[3] = 239
930.15/123.71	c (119,0) x[4] = 265
930.15/123.71	c (119,0) x[5] = 239
930.15/123.71	c (119,0) x[6] = 298
930.15/123.71	c (119,0) x[7] = 407
930.15/123.71	c (119,0) x[8] = 241
930.15/123.71	c (119,0) x[9] = 282
930.15/123.71	c (119,0) x[10] = 235
930.15/123.71	c (119,0) x[11] = 327
930.15/123.71	c (119,0) x[12] = 160
930.15/123.71	c (119,0) x[13] = 160
930.15/123.71	c (119,0) x[14] = 239
930.15/123.71	c (119,0) x[15] = 298
930.15/123.71	c (119,0) x[16] = 342
930.15/123.71	c (119,0) x[17] = 0
930.15/123.71	c (119,0) x[18] = 239
930.15/123.71	c (119,0) x[19] = 235
930.15/123.71	c (119,0) x[20] = 461
930.15/123.71	c (119,0) x[21] = 407
930.15/123.71	c (119,0) x[22] = 400
930.15/123.71	c (119,0) x[23] = 0
930.15/123.71	c (119,0) x[24] = 0
930.15/123.71	c (119,0) y[0] = 234
930.15/123.71	c (119,0) y[1] = 292
930.15/123.71	c (119,0) y[2] = 318
930.15/123.71	c (119,0) y[3] = 292
930.15/123.71	c (119,0) y[4] = 309
930.15/123.71	c (119,0) y[5] = 249
930.15/123.71	c (119,0) y[6] = 309
930.15/123.71	c (119,0) y[7] = 353
930.15/123.71	c (119,0) y[8] = 342
930.15/123.71	c (119,0) y[9] = 249
930.15/123.71	c (119,0) y[10] = 399
930.15/123.71	c (119,0) y[11] = 161
930.15/123.71	c (119,0) y[12] = 239
930.15/123.71	c (119,0) y[13] = 318
930.15/123.71	c (119,0) y[14] = 161
930.15/123.71	c (119,0) y[15] = 353
930.15/123.72	c (119,0) y[16] = 234
930.15/123.72	c (119,0) y[17] = 239
930.15/123.72	c (119,0) y[18] = 0
930.15/123.72	c (119,0) y[19] = 462
930.15/123.72	c (119,0) y[20] = 234
930.15/123.72	c (119,0) y[21] = 407
930.15/123.72	c (119,0) y[22] = 0
930.15/123.72	c (119,0) y[23] = 399
930.15/123.72	c (119,0) y[24] = 0
930.15/123.72	s SATISFIABLE
930.15/123.72	v <instantiation>
930.15/123.72	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24]</list>
930.15/123.72	v     <values>327 265 241 239 265 239 298 407 241 282 235 327 160 160 239 298 342 0 239 235 461 407 400 0 0 234 292 318 292 309 249 309 353 342 249 399 161 239 318 161 353 234 239 0 462 234 407 0 399 0</values>
930.15/123.72	v </instantiation>
930.15/123.72	c (119,0) Show results End
930.15/123.72	c (119,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
930.15/123.72	c (119,0) 119,119,STOP-AFTER(ALL)
930.15/123.72	c END-Prog: Sat Sep 14 04:54:59 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 (14389 MiB free)
  memory of node 1: 16384 MiB (15163 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100071 s]*
/proc/loadavg: 6.89 7.54 7.80 2/217 30019
/proc/meminfo: memFree=30167336/32770624 swapFree=66916644/67108860
[pid=29997] ppid=29994 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/29997/stat : 29997 (scop.sh) S 29994 29997 29631 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419212151 115843072 348 33554432000 4194304 5098028 140732827471424 140732827468680 140179011228284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27467776 140732827472676 140732827473004 140732827473004 140732827475917 0
/proc/29997/statm: 28282 348 296 221 0 87 0
[pid=30000] ppid=29997 vsize=27314120 memory=107836 CPUtime=0.11 cores=0-7
/proc/30000/stat : 30000 (java) S 29997 29997 29631 0 -1 1077944320 6553 0 0 0 9 2 0 0 20 0 20 0 419212152 27969658880 26959 33554432000 4194304 4196468 140725743242080 140725743224624 140394128482039 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
/proc/30000/statm: 6828530 26959 2799 1 0 6790935 0
[pid=30000/tid=30001] ppid=29997 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/30000/task/30001/stat : 30001 (java) R 29997 29997 29631 0 -1 4202560 4641 0 0 0 7 2 0 0 20 0 20 0 419212152 27969658880 26959 33554432000 4194304 4196468 140725743242080 140394100308368 140394128503965 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30002] ppid=29997 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/30000/task/30002/stat : 30002 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212154 27969658880 26959 33554432000 4194304 4196468 140725743242080 140394132724880 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30003] ppid=29997 vsize=27314120 memory=140570440914560 CPUtime=0 cores=0-7
/proc/30000/task/30003/stat : 30003 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212154 27969658880 26959 33554432000 4194304 4196468 140725743242080 140393959541776 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30004] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30004/stat : 30004 (java) S 29997 29997 29631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419212154 27969658880 26959 33554432000 4194304 4196468 140725743242080 140393549745040 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30005] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30005/stat : 30005 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212154 27969658880 26959 33554432000 4194304 4196468 140725743242080 140393548692240 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30006] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30006/stat : 30006 (java) S 29997 29997 29631 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419212154 27969658880 26959 33554432000 4194304 4196468 140725743242080 140393547639440 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30007] ppid=29997 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30000/task/30007/stat : 30007 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212154 27969658880 26959 33554432000 4194304 4196468 140725743242080 140393546586640 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30008] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30008/stat : 30008 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212154 27969658880 26959 33554432000 4194304 4196468 140725743242080 140393545533840 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30009] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30009/stat : 30009 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212154 27969658880 26959 33554432000 4194304 4196468 140725743242080 140393544481040 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30010] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30010/stat : 30010 (java) S 29997 29997 29631 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419212156 27969658880 27023 33554432000 4194304 4196468 140725743242080 140393388333936 140394128493186 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30011] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30011/stat : 30011 (java) S 29997 29997 29631 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419212156 27969658880 27023 33554432000 4194304 4196468 140725743242080 140391743481376 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30012] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30012/stat : 30012 (java) S 29997 29997 29631 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419212157 27969658880 27023 33554432000 4194304 4196468 140725743242080 140391609259376 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30013] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30013/stat : 30013 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212159 27969658880 27023 33554432000 4194304 4196468 140725743242080 140391234754896 140394128500635 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30014] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30014/stat : 30014 (java) S 29997 29997 29631 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 419212159 27969658880 27023 33554432000 4194304 4196468 140725743242080 140393387280752 140394128493186 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30015] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30015/stat : 30015 (java) R 29997 29997 29631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419212159 27969658880 27023 33554432000 4194304 4196468 140725743242080 140393386227952 140394128493186 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30016] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30016/stat : 30016 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212159 27969658880 27023 33554432000 4194304 4196468 140725743242080 140393385175152 140394128493186 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30017] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30017/stat : 30017 (java) R 29997 29997 29631 0 -1 4202560 272 0 0 0 0 0 0 0 20 0 20 0 419212159 27969658880 27023 33554432000 4194304 4196468 140725743242080 140393384119944 140394107527717 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30018] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30018/stat : 30018 (java) S 29997 29997 29631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419212159 27969658880 27023 33554432000 4194304 4196468 140725743242080 140390736850016 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30019] ppid=29997 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30000/task/30019/stat : 30019 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212160 27969658880 27023 33554432000 4194304 4196468 140725743242080 140393383070768 140394128493186 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109228 KiB

[startup+0.210716 s]*
/proc/loadavg: 6.89 7.54 7.80 3/217 30019
/proc/meminfo: memFree=30149840/32770624 swapFree=66916644/67108860
[pid=29997] ppid=29994 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/29997/stat : 29997 (scop.sh) S 29994 29997 29631 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419212151 115843072 348 33554432000 4194304 5098028 140732827471424 140732827468680 140179011228284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27467776 140732827472676 140732827473004 140732827473004 140732827475917 0
/proc/29997/statm: 28282 348 296 221 0 87 0
[pid=30000] ppid=29997 vsize=27314120 memory=122612 CPUtime=0.25 cores=0-7
/proc/30000/stat : 30000 (java) S 29997 29997 29631 0 -1 1077944320 11539 0 0 0 21 4 0 0 20 0 20 0 419212152 27969658880 30653 33554432000 4194304 4196468 140725743242080 140725743224624 140394128482039 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
/proc/30000/statm: 6828530 30653 2922 1 0 6790935 0
[pid=30000/tid=30001] ppid=29997 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/30000/task/30001/stat : 30001 (java) R 29997 29997 29631 0 -1 4202560 9230 0 0 0 16 3 0 0 20 0 20 0 419212152 27969658880 30653 33554432000 4194304 4196468 140725743242080 140394100281424 140394108760262 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30002] ppid=29997 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/30000/task/30002/stat : 30002 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212154 27969658880 30653 33554432000 4194304 4196468 140725743242080 140394132724880 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30003] ppid=29997 vsize=27314120 memory=140570444097736 CPUtime=0 cores=0-7
/proc/30000/task/30003/stat : 30003 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212154 27969658880 30653 33554432000 4194304 4196468 140725743242080 140393959541776 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30004] ppid=29997 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30000/task/30004/stat : 30004 (java) S 29997 29997 29631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419212154 27969658880 30653 33554432000 4194304 4196468 140725743242080 140393549745040 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30005] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30005/stat : 30005 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212154 27969658880 30653 33554432000 4194304 4196468 140725743242080 140393548692240 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30006] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30006/stat : 30006 (java) S 29997 29997 29631 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419212154 27969658880 30653 33554432000 4194304 4196468 140725743242080 140393547639440 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30007] ppid=29997 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30000/task/30007/stat : 30007 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212154 27969658880 30653 33554432000 4194304 4196468 140725743242080 140393546586640 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30008] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30008/stat : 30008 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212154 27969658880 30653 33554432000 4194304 4196468 140725743242080 140393545533840 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30009] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30009/stat : 30009 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212154 27969658880 30653 33554432000 4194304 4196468 140725743242080 140393544481040 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30010] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30010/stat : 30010 (java) S 29997 29997 29631 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419212156 27969658880 30653 33554432000 4194304 4196468 140725743242080 140393388333936 140394128493186 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30011] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30011/stat : 30011 (java) S 29997 29997 29631 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419212156 27969658880 30653 33554432000 4194304 4196468 140725743242080 140391743481376 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30012] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30012/stat : 30012 (java) S 29997 29997 29631 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419212157 27969658880 30653 33554432000 4194304 4196468 140725743242080 140391609259376 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30013] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30013/stat : 30013 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212159 27969658880 30653 33554432000 4194304 4196468 140725743242080 140391234754896 140394128500635 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30014] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30014/stat : 30014 (java) S 29997 29997 29631 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 20 0 419212159 27969658880 30653 33554432000 4194304 4196468 140725743242080 140393387280752 140394128493186 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30015] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30015/stat : 30015 (java) S 29997 29997 29631 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 419212159 27969658880 30653 33554432000 4194304 4196468 140725743242080 140393386227952 140394128493186 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30016] ppid=29997 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30000/task/30016/stat : 30016 (java) S 29997 29997 29631 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 419212159 27969658880 30653 33554432000 4194304 4196468 140725743242080 140393385175152 140394128493186 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30017] ppid=29997 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/30000/task/30017/stat : 30017 (java) S 29997 29997 29631 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 20 0 419212159 27969658880 30653 33554432000 4194304 4196468 140725743242080 140393384122352 140394128493186 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30018] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30018/stat : 30018 (java) S 29997 29997 29631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419212159 27969658880 30653 33554432000 4194304 4196468 140725743242080 140390736850016 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30019] ppid=29997 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30000/task/30019/stat : 30019 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212160 27969658880 30653 33554432000 4194304 4196468 140725743242080 140393383070768 140394128493186 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124004 KiB

[startup+0.310591 s]*
/proc/loadavg: 6.89 7.54 7.80 2/217 30019
/proc/meminfo: memFree=30146552/32770624 swapFree=66916644/67108860
[pid=29997] ppid=29994 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/29997/stat : 29997 (scop.sh) S 29994 29997 29631 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419212151 115843072 348 33554432000 4194304 5098028 140732827471424 140732827468680 140179011228284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27467776 140732827472676 140732827473004 140732827473004 140732827475917 0
/proc/29997/statm: 28282 348 296 221 0 87 0
[pid=30000] ppid=29997 vsize=27314120 memory=126284 CPUtime=0.43 cores=0-7
/proc/30000/stat : 30000 (java) S 29997 29997 29631 0 -1 1077944320 12487 0 0 0 38 5 0 0 20 0 20 0 419212152 27969658880 31571 33554432000 4194304 4196468 140725743242080 140725743224624 140394128482039 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
/proc/30000/statm: 6828530 31571 3027 1 0 6790935 0
[pid=30000/tid=30001] ppid=29997 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/30000/task/30001/stat : 30001 (java) R 29997 29997 29631 0 -1 4202560 9996 0 0 0 26 4 0 0 20 0 20 0 419212152 27969658880 31571 33554432000 4194304 4196468 140725743242080 140394100295680 140394110045614 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30002] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30002/stat : 30002 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212154 27969658880 31571 33554432000 4194304 4196468 140725743242080 140394132724880 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30003] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30003/stat : 30003 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212154 27969658880 31571 33554432000 4194304 4196468 140725743242080 140393959541776 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30004] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30004/stat : 30004 (java) S 29997 29997 29631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419212154 27969658880 31571 33554432000 4194304 4196468 140725743242080 140393549745040 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30005] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30005/stat : 30005 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212154 27969658880 31571 33554432000 4194304 4196468 140725743242080 140393548692240 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30006] ppid=29997 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/30000/task/30006/stat : 30006 (java) S 29997 29997 29631 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419212154 27969658880 31571 33554432000 4194304 4196468 140725743242080 140393547639440 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30007] ppid=29997 vsize=27314120 memory=140570320270255 CPUtime=0 cores=0-7
/proc/30000/task/30007/stat : 30007 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212154 27969658880 31571 33554432000 4194304 4196468 140725743242080 140393546586640 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30008] ppid=29997 vsize=27314120 memory=140570320272560 CPUtime=0 cores=0-7
/proc/30000/task/30008/stat : 30008 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212154 27969658880 31571 33554432000 4194304 4196468 140725743242080 140393545533840 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30009] ppid=29997 vsize=27314120 memory=140570320274864 CPUtime=0 cores=0-7
/proc/30000/task/30009/stat : 30009 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212154 27969658880 31571 33554432000 4194304 4196468 140725743242080 140393544481040 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30010] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30010/stat : 30010 (java) S 29997 29997 29631 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419212156 27969658880 31571 33554432000 4194304 4196468 140725743242080 140393388333936 140394128493186 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30011] ppid=29997 vsize=27314120 memory=281140640556688 CPUtime=0 cores=0-7
/proc/30000/task/30011/stat : 30011 (java) S 29997 29997 29631 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419212156 27969658880 31571 33554432000 4194304 4196468 140725743242080 140391743481376 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30012] ppid=29997 vsize=27314120 memory=281140640563600 CPUtime=0 cores=0-7
/proc/30000/task/30012/stat : 30012 (java) S 29997 29997 29631 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419212157 27969658880 31571 33554432000 4194304 4196468 140725743242080 140391609259376 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30013] ppid=29997 vsize=27314120 memory=281140640504752 CPUtime=0 cores=0-7
/proc/30000/task/30013/stat : 30013 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212159 27969658880 31571 33554432000 4194304 4196468 140725743242080 140391234754896 140394128500635 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30014] ppid=29997 vsize=27314120 memory=281140640577424 CPUtime=0.01 cores=0-7
/proc/30000/task/30014/stat : 30014 (java) S 29997 29997 29631 0 -1 1077944384 374 0 0 0 1 0 0 0 20 0 20 0 419212159 27969658880 31571 33554432000 4194304 4196468 140725743242080 140393387280752 140394128493186 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30015] ppid=29997 vsize=27314120 memory=281140640584336 CPUtime=0.01 cores=0-7
/proc/30000/task/30015/stat : 30015 (java) R 29997 29997 29631 0 -1 4202560 153 0 0 0 1 0 0 0 20 0 20 0 419212159 27969658880 31571 33554432000 4194304 4196468 140725743242080 140393386227952 140394110026138 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30016] ppid=29997 vsize=27314120 memory=281140640582032 CPUtime=0.02 cores=0-7
/proc/30000/task/30016/stat : 30016 (java) S 29997 29997 29631 0 -1 1077944384 115 0 0 0 2 0 0 0 20 0 20 0 419212159 27969658880 31571 33554432000 4194304 4196468 140725743242080 140393385175152 140394128493186 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30017] ppid=29997 vsize=27314120 memory=281140640598192 CPUtime=0.07 cores=0-7
/proc/30000/task/30017/stat : 30017 (java) S 29997 29997 29631 0 -1 1077944384 501 0 0 0 7 0 0 0 20 0 20 0 419212159 27969658880 31571 33554432000 4194304 4196468 140725743242080 140393384122352 140394128493186 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30018] ppid=29997 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30018/stat : 30018 (java) S 29997 29997 29631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419212159 27969658880 31571 33554432000 4194304 4196468 140725743242080 140390736850016 140394128492245 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30019] ppid=29997 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30000/task/30019/stat : 30019 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212160 27969658880 31571 33554432000 4194304 4196468 140725743242080 140393383070768 140394128493186 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127676 KiB

[startup+0.700934 s]
/proc/loadavg: 6.89 7.54 7.80 2/217 30019
/proc/meminfo: memFree=30123360/32770624 swapFree=66916644/67108860
[pid=29997] ppid=29994 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/29997/stat : 29997 (scop.sh) S 29994 29997 29631 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419212151 115843072 348 33554432000 4194304 5098028 140732827471424 140732827468680 140179011228284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27467776 140732827472676 140732827473004 140732827473004 140732827475917 0
/proc/29997/statm: 28282 348 296 221 0 87 0
[pid=30000] ppid=29997 vsize=27322516 memory=163916 CPUtime=1 cores=0-7
/proc/30000/stat : 30000 (java) S 29997 29997 29631 0 -1 1077944320 20057 0 0 0 93 7 0 0 20 0 20 0 419212152 27978256384 40979 33554432000 4194304 4196468 140725743242080 140725743224624 140394128482039 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
/proc/30000/statm: 6830629 40979 3199 1 0 6791959 0
[pid=30000/tid=30001] ppid=29997 vsize=27322516 memory=281140640956080 CPUtime=0.68 cores=0-7
/proc/30000/task/30001/stat : 30001 (java) R 29997 29997 29631 0 -1 4202560 17099 0 0 0 62 6 0 0 20 0 20 0 419212152 27978256384 40979 33554432000 4194304 4196468 140725743242080 140394100313776 140394112562526 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30002] ppid=29997 vsize=27322516 memory=140570320479088 CPUtime=0 cores=0-7
/proc/30000/task/30002/stat : 30002 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212154 27978256384 40979 33554432000 4194304 4196468 140725743242080 140394132724880 140394128492245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30003] ppid=29997 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/30000/task/30003/stat : 30003 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419212154 27978256384 40979 33554432000 4194304 4196468 140725743242080 140393959541776 140394128492245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0
[pid=30000/tid=30004] ppid=29997 vsize=27322516 memory=5996 CPUtime=0 cores=0-7
/proc/30000/task/30004/stat : 30004 (java) S 29997 29997 29631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419212154 27978256384 40979 33554432000 4194304 4196468 140725743242080 140393549745040 140394128492245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20279296 140725743248106 140725743248534 140725743248534 140725743251407 0

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

[pid=30020/tid=30022] ppid=29997 vsize=8414124 memory=1156 CPUtime=0 cores=0-7
/proc/30020/task/30022/stat : 30022 (java) S 29997 29997 29631 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419212537 8616062976 30132 33554432000 4194304 4196468 140722043026400 139867014093456 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30023] ppid=29997 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/30020/task/30023/stat : 30023 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419212537 8616062976 30132 33554432000 4194304 4196468 140722043026400 139866819856912 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30024] ppid=29997 vsize=8414124 memory=120528 CPUtime=0 cores=0-7
/proc/30020/task/30024/stat : 30024 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419212537 8616062976 30132 33554432000 4194304 4196468 140722043026400 139866493585808 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30025] ppid=29997 vsize=8414124 memory=833088 CPUtime=0 cores=0-7
/proc/30020/task/30025/stat : 30025 (java) S 29997 29997 29631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419212537 8616062976 30132 33554432000 4194304 4196468 140722043026400 139866492533008 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30026] ppid=29997 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/30020/task/30026/stat : 30026 (java) S 29997 29997 29631 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419212537 8616062976 30132 33554432000 4194304 4196468 140722043026400 139866491481232 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30027] ppid=29997 vsize=8414124 memory=-9177045679590371730 CPUtime=0 cores=0-7
/proc/30020/task/30027/stat : 30027 (java) S 29997 29997 29631 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419212537 8616062976 30132 33554432000 4194304 4196468 140722043026400 139866490428432 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30028] ppid=29997 vsize=8414124 memory=120528 CPUtime=0 cores=0-7
/proc/30020/task/30028/stat : 30028 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419212537 8616062976 30132 33554432000 4194304 4196468 140722043026400 139866489375632 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30029] ppid=29997 vsize=8414124 memory=833036 CPUtime=0 cores=0-7
/proc/30020/task/30029/stat : 30029 (java) S 29997 29997 29631 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419212537 8616062976 30132 33554432000 4194304 4196468 140722043026400 139866488322832 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30030] ppid=29997 vsize=8414124 memory=-2026666227646604569 CPUtime=0 cores=0-7
/proc/30020/task/30030/stat : 30030 (java) S 29997 29997 29631 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419212538 8616062976 30132 33554432000 4194304 4196468 140722043026400 139865969142128 139867009862274 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30031] ppid=29997 vsize=8414124 memory=7976406965554101975 CPUtime=0 cores=0-7
/proc/30020/task/30031/stat : 30031 (java) S 29997 29997 29631 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419212539 8616062976 30132 33554432000 4194304 4196468 140722043026400 139865677095968 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30032] ppid=29997 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/30020/task/30032/stat : 30032 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419212539 8616062976 30132 33554432000 4194304 4196468 140722043026400 139865408660336 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30033] ppid=29997 vsize=8414124 memory=792 CPUtime=0 cores=0-7
/proc/30020/task/30033/stat : 30033 (java) S 29997 29997 29631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419212541 8616062976 30132 33554432000 4194304 4196468 140722043026400 139865034151760 139867009869723 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30034] ppid=29997 vsize=8414124 memory=1640 CPUtime=0.05 cores=0-7
/proc/30020/task/30034/stat : 30034 (java) S 29997 29997 29631 0 -1 1077944384 552 0 0 0 5 0 0 0 20 0 24 0 419212541 8616062976 30132 33554432000 4194304 4196468 140722043026400 139865968089968 139867009862274 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30035] ppid=29997 vsize=8414124 memory=1804 CPUtime=0.03 cores=0-7
/proc/30020/task/30035/stat : 30035 (java) S 29997 29997 29631 0 -1 1077944384 105 0 0 0 3 0 0 0 20 0 24 0 419212541 8616062976 30132 33554432000 4194304 4196468 140722043026400 139865967037168 139867009862274 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30036] ppid=29997 vsize=8414124 memory=916 CPUtime=0.09 cores=0-7
/proc/30020/task/30036/stat : 30036 (java) S 29997 29997 29631 0 -1 1077944384 407 0 0 0 9 0 0 0 20 0 24 0 419212541 8616062976 30132 33554432000 4194304 4196468 140722043026400 139865965984368 139867009862274 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30037] ppid=29997 vsize=8414124 memory=4424 CPUtime=0.18 cores=0-7
/proc/30020/task/30037/stat : 30037 (java) S 29997 29997 29631 0 -1 1077944384 692 0 0 0 18 0 0 0 20 0 24 0 419212541 8616062976 30132 33554432000 4194304 4196468 140722043026400 139865964931568 139867009862274 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30038] ppid=29997 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/30020/task/30038/stat : 30038 (java) S 29997 29997 29631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419212542 8616062976 30132 33554432000 4194304 4196468 140722043026400 139864536246880 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30039] ppid=29997 vsize=8414124 memory=1296 CPUtime=0.07 cores=0-7
/proc/30020/task/30039/stat : 30039 (java) S 29997 29997 29631 0 -1 1077944384 9 0 0 0 0 7 0 0 20 0 24 0 419212542 8616062976 30132 33554432000 4194304 4196468 140722043026400 139865963878960 139867009862274 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30041] ppid=29997 vsize=8414124 memory=620 CPUtime=0 cores=0-7
/proc/30020/task/30041/stat : 30041 (java) S 29997 29997 29631 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419212606 8616062976 30132 33554432000 4194304 4196468 140722043026400 139865955845184 139867009875737 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30043] ppid=29997 vsize=8414124 memory=4000 CPUtime=0 cores=0-7
/proc/30020/task/30043/stat : 30043 (java) S 29997 29997 29631 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 419212607 8616062976 30132 33554432000 4194304 4196468 140722043026400 139863865147536 139867009873053 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30044] ppid=29997 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/30020/task/30044/stat : 30044 (java) S 29997 29997 29631 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419212607 8616062976 30132 33554432000 4194304 4196468 140722043026400 139864133582864 139867009873053 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30045] ppid=29997 vsize=8414124 memory=1712 CPUtime=0 cores=0-7
/proc/30020/task/30045/stat : 30045 (java) S 29997 29997 29631 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419212609 8616062976 30132 33554432000 4194304 4196468 140722043026400 139863596719664 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
Current children cumulated CPU time: 929.33 s
Current children cumulated vsize: 9535684 KiB
Current children cumulated memory: 955088 KiB

[startup+123.601 s]
/proc/loadavg: 7.79 7.65 7.80 2/223 30063
/proc/meminfo: memFree=29308664/32770624 swapFree=66916644/67108860
[pid=29997] ppid=29994 vsize=113128 memory=1472 CPUtime=6.89 cores=0-7
/proc/29997/stat : 29997 (scop.sh) S 29994 29997 29631 0 -1 4202496 582 27468 0 0 0 0 644 45 20 0 1 0 419212151 115843072 368 33554432000 4194304 5098028 140732827471424 140732827468168 140179011228284 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27467776 140732827472676 140732827473004 140732827473004 140732827475917 0
/proc/29997/statm: 28282 368 311 221 0 87 0
[pid=30020] ppid=29997 vsize=8414124 memory=130620 CPUtime=923 cores=0-7
/proc/30020/stat : 30020 (java) S 29997 29997 29631 0 -1 1077944320 21108 956788 0 0 131 8 91996 165 20 0 23 0 419212535 8616062976 32655 33554432000 4194304 4196468 140722043026400 140722043008944 139867009851127 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
/proc/30020/statm: 2103531 32655 3218 1 0 2064875 0
[pid=30020/tid=30021] ppid=29997 vsize=8414124 memory=1460 CPUtime=922.35 cores=0-7
/proc/30020/task/30021/stat : 30021 (java) S 29997 29997 29631 0 -1 1077944384 16380 956788 0 0 69 5 91996 165 20 0 23 0 419212536 8616062976 32655 33554432000 4194304 4196468 140722043026400 139866981691296 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30022] ppid=29997 vsize=8414124 memory=916 CPUtime=921.61 cores=0-7
/proc/30020/task/30022/stat : 30022 (java) S 29997 29997 29631 0 -1 1077944384 2 956788 0 0 0 0 91996 165 20 0 23 0 419212537 8616062976 32655 33554432000 4194304 4196468 140722043026400 139867014093456 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30023] ppid=29997 vsize=8414124 memory=-9177045679590371730 CPUtime=921.61 cores=0-7
/proc/30020/task/30023/stat : 30023 (java) S 29997 29997 29631 0 -1 1077944384 1 956788 0 0 0 0 91996 165 20 0 23 0 419212537 8616062976 32655 33554432000 4194304 4196468 140722043026400 139866819856912 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30024] ppid=29997 vsize=8414124 memory=3628 CPUtime=921.61 cores=0-7
/proc/30020/task/30024/stat : 30024 (java) S 29997 29997 29631 0 -1 1077944384 1 956788 0 0 0 0 91996 165 20 0 23 0 419212537 8616062976 32655 33554432000 4194304 4196468 140722043026400 139866493585808 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30025] ppid=29997 vsize=8414124 memory=39920 CPUtime=921.61 cores=0-7
/proc/30020/task/30025/stat : 30025 (java) S 29997 29997 29631 0 -1 1077944384 3 956788 0 0 0 0 91996 165 20 0 23 0 419212537 8616062976 32655 33554432000 4194304 4196468 140722043026400 139866492533008 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30026] ppid=29997 vsize=8414124 memory=992 CPUtime=921.61 cores=0-7
/proc/30020/task/30026/stat : 30026 (java) S 29997 29997 29631 0 -1 1077944384 2 956788 0 0 0 0 91996 165 20 0 23 0 419212537 8616062976 32655 33554432000 4194304 4196468 140722043026400 139866491481232 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30027] ppid=29997 vsize=8414124 memory=2044 CPUtime=921.61 cores=0-7
/proc/30020/task/30027/stat : 30027 (java) S 29997 29997 29631 0 -1 1077944384 2 956788 0 0 0 0 91996 165 20 0 23 0 419212537 8616062976 32655 33554432000 4194304 4196468 140722043026400 139866490428432 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30028] ppid=29997 vsize=8414124 memory=833036 CPUtime=921.61 cores=0-7
/proc/30020/task/30028/stat : 30028 (java) S 29997 29997 29631 0 -1 1077944384 1 956788 0 0 0 0 91996 165 20 0 23 0 419212537 8616062976 32655 33554432000 4194304 4196468 140722043026400 139866489375632 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30029] ppid=29997 vsize=8414124 memory=1296 CPUtime=921.61 cores=0-7
/proc/30020/task/30029/stat : 30029 (java) S 29997 29997 29631 0 -1 1077944384 2 956788 0 0 0 0 91996 165 20 0 23 0 419212537 8616062976 32655 33554432000 4194304 4196468 140722043026400 139866488322832 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30030] ppid=29997 vsize=8414124 memory=620 CPUtime=921.61 cores=0-7
/proc/30020/task/30030/stat : 30030 (java) S 29997 29997 29631 0 -1 1077944384 7 956788 0 0 0 0 91996 165 20 0 23 0 419212538 8616062976 32655 33554432000 4194304 4196468 140722043026400 139865969142128 139867009862274 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30031] ppid=29997 vsize=8414124 memory=4000 CPUtime=921.61 cores=0-7
/proc/30020/task/30031/stat : 30031 (java) S 29997 29997 29631 0 -1 1077944384 13 956788 0 0 0 0 91996 165 20 0 23 0 419212539 8616062976 32655 33554432000 4194304 4196468 140722043026400 139865677095968 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30032] ppid=29997 vsize=8414124 memory=2828 CPUtime=921.61 cores=0-7
/proc/30020/task/30032/stat : 30032 (java) S 29997 29997 29631 0 -1 1077944384 1 956788 0 0 0 0 91996 165 20 0 23 0 419212539 8616062976 32655 33554432000 4194304 4196468 140722043026400 139865408660336 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30033] ppid=29997 vsize=8414124 memory=1712 CPUtime=921.61 cores=0-7
/proc/30020/task/30033/stat : 30033 (java) S 29997 29997 29631 0 -1 1077944384 1 956788 0 0 0 0 91996 165 20 0 23 0 419212541 8616062976 32655 33554432000 4194304 4196468 140722043026400 139865034151760 139867009869723 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30034] ppid=29997 vsize=8414124 memory=1156 CPUtime=921.68 cores=0-7
/proc/30020/task/30034/stat : 30034 (java) R 29997 29997 29631 0 -1 4202560 775 956788 0 0 7 0 91996 165 20 0 23 0 419212541 8616062976 32655 33554432000 4194304 4196468 140722043026400 139865968089968 139866993337245 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30035] ppid=29997 vsize=8414124 memory=833088 CPUtime=921.67 cores=0-7
/proc/30020/task/30035/stat : 30035 (java) R 29997 29997 29631 0 -1 4202560 455 956788 0 0 6 0 91996 165 20 0 23 0 419212541 8616062976 32655 33554432000 4194304 4196468 140722043026400 139865967028496 139867009872474 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30036] ppid=29997 vsize=8414124 memory=-9177045679590371730 CPUtime=921.72 cores=0-7
/proc/30020/task/30036/stat : 30036 (java) R 29997 29997 29631 0 -1 4202560 611 956788 0 0 11 0 91996 165 20 0 23 0 419212541 8616062976 32655 33554432000 4194304 4196468 140722043026400 139865965984368 139867009872474 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30037] ppid=29997 vsize=8414124 memory=4872558044660077418 CPUtime=921.83 cores=0-7
/proc/30020/task/30037/stat : 30037 (java) S 29997 29997 29631 0 -1 1077944384 917 956788 0 0 22 0 91996 165 20 0 23 0 419212541 8616062976 32655 33554432000 4194304 4196468 140722043026400 139865964931568 139867009862274 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30038] ppid=29997 vsize=8414124 memory=830988 CPUtime=921.61 cores=0-7
/proc/30020/task/30038/stat : 30038 (java) S 29997 29997 29631 0 -1 1077944384 3 956788 0 0 0 0 91996 165 20 0 23 0 419212542 8616062976 32655 33554432000 4194304 4196468 140722043026400 139864536246880 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30039] ppid=29997 vsize=8414124 memory=1472 CPUtime=921.68 cores=0-7
/proc/30020/task/30039/stat : 30039 (java) S 29997 29997 29631 0 -1 1077944384 9 956788 0 0 0 7 91996 165 20 0 23 0 419212542 8616062976 32655 33554432000 4194304 4196468 140722043026400 139865963878960 139867009862274 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30041] ppid=29997 vsize=8414124 memory=120528 CPUtime=921.61 cores=0-7
/proc/30020/task/30041/stat : 30041 (java) S 29997 29997 29631 0 -1 1077944384 23 956788 0 0 0 0 91996 165 20 0 23 0 419212606 8616062976 32655 33554432000 4194304 4196468 140722043026400 139865955844368 139867009862274 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30043] ppid=29997 vsize=8414124 memory=828112 CPUtime=921.66 cores=0-7
/proc/30020/task/30043/stat : 30043 (java) R 29997 29997 29631 0 -1 4202560 565 956788 0 0 5 0 91996 165 20 0 23 0 419212607 8616062976 32655 33554432000 4194304 4196468 140722043026400 139863865153456 139866502157567 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30045] ppid=29997 vsize=8414124 memory=4872558044660077418 CPUtime=921.61 cores=0-7
/proc/30020/task/30045/stat : 30045 (java) S 29997 29997 29631 0 -1 1077944384 9 956788 0 0 0 0 91996 165 20 0 23 0 419212609 8616062976 32655 33554432000 4194304 4196468 140722043026400 139863596719424 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
Current children cumulated CPU time: 929.89 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 132092 KiB

[startup+123.701 s]
/proc/loadavg: 7.79 7.65 7.80 2/223 30063
/proc/meminfo: memFree=29308664/32770624 swapFree=66916644/67108860
[pid=29997] ppid=29994 vsize=113128 memory=1472 CPUtime=6.89 cores=0-7
/proc/29997/stat : 29997 (scop.sh) S 29994 29997 29631 0 -1 4202496 582 27468 0 0 0 0 644 45 20 0 1 0 419212151 115843072 368 33554432000 4194304 5098028 140732827471424 140732827468168 140179011228284 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27467776 140732827472676 140732827473004 140732827473004 140732827475917 0
/proc/29997/statm: 28282 368 311 221 0 87 0
[pid=30020] ppid=29997 vsize=8283048 memory=134344 CPUtime=923.26 cores=0-7
/proc/30020/stat : 30020 (java) S 29997 29997 29631 0 -1 1077944320 21539 956788 0 0 156 9 91996 165 20 0 22 0 419212535 8481841152 33586 33554432000 4194304 4196468 140722043026400 140722043008944 139867009851127 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
/proc/30020/statm: 2070762 33586 3223 1 0 2032106 0
[pid=30020/tid=30021] ppid=29997 vsize=8283048 memory=120528 CPUtime=922.44 cores=0-7
/proc/30020/task/30021/stat : 30021 (java) R 29997 29997 29631 0 -1 4202560 16656 956788 0 0 78 5 91996 165 20 0 22 0 419212536 8481841152 33586 33554432000 4194304 4196468 140722043026400 139866981688624 139867009863062 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30022] ppid=29997 vsize=8283048 memory=120528 CPUtime=921.61 cores=0-7
/proc/30020/task/30022/stat : 30022 (java) S 29997 29997 29631 0 -1 1077944384 2 956788 0 0 0 0 91996 165 20 0 22 0 419212537 8481841152 33586 33554432000 4194304 4196468 140722043026400 139867014093456 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30023] ppid=29997 vsize=8283048 memory=1472 CPUtime=921.61 cores=0-7
/proc/30020/task/30023/stat : 30023 (java) S 29997 29997 29631 0 -1 1077944384 1 956788 0 0 0 0 91996 165 20 0 22 0 419212537 8481841152 33586 33554432000 4194304 4196468 140722043026400 139866819856912 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30024] ppid=29997 vsize=8283048 memory=3628 CPUtime=921.61 cores=0-7
/proc/30020/task/30024/stat : 30024 (java) S 29997 29997 29631 0 -1 1077944384 1 956788 0 0 0 0 91996 165 20 0 22 0 419212537 8481841152 33586 33554432000 4194304 4196468 140722043026400 139866493585808 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30025] ppid=29997 vsize=8283048 memory=39920 CPUtime=921.61 cores=0-7
/proc/30020/task/30025/stat : 30025 (java) S 29997 29997 29631 0 -1 1077944384 3 956788 0 0 0 0 91996 165 20 0 22 0 419212537 8481841152 33586 33554432000 4194304 4196468 140722043026400 139866492533008 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30026] ppid=29997 vsize=8283048 memory=1472 CPUtime=921.61 cores=0-7
/proc/30020/task/30026/stat : 30026 (java) S 29997 29997 29631 0 -1 1077944384 2 956788 0 0 0 0 91996 165 20 0 22 0 419212537 8481841152 33586 33554432000 4194304 4196468 140722043026400 139866491481232 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30027] ppid=29997 vsize=8283048 memory=120528 CPUtime=921.61 cores=0-7
/proc/30020/task/30027/stat : 30027 (java) S 29997 29997 29631 0 -1 1077944384 2 956788 0 0 0 0 91996 165 20 0 22 0 419212537 8481841152 33586 33554432000 4194304 4196468 140722043026400 139866490428432 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30028] ppid=29997 vsize=8283048 memory=1472 CPUtime=921.61 cores=0-7
/proc/30020/task/30028/stat : 30028 (java) S 29997 29997 29631 0 -1 1077944384 1 956788 0 0 0 0 91996 165 20 0 22 0 419212537 8481841152 33586 33554432000 4194304 4196468 140722043026400 139866489375632 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30029] ppid=29997 vsize=8283048 memory=120528 CPUtime=921.61 cores=0-7
/proc/30020/task/30029/stat : 30029 (java) S 29997 29997 29631 0 -1 1077944384 2 956788 0 0 0 0 91996 165 20 0 22 0 419212537 8481841152 33586 33554432000 4194304 4196468 140722043026400 139866488322832 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30030] ppid=29997 vsize=8283048 memory=281140642872096 CPUtime=921.61 cores=0-7
/proc/30020/task/30030/stat : 30030 (java) S 29997 29997 29631 0 -1 1077944384 7 956788 0 0 0 0 91996 165 20 0 22 0 419212538 8481841152 33586 33554432000 4194304 4196468 140722043026400 139865969142128 139867009862274 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30031] ppid=29997 vsize=8283048 memory=293866198 CPUtime=921.61 cores=0-7
/proc/30020/task/30031/stat : 30031 (java) S 29997 29997 29631 0 -1 1077944384 13 956788 0 0 0 0 91996 165 20 0 22 0 419212539 8481841152 33586 33554432000 4194304 4196468 140722043026400 139865677095968 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30032] ppid=29997 vsize=8283048 memory=120528 CPUtime=921.61 cores=0-7
/proc/30020/task/30032/stat : 30032 (java) S 29997 29997 29631 0 -1 1077944384 1 956788 0 0 0 0 91996 165 20 0 22 0 419212539 8481841152 33586 33554432000 4194304 4196468 140722043026400 139865408660336 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30033] ppid=29997 vsize=8283048 memory=948332 CPUtime=921.61 cores=0-7
/proc/30020/task/30033/stat : 30033 (java) S 29997 29997 29631 0 -1 1077944384 1 956788 0 0 0 0 91996 165 20 0 22 0 419212541 8481841152 33586 33554432000 4194304 4196468 140722043026400 139865034151760 139867009869723 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30034] ppid=29997 vsize=8283048 memory=792 CPUtime=921.72 cores=0-7
/proc/30020/task/30034/stat : 30034 (java) R 29997 29997 29631 0 -1 4202560 790 956788 0 0 11 0 91996 165 20 0 22 0 419212541 8481841152 33586 33554432000 4194304 4196468 140722043026400 139865968074800 139866993816520 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30035] ppid=29997 vsize=8283048 memory=1640 CPUtime=921.71 cores=0-7
/proc/30020/task/30035/stat : 30035 (java) R 29997 29997 29631 0 -1 1077944384 471 956788 0 0 10 0 91996 165 20 0 22 0 419212541 8481841152 33586 33554432000 4194304 4196468 140722043026400 139865967037168 139867009862274 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30036] ppid=29997 vsize=8283048 memory=776 CPUtime=921.76 cores=0-7
/proc/30020/task/30036/stat : 30036 (java) S 29997 29997 29631 0 -1 1077944384 654 956788 0 0 15 0 91996 165 20 0 22 0 419212541 8481841152 33586 33554432000 4194304 4196468 140722043026400 139865965984368 139867009862274 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30037] ppid=29997 vsize=8283048 memory=14012 CPUtime=921.87 cores=0-7
/proc/30020/task/30037/stat : 30037 (java) R 29997 29997 29631 0 -1 4202560 993 956788 0 0 26 0 91996 165 20 0 22 0 419212541 8481841152 33586 33554432000 4194304 4196468 140722043026400 139865964931568 139867009863062 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30038] ppid=29997 vsize=8283048 memory=1472 CPUtime=921.61 cores=0-7
/proc/30020/task/30038/stat : 30038 (java) S 29997 29997 29631 0 -1 1077944384 3 956788 0 0 0 0 91996 165 20 0 22 0 419212542 8481841152 33586 33554432000 4194304 4196468 140722043026400 139864536246880 139867009861333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30039] ppid=29997 vsize=8283048 memory=120528 CPUtime=921.68 cores=0-7
/proc/30020/task/30039/stat : 30039 (java) S 29997 29997 29631 0 -1 1077944384 9 956788 0 0 0 7 91996 165 20 0 22 0 419212542 8481841152 33586 33554432000 4194304 4196468 140722043026400 139865963878960 139867009862274 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30041] ppid=29997 vsize=8283048 memory=1712 CPUtime=921.61 cores=0-7
/proc/30020/task/30041/stat : 30041 (java) S 29997 29997 29631 0 -1 1077944384 23 956788 0 0 0 0 91996 165 20 0 22 0 419212606 8481841152 33586 33554432000 4194304 4196468 140722043026400 139865955844368 139867009862274 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
[pid=30020/tid=30045] ppid=29997 vsize=8283048 memory=1472 CPUtime=921.61 cores=0-7
/proc/30020/task/30045/stat : 30045 (java) S 29997 29997 29631 0 -1 1077944384 15 956788 0 0 0 0 91996 165 20 0 22 0 419212609 8481841152 33586 33554432000 4194304 4196468 140722043026400 139863596721456 139867009862274 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33583104 140722043028471 140722043028630 140722043028630 140722043031503 0
Current children cumulated CPU time: 930.15 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 135816 KiB

Child status: 0
Real time (s): 123.735
CPU time (s): 930.242
CPU user time (s): 928.017
CPU system time (s): 2.22528
CPU usage (%): 751.803
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 2073420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 928.017
system time used= 2.22528
maximum resident set size= 2074668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1007486
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23216
involuntary context switches= 10870


# summary of solver processes directly reported to runsolver:
#   pid: 29997
#   total CPU time (s): 930.242
#   total CPU user time (s): 928.017
#   total CPU system time (s): 2.22528

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.19271 second user time and 1.83167 second system time

The end

Launcher Data 

Begin job on node134 at 2019-09-14 04:52:55
IDJOB=4392638
IDBENCH=127846
IDSOLVER=2839
FILE ID=node134/4392638-1568429616
RUNJOBID= node134-1568427053-29658
PBS_JOBID= 21702293
Free space on /tmp= 59576 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-203.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392638-1568429616/watcher-4392638-1568429616 -o /tmp/evaluation-result-4392638-1568429616/solver-4392638-1568429616 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568427053-29658 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392638-1568429616.xml

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

MD5SUM BENCH= ce251f4c9ae0df3aa97e9296eb89cd68
RANDOM SEED=1148124911

node134.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.76
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.76
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.76
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.76
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:        30261640 kB
MemAvailable:   31794204 kB
Buffers:          196564 kB
Cached:          1602532 kB
SwapCached:        90584 kB
Active:           496656 kB
Inactive:        1395876 kB
Active(anon):      26104 kB
Inactive(anon):   106568 kB
Active(file):     470552 kB
Inactive(file):  1289308 kB
Unevictable:      110920 kB
Mlocked:          110920 kB
SwapTotal:      67108860 kB
SwapFree:       66916644 kB
Dirty:             20756 kB
Writeback:             0 kB
AnonPages:        113624 kB
Mapped:            43484 kB
Shmem:             31088 kB
Slab:             206804 kB
SReclaimable:     177080 kB
SUnreclaim:        29724 kB
KernelStack:        3440 kB
PageTables:         6224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59556 MiB
End job on node134 at 2019-09-14 04:54:59