Trace number 4405153

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)UNSAT 689.895 110.917

General information on the benchmark

NameRandom/Random-RB-3-20-20/
rand-3-20-20-60-632-45.xml
MD5SUM9875f5c0ec8fbb2d8215ec13f3e1e37d
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark10.4554
Satisfiable
(Un)Satisfiability was proved
Number of variables20
Number of constraints57
Number of domains1
Minimum domain size20
Maximum domain size20
Distribution of domain sizes[{"size":20,"count":20}]
Minimum variable degree3
Maximum variable degree16
Distribution of variable degrees[{"degree":3,"count":1},{"degree":6,"count":5},{"degree":7,"count":2},{"degree":8,"count":3},{"degree":9,"count":3},{"degree":10,"count":2},{"degree":12,"count":2},{"degree":13,"count":1},{"degree":16,"count":1}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":57}]
Number of extensional constraints57
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":57}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-19539-serial-file.bin HOME/instance-4405153-1569238655.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Mon Sep 23 13:36:52 CEST 2019
0.66/0.57	c PID: 19542
0.66/0.57	c IP: 172.20.3.117
0.66/0.57	c HOST: node117.alineos.net
0.66/0.58	c (0,0) Parsing Begin
2.54/1.25	c (0,0) Parsing End
2.54/1.26	c (0,0) CSP: 20 int (0 aux), 0 bool (0 aux), 57 ctr, max domain size 20
2.54/1.26	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.54/1.26	c (0,0) Constraint Name Generate Begin
2.54/1.26	c (0,0) Ctr:HOME/instance-4405153-1569238655.xml,ExtensionSupport:Var
2.54/1.26	c (0,0) Constraint Name Generate End
2.54/1.26	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.54/1.26	c (0,0) CSP to CSPinCNF Begin
9.42/3.35	c (2,2) translated 6 (10%) constraints
11.87/4.83	c (4,4) translated 12 (20%) constraints
13.57/6.29	c (5,5) translated 18 (30%) constraints
14.77/7.39	c (6,6) translated 23 (40%) constraints
16.33/8.82	c (8,8) translated 29 (50%) constraints
17.82/10.25	c (9,9) translated 35 (60%) constraints
19.04/11.43	c (10,10) translated 40 (70%) constraints
20.45/12.86	c (12,12) translated 46 (80%) constraints
21.76/14.19	c (13,13) translated 52 (90%) constraints
22.87/15.26	c (14,14) translated 57 (100%) constraints
23.17/15.50	c (14,14) ===========================================
23.17/15.50	c (14,14) Order
23.17/15.50	c (14,14) ===========================================
26.30/16.32	c (15,15) translated 26715 (10%) constraints
26.93/16.80	c (16,15) translated 53430 (20%) constraints
27.33/17.26	c (16,16) translated 80145 (30%) constraints
27.83/17.72	c (17,16) translated 106859 (40%) constraints
28.24/18.19	c (17,17) translated 133574 (50%) constraints
28.78/18.64	c (18,17) translated 160289 (60%) constraints
29.19/19.09	c (18,18) translated 187003 (70%) constraints
29.68/19.53	c (18,18) translated 213718 (80%) constraints
30.08/19.98	c (19,19) translated 240433 (90%) constraints
30.59/20.44	c (19,19) translated 267147 (100%) constraints
30.59/20.44	c (19,19) CSP to CSPinCNF End
30.59/20.46	c (19,19) CSP: 20 int (0 aux), 23649 bool (23649 aux), 267147 ctr, max domain size 20
30.59/20.46	c (19,19) Heap : 1603 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
30.59/20.46	c (19,19) CSPinCNF Propagation Begin
32.37/21.68	c (21,20) 0 values, 57 unsatisfiable literals, and 0 valid clauses are removed
32.37/21.68	c (21,20) CSPinCNF Propagation End
32.37/21.69	c (21,20) CSP: 20 int (0 aux), 23649 bool (23649 aux), 267147 ctr, max domain size 20
32.37/21.69	c (21,20) Heap : 2817 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
32.37/21.69	c (21,20) Simplify CSPinCNF Begin
32.99/22.14	c (21,21) Simplify CSPinCNF End
32.99/22.14	c (21,21) CSP: 20 int (0 aux), 23649 bool (23649 aux), 267147 ctr, max domain size 20
32.99/22.14	c (21,21) Heap : 3038 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
32.99/22.14	c (21,21) Calculate Precise Domain Begin
32.99/22.14	c (21,21) 0 values are removed by re-calculation
32.99/22.14	c (21,21) Calculate Precise Domain End
32.99/22.15	c (21,21) CSP: 20 int (0 aux), 23649 bool (23649 aux), 267147 ctr, max domain size 20
32.99/22.15	c (21,21) Heap : 3038 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
32.99/22.15	c (21,21) CSPinCNF to SatSolver Begin
34.59/22.67	c (22,21) 26715 (10 %) CSP clauses are encoded (0 SAT variables, 27074 SAT clauses)
34.96/22.92	c (22,22) 53430 (20 %) CSP clauses are encoded (0 SAT variables, 53789 SAT clauses)
35.17/23.17	c (22,22) 80145 (30 %) CSP clauses are encoded (0 SAT variables, 80504 SAT clauses)
35.46/23.41	c (22,22) 106859 (40 %) CSP clauses are encoded (0 SAT variables, 107218 SAT clauses)
35.66/23.65	c (23,22) 133574 (50 %) CSP clauses are encoded (0 SAT variables, 133933 SAT clauses)
35.86/23.89	c (23,23) 160289 (60 %) CSP clauses are encoded (0 SAT variables, 160648 SAT clauses)
36.17/24.13	c (23,23) 187003 (70 %) CSP clauses are encoded (0 SAT variables, 187362 SAT clauses)
36.36/24.38	c (23,23) 213718 (80 %) CSP clauses are encoded (0 SAT variables, 214077 SAT clauses)
36.66/24.62	c (24,23) 240433 (90 %) CSP clauses are encoded (0 SAT variables, 240792 SAT clauses)
36.86/24.86	c (24,24) 267147 (100 %) CSP clauses are encoded (0 SAT variables, 267506 SAT clauses)
36.86/24.86	c (24,24) CSPinCNF to SatSolver End
36.86/24.86	c (24,24) Heap : 5135 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
36.86/24.86	c (24,24) 24029 bool, 267507 clause
36.86/24.86	c (24,24) Export Begin
36.97/24.95	c (24,24) Export to HOME/scop-19539-serial-file.bin
36.97/24.95	c (24,24) Export End
36.97/24.95	c (24,24) Export File Size: 0.01 MB
36.97/24.95	c (24,24) 0,0,19,21,21,21,24,STOP-AFTER(DIMACS)
36.97/24.95	c END-Prog: Mon Sep 23 13:37:17 CEST 2019
0.00/25.01	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-19539-serial-file.bin
37.15/25.47	c (0,0) Read Serial File Begin
37.15/25.47	c (0,0) HOME/scop-19539-serial-file.bin
37.15/25.67	c (0,0) Read Serial File End
37.15/25.68	
37.15/25.68	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
37.15/25.68	(Solving Process)
37.15/25.68	
37.15/25.71	c BEGIN-Prog: Mon Sep 23 13:37:17 CEST 2019
37.15/25.71	c PID: 19562
37.15/25.71	c IP: 172.20.3.117
37.15/25.71	c HOST: node117.alineos.net
37.15/25.71	c (0,0) SatSolver.solve Begin
37.15/25.71	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405153-1569238655.xml-scop-19542.cnf
37.15/25.74	c (0,0) c
37.15/25.74	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)
37.15/25.74	c (0,0) c
37.15/25.74	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
37.15/25.74	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
37.15/25.74	c (0,0) c ========================================[ Problem Statistics ]===========================================
37.15/25.74	c (0,0) c |                                                                                                       |
37.15/25.82	c (0,0) c |  Number of variables:         24029                                                                   |
37.15/25.82	c (0,0) c |  Number of clauses:          267507                                                                   |
37.15/25.82	c (0,0) c |  Parse time:                   0.08 s                                                                 |
37.15/25.82	c (0,0) c |                                                                                                       |
37.15/25.94	c (0,0) c |  Simplification time:          0.12 s                                                                 |
37.15/25.94	c (0,0) c |                                                                                                       |
37.15/25.94	c (0,0) c |  Generating clones                                                                                    |
38.58/26.02	c (0,0) c |  all clones generated. Memory =   189.93Mb.                                                           |
38.58/26.02	c (0,0) c ========================================================================================================|
38.58/26.02	c (0,0) c
38.58/26.02	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
38.58/26.02	c (0,0) c
38.58/26.02	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.58/26.02	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
38.58/26.02	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.58/26.02	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
38.58/26.02	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
38.58/26.02	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
38.58/26.02	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
38.58/26.02	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
38.58/26.02	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
38.58/26.02	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
38.58/26.02	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
38.58/26.02	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
38.58/26.02	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
38.58/26.02	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
38.58/26.02	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
38.58/26.02	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
38.58/26.02	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
38.58/26.02	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
38.58/26.02	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
275.92/55.83	c (30,0) c
275.92/55.83	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
275.92/55.83	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
275.92/55.83	c (30,0) c |------------------------------------------------------------------------------------------------------------------------|
275.92/55.83	c (30,0) c |  0 |     26 |      46069 |      35181 |    85689 |    18987 |     5979 |    39440 |     2607 |      216 |  20 |  0.000 |
275.92/55.83	c (30,0) c |  1 |     14 |      44375 |      34534 |    75587 |    18345 |     6378 |    36870 |     1479 |      207 |  20 |  0.000 |
275.92/55.83	c (30,0) c |  2 |     16 |      54496 |      42139 |    81964 |    16048 |     7382 |    15031 |     1871 |      224 |  20 |  0.000 |
275.92/55.83	c (30,0) c |  3 |     29 |      46132 |      35114 |    83590 |    18924 |     6530 |    41559 |     2195 |      221 |  20 |  0.000 |
275.92/55.83	c (30,0) c |  4 |     15 |      44266 |      34254 |    81955 |    18064 |     6763 |    33275 |     1954 |      223 |  20 |  0.000 |
275.92/55.83	c (30,0) c |  5 |     29 |      47613 |      35815 |    85592 |    19626 |     6449 |    39035 |     2506 |      221 |  20 |  0.000 |
275.92/55.83	c (30,0) c |  6 |     13 |      44897 |      34476 |    81968 |    18285 |     6428 |    42775 |     1883 |      222 |  20 |  0.000 |
275.92/55.83	c (30,0) c |  7 |     18 |      48937 |      37281 |    84283 |    11194 |     6744 |    39199 |     2538 |      221 |  20 |  0.000 |
275.92/55.83	c (30,0) c 
275.92/55.83	c (30,0) c synthesis      288794 conflicts   705818905 propagations     1217 conflicts/sec  2975444 propagations/sec
275.92/55.83	c (30,0) c real: 30.0989 s, cpu: 237.215 s, memory: 761.89 Mb
511.29/85.83	c (60,0) c
511.29/85.83	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
511.29/85.83	c (60,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
511.29/85.83	c (60,0) c |------------------------------------------------------------------------------------------------------------------------|
511.29/85.83	c (60,0) c |  0 |     42 |      83257 |      65672 |   107557 |    22107 |    10277 |    73937 |     5274 |      427 |  20 |  0.033 |
511.29/85.83	c (60,0) c |  1 |     21 |      83275 |      67002 |   101474 |    25094 |    10304 |    71468 |     4336 |      413 |  20 |  0.029 |
511.29/85.83	c (60,0) c |  2 |     19 |      93137 |      74687 |   106681 |    19912 |    11348 |    52810 |     3535 |      433 |  20 |  0.017 |
511.29/85.83	c (60,0) c |  3 |     52 |      85018 |      66869 |   107491 |    27214 |    11659 |    73519 |     4998 |      432 |  20 |  0.029 |
511.29/85.83	c (60,0) c |  4 |     24 |      77521 |      61661 |   104151 |    19428 |    11008 |    71844 |     5135 |      425 |  20 |  0.029 |
511.29/85.83	c (60,0) c |  5 |     58 |      85627 |      66569 |   109442 |    27122 |    11199 |    73357 |     5546 |      427 |  20 |  0.029 |
511.29/85.83	c (60,0) c |  6 |     34 |      81363 |      64072 |   106820 |    24610 |    10107 |    73978 |     4588 |      433 |  20 |  0.029 |
511.29/85.83	c (60,0) c |  7 |     24 |      86956 |      69093 |   105685 |    15136 |    11556 |    73779 |     4870 |      433 |  20 |  0.029 |
511.29/85.83	c (60,0) c 
511.29/85.83	c (60,0) c synthesis      535625 conflicts  1327758316 propagations     1134 conflicts/sec  2810867 propagations/sec
511.29/85.83	c (60,0) c real: 60.0949 s, cpu: 472.366 s, memory: 761.89 Mb
689.70/110.88	c (85,0) c
689.70/110.88	c (85,0) c real time : 85.1487 s
689.70/110.88	c (85,0) c cpu time  : 650.329 s
689.70/110.88	c (85,0) c
689.70/110.88	c (85,0) c
689.70/110.88	c (85,0) c
689.70/110.88	c (85,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
689.70/110.88	c (85,0) c
689.70/110.88	c (85,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
689.70/110.88	c (85,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
689.70/110.88	c (85,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
689.70/110.88	c (85,0) c | Conflicts     |          707606 |      87008 |      90514 |      95057 |      87966 |      83290 |      88149 |      84887 |      90735 |
689.70/110.88	c (85,0) c | Decisions     |          878110 |     108462 |     110653 |     117145 |     109576 |     103040 |     111040 |     106014 |     112180 |
689.70/110.88	c (85,0) c | Propagations  |      1773524183 |  220986073 |  225111240 |  220477380 |  217564354 |  223594045 |  219188366 |  221895650 |  224707075 |
689.70/110.88	c (85,0) c | ReduceDBs     |              59 |          7 |          8 |          8 |          7 |          7 |          7 |          7 |          8 |
689.70/110.88	c (85,0) c | SimpDBs       |              52 |          6 |          7 |          6 |          7 |          5 |          8 |          8 |          5 |
689.70/110.88	c (85,0) c | Restarts      |             329 |         52 |         23 |         21 |         61 |         35 |         69 |         43 |         25 |
689.70/110.88	c (85,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
689.70/110.88	c (85,0) c | PropBinClauses|      2058015116 |  258537581 |  262233493 |  251278629 |  253470509 |  262526180 |  253585993 |  258632304 |  257750427 |
689.70/110.88	c (85,0) c | PropPreBlocker|     15635237990 | 1952848922 | 1961859910 | 1965998883 | 1949576458 | 1945044153 | 1947237205 | 1950445328 | 1962227131 |
689.70/110.88	c (85,0) c | PropNotBlocker|      7304752921 |  918166045 |  904225834 |  902554522 |  926864203 |  911879025 |  919939885 |  924856114 |  896267293 |
689.70/110.88	c (85,0) c | LitFullScans  |     27879290432 | 3484626162 | 3486543402 | 3486627426 | 3486606511 | 3480522689 | 3481303331 | 3486488449 | 3486572462 |
689.70/110.88	c (85,0) c | LitScanFracts |         4198597 |     508713 |     541948 |     624648 |     532096 |     506237 |     534079 |     486695 |     464181 |
689.70/110.88	c (85,0) c | DecisionLevel0|             356 |         62 |         28 |         23 |         64 |         36 |         72 |         45 |         26 |
689.70/110.88	c (85,0) c | Periods       |            4645 |        580 |        581 |        581 |        581 |        580 |        580 |        581 |        581 |
689.70/110.88	c (85,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
689.70/110.88	c (85,0) c | Avg_Trail     |                 |       6636 |       6508 |       6908 |       6556 |       6714 |       6488 |       6627 |       6832 |
689.70/110.88	c (85,0) c | Avg_DL        |                 |         11 |         12 |         12 |         12 |         11 |         11 |         12 |         12 |
689.70/110.88	c (85,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
689.70/110.88	c (85,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
689.70/110.88	c (85,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
689.70/110.88	c (85,0) c | Exported      |          109345 |      12651 |      13575 |      14022 |      13998 |      13552 |      14586 |      12460 |      14501 |
689.70/110.88	c (85,0) c | Imported      |          732314 |      94191 |      93164 |      92534 |      92698 |      90873 |      92295 |      94229 |      82330 |
689.70/110.88	c (85,0) c | Good          |           29327 |       3665 |       3748 |       3725 |       3665 |       3658 |       3693 |       3702 |       3471 |
689.70/110.88	c (85,0) c | Purge         |          702987 |      90526 |      89416 |      88809 |      89033 |      87215 |      88602 |      90527 |      78859 |
689.70/110.88	c (85,0) c | Promoted      |           54248 |       7208 |       6128 |       5488 |       6844 |       7335 |       7568 |       6724 |       6953 |
689.70/110.88	c (85,0) c | Remove_Imp    |          385996 |      47721 |      54460 |      52037 |      43472 |      49321 |      42582 |      47769 |      48634 |
689.70/110.88	c (85,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
689.70/110.88	c (85,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
689.70/110.88	c (85,0) c | Unaries       |                 |         10 |          5 |          2 |          3 |          1 |          3 |          2 |          1 |
689.70/110.88	c (85,0) c | Binaries      |                 |        619 |        522 |        537 |        605 |        512 |        587 |        563 |        441 |
689.70/110.88	c (85,0) c | Glues         |                 |       2829 |       2463 |       2737 |       2891 |       2583 |       2781 |       2973 |       2619 |
689.70/110.88	c (85,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
689.70/110.88	c (85,0) c | Orig_Seen     |            46 % |     117206 |     113432 |     117940 |     116757 |     115101 |     118251 |     116250 |     116320 |
689.70/110.88	c (85,0) c | Diff Orig seen|                 |      X     | -     3774 |        734 | -      449 | -     2105 |       1045 | -      956 | -      886 |
689.70/110.88	c (85,0) c | Hamming       |            39 % |      X     |      10144 |       9176 |       8766 |       8003 |      10173 |      10020 |       9970 |
689.70/110.88	c (85,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
689.70/110.88	c (85,0) c | RunningTime   |                 |   82.1  99%|   82.7  99%|   80.4  97%|   79.7  96%|   84.0  99%|   83.7 100%|   79.6  96%|   80.6  97%|
689.70/110.88	c (85,0) c | WaitingTime   |                 |    1.0   1%|    0.4   0%|    2.7   3%|    3.4   4%|    0.7   1%|    0.4   0%|    3.5   4%|    2.5   3%|
689.70/110.88	c (85,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.0   0%|    0.1   0%|    0.1   0%|    0.0   0%|
689.70/110.88	c (85,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%|
689.70/110.88	c (85,0) c | SolvingTime   |                 |   83.1     |   83.2     |   83.2     |   83.2     |   84.8     |   84.1     |   83.2     |   83.2     |
689.70/110.88	c (85,0) c | PropagationTim|                 |   79.1  95%|   78.9  95%|   78.9  95%|   79.0  95%|   80.7  95%|   80.0  95%|   79.2  95%|   78.9  95%|
689.70/110.88	c (85,0) c | AnalysisTime  |                 |    1.8   2%|    2.0   2%|    2.0   2%|    1.9   2%|    1.9   2%|    1.8   2%|    1.8   2%|    1.9   2%|
689.70/110.88	c (85,0) c | ReductionTime |                 |    0.1   0%|    0.2   0%|    0.2   0%|    0.1   0%|    0.2   0%|    0.1   0%|    0.1   0%|    0.1   0%|
689.70/110.88	c (85,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.2   0%|    0.1   0%|
689.70/110.88	c (85,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%|
689.70/110.88	c (85,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%|
689.70/110.88	c (85,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
689.70/110.89	c (85,0) c
689.70/110.89	c (85,0) c
689.70/110.89	c (85,0) c Threads : 8
689.70/110.89	c (85,0) c Winner : 0
689.70/110.89	c (85,0) c Conflicts_0 : 87008
689.70/110.89	c (85,0) c Conflicts_1 : 90514
689.70/110.89	c (85,0) c Conflicts_2 : 95057
689.70/110.89	c (85,0) c Conflicts_3 : 87966
689.70/110.89	c (85,0) c Conflicts_4 : 83290
689.70/110.89	c (85,0) c Conflicts_5 : 88149
689.70/110.89	c (85,0) c Conflicts_6 : 84887
689.70/110.89	c (85,0) c Conflicts_7 : 90735
689.70/110.89	c (85,0) c Conflicts_total : 707606
689.70/110.89	c (85,0) c Conflicts_winner : 87008
689.70/110.89	c (85,0) c Decisions_0 : 108462
689.70/110.89	c (85,0) c Decisions_1 : 110653
689.70/110.89	c (85,0) c Decisions_2 : 117145
689.70/110.89	c (85,0) c Decisions_3 : 109576
689.70/110.89	c (85,0) c Decisions_4 : 103040
689.70/110.89	c (85,0) c Decisions_5 : 111040
689.70/110.89	c (85,0) c Decisions_6 : 106014
689.70/110.89	c (85,0) c Decisions_7 : 112180
689.70/110.89	c (85,0) c Decisions_total : 878110
689.70/110.89	c (85,0) c Decisions_winner : 108462
689.70/110.89	c (85,0) c Propagations_0 : 220986073
689.70/110.89	c (85,0) c Propagations_1 : 225111240
689.70/110.89	c (85,0) c Propagations_2 : 220477380
689.70/110.89	c (85,0) c Propagations_3 : 217564354
689.70/110.89	c (85,0) c Propagations_4 : 223594045
689.70/110.89	c (85,0) c Propagations_5 : 219188366
689.70/110.89	c (85,0) c Propagations_6 : 221895650
689.70/110.89	c (85,0) c Propagations_7 : 224707075
689.70/110.89	c (85,0) c Propagations_total : 1773524183
689.70/110.89	c (85,0) c Propagations_winner : 220986073
689.70/110.89	c (85,0) c ReduceDBs_0 : 7
689.70/110.89	c (85,0) c ReduceDBs_1 : 8
689.70/110.89	c (85,0) c ReduceDBs_2 : 8
689.70/110.89	c (85,0) c ReduceDBs_3 : 7
689.70/110.89	c (85,0) c ReduceDBs_4 : 7
689.70/110.89	c (85,0) c ReduceDBs_5 : 7
689.70/110.89	c (85,0) c ReduceDBs_6 : 7
689.70/110.89	c (85,0) c ReduceDBs_7 : 8
689.70/110.89	c (85,0) c ReduceDBs_total : 59
689.70/110.89	c (85,0) c ReduceDBs_winner : 7
689.70/110.89	c (85,0) c SimpDBs_0 : 6
689.70/110.89	c (85,0) c SimpDBs_1 : 7
689.70/110.89	c (85,0) c SimpDBs_2 : 6
689.70/110.89	c (85,0) c SimpDBs_3 : 7
689.70/110.89	c (85,0) c SimpDBs_4 : 5
689.70/110.89	c (85,0) c SimpDBs_5 : 8
689.70/110.89	c (85,0) c SimpDBs_6 : 8
689.70/110.89	c (85,0) c SimpDBs_7 : 5
689.70/110.89	c (85,0) c SimpDBs_total : 52
689.70/110.89	c (85,0) c SimpDBs_winner : 6
689.70/110.89	c (85,0) c Restarts_0 : 52
689.70/110.89	c (85,0) c Restarts_1 : 23
689.70/110.89	c (85,0) c Restarts_2 : 21
689.70/110.89	c (85,0) c Restarts_3 : 61
689.70/110.89	c (85,0) c Restarts_4 : 35
689.70/110.89	c (85,0) c Restarts_5 : 69
689.70/110.89	c (85,0) c Restarts_6 : 43
689.70/110.89	c (85,0) c Restarts_7 : 25
689.70/110.89	c (85,0) c Restarts_total : 329
689.70/110.89	c (85,0) c Restarts_winner : 52
689.70/110.89	c (85,0) c ForcedImports_0 : 0
689.70/110.89	c (85,0) c ForcedImports_1 : 0
689.70/110.89	c (85,0) c ForcedImports_2 : 0
689.70/110.89	c (85,0) c ForcedImports_3 : 0
689.70/110.89	c (85,0) c ForcedImports_4 : 0
689.70/110.89	c (85,0) c ForcedImports_5 : 0
689.70/110.89	c (85,0) c ForcedImports_6 : 0
689.70/110.89	c (85,0) c ForcedImports_7 : 0
689.70/110.89	c (85,0) c ForcedImports_total : 0
689.70/110.89	c (85,0) c ForcedImports_winner : 0
689.70/110.89	c (85,0) c PropsBinClauses_0 : 258537581
689.70/110.89	c (85,0) c PropsBinClauses_1 : 262233493
689.70/110.89	c (85,0) c PropsBinClauses_2 : 251278629
689.70/110.89	c (85,0) c PropsBinClauses_3 : 253470509
689.70/110.89	c (85,0) c PropsBinClauses_4 : 262526180
689.70/110.89	c (85,0) c PropsBinClauses_5 : 253585993
689.70/110.89	c (85,0) c PropsBinClauses_6 : 258632304
689.70/110.89	c (85,0) c PropsBinClauses_7 : 257750427
689.70/110.89	c (85,0) c PropsBinClauses_total : 2058015116
689.70/110.89	c (85,0) c PropsBinClauses_winner : 258537581
689.70/110.89	c (85,0) c PropsPreBlocker_0 : 1952848922
689.70/110.89	c (85,0) c PropsPreBlocker_1 : 1961859910
689.70/110.89	c (85,0) c PropsPreBlocker_2 : 1965998883
689.70/110.89	c (85,0) c PropsPreBlocker_3 : 1949576458
689.70/110.89	c (85,0) c PropsPreBlocker_4 : 1945044153
689.70/110.89	c (85,0) c PropsPreBlocker_5 : 1947237205
689.70/110.89	c (85,0) c PropsPreBlocker_6 : 1950445328
689.70/110.89	c (85,0) c PropsPreBlocker_7 : 1962227131
689.70/110.89	c (85,0) c PropsPreBlocker_total : 15635237990
689.70/110.89	c (85,0) c PropsPreBlocker_winner : 1952848922
689.70/110.89	c (85,0) c PropsNotBlocker_0 : 918166045
689.70/110.89	c (85,0) c PropsNotBlocker_1 : 904225834
689.70/110.89	c (85,0) c PropsNotBlocker_2 : 902554522
689.70/110.89	c (85,0) c PropsNotBlocker_3 : 926864203
689.70/110.89	c (85,0) c PropsNotBlocker_4 : 911879025
689.70/110.89	c (85,0) c PropsNotBlocker_5 : 919939885
689.70/110.89	c (85,0) c PropsNotBlocker_6 : 924856114
689.70/110.89	c (85,0) c PropsNotBlocker_7 : 896267293
689.70/110.89	c (85,0) c PropsNotBlocker_total : 7304752921
689.70/110.89	c (85,0) c PropsNotBlocker_winner : 918166045
689.70/110.89	c (85,0) c PropsLitFullScans_0 : 3484626162
689.70/110.89	c (85,0) c PropsLitFullScans_1 : 3486543402
689.70/110.89	c (85,0) c PropsLitFullScans_2 : 3486627426
689.70/110.89	c (85,0) c PropsLitFullScans_3 : 3486606511
689.70/110.89	c (85,0) c PropsLitFullScans_4 : 3480522689
689.70/110.89	c (85,0) c PropsLitFullScans_5 : 3481303331
689.70/110.89	c (85,0) c PropsLitFullScans_6 : 3486488449
689.70/110.89	c (85,0) c PropsLitFullScans_7 : 3486572462
689.70/110.89	c (85,0) c PropsLitFullScans_total : 27879290432
689.70/110.89	c (85,0) c PropsLitFullScans_winner : 3484626162
689.70/110.89	c (85,0) c LitScanFractions_0 : 508713
689.70/110.89	c (85,0) c LitScanFractions_1 : 541948
689.70/110.89	c (85,0) c LitScanFractions_2 : 624648
689.70/110.89	c (85,0) c LitScanFractions_3 : 532096
689.70/110.89	c (85,0) c LitScanFractions_4 : 506237
689.70/110.89	c (85,0) c LitScanFractions_5 : 534079
689.70/110.89	c (85,0) c LitScanFractions_6 : 486695
689.70/110.89	c (85,0) c LitScanFractions_7 : 464181
689.70/110.89	c (85,0) c LitScanFractions_total : 4198597
689.70/110.89	c (85,0) c LitScanFractions_winner : 508713
689.70/110.89	c (85,0) c DecisionLevel0_0 : 62
689.70/110.89	c (85,0) c DecisionLevel0_1 : 28
689.70/110.89	c (85,0) c DecisionLevel0_2 : 23
689.70/110.89	c (85,0) c DecisionLevel0_3 : 64
689.70/110.89	c (85,0) c DecisionLevel0_4 : 36
689.70/110.89	c (85,0) c DecisionLevel0_5 : 72
689.70/110.89	c (85,0) c DecisionLevel0_6 : 45
689.70/110.89	c (85,0) c DecisionLevel0_7 : 26
689.70/110.89	c (85,0) c DecisionLevel0_total : 356
689.70/110.89	c (85,0) c DecisionLevel0_winner : 62
689.70/110.89	c (85,0) c Periods_0 : 580
689.70/110.89	c (85,0) c Periods_1 : 581
689.70/110.89	c (85,0) c Periods_2 : 581
689.70/110.89	c (85,0) c Periods_3 : 581
689.70/110.89	c (85,0) c Periods_4 : 580
689.70/110.89	c (85,0) c Periods_5 : 580
689.70/110.89	c (85,0) c Periods_6 : 581
689.70/110.89	c (85,0) c Periods_7 : 581
689.70/110.89	c (85,0) c Periods_total : 4645
689.70/110.89	c (85,0) c Periods_winner : 580
689.70/110.89	c (85,0) c Margin_0 : 20
689.70/110.89	c (85,0) c Margin_1 : 20
689.70/110.89	c (85,0) c Margin_2 : 20
689.70/110.89	c (85,0) c Margin_3 : 20
689.70/110.89	c (85,0) c Margin_4 : 20
689.70/110.89	c (85,0) c Margin_5 : 20
689.70/110.89	c (85,0) c Margin_6 : 20
689.70/110.89	c (85,0) c Margin_7 : 20
689.70/110.89	c (85,0) c Margin_total : 160
689.70/110.89	c (85,0) c Margin_winner : 20
689.70/110.89	c (85,0) c Exported_0 : 12651
689.70/110.89	c (85,0) c Exported_1 : 13575
689.70/110.89	c (85,0) c Exported_2 : 14022
689.70/110.89	c (85,0) c Exported_3 : 13998
689.70/110.89	c (85,0) c Exported_4 : 13552
689.70/110.89	c (85,0) c Exported_5 : 14586
689.70/110.89	c (85,0) c Exported_6 : 12460
689.70/110.89	c (85,0) c Exported_7 : 14501
689.70/110.89	c (85,0) c Exported_total : 109345
689.70/110.89	c (85,0) c Exported_winner : 12651
689.70/110.89	c (85,0) c Imported_0 : 94191
689.70/110.89	c (85,0) c Imported_1 : 93164
689.70/110.89	c (85,0) c Imported_2 : 92534
689.70/110.89	c (85,0) c Imported_3 : 92698
689.70/110.89	c (85,0) c Imported_4 : 90873
689.70/110.89	c (85,0) c Imported_5 : 92295
689.70/110.89	c (85,0) c Imported_6 : 94229
689.70/110.89	c (85,0) c Imported_7 : 82330
689.70/110.89	c (85,0) c Imported_total : 732314
689.70/110.89	c (85,0) c Imported_winner : 94191
689.70/110.89	c (85,0) c Good_0 : 3665
689.70/110.89	c (85,0) c Good_1 : 3748
689.70/110.89	c (85,0) c Good_2 : 3725
689.70/110.89	c (85,0) c Good_3 : 3665
689.70/110.89	c (85,0) c Good_4 : 3658
689.70/110.89	c (85,0) c Good_5 : 3693
689.70/110.89	c (85,0) c Good_6 : 3702
689.70/110.89	c (85,0) c Good_7 : 3471
689.70/110.89	c (85,0) c Good_total : 29327
689.70/110.89	c (85,0) c Good_winner : 3665
689.70/110.89	c (85,0) c Purge_0 : 90526
689.70/110.89	c (85,0) c Purge_1 : 89416
689.70/110.89	c (85,0) c Purge_2 : 88809
689.70/110.89	c (85,0) c Purge_3 : 89033
689.70/110.89	c (85,0) c Purge_4 : 87215
689.70/110.89	c (85,0) c Purge_5 : 88602
689.70/110.89	c (85,0) c Purge_6 : 90527
689.70/110.89	c (85,0) c Purge_7 : 78859
689.70/110.89	c (85,0) c Purge_total : 702987
689.70/110.89	c (85,0) c Purge_winner : 90526
689.70/110.89	c (85,0) c Promoted_0 : 7208
689.70/110.89	c (85,0) c Promoted_1 : 6128
689.70/110.89	c (85,0) c Promoted_2 : 5488
689.70/110.89	c (85,0) c Promoted_3 : 6844
689.70/110.89	c (85,0) c Promoted_4 : 7335
689.70/110.89	c (85,0) c Promoted_5 : 7568
689.70/110.89	c (85,0) c Promoted_6 : 6724
689.70/110.89	c (85,0) c Promoted_7 : 6953
689.70/110.89	c (85,0) c Promoted_total : 54248
689.70/110.89	c (85,0) c Promoted_winner : 7208
689.70/110.89	c (85,0) c Remove_Imp_0 : 47721
689.70/110.89	c (85,0) c Remove_Imp_1 : 54460
689.70/110.89	c (85,0) c Remove_Imp_2 : 52037
689.70/110.89	c (85,0) c Remove_Imp_3 : 43472
689.70/110.89	c (85,0) c Remove_Imp_4 : 49321
689.70/110.89	c (85,0) c Remove_Imp_5 : 42582
689.70/110.89	c (85,0) c Remove_Imp_6 : 47769
689.70/110.89	c (85,0) c Remove_Imp_7 : 48634
689.70/110.89	c (85,0) c Remove_Imp_total : 385996
689.70/110.89	c (85,0) c Remove_Imp_winner : 47721
689.70/110.89	c (85,0) c Blocked_Reuse_0 : 0
689.70/110.89	c (85,0) c Blocked_Reuse_1 : 0
689.70/110.89	c (85,0) c Blocked_Reuse_2 : 0
689.70/110.89	c (85,0) c Blocked_Reuse_3 : 0
689.70/110.89	c (85,0) c Blocked_Reuse_4 : 0
689.70/110.89	c (85,0) c Blocked_Reuse_5 : 0
689.70/110.89	c (85,0) c Blocked_Reuse_6 : 0
689.70/110.89	c (85,0) c Blocked_Reuse_7 : 0
689.70/110.89	c (85,0) c Blocked_Reuse_total : 0
689.70/110.89	c (85,0) c Blocked_Reuse_winner : 0
689.70/110.89	c (85,0) c Unaries_0 : 10
689.70/110.89	c (85,0) c Unaries_1 : 5
689.70/110.89	c (85,0) c Unaries_2 : 2
689.70/110.89	c (85,0) c Unaries_3 : 3
689.70/110.89	c (85,0) c Unaries_4 : 1
689.70/110.89	c (85,0) c Unaries_5 : 3
689.70/110.89	c (85,0) c Unaries_6 : 2
689.70/110.89	c (85,0) c Unaries_7 : 1
689.70/110.89	c (85,0) c Unaries_total : 27
689.70/110.89	c (85,0) c Unaries_winner : 10
689.70/110.89	c (85,0) c Binaries_0 : 619
689.70/110.89	c (85,0) c Binaries_1 : 522
689.70/110.89	c (85,0) c Binaries_2 : 537
689.70/110.89	c (85,0) c Binaries_3 : 605
689.70/110.89	c (85,0) c Binaries_4 : 512
689.70/110.89	c (85,0) c Binaries_5 : 587
689.70/110.89	c (85,0) c Binaries_6 : 563
689.70/110.89	c (85,0) c Binaries_7 : 441
689.70/110.89	c (85,0) c Binaries_total : 4386
689.70/110.89	c (85,0) c Binaries_winner : 619
689.70/110.89	c (85,0) c Glues_0 : 2829
689.70/110.89	c (85,0) c Glues_1 : 2463
689.70/110.89	c (85,0) c Glues_2 : 2737
689.70/110.89	c (85,0) c Glues_3 : 2891
689.70/110.89	c (85,0) c Glues_4 : 2583
689.70/110.89	c (85,0) c Glues_5 : 2781
689.70/110.89	c (85,0) c Glues_6 : 2973
689.70/110.89	c (85,0) c Glues_7 : 2619
689.70/110.89	c (85,0) c Glues_total : 21876
689.70/110.89	c (85,0) c Glues_winner : 2829
689.70/110.89	c (85,0) c RunningTime_0 : 82.056313
689.70/110.89	c (85,0) c RunningTime_1 : 82.723565
689.70/110.89	c (85,0) c RunningTime_2 : 80.370496
689.70/110.89	c (85,0) c RunningTime_3 : 79.679883
689.70/110.89	c (85,0) c RunningTime_4 : 84.048027
689.70/110.89	c (85,0) c RunningTime_5 : 83.727921
689.70/110.89	c (85,0) c RunningTime_6 : 79.573745
689.70/110.89	c (85,0) c RunningTime_7 : 80.620349
689.70/110.89	c (85,0) c RunningTime_total : 652.800298
689.70/110.89	c (85,0) c RunningTime_winner : 82.056313
689.70/110.89	c (85,0) c WaitingTime_0 : 0.995236
689.70/110.89	c (85,0) c WaitingTime_1 : 0.395910
689.70/110.89	c (85,0) c WaitingTime_2 : 2.739094
689.70/110.89	c (85,0) c WaitingTime_3 : 3.431530
689.70/110.89	c (85,0) c WaitingTime_4 : 0.744537
689.70/110.89	c (85,0) c WaitingTime_5 : 0.359683
689.70/110.89	c (85,0) c WaitingTime_6 : 3.538271
689.70/110.89	c (85,0) c WaitingTime_7 : 2.506912
689.70/110.89	c (85,0) c WaitingTime_total : 14.711173
689.70/110.89	c (85,0) c WaitingTime_winner : 0.995236
689.70/110.89	c (85,0) c ExchangingTime_0 : 0.043716
689.70/110.89	c (85,0) c ExchangingTime_1 : 0.043354
689.70/110.89	c (85,0) c ExchangingTime_2 : 0.056024
689.70/110.89	c (85,0) c ExchangingTime_3 : 0.055994
689.70/110.89	c (85,0) c ExchangingTime_4 : 0.047532
689.70/110.89	c (85,0) c ExchangingTime_5 : 0.052106
689.70/110.89	c (85,0) c ExchangingTime_6 : 0.052417
689.70/110.89	c (85,0) c ExchangingTime_7 : 0.040626
689.70/110.89	c (85,0) c ExchangingTime_total : 0.391768
689.70/110.89	c (85,0) c ExchangingTime_winner : 0.043716
689.70/110.89	c (85,0) c PeriodProcTime_0 : 0.004726
689.70/110.89	c (85,0) c PeriodProcTime_1 : 0.007648
689.70/110.89	c (85,0) c PeriodProcTime_2 : 0.005038
689.70/110.89	c (85,0) c PeriodProcTime_3 : 0.005671
689.70/110.89	c (85,0) c PeriodProcTime_4 : 0.007376
689.70/110.89	c (85,0) c PeriodProcTime_5 : 0.005109
689.70/110.89	c (85,0) c PeriodProcTime_6 : 0.005977
689.70/110.89	c (85,0) c PeriodProcTime_7 : 0.004662
689.70/110.89	c (85,0) c PeriodProcTime_total : 0.046207
689.70/110.89	c (85,0) c PeriodProcTime_winner : 0.004726
689.70/110.89	c (85,0) c SolvingTime_0 : 83.099991
689.70/110.89	c (85,0) c SolvingTime_1 : 83.170476
689.70/110.89	c (85,0) c SolvingTime_2 : 83.170653
689.70/110.89	c (85,0) c SolvingTime_3 : 83.173078
689.70/110.89	c (85,0) c SolvingTime_4 : 84.847472
689.70/110.89	c (85,0) c SolvingTime_5 : 84.144819
689.70/110.89	c (85,0) c SolvingTime_6 : 83.170410
689.70/110.89	c (85,0) c SolvingTime_7 : 83.172548
689.70/110.89	c (85,0) c SolvingTime_total : 667.949446
689.70/110.89	c (85,0) c SolvingTime_winner : 83.099991
689.70/110.89	c (85,0) c PropagationTime_0 : 79.111134
689.70/110.89	c (85,0) c PropagationTime_1 : 78.944738
689.70/110.89	c (85,0) c PropagationTime_2 : 78.910371
689.70/110.89	c (85,0) c PropagationTime_3 : 79.013704
689.70/110.89	c (85,0) c PropagationTime_4 : 80.677114
689.70/110.89	c (85,0) c PropagationTime_5 : 79.986510
689.70/110.90	c (85,0) c PropagationTime_6 : 79.153838
689.70/110.90	c (85,0) c PropagationTime_7 : 78.938873
689.70/110.90	c (85,0) c PropagationTime_total : 634.736283
689.70/110.90	c (85,0) c PropagationTime_winner : 79.111134
689.70/110.90	c (85,0) c AnalysisTime_0 : 1.761767
689.70/110.90	c (85,0) c AnalysisTime_1 : 1.972669
689.70/110.90	c (85,0) c AnalysisTime_2 : 1.978407
689.70/110.90	c (85,0) c AnalysisTime_3 : 1.941833
689.70/110.90	c (85,0) c AnalysisTime_4 : 1.862176
689.70/110.90	c (85,0) c AnalysisTime_5 : 1.810417
689.70/110.90	c (85,0) c AnalysisTime_6 : 1.753642
689.70/110.90	c (85,0) c AnalysisTime_7 : 1.934277
689.70/110.90	c (85,0) c AnalysisTime_total : 15.015188
689.70/110.90	c (85,0) c AnalysisTime_winner : 1.761767
689.70/110.90	c (85,0) c ReductionTime_0 : 0.122376
689.70/110.90	c (85,0) c ReductionTime_1 : 0.167170
689.70/110.90	c (85,0) c ReductionTime_2 : 0.165274
689.70/110.90	c (85,0) c ReductionTime_3 : 0.117057
689.70/110.90	c (85,0) c ReductionTime_4 : 0.171650
689.70/110.90	c (85,0) c ReductionTime_5 : 0.132381
689.70/110.90	c (85,0) c ReductionTime_6 : 0.122832
689.70/110.90	c (85,0) c ReductionTime_7 : 0.136714
689.70/110.90	c (85,0) c ReductionTime_total : 1.135453
689.70/110.90	c (85,0) c ReductionTime_winner : 0.122376
689.70/110.90	c (85,0) c SimplifyTime_0 : 0.107331
689.70/110.90	c (85,0) c SimplifyTime_1 : 0.079954
689.70/110.90	c (85,0) c SimplifyTime_2 : 0.120456
689.70/110.90	c (85,0) c SimplifyTime_3 : 0.121337
689.70/110.90	c (85,0) c SimplifyTime_4 : 0.066665
689.70/110.90	c (85,0) c SimplifyTime_5 : 0.117505
689.70/110.90	c (85,0) c SimplifyTime_6 : 0.152234
689.70/110.90	c (85,0) c SimplifyTime_7 : 0.101306
689.70/110.90	c (85,0) c SimplifyTime_total : 0.866787
689.70/110.90	c (85,0) c SimplifyTime_winner : 0.107331
689.70/110.90	c (85,0) c UsedRateTime_0 : 0.000000
689.70/110.90	c (85,0) c UsedRateTime_1 : 0.000000
689.70/110.90	c (85,0) c UsedRateTime_2 : 0.000000
689.70/110.90	c (85,0) c UsedRateTime_3 : 0.000000
689.70/110.90	c (85,0) c UsedRateTime_4 : 0.000000
689.70/110.90	c (85,0) c UsedRateTime_5 : 0.000000
689.70/110.90	c (85,0) c UsedRateTime_6 : 0.000000
689.70/110.90	c (85,0) c UsedRateTime_7 : 0.000000
689.70/110.90	c (85,0) c UsedRateTime_total : 0.000000
689.70/110.90	c (85,0) c UsedRateTime_winner : 0.000000
689.70/110.90	c (85,0) c OverlapRateTime_0 : 0.000000
689.70/110.90	c (85,0) c OverlapRateTime_1 : 0.000000
689.70/110.90	c (85,0) c OverlapRateTime_2 : 0.000000
689.70/110.90	c (85,0) c OverlapRateTime_3 : 0.000000
689.70/110.90	c (85,0) c OverlapRateTime_4 : 0.000000
689.70/110.90	c (85,0) c OverlapRateTime_5 : 0.000000
689.70/110.90	c (85,0) c OverlapRateTime_6 : 0.000000
689.70/110.90	c (85,0) c OverlapRateTime_7 : 0.000000
689.70/110.90	c (85,0) c OverlapRateTime_total : 0.000000
689.70/110.90	c (85,0) c OverlapRateTime_winner : 0.000000
689.70/110.90	c (85,0) c
689.70/110.90	c (85,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
689.70/110.90	c (85,0) c
689.70/110.90	c (85,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
689.70/110.90	c (85,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
689.70/110.90	c (85,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
689.70/110.90	c (85,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
689.70/110.90	c (85,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
689.70/110.90	c (85,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
689.70/110.90	c (85,0) c | Initial random_seed   |  168646797 | 1567778968 | 1041340377 | 1316965364 | 1387239290 | 1404770717 | 2011013076 |   97630128 |
689.70/110.90	c (85,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
689.70/110.90	c (85,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
689.70/110.90	c (85,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
689.70/110.90	c (85,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
689.70/110.90	c (85,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
689.70/110.90	c (85,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
689.70/110.90	c (85,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
689.70/110.90	c (85,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
689.70/110.90	c (85,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
689.70/110.90	c (85,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
689.70/110.90	c (85,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
689.70/110.90	c (85,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
689.70/110.90	c (85,0) 
689.70/110.90	c (85,0) s UNSATISFIABLE
689.84/110.90	c (85,0) SatSolver.solve End
689.84/110.90	c (85,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
689.84/110.90	c (85,0) Show results Begin
689.84/110.90	s UNSATISFIABLE
689.84/110.90	c (85,0) Show results End
689.84/110.90	c (85,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
689.84/110.90	c (85,0) 85,85,STOP-AFTER(ALL)
689.84/110.90	c END-Prog: Mon Sep 23 13:38:43 CEST 2019

Verifier Data


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 (12347 MiB free)
  memory of node 1: 16384 MiB (12365 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100152 s]*
/proc/loadavg: 0.28 0.08 0.06 2/212 19561
/proc/meminfo: memFree=25211528/32770624 swapFree=66973900/67108860
[pid=19539] ppid=19536 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19539/stat : 19539 (scop.sh) S 19536 19539 19128 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499807332 115843072 349 33554432000 4194304 5098028 140732742952480 140732742949736 140139040109180 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36233216 140732742955773 140732742956120 140732742956120 140732742959049 0
/proc/19539/statm: 28282 349 296 221 0 87 0
[pid=19542] ppid=19539 vsize=27314120 memory=106108 CPUtime=0.1 cores=0-7
/proc/19542/stat : 19542 (java) S 19539 19539 19128 0 -1 1077944320 6547 0 0 0 8 2 0 0 20 0 20 0 499807332 27969658880 26462 33554432000 4194304 4196468 140725290243040 140725290225584 140335267569399 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
/proc/19542/statm: 6828530 26462 2792 1 0 6790935 0
[pid=19542/tid=19543] ppid=19539 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/19542/task/19543/stat : 19543 (java) R 19539 19539 19128 0 -1 4202560 4630 0 0 0 7 1 0 0 20 0 20 0 499807332 27969658880 26527 33554432000 4194304 4196468 140725290243040 140335239392688 140335259806526 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19544] ppid=19539 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/19542/task/19544/stat : 19544 (java) S 19539 19539 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499807335 27969658880 26527 33554432000 4194304 4196468 140725290243040 140335271811472 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19545] ppid=19539 vsize=27314120 memory=139854670988928 CPUtime=0 cores=0-7
/proc/19542/task/19545/stat : 19545 (java) S 19539 19539 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499807335 27969658880 26527 33554432000 4194304 4196468 140725290243040 140335105190160 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19546] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19546/stat : 19546 (java) S 19539 19539 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499807335 27969658880 26527 33554432000 4194304 4196468 140725290243040 140334688709264 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19547] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19547/stat : 19547 (java) S 19539 19539 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499807335 27969658880 26527 33554432000 4194304 4196468 140725290243040 140334687656464 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19548] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19548/stat : 19548 (java) S 19539 19539 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499807335 27969658880 26527 33554432000 4194304 4196468 140725290243040 140334686604176 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19549] ppid=19539 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19542/task/19549/stat : 19549 (java) S 19539 19539 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499807335 27969658880 26527 33554432000 4194304 4196468 140725290243040 140334685551376 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19550] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19550/stat : 19550 (java) S 19539 19539 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499807335 27969658880 26527 33554432000 4194304 4196468 140725290243040 140334684499088 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19551] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19551/stat : 19551 (java) S 19539 19539 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499807335 27969658880 26527 33554432000 4194304 4196468 140725290243040 140334683446288 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19552] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19552/stat : 19552 (java) S 19539 19539 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499807336 27969658880 26527 33554432000 4194304 4196468 140725290243040 140334258870384 140335267580546 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19553] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19553/stat : 19553 (java) S 19539 19539 19128 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499807337 27969658880 26527 33554432000 4194304 4196468 140725290243040 140333157442336 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19554] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19554/stat : 19554 (java) S 19539 19539 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499807337 27969658880 26527 33554432000 4194304 4196468 140725290243040 140332889007216 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19555] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19555/stat : 19555 (java) S 19539 19539 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499807339 27969658880 26527 33554432000 4194304 4196468 140725290243040 140332514498640 140335267587995 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19556] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19556/stat : 19556 (java) S 19539 19539 19128 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 499807339 27969658880 26527 33554432000 4194304 4196468 140725290243040 140334257818224 140335267580546 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19557] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19557/stat : 19557 (java) S 19539 19539 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499807339 27969658880 26527 33554432000 4194304 4196468 140725290243040 140334256765424 140335267580546 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19558] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19558/stat : 19558 (java) S 19539 19539 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499807340 27969658880 26527 33554432000 4194304 4196468 140725290243040 140334255713136 140335267580546 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19559] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19559/stat : 19559 (java) S 19539 19539 19128 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 20 0 499807340 27969658880 26527 33554432000 4194304 4196468 140725290243040 140334254660336 140335267580546 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19560] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19560/stat : 19560 (java) S 19539 19539 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499807340 27969658880 26527 33554432000 4194304 4196468 140725290243040 140332016593248 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19561] ppid=19539 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19542/task/19561/stat : 19561 (java) S 19539 19539 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499807340 27969658880 26527 33554432000 4194304 4196468 140725290243040 140334253607216 140335267580546 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107504 KiB

[startup+0.210465 s]*
/proc/loadavg: 0.28 0.08 0.06 2/212 19561
/proc/meminfo: memFree=25189596/32770624 swapFree=66973900/67108860
[pid=19539] ppid=19536 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19539/stat : 19539 (scop.sh) S 19536 19539 19128 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499807332 115843072 349 33554432000 4194304 5098028 140732742952480 140732742949736 140139040109180 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36233216 140732742955773 140732742956120 140732742956120 140732742959049 0
/proc/19539/statm: 28282 349 296 221 0 87 0
[pid=19542] ppid=19539 vsize=27314120 memory=125180 CPUtime=0.25 cores=0-7
/proc/19542/stat : 19542 (java) S 19539 19539 19128 0 -1 1077944320 12084 0 0 0 21 4 0 0 20 0 20 0 499807332 27969658880 31295 33554432000 4194304 4196468 140725290243040 140725290225584 140335267569399 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
/proc/19542/statm: 6828530 31295 2920 1 0 6790935 0
[pid=19542/tid=19543] ppid=19539 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/19542/task/19543/stat : 19543 (java) R 19539 19539 19128 0 -1 4202560 9758 0 0 0 17 3 0 0 20 0 20 0 499807332 27969658880 31295 33554432000 4194304 4196468 140725290243040 140335239384464 140335252734992 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19544] ppid=19539 vsize=27314120 memory=329 CPUtime=0 cores=0-7
/proc/19542/task/19544/stat : 19544 (java) S 19539 19539 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499807335 27969658880 31295 33554432000 4194304 4196468 140725290243040 140335271811472 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19545] ppid=19539 vsize=27314120 memory=139854674705639 CPUtime=0 cores=0-7
/proc/19542/task/19545/stat : 19545 (java) S 19539 19539 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499807335 27969658880 31295 33554432000 4194304 4196468 140725290243040 140335105190160 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19546] ppid=19539 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19542/task/19546/stat : 19546 (java) S 19539 19539 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499807335 27969658880 31295 33554432000 4194304 4196468 140725290243040 140334688709264 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19547] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19547/stat : 19547 (java) S 19539 19539 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499807335 27969658880 31295 33554432000 4194304 4196468 140725290243040 140334687656464 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19548] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19548/stat : 19548 (java) S 19539 19539 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499807335 27969658880 31295 33554432000 4194304 4196468 140725290243040 140334686604176 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19549] ppid=19539 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19542/task/19549/stat : 19549 (java) S 19539 19539 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499807335 27969658880 31295 33554432000 4194304 4196468 140725290243040 140334685551376 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19550] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19550/stat : 19550 (java) S 19539 19539 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499807335 27969658880 31295 33554432000 4194304 4196468 140725290243040 140334684499088 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19551] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19551/stat : 19551 (java) S 19539 19539 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499807335 27969658880 31295 33554432000 4194304 4196468 140725290243040 140334683446288 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19552] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19552/stat : 19552 (java) S 19539 19539 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499807336 27969658880 31295 33554432000 4194304 4196468 140725290243040 140334258870384 140335267580546 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19553] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19553/stat : 19553 (java) S 19539 19539 19128 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499807337 27969658880 31295 33554432000 4194304 4196468 140725290243040 140333157442336 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19554] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19554/stat : 19554 (java) S 19539 19539 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499807337 27969658880 31295 33554432000 4194304 4196468 140725290243040 140332889007216 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19555] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19555/stat : 19555 (java) S 19539 19539 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499807339 27969658880 31295 33554432000 4194304 4196468 140725290243040 140332514498640 140335267587995 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19556] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19556/stat : 19556 (java) S 19539 19539 19128 0 -1 1077944384 443 0 0 0 0 0 0 0 20 0 20 0 499807339 27969658880 31295 33554432000 4194304 4196468 140725290243040 140334257818224 140335267580546 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19557] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19557/stat : 19557 (java) S 19539 19539 19128 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 499807339 27969658880 31295 33554432000 4194304 4196468 140725290243040 140334256765424 140335267580546 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19558] ppid=19539 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19542/task/19558/stat : 19558 (java) S 19539 19539 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499807340 27969658880 31295 33554432000 4194304 4196468 140725290243040 140334255713136 140335267580546 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19559] ppid=19539 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/19542/task/19559/stat : 19559 (java) S 19539 19539 19128 0 -1 1077944384 496 0 0 0 2 0 0 0 20 0 20 0 499807340 27969658880 31295 33554432000 4194304 4196468 140725290243040 140334254660336 140335267580546 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19560] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19560/stat : 19560 (java) S 19539 19539 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499807340 27969658880 31295 33554432000 4194304 4196468 140725290243040 140332016593248 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19561] ppid=19539 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19542/task/19561/stat : 19561 (java) S 19539 19539 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499807340 27969658880 31295 33554432000 4194304 4196468 140725290243040 140334253607216 140335267580546 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126576 KiB

[startup+0.312719 s]*
/proc/loadavg: 0.28 0.08 0.06 2/212 19561
/proc/meminfo: memFree=25187176/32770624 swapFree=66973900/67108860
[pid=19539] ppid=19536 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19539/stat : 19539 (scop.sh) S 19536 19539 19128 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499807332 115843072 349 33554432000 4194304 5098028 140732742952480 140732742949736 140139040109180 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36233216 140732742955773 140732742956120 140732742956120 140732742959049 0
/proc/19539/statm: 28282 349 296 221 0 87 0
[pid=19542] ppid=19539 vsize=27314120 memory=129420 CPUtime=0.43 cores=0-7
/proc/19542/stat : 19542 (java) S 19539 19539 19128 0 -1 1077944320 13150 0 0 0 38 5 0 0 20 0 20 0 499807332 27969658880 32355 33554432000 4194304 4196468 140725290243040 140725290225584 140335267569399 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
/proc/19542/statm: 6828530 32355 3068 1 0 6790935 0
[pid=19542/tid=19543] ppid=19539 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/19542/task/19543/stat : 19543 (java) R 19539 19539 19128 0 -1 4202560 10566 0 0 0 26 3 0 0 20 0 20 0 499807332 27969658880 32355 33554432000 4194304 4196468 140725290243040 140335239360048 140335267591325 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19544] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19544/stat : 19544 (java) S 19539 19539 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499807335 27969658880 32355 33554432000 4194304 4196468 140725290243040 140335271811472 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19545] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19545/stat : 19545 (java) S 19539 19539 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499807335 27969658880 32355 33554432000 4194304 4196468 140725290243040 140335105190160 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19546] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19546/stat : 19546 (java) S 19539 19539 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499807335 27969658880 32355 33554432000 4194304 4196468 140725290243040 140334688709264 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19547] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19547/stat : 19547 (java) S 19539 19539 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499807335 27969658880 32355 33554432000 4194304 4196468 140725290243040 140334687656464 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19548] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19548/stat : 19548 (java) S 19539 19539 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499807335 27969658880 32355 33554432000 4194304 4196468 140725290243040 140334686604176 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19549] ppid=19539 vsize=27314120 memory=139854537124527 CPUtime=0 cores=0-7
/proc/19542/task/19549/stat : 19549 (java) S 19539 19539 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499807335 27969658880 32355 33554432000 4194304 4196468 140725290243040 140334685551376 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19550] ppid=19539 vsize=27314120 memory=139854537126832 CPUtime=0 cores=0-7
/proc/19542/task/19550/stat : 19550 (java) S 19539 19539 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499807335 27969658880 32355 33554432000 4194304 4196468 140725290243040 140334684499088 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19551] ppid=19539 vsize=27314120 memory=139854537129136 CPUtime=0 cores=0-7
/proc/19542/task/19551/stat : 19551 (java) S 19539 19539 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499807335 27969658880 32355 33554432000 4194304 4196468 140725290243040 140334683446288 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19552] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19552/stat : 19552 (java) S 19539 19539 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499807336 27969658880 32355 33554432000 4194304 4196468 140725290243040 140334258870384 140335267580546 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19553] ppid=19539 vsize=27314120 memory=279709074272144 CPUtime=0 cores=0-7
/proc/19542/task/19553/stat : 19553 (java) S 19539 19539 19128 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499807337 27969658880 32355 33554432000 4194304 4196468 140725290243040 140333157442336 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19554] ppid=19539 vsize=27314120 memory=279709074269840 CPUtime=0 cores=0-7
/proc/19542/task/19554/stat : 19554 (java) S 19539 19539 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499807337 27969658880 32355 33554432000 4194304 4196468 140725290243040 140332889007216 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19555] ppid=19539 vsize=27314120 memory=279709074276752 CPUtime=0 cores=0-7
/proc/19542/task/19555/stat : 19555 (java) S 19539 19539 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499807339 27969658880 32355 33554432000 4194304 4196468 140725290243040 140332514498640 140335267587995 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19556] ppid=19539 vsize=27314120 memory=279709074218032 CPUtime=0.02 cores=0-7
/proc/19542/task/19556/stat : 19556 (java) R 19539 19539 19128 0 -1 4202560 551 0 0 0 2 0 0 0 20 0 20 0 499807339 27969658880 32355 33554432000 4194304 4196468 140725290243040 140334257818224 140335267581334 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19557] ppid=19539 vsize=27314120 memory=279709074290576 CPUtime=0.01 cores=0-7
/proc/19542/task/19557/stat : 19557 (java) S 19539 19539 19128 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 20 0 499807339 27969658880 32355 33554432000 4194304 4196468 140725290243040 140334256765424 140335267580546 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19558] ppid=19539 vsize=27314120 memory=279709074297488 CPUtime=0 cores=0-7
/proc/19542/task/19558/stat : 19558 (java) S 19539 19539 19128 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 499807340 27969658880 32355 33554432000 4194304 4196468 140725290243040 140334255713136 140335267580546 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19559] ppid=19539 vsize=27314120 memory=279709074295184 CPUtime=0.07 cores=0-7
/proc/19542/task/19559/stat : 19559 (java) S 19539 19539 19128 0 -1 1077944384 596 0 0 0 7 0 0 0 20 0 20 0 499807340 27969658880 32355 33554432000 4194304 4196468 140725290243040 140334254660336 140335267580546 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19560] ppid=19539 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19560/stat : 19560 (java) S 19539 19539 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499807340 27969658880 32355 33554432000 4194304 4196468 140725290243040 140332016593248 140335267579605 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19561] ppid=19539 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19542/task/19561/stat : 19561 (java) S 19539 19539 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499807340 27969658880 32355 33554432000 4194304 4196468 140725290243040 140334253607216 140335267580546 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130816 KiB

[startup+0.701043 s]
/proc/loadavg: 0.28 0.08 0.06 2/212 19561
/proc/meminfo: memFree=25166356/32770624 swapFree=66973900/67108860
[pid=19539] ppid=19536 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19539/stat : 19539 (scop.sh) S 19536 19539 19128 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499807332 115843072 349 33554432000 4194304 5098028 140732742952480 140732742949736 140139040109180 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36233216 140732742955773 140732742956120 140732742956120 140732742959049 0
/proc/19539/statm: 28282 349 296 221 0 87 0
[pid=19542] ppid=19539 vsize=27320392 memory=164588 CPUtime=0.98 cores=0-7
/proc/19542/stat : 19542 (java) S 19539 19539 19128 0 -1 1077944320 20204 0 0 0 92 6 0 0 20 0 20 0 499807332 27976081408 41147 33554432000 4194304 4196468 140725290243040 140725290225584 140335267569399 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
/proc/19542/statm: 6830098 41147 3186 1 0 6791447 0
[pid=19542/tid=19543] ppid=19539 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/19542/task/19543/stat : 19543 (java) R 19539 19539 19128 0 -1 4202560 16986 0 0 0 63 5 0 0 20 0 20 0 499807332 27976081408 41147 33554432000 4194304 4196468 140725290243040 140335239399376 140335267591325 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19544] ppid=19539 vsize=27320392 memory=139854537335664 CPUtime=0 cores=0-7
/proc/19542/task/19544/stat : 19544 (java) S 19539 19539 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499807335 27976081408 41147 33554432000 4194304 4196468 140725290243040 140335271811472 140335267579605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19545] ppid=19539 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/19542/task/19545/stat : 19545 (java) S 19539 19539 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499807335 27976081408 41147 33554432000 4194304 4196468 140725290243040 140335105190160 140335267579605 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0
[pid=19542/tid=19546] ppid=19539 vsize=27320392 memory=1200 CPUtime=0 cores=0-7
/proc/19542/task/19546/stat : 19546 (java) S 19539 19539 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499807335 27976081408 41147 33554432000 4194304 4196468 140725290243040 140334688709264 140335267579605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15155200 140725290246855 140725290247302 140725290247302 140725290250191 0

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

/proc/19562/task/19567/stat : 19567 (java) S 19539 19539 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499809834 8616062976 30213 33554432000 4194304 4196468 140720663669696 139627399961616 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19568] ppid=19539 vsize=8414124 memory=11624 CPUtime=0 cores=0-7
/proc/19562/task/19568/stat : 19568 (java) S 19539 19539 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499809834 8616062976 30213 33554432000 4194304 4196468 140720663669696 139627398908304 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19569] ppid=19539 vsize=8414124 memory=740 CPUtime=0 cores=0-7
/proc/19562/task/19569/stat : 19569 (java) S 19539 19539 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499809834 8616062976 30213 33554432000 4194304 4196468 140720663669696 139627397855504 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19570] ppid=19539 vsize=8414124 memory=-9031799055428383122 CPUtime=0 cores=0-7
/proc/19562/task/19570/stat : 19570 (java) S 19539 19539 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499809834 8616062976 30213 33554432000 4194304 4196468 140720663669696 139627396803216 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19571] ppid=19539 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/19562/task/19571/stat : 19571 (java) S 19539 19539 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499809834 8616062976 30213 33554432000 4194304 4196468 140720663669696 139627395750416 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19572] ppid=19539 vsize=8414124 memory=1040 CPUtime=0 cores=0-7
/proc/19562/task/19572/stat : 19572 (java) S 19539 19539 19128 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 499809836 8616062976 30213 33554432000 4194304 4196468 140720663669696 139626959288944 139627597666946 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19573] ppid=19539 vsize=8414124 memory=3644 CPUtime=0 cores=0-7
/proc/19562/task/19573/stat : 19573 (java) S 19539 19539 19128 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 499809836 8616062976 30213 33554432000 4194304 4196468 140720663669696 139625897125152 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19574] ppid=19539 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/19562/task/19574/stat : 19574 (java) S 19539 19539 19128 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 499809837 8616062976 30213 33554432000 4194304 4196468 140720663669696 139625762903664 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19575] ppid=19539 vsize=8414124 memory=120852 CPUtime=0 cores=0-7
/proc/19562/task/19575/stat : 19575 (java) S 19539 19539 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499809839 8616062976 30213 33554432000 4194304 4196468 140720663669696 139625388399184 139627597674395 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19576] ppid=19539 vsize=8414124 memory=499776 CPUtime=0.05 cores=0-7
/proc/19562/task/19576/stat : 19576 (java) S 19539 19539 19128 0 -1 1077944384 484 0 0 0 5 0 0 0 20 0 24 0 499809839 8616062976 30213 33554432000 4194304 4196468 140720663669696 139626958235760 139627597666946 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19577] ppid=19539 vsize=8414124 memory=1412 CPUtime=0.07 cores=0-7
/proc/19562/task/19577/stat : 19577 (java) S 19539 19539 19128 0 -1 1077944384 430 0 0 0 7 0 0 0 20 0 24 0 499809839 8616062976 30213 33554432000 4194304 4196468 140720663669696 139626957182960 139627597666946 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19578] ppid=19539 vsize=8414124 memory=3520 CPUtime=0.06 cores=0-7
/proc/19562/task/19578/stat : 19578 (java) S 19539 19539 19128 0 -1 1077944384 255 0 0 0 6 0 0 0 20 0 24 0 499809839 8616062976 30213 33554432000 4194304 4196468 140720663669696 139626956130672 139627597666946 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19579] ppid=19539 vsize=8414124 memory=1476 CPUtime=0.2 cores=0-7
/proc/19562/task/19579/stat : 19579 (java) S 19539 19539 19128 0 -1 1077944384 707 0 0 0 20 0 0 0 20 0 24 0 499809839 8616062976 30213 33554432000 4194304 4196468 140720663669696 139626955077872 139627597666946 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19580] ppid=19539 vsize=8414124 memory=120852 CPUtime=0 cores=0-7
/proc/19562/task/19580/stat : 19580 (java) S 19539 19539 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499809839 8616062976 30213 33554432000 4194304 4196468 140720663669696 139624890493792 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19581] ppid=19539 vsize=8414124 memory=499660 CPUtime=0.05 cores=0-7
/proc/19562/task/19581/stat : 19581 (java) S 19539 19539 19128 0 -1 1077944384 7 0 0 0 0 5 0 0 20 0 24 0 499809840 8616062976 30213 33554432000 4194304 4196468 140720663669696 139626954025776 139627597666946 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19583] ppid=19539 vsize=8414124 memory=1732 CPUtime=0 cores=0-7
/proc/19562/task/19583/stat : 19583 (java) S 19539 19539 19128 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499809905 8616062976 30213 33554432000 4194304 4196468 140720663669696 139627038287680 139627597680409 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19585] ppid=19539 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/19562/task/19585/stat : 19585 (java) S 19539 19539 19128 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 499809906 8616062976 30213 33554432000 4194304 4196468 140720663669696 139624219393424 139627597677725 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19586] ppid=19539 vsize=8414124 memory=1672 CPUtime=0 cores=0-7
/proc/19562/task/19586/stat : 19586 (java) S 19539 19539 19128 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 499809906 8616062976 30213 33554432000 4194304 4196468 140720663669696 139624487828752 139627597677725 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19587] ppid=19539 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/19562/task/19587/stat : 19587 (java) S 19539 19539 19128 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 499809908 8616062976 30213 33554432000 4194304 4196468 140720663669696 139623950966064 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
Current children cumulated CPU time: 689.29 s
Current children cumulated vsize: 9307424 KiB
Current children cumulated memory: 622104 KiB

[startup+110.801 s]
/proc/loadavg: 5.96 2.02 0.76 3/220 19602
/proc/meminfo: memFree=24696808/32770624 swapFree=66973900/67108860
[pid=19539] ppid=19536 vsize=113128 memory=1476 CPUtime=37.15 cores=0-7
/proc/19539/stat : 19539 (scop.sh) S 19536 19539 19128 0 -1 4202496 583 51265 0 0 0 0 3525 190 20 0 1 0 499807332 115843072 369 33554432000 4194304 5098028 140732742952480 140732742949224 140139040109180 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36233216 140732742955773 140732742956120 140732742956120 140732742959049 0
/proc/19539/statm: 28282 369 311 221 0 87 0
[pid=19562] ppid=19539 vsize=8414124 memory=120852 CPUtime=1.23 cores=0-7
/proc/19562/stat : 19562 (java) S 19539 19539 19128 0 -1 1077944320 20716 0 0 0 115 8 0 0 20 0 24 0 499809833 8616062976 30213 33554432000 4194304 4196468 140720663669696 140720663652240 139627597655799 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
/proc/19562/statm: 2103531 30213 3203 1 0 2064875 0
[pid=19582] ppid=19562 vsize=780172 memory=499776 CPUtime=651.32 cores=0-7
/proc/19582/stat : 19582 (manyglucose-4.1) S 19562 19539 19128 0 -1 1077944320 407331 0 0 0 65024 108 0 0 20 0 2 0 499809905 798896128 124944 33554432000 4194304 4454172 140728783607328 140728783605712 140443220188919 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 27045888 140728783610701 140728783610908 140728783610908 140728783613878 0
/proc/19582/statm: 195043 124944 417 64 0 190711 0
[pid=19582/tid=19592] ppid=19562 vsize=780172 memory=7235992019676714600 CPUtime=83.61 cores=0-7
/proc/19582/task/19592/stat : 19592 (manyglucose-4.1) R 19562 19539 19128 0 -1 4202560 51985 0 0 0 8340 21 0 0 20 0 2 0 499809935 798896128 124944 33554432000 4194304 4454172 140728783607328 140443150290056 4350902 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 27045888 140728783610701 140728783610908 140728783610908 140728783613878 0
[pid=19562/tid=19563] ppid=19539 vsize=8414124 memory=-9031799055428383122 CPUtime=0.75 cores=0-7
/proc/19562/task/19563/stat : 19563 (java) S 19539 19539 19128 0 -1 1077944384 17417 0 0 0 70 5 0 0 20 0 24 0 499809833 8616062976 30213 33554432000 4194304 4196468 140720663669696 139627569495968 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19564] ppid=19539 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/19562/task/19564/stat : 19564 (java) S 19539 19539 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499809834 8616062976 30213 33554432000 4194304 4196468 140720663669696 139627601898384 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19565] ppid=19539 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/19562/task/19565/stat : 19565 (java) S 19539 19539 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499809834 8616062976 30213 33554432000 4194304 4196468 140720663669696 139627402066704 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19566] ppid=19539 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/19562/task/19566/stat : 19566 (java) S 19539 19539 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499809834 8616062976 30213 33554432000 4194304 4196468 140720663669696 139627401014416 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19567] ppid=19539 vsize=8414124 memory=2424 CPUtime=0 cores=0-7
/proc/19562/task/19567/stat : 19567 (java) S 19539 19539 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499809834 8616062976 30213 33554432000 4194304 4196468 140720663669696 139627399961616 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19568] ppid=19539 vsize=8414124 memory=-9031799055428383122 CPUtime=0 cores=0-7
/proc/19562/task/19568/stat : 19568 (java) S 19539 19539 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499809834 8616062976 30213 33554432000 4194304 4196468 140720663669696 139627398908304 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19569] ppid=19539 vsize=8414124 memory=1298706063 CPUtime=0 cores=0-7
/proc/19562/task/19569/stat : 19569 (java) S 19539 19539 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499809834 8616062976 30213 33554432000 4194304 4196468 140720663669696 139627397855504 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19570] ppid=19539 vsize=8414124 memory=279709076120400 CPUtime=0 cores=0-7
/proc/19562/task/19570/stat : 19570 (java) S 19539 19539 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499809834 8616062976 30213 33554432000 4194304 4196468 140720663669696 139627396803216 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19571] ppid=19539 vsize=8414124 memory=279709076642160 CPUtime=0 cores=0-7
/proc/19562/task/19571/stat : 19571 (java) S 19539 19539 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499809834 8616062976 30213 33554432000 4194304 4196468 140720663669696 139627395750416 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19572] ppid=19539 vsize=8414124 memory=6945507666079274341 CPUtime=0 cores=0-7
/proc/19562/task/19572/stat : 19572 (java) S 19539 19539 19128 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 499809836 8616062976 30213 33554432000 4194304 4196468 140720663669696 139626959288944 139627597666946 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19573] ppid=19539 vsize=8414124 memory=7230638415855315287 CPUtime=0 cores=0-7
/proc/19562/task/19573/stat : 19573 (java) S 19539 19539 19128 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 499809836 8616062976 30213 33554432000 4194304 4196468 140720663669696 139625897125152 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19574] ppid=19539 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19562/task/19574/stat : 19574 (java) S 19539 19539 19128 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 499809837 8616062976 30213 33554432000 4194304 4196468 140720663669696 139625762903664 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19575] ppid=19539 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19562/task/19575/stat : 19575 (java) S 19539 19539 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499809839 8616062976 30213 33554432000 4194304 4196468 140720663669696 139625388399184 139627597674395 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19576] ppid=19539 vsize=8414124 memory=3472328296227680369 CPUtime=0.05 cores=0-7
/proc/19562/task/19576/stat : 19576 (java) S 19539 19539 19128 0 -1 1077944384 484 0 0 0 5 0 0 0 20 0 24 0 499809839 8616062976 30213 33554432000 4194304 4196468 140720663669696 139626958235760 139627597666946 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19577] ppid=19539 vsize=8414124 memory=2120 CPUtime=0.07 cores=0-7
/proc/19562/task/19577/stat : 19577 (java) S 19539 19539 19128 0 -1 1077944384 430 0 0 0 7 0 0 0 20 0 24 0 499809839 8616062976 30213 33554432000 4194304 4196468 140720663669696 139626957182960 139627597666946 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19578] ppid=19539 vsize=8414124 memory=500 CPUtime=0.06 cores=0-7
/proc/19562/task/19578/stat : 19578 (java) S 19539 19539 19128 0 -1 1077944384 255 0 0 0 6 0 0 0 20 0 24 0 499809839 8616062976 30213 33554432000 4194304 4196468 140720663669696 139626956130672 139627597666946 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19579] ppid=19539 vsize=8414124 memory=1556 CPUtime=0.2 cores=0-7
/proc/19562/task/19579/stat : 19579 (java) S 19539 19539 19128 0 -1 1077944384 707 0 0 0 20 0 0 0 20 0 24 0 499809839 8616062976 30213 33554432000 4194304 4196468 140720663669696 139626955077872 139627597666946 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19580] ppid=19539 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/19562/task/19580/stat : 19580 (java) S 19539 19539 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499809839 8616062976 30213 33554432000 4194304 4196468 140720663669696 139624890493792 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19581] ppid=19539 vsize=8414124 memory=1672 CPUtime=0.05 cores=0-7
/proc/19562/task/19581/stat : 19581 (java) S 19539 19539 19128 0 -1 1077944384 7 0 0 0 0 5 0 0 20 0 24 0 499809840 8616062976 30213 33554432000 4194304 4196468 140720663669696 139626954025776 139627597666946 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19583] ppid=19539 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/19562/task/19583/stat : 19583 (java) S 19539 19539 19128 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499809905 8616062976 30213 33554432000 4194304 4196468 140720663669696 139627038287680 139627597680409 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19585] ppid=19539 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/19562/task/19585/stat : 19585 (java) S 19539 19539 19128 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 499809906 8616062976 30213 33554432000 4194304 4196468 140720663669696 139624219393424 139627597677725 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19586] ppid=19539 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/19562/task/19586/stat : 19586 (java) S 19539 19539 19128 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 499809906 8616062976 30213 33554432000 4194304 4196468 140720663669696 139624487828752 139627597677725 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19587] ppid=19539 vsize=8414124 memory=2424 CPUtime=0 cores=0-7
/proc/19562/task/19587/stat : 19587 (java) S 19539 19539 19128 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 499809908 8616062976 30213 33554432000 4194304 4196468 140720663669696 139623950966064 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
Current children cumulated CPU time: 689.7 s
Current children cumulated vsize: 9307424 KiB
Current children cumulated memory: 622104 KiB

[startup+110.903 s]
/proc/loadavg: 5.96 2.02 0.76 3/220 19602
/proc/meminfo: memFree=24696808/32770624 swapFree=66973900/67108860
[pid=19539] ppid=19536 vsize=113128 memory=1476 CPUtime=37.15 cores=0-7
/proc/19539/stat : 19539 (scop.sh) S 19536 19539 19128 0 -1 4202496 583 51265 0 0 0 0 3525 190 20 0 1 0 499807332 115843072 369 33554432000 4194304 5098028 140732742952480 140732742949224 140139040109180 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36233216 140732742955773 140732742956120 140732742956120 140732742959049 0
/proc/19539/statm: 28282 369 311 221 0 87 0
[pid=19562] ppid=19539 vsize=8414124 memory=119248 CPUtime=652.69 cores=0-7
/proc/19562/stat : 19562 (java) S 19539 19539 19128 0 -1 1077944320 20773 407747 0 0 120 8 65032 109 20 0 23 0 499809833 8616062976 29812 33554432000 4194304 4196468 140720663669696 140720663652240 139627597655799 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
/proc/19562/statm: 2103531 29812 3212 1 0 2064875 0
[pid=19562/tid=19563] ppid=19539 vsize=8414124 memory=33 CPUtime=652.16 cores=0-7
/proc/19562/task/19563/stat : 19563 (java) S 19539 19539 19128 0 -1 1077944384 17417 407747 0 0 70 5 65032 109 20 0 23 0 499809833 8616062976 29812 33554432000 4194304 4196468 140720663669696 139627569495968 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19564] ppid=19539 vsize=8414124 memory=4052449392317722479 CPUtime=651.41 cores=0-7
/proc/19562/task/19564/stat : 19564 (java) S 19539 19539 19128 0 -1 1077944384 2 407747 0 0 0 0 65032 109 20 0 23 0 499809834 8616062976 29812 33554432000 4194304 4196468 140720663669696 139627601898384 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19565] ppid=19539 vsize=8414124 memory=3612 CPUtime=651.41 cores=0-7
/proc/19562/task/19565/stat : 19565 (java) S 19539 19539 19128 0 -1 1077944384 1 407747 0 0 0 0 65032 109 20 0 23 0 499809834 8616062976 29812 33554432000 4194304 4196468 140720663669696 139627402066704 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19566] ppid=19539 vsize=8414124 memory=50348 CPUtime=651.41 cores=0-7
/proc/19562/task/19566/stat : 19566 (java) S 19539 19539 19128 0 -1 1077944384 1 407747 0 0 0 0 65032 109 20 0 23 0 499809834 8616062976 29812 33554432000 4194304 4196468 140720663669696 139627401014416 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19567] ppid=19539 vsize=8414124 memory=1476 CPUtime=651.41 cores=0-7
/proc/19562/task/19567/stat : 19567 (java) S 19539 19539 19128 0 -1 1077944384 2 407747 0 0 0 0 65032 109 20 0 23 0 499809834 8616062976 30324 33554432000 4194304 4196468 140720663669696 139627399961616 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19568] ppid=19539 vsize=8414124 memory=120852 CPUtime=651.41 cores=0-7
/proc/19562/task/19568/stat : 19568 (java) S 19539 19539 19128 0 -1 1077944384 2 407747 0 0 0 0 65032 109 20 0 23 0 499809834 8616062976 30318 33554432000 4194304 4196468 140720663669696 139627398908304 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19569] ppid=19539 vsize=8283048 memory=139854537409121 CPUtime=651.41 cores=0-7
/proc/19562/task/19569/stat : 19569 (java) S 19539 19539 19128 0 -1 1077944384 2 407747 0 0 0 0 65032 109 20 0 22 0 499809834 8481841152 30318 33554432000 4194304 4196468 140720663669696 139627397855504 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19570] ppid=19539 vsize=8283048 memory=7824336315716348491 CPUtime=651.41 cores=0-7
/proc/19562/task/19570/stat : 19570 (java) S 19539 19539 19128 0 -1 1077944384 2 407747 0 0 0 0 65032 109 20 0 22 0 499809834 8481841152 30318 33554432000 4194304 4196468 140720663669696 139627396803216 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19571] ppid=19539 vsize=8283048 memory=482504 CPUtime=651.41 cores=0-7
/proc/19562/task/19571/stat : 19571 (java) S 19539 19539 19128 0 -1 1077944384 3 407747 0 0 0 0 65032 109 20 0 22 0 499809834 8481841152 30318 33554432000 4194304 4196468 140720663669696 139627395750416 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19572] ppid=19539 vsize=8283048 memory=1476 CPUtime=651.41 cores=0-7
/proc/19562/task/19572/stat : 19572 (java) S 19539 19539 19128 0 -1 1077944384 6 407747 0 0 0 0 65032 109 20 0 22 0 499809836 8481841152 30318 33554432000 4194304 4196468 140720663669696 139626959288944 139627597666946 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19573] ppid=19539 vsize=8283048 memory=1476 CPUtime=651.41 cores=0-7
/proc/19562/task/19573/stat : 19573 (java) S 19539 19539 19128 0 -1 1077944384 13 407747 0 0 0 0 65032 109 20 0 22 0 499809836 8481841152 30318 33554432000 4194304 4196468 140720663669696 139625897125152 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19574] ppid=19539 vsize=8283048 memory=3644 CPUtime=651.41 cores=0-7
/proc/19562/task/19574/stat : 19574 (java) S 19539 19539 19128 0 -1 1077944384 21 407747 0 0 0 0 65032 109 20 0 22 0 499809837 8481841152 30318 33554432000 4194304 4196468 140720663669696 139625762903664 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19575] ppid=19539 vsize=8283048 memory=780 CPUtime=651.41 cores=0-7
/proc/19562/task/19575/stat : 19575 (java) S 19539 19539 19128 0 -1 1077944384 1 407747 0 0 0 0 65032 109 20 0 22 0 499809839 8481841152 30318 33554432000 4194304 4196468 140720663669696 139625388399184 139627597674395 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19576] ppid=19539 vsize=8283048 memory=2832 CPUtime=651.47 cores=0-7
/proc/19562/task/19576/stat : 19576 (java) S 19539 19539 19128 0 -1 1077944384 487 407747 0 0 6 0 65032 109 20 0 22 0 499809839 8481841152 30331 33554432000 4194304 4196468 140720663669696 139626958235760 139627597666946 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19577] ppid=19539 vsize=8283048 memory=482864 CPUtime=651.48 cores=0-7
/proc/19562/task/19577/stat : 19577 (java) R 19539 19539 19128 0 -1 4202560 434 407747 0 0 7 0 65032 109 20 0 22 0 499809839 8481841152 30331 33554432000 4194304 4196468 140720663669696 139626957171632 139627579177254 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19578] ppid=19539 vsize=8283048 memory=1476 CPUtime=651.47 cores=0-7
/proc/19562/task/19578/stat : 19578 (java) S 19539 19539 19128 0 -1 1077944384 258 407747 0 0 6 0 65032 109 20 0 22 0 499809839 8481841152 30331 33554432000 4194304 4196468 140720663669696 139626956130672 139627597666946 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19579] ppid=19539 vsize=8283048 memory=120852 CPUtime=651.63 cores=0-7
/proc/19562/task/19579/stat : 19579 (java) S 19539 19539 19128 0 -1 1077944384 742 407747 0 0 22 0 65032 109 20 0 22 0 499809839 8481841152 30331 33554432000 4194304 4196468 140720663669696 139626955077872 139627597666946 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19580] ppid=19539 vsize=8283048 memory=1476 CPUtime=651.41 cores=0-7
/proc/19562/task/19580/stat : 19580 (java) S 19539 19539 19128 0 -1 1077944384 3 407747 0 0 0 0 65032 109 20 0 22 0 499809839 8481841152 30331 33554432000 4194304 4196468 140720663669696 139624890493792 139627597666005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19581] ppid=19539 vsize=8283048 memory=120852 CPUtime=651.46 cores=0-7
/proc/19562/task/19581/stat : 19581 (java) S 19539 19539 19128 0 -1 1077944384 7 407747 0 0 0 5 65032 109 20 0 22 0 499809840 8481841152 30331 33554432000 4194304 4196468 140720663669696 139626954025776 139627597666946 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19583] ppid=19539 vsize=8283048 memory=499756 CPUtime=651.41 cores=0-7
/proc/19562/task/19583/stat : 19583 (java) S 19539 19539 19128 0 -1 1077944384 23 407747 0 0 0 0 65032 109 20 0 22 0 499809905 8481841152 30331 33554432000 4194304 4196468 140720663669696 139627038286864 139627597666946 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
[pid=19562/tid=19587] ppid=19539 vsize=8283048 memory=992 CPUtime=651.41 cores=0-7
/proc/19562/task/19587/stat : 19587 (java) R 19539 19539 19128 0 -1 4202560 8 407747 0 0 0 0 65032 109 20 0 22 0 499809908 8481841152 30331 33554432000 4194304 4196468 140720663669696 139623950956000 139627054848056 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720663671775 140720663671942 140720663671942 140720663674831 0
Current children cumulated CPU time: 689.84 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 120724 KiB

Child status: 0
Real time (s): 110.917
CPU time (s): 689.895
CPU user time (s): 686.793
CPU system time (s): 3.10142
CPU usage (%): 621.991
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 6131856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 686.793
system time used= 3.10142
maximum resident set size= 6131372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 480411
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35405
involuntary context switches= 6965


# summary of solver processes directly reported to runsolver:
#   pid: 19539
#   total CPU time (s): 689.895
#   total CPU user time (s): 686.793
#   total CPU system time (s): 3.10142

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.999181 second user time and 1.48889 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-23 13:36:52
IDJOB=4405153
IDBENCH=121393
IDSOLVER=2867
FILE ID=node117/4405153-1569238655
RUNJOBID= node117-1569238588-19155
PBS_JOBID= 21704911
Free space on /var/tmp= 13512 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Random/Random-RB-3-20-20/rand-3-20-20-60-632-45.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405153-1569238655/watcher-4405153-1569238655 -o /var/tmp/evaluation-result-4405153-1569238655/solver-4405153-1569238655 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1569238588-19155 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405153-1569238655.xml

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

MD5SUM BENCH= 9875f5c0ec8fbb2d8215ec13f3e1e37d
RANDOM SEED=2008324969

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25306644 kB
MemAvailable:   31821520 kB
Buffers:           99856 kB
Cached:          6465364 kB
SwapCached:        27992 kB
Active:          3249656 kB
Inactive:        3348352 kB
Active(anon):       4532 kB
Inactive(anon):    79652 kB
Active(file):    3245124 kB
Inactive(file):  3268700 kB
Unevictable:      107656 kB
Mlocked:          107656 kB
SwapTotal:      67108860 kB
SwapFree:       66973900 kB
Dirty:             22120 kB
Writeback:             0 kB
AnonPages:        113588 kB
Mapped:            52400 kB
Shmem:             42236 kB
Slab:             457976 kB
SReclaimable:     429512 kB
SUnreclaim:        28464 kB
KernelStack:        3424 kB
PageTables:         5412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514084 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 /var/tmp at the end= 13492 MiB
End job on node117 at 2019-09-23 13:38:43