Trace number 4392797

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameLangford/Langford-m1-k3/
Langford-3-45.xml
MD5SUMc29e6924973099ab0a0c802e448a5f67
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark185.253
Satisfiable
(Un)Satisfiability was proved
Number of variables135
Number of constraints91
Number of domains1
Minimum domain size135
Maximum domain size135
Distribution of domain sizes[{"size":135,"count":135}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":90},{"degree":3,"count":45}]
Minimum constraint arity2
Maximum constraint arity135
Distribution of constraint arities[{"arity":2,"count":90},{"arity":135,"count":1}]
Number of extensional constraints0
Number of intensional constraints90
Distribution of constraint types[{"type":"intension","count":90},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-20487-serial-file.bin HOME/instance-4392797-1568424131.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 03:21:32 CEST 2019
0.65/0.56	c PID: 20490
0.65/0.56	c IP: 172.20.3.124
0.65/0.56	c HOST: node124.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.42/0.95	c (0,0) Parsing End
1.42/0.96	c (0,0) CSP: 135 int (0 aux), 0 bool (0 aux), 91 ctr, max domain size 135
1.42/0.96	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.42/0.96	c (0,0) Constraint Name Generate Begin
1.42/0.96	c (0,0) Ctr:HOME/instance-4392797-1568424131.xml,Add:AllDifferent:Eq:Num:Var
1.42/0.96	c (0,0) Constraint Name Generate End
1.42/0.96	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.42/0.96	c (0,0) CSP to CSPinCNF Begin
4.27/1.86	c (1,1) translated 10 (10%) constraints
4.27/1.86	c (1,1) translated 19 (20%) constraints
4.27/1.86	c (1,1) translated 28 (30%) constraints
4.27/1.86	c (1,1) translated 37 (40%) constraints
4.27/1.86	c (1,1) translated 46 (50%) constraints
4.27/1.86	c (1,1) translated 55 (60%) constraints
4.27/1.86	c (1,1) translated 64 (70%) constraints
4.27/1.86	c (1,1) translated 73 (80%) constraints
4.27/1.87	c (1,1) translated 82 (90%) constraints
4.27/1.87	c (1,1) translated 91 (100%) constraints
4.27/1.87	c (1,1) ===========================================
4.73/1.91	c (1,1) Hybrid: #OE=135, #LE=0
4.73/1.91	c (1,1) Hybrid
4.73/1.91	c (1,1) ===========================================
4.73/1.99	c (1,1) translated 928 (10%) constraints
5.17/2.04	c (1,1) translated 1855 (20%) constraints
5.17/2.08	c (1,1) translated 2782 (30%) constraints
5.56/2.12	c (1,1) translated 3709 (40%) constraints
5.56/2.16	c (1,1) translated 4636 (50%) constraints
5.56/2.19	c (1,1) translated 5564 (60%) constraints
5.87/2.23	c (1,1) translated 6491 (70%) constraints
5.87/2.26	c (1,1) translated 7418 (80%) constraints
5.87/2.28	c (1,1) translated 8345 (90%) constraints
8.81/3.27	c (2,2) translated 9272 (100%) constraints
8.81/3.28	c (2,2) CSP to CSPinCNF End
8.81/3.28	c (2,2) CSP: 135 int (0 aux), 18225 bool (18225 aux), 45812 ctr, max domain size 131
8.81/3.28	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.81/3.28	c (2,2) CSPinCNF Propagation Begin
11.19/4.11	c (3,3) 6480 values, 13509 unsatisfiable literals, and 13567 valid clauses are removed
11.19/4.11	c (3,3) CSPinCNF Propagation End
11.19/4.12	c (3,3) CSP: 135 int (0 aux), 18225 bool (18225 aux), 32245 ctr, max domain size 131
11.19/4.12	c (3,3) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.19/4.16	c (3,3) Hybrid: #OE=18360, #LE=0
11.19/4.16	c (3,3) Simplify CSPinCNF Begin
12.50/4.51	c (3,3) Simplify CSPinCNF End
12.50/4.52	c (3,3) CSP: 135 int (0 aux), 35577 bool (35577 aux), 49597 ctr, max domain size 131
12.50/4.52	c (3,3) Heap : 1576 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
12.50/4.52	c (3,3) Calculate Precise Domain Begin
12.50/4.52	c (3,3) 0 values are removed by re-calculation
12.50/4.52	c (3,3) Calculate Precise Domain End
12.50/4.53	c (3,3) CSP: 135 int (0 aux), 35577 bool (35577 aux), 49597 ctr, max domain size 131
12.50/4.53	c (3,3) Heap : 1576 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.50/4.53	c (3,3) CSPinCNF to SatSolver Begin
15.74/5.98	c (5,5) 4960 (10 %) CSP clauses are encoded (0 SAT variables, 273384 SAT clauses)
16.89/6.81	c (6,6) 9920 (20 %) CSP clauses are encoded (0 SAT variables, 470272 SAT clauses)
17.64/7.42	c (6,6) 14880 (30 %) CSP clauses are encoded (0 SAT variables, 614784 SAT clauses)
18.57/8.38	c (7,7) 19839 (40 %) CSP clauses are encoded (0 SAT variables, 853429 SAT clauses)
19.41/9.16	c (8,8) 24799 (50 %) CSP clauses are encoded (0 SAT variables, 1046073 SAT clauses)
19.71/9.45	c (8,8) 29759 (60 %) CSP clauses are encoded (0 SAT variables, 1101433 SAT clauses)
19.71/9.45	c (8,8) 34718 (70 %) CSP clauses are encoded (0 SAT variables, 1106392 SAT clauses)
19.81/9.50	c (8,8) 39678 (80 %) CSP clauses are encoded (0 SAT variables, 1111352 SAT clauses)
19.81/9.54	c (9,8) 44638 (90 %) CSP clauses are encoded (0 SAT variables, 1116312 SAT clauses)
19.93/9.62	c (9,9) 49597 (100 %) CSP clauses are encoded (0 SAT variables, 1136530 SAT clauses)
19.93/9.62	c (9,9) CSPinCNF to SatSolver End
19.93/9.62	c (9,9) Heap : 5632 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
19.93/9.62	c (9,9) 40707 bool, 1136572 clause
19.93/9.62	c (9,9) Export Begin
20.10/9.71	c (9,9) Export to HOME/scop-20487-serial-file.bin
20.10/9.71	c (9,9) Export End
20.10/9.71	c (9,9) Export File Size: 0.02 MB
20.10/9.71	c (9,9) 0,0,2,3,3,3,9,STOP-AFTER(DIMACS)
20.10/9.71	c END-Prog: Sat Sep 14 03:21:41 CEST 2019
20.10/9.78	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-20487-serial-file.bin
20.89/10.24	c (0,0) Read Serial File Begin
20.89/10.24	c (0,0) HOME/scop-20487-serial-file.bin
21.16/10.45	c (0,0) Read Serial File End
21.16/10.46	
21.16/10.46	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
21.16/10.46	(Solving Process)
21.16/10.46	
21.16/10.48	c BEGIN-Prog: Sat Sep 14 03:21:42 CEST 2019
21.16/10.48	c PID: 20512
21.16/10.48	c IP: 172.20.3.124
21.16/10.48	c HOST: node124.alineos.net
21.16/10.49	c (0,0) SatSolver.solve Begin
21.16/10.49	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392797-1568424131.xml-scop-20490.cnf
21.33/10.52	c (0,0) c
21.33/10.52	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)
21.33/10.52	c (0,0) c
21.33/10.52	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
21.33/10.52	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
21.33/10.52	c (0,0) c ========================================[ Problem Statistics ]===========================================
21.33/10.52	c (0,0) c |                                                                                                       |
21.50/10.87	c (0,0) c |  Number of variables:         40707                                                                   |
21.50/10.87	c (0,0) c |  Number of clauses:         1136572                                                                   |
21.50/10.87	c (0,0) c |  Parse time:                   0.32 s                                                                 |
21.50/10.87	c (0,0) c |                                                                                                       |
23.78/12.89	c (2,0) c |  Simplification time:          1.99 s                                                                 |
23.78/12.89	c (2,0) c |                                                                                                       |
23.78/12.89	c (2,0) c |  Generating clones                                                                                    |
24.18/13.20	c (3,0) c |  all clones generated. Memory =   774.71Mb.                                                           |
24.18/13.20	c (3,0) c ========================================================================================================|
24.18/13.20	c (3,0) c
24.18/13.20	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
24.18/13.20	c (3,0) c
24.18/13.20	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.18/13.20	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
24.18/13.20	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
24.18/13.20	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
24.18/13.20	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
24.18/13.20	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
24.18/13.20	c (3,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
24.18/13.20	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
24.18/13.20	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
24.18/13.20	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
24.18/13.20	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
24.18/13.20	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
24.18/13.20	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
24.18/13.20	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
24.18/13.20	c (3,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
24.18/13.20	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
24.18/13.20	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
24.18/13.20	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
24.18/13.20	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
258.81/43.18	c (33,0) c
258.81/43.18	c (33,0) c |------------------------------------------------------------------------------------------------------------------------|
258.81/43.18	c (33,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
258.81/43.18	c (33,0) c |------------------------------------------------------------------------------------------------------------------------|
258.81/43.18	c (33,0) c |  0 |     64 |     174973 |      10987 |   319436 |     7192 |      606 |     9515 |       10 |      227 |  20 |  0.000 |
258.81/43.18	c (33,0) c |  1 |     92 |     157504 |      12113 |   328240 |     8317 |      458 |     9681 |        8 |      231 |  20 |  0.000 |
258.81/43.18	c (33,0) c |  2 |     71 |     151840 |      11256 |   329948 |     7461 |      485 |     9568 |        8 |      232 |  20 |  0.000 |
258.81/43.18	c (33,0) c |  3 |     65 |      51602 |      17163 |   139439 |     8377 |     1965 |     8306 |        8 |      234 |  20 |  0.000 |
258.81/43.18	c (33,0) c |  4 |     96 |     175234 |      17867 |   299343 |     9074 |     1834 |     8749 |        8 |      247 |  20 |  0.000 |
258.81/43.18	c (33,0) c |  5 |     28 |     113968 |      12450 |   295292 |     8653 |      809 |     9189 |        9 |      237 |  20 |  0.000 |
258.81/43.18	c (33,0) c |  6 |     65 |     155202 |      24734 |   241370 |     8541 |     3864 |     6413 |        7 |      234 |  20 |  0.000 |
258.81/43.18	c (33,0) c |  7 |     67 |     197646 |      11346 |   355319 |     7547 |      769 |     9737 |       13 |      244 |  20 |  0.000 |
258.81/43.18	c (33,0) c 
258.81/43.18	c (33,0) c synthesis      117916 conflicts   302457327 propagations      500 conflicts/sec  1281712 propagations/sec
258.81/43.18	c (33,0) c real: 32.6645 s, cpu: 235.979 s, memory: 1351.91 Mb
494.17/73.18	c (63,0) c
494.17/73.18	c (63,0) c |------------------------------------------------------------------------------------------------------------------------|
494.17/73.18	c (63,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
494.17/73.18	c (63,0) c |------------------------------------------------------------------------------------------------------------------------|
494.17/73.18	c (63,0) c |  0 |    128 |     345768 |      21050 |   523918 |    12253 |     1292 |    16187 |       45 |      456 |  20 |  0.000 |
494.17/73.18	c (63,0) c |  1 |    170 |     341198 |      22519 |   524336 |    13721 |     1136 |    16522 |       42 |      461 |  20 |  0.000 |
494.17/73.18	c (63,0) c |  2 |     92 |     230514 |      30172 |   428320 |    13985 |     2694 |    14955 |       19 |      476 |  20 |  0.000 |
494.17/73.18	c (63,0) c |  3 |    214 |     203886 |      27505 |   414933 |    11312 |     2491 |    15371 |       40 |      473 |  20 |  0.000 |
494.17/73.18	c (63,0) c |  4 |    215 |     325938 |      30386 |   485362 |    14192 |     2973 |    15125 |       55 |      476 |  20 |  0.000 |
494.17/73.18	c (63,0) c |  5 |     57 |     282610 |      23984 |   491403 |     7785 |     1939 |    16019 |       47 |      473 |  20 |  0.000 |
494.17/73.18	c (63,0) c |  6 |    223 |     333459 |      34594 |   470325 |    18401 |     4340 |    13611 |       40 |      472 |  20 |  0.000 |
494.17/73.18	c (63,0) c |  7 |    122 |     357195 |      22017 |   533629 |    13221 |     1469 |    16604 |       46 |      476 |  20 |  0.000 |
494.17/73.18	c (63,0) c 
494.17/73.18	c (63,0) c synthesis      212227 conflicts   602879893 propagations      451 conflicts/sec  1279821 propagations/sec
494.17/73.18	c (63,0) c real: 62.6645 s, cpu: 471.066 s, memory: 1352.56 Mb
718.14/102.18	c (92,0) c
718.14/102.18	c (92,0) c |------------------------------------------------------------------------------------------------------------------------|
718.14/102.18	c (92,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
718.14/102.18	c (92,0) c |------------------------------------------------------------------------------------------------------------------------|
718.14/102.18	c (92,0) c |  0 |    192 |     521788 |      34361 |   647246 |    18168 |     2637 |    32556 |      114 |      705 |  20 |  0.000 |
718.14/102.18	c (92,0) c |  1 |    243 |     497816 |      39896 |   629169 |    13798 |     3373 |    31244 |      118 |      696 |  20 |  0.000 |
718.14/102.18	c (92,0) c |  2 |    137 |     404428 |      40067 |   586798 |    13975 |     3474 |    31023 |       74 |      697 |  20 |  0.000 |
718.14/102.18	c (92,0) c |  3 |    257 |     324265 |      64343 |   511757 |    25804 |     9435 |    23384 |      109 |      714 |  20 |  0.000 |
718.14/102.18	c (92,0) c |  4 |    330 |     470523 |      39260 |   629616 |    13163 |     3462 |    31009 |      105 |      694 |  20 |  0.000 |
718.14/102.18	c (92,0) c |  5 |    101 |     449367 |      34708 |   637622 |    18509 |     2870 |    31901 |      102 |      701 |  20 |  0.000 |
718.14/102.18	c (92,0) c |  6 |    248 |     406559 |      65534 |   513345 |    26996 |     7018 |    15756 |       82 |      714 |  20 |  0.000 |
718.14/102.18	c (92,0) c |  7 |    204 |     490969 |      40212 |   647825 |    14117 |     4718 |    30993 |      123 |      712 |  20 |  0.000 |
718.14/102.18	c (92,0) c 
718.14/102.18	c (92,0) c synthesis      358381 conflicts   903606976 propagations      516 conflicts/sec  1300956 propagations/sec
718.14/102.18	c (92,0) c real: 91.6642 s, cpu: 694.571 s, memory: 1354.55 Mb
940.72/131.18	c (121,0) c
940.72/131.18	c (121,0) c |------------------------------------------------------------------------------------------------------------------------|
940.72/131.18	c (121,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
940.72/131.18	c (121,0) c |------------------------------------------------------------------------------------------------------------------------|
940.72/131.18	c (121,0) c |  0 |    256 |     670167 |      43559 |   748650 |    17463 |     3220 |    45100 |      195 |      926 |  20 |  0.000 |
940.72/131.18	c (121,0) c |  1 |    316 |     582921 |      61518 |   675977 |    22972 |     7041 |    39351 |      208 |      932 |  20 |  0.000 |
940.72/131.18	c (121,0) c |  2 |    164 |     507354 |      56868 |   646765 |    18338 |     4707 |    39085 |      146 |      912 |  20 |  0.000 |
940.72/131.18	c (121,0) c |  3 |    324 |     408960 |      92883 |   569384 |    21706 |    14165 |    34161 |      140 |      920 |  20 |  0.000 |
940.72/131.18	c (121,0) c |  4 |    405 |     670279 |      48317 |   726854 |    22219 |     4113 |    44537 |      172 |      927 |  20 |  0.000 |
940.72/131.18	c (121,0) c |  5 |    143 |     593110 |      46085 |   722985 |    19992 |     3746 |    44005 |      187 |      932 |  20 |  0.000 |
940.72/131.18	c (121,0) c |  6 |    360 |     553993 |      74206 |   614414 |    20637 |     7509 |    41367 |      138 |      932 |  20 |  0.000 |
940.72/131.18	c (121,0) c |  7 |    276 |     663876 |      48867 |   736157 |    22772 |     5256 |    43142 |      187 |      932 |  20 |  0.000 |
940.72/131.18	c (121,0) c 
940.72/131.18	c (121,0) c synthesis      472304 conflicts  1196703637 propagations      515 conflicts/sec  1305940 propagations/sec
940.72/131.18	c (121,0) c real: 120.665 s, cpu: 916.354 s, memory: 1356.21 Mb
1161.04/161.18	c (151,0) c
1161.04/161.18	c (151,0) c |------------------------------------------------------------------------------------------------------------------------|
1161.04/161.18	c (151,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1161.04/161.18	c (151,0) c |------------------------------------------------------------------------------------------------------------------------|
1161.04/161.18	c (151,0) c |  0 |    343 |     809702 |      53316 |   813089 |    14768 |     3880 |    53025 |      299 |     1155 |  20 |  0.000 |
1161.04/161.18	c (151,0) c |  1 |    332 |     627641 |      86148 |   685921 |    32588 |    10254 |    46559 |      232 |     1155 |  20 |  0.000 |
1161.04/161.18	c (151,0) c |  2 |    214 |     600522 |      69752 |   705288 |    16192 |     5472 |    50798 |      206 |     1136 |  20 |  0.000 |
1161.04/161.18	c (151,0) c |  3 |    456 |     564487 |     101307 |   655286 |    30130 |    14502 |    42310 |      218 |     1155 |  20 |  0.000 |
1161.04/161.18	c (151,0) c |  4 |    488 |     808909 |      59266 |   787552 |    20719 |     4991 |    51820 |      270 |     1155 |  20 |  0.000 |
1161.04/161.18	c (151,0) c |  5 |    186 |     745413 |      56245 |   785532 |    17699 |     4387 |    52451 |      278 |     1156 |  20 |  0.000 |
1161.04/161.18	c (151,0) c |  6 |    483 |     685678 |      82085 |   687875 |    28516 |     7854 |    48916 |      221 |     1154 |  20 |  0.000 |
1161.04/161.18	c (151,0) c |  7 |    346 |     828694 |      57611 |   802859 |    19063 |     5847 |    50969 |      271 |     1156 |  20 |  0.000 |
1161.04/161.18	c (151,0) c 
1161.04/161.18	c (151,0) c synthesis      565730 conflicts  1493269172 propagations      498 conflicts/sec  1314481 propagations/sec
1161.04/161.18	c (151,0) c real: 150.665 s, cpu: 1136.01 s, memory: 1339.04 Mb
1391.65/190.18	c (180,0) c
1391.65/190.18	c (180,0) c |------------------------------------------------------------------------------------------------------------------------|
1391.65/190.18	c (180,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1391.65/190.18	c (180,0) c |------------------------------------------------------------------------------------------------------------------------|
1391.65/190.18	c (180,0) c |  0 |    408 |     946331 |      62029 |   859867 |    23481 |     4411 |    56905 |      395 |     1377 |  20 |  0.000 |
1391.65/190.18	c (180,0) c |  1 |    461 |     737734 |      94611 |   744435 |    23430 |    10663 |    51044 |      338 |     1386 |  20 |  0.000 |
1391.65/190.18	c (180,0) c |  2 |    266 |     736404 |      78602 |   761647 |    25042 |     5958 |    55384 |      288 |     1381 |  20 |  0.000 |
1391.65/190.18	c (180,0) c |  3 |    588 |     658493 |     109409 |   714199 |    38232 |    14874 |    46806 |      321 |     1386 |  20 |  0.000 |
1391.65/190.18	c (180,0) c |  4 |    581 |     972813 |      67867 |   836533 |    29320 |     5546 |    56077 |      362 |     1386 |  20 |  0.000 |
1391.65/190.18	c (180,0) c |  5 |    194 |     772505 |      79376 |   787647 |    25806 |     5875 |    54046 |      408 |     1373 |  20 |  0.000 |
1391.65/190.18	c (180,0) c |  6 |    608 |     798124 |      90554 |   742638 |    19369 |     8230 |    53419 |      325 |     1383 |  20 |  0.000 |
1391.65/190.18	c (180,0) c |  7 |    417 |     989871 |      66392 |   851144 |    27844 |     6379 |    55103 |      377 |     1375 |  20 |  0.000 |
1391.65/190.18	c (180,0) c 
1391.65/190.18	c (180,0) c synthesis      648840 conflicts  1802154637 propagations      475 conflicts/sec  1318844 propagations/sec
1391.65/190.18	c (180,0) c real: 179.665 s, cpu: 1366.47 s, memory: 1358.24 Mb
1622.98/220.18	c (210,0) c
1622.98/220.18	c (210,0) c |------------------------------------------------------------------------------------------------------------------------|
1622.98/220.18	c (210,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1622.98/220.18	c (210,0) c |------------------------------------------------------------------------------------------------------------------------|
1622.98/220.18	c (210,0) c |  0 |    467 |    1075386 |      71210 |   895376 |    17636 |     5005 |    61446 |      510 |     1599 |  20 |  0.000 |
1622.98/220.18	c (210,0) c |  1 |    583 |     859685 |     102748 |   793823 |    31567 |    11112 |    55795 |      449 |     1617 |  20 |  0.000 |
1622.98/220.18	c (210,0) c |  2 |    309 |     872840 |      87002 |   808321 |    33442 |     6509 |    60250 |      399 |     1609 |  20 |  0.000 |
1622.98/220.18	c (210,0) c |  3 |    710 |     788935 |     117564 |   766374 |    26176 |    15331 |    51631 |      466 |     1619 |  20 |  0.000 |
1622.98/220.18	c (210,0) c |  4 |    688 |    1104930 |      78430 |   868839 |    24863 |     6040 |    60723 |      500 |     1610 |  20 |  0.000 |
1622.98/220.18	c (210,0) c |  5 |    251 |     803407 |      97690 |   794151 |    26510 |     7398 |    59119 |      482 |     1602 |  20 |  0.000 |
1622.98/220.18	c (210,0) c |  6 |    714 |     949020 |      99512 |   797458 |    28327 |     8794 |    58171 |      446 |     1619 |  20 |  0.000 |
1622.98/220.18	c (210,0) c |  7 |    507 |    1158395 |      75707 |   889048 |    22139 |     6934 |    60035 |      507 |     1619 |  20 |  0.000 |
1622.98/220.18	c (210,0) c 
1622.98/220.18	c (210,0) c synthesis      729863 conflicts  2114009711 propagations      457 conflicts/sec  1323442 propagations/sec
1622.98/220.18	c (210,0) c real: 209.665 s, cpu: 1597.36 s, memory: 1358.90 Mb
1844.91/249.18	c (239,0) c
1844.91/249.18	c (239,0) c |------------------------------------------------------------------------------------------------------------------------|
1844.91/249.18	c (239,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1844.91/249.18	c (239,0) c |------------------------------------------------------------------------------------------------------------------------|
1844.91/249.18	c (239,0) c |  0 |    489 |    1127678 |      91306 |   903612 |    37732 |     5309 |    65324 |      713 |     1839 |  20 |  0.000 |
1844.91/249.18	c (239,0) c |  1 |    686 |    1012421 |     110891 |   835150 |    39710 |    11682 |    59043 |      586 |     1845 |  20 |  0.000 |
1844.91/249.18	c (239,0) c |  2 |    337 |    1012788 |      95353 |   844601 |    24173 |     7052 |    63542 |      530 |     1838 |  20 |  0.000 |
1844.91/249.18	c (239,0) c |  3 |    793 |     978293 |     125184 |   815746 |    33796 |    15895 |    54827 |      598 |     1845 |  20 |  0.000 |
1844.91/249.18	c (239,0) c |  4 |    830 |    1181319 |      88535 |   887984 |    34968 |     6448 |    63752 |      628 |     1826 |  20 |  0.000 |
1844.91/249.18	c (239,0) c |  5 |    307 |     939187 |     106979 |   835280 |    35799 |     8000 |    62564 |      638 |     1846 |  20 |  0.000 |
1844.91/249.18	c (239,0) c |  6 |    843 |    1034723 |     107473 |   827845 |    36287 |     9154 |    61512 |      542 |     1846 |  20 |  0.000 |
1844.91/249.18	c (239,0) c |  7 |    572 |    1289397 |      83762 |   914488 |    30194 |     7451 |    63254 |      647 |     1845 |  20 |  0.000 |
1844.91/249.18	c (239,0) c 
1844.91/249.18	c (239,0) c synthesis      809483 conflicts  2416464936 propagations      445 conflicts/sec  1328876 propagations/sec
1844.91/249.18	c (239,0) c real: 238.665 s, cpu: 1818.43 s, memory: 1360.06 Mb
2079.61/279.18	c (269,0) c
2079.61/279.18	c (269,0) c |------------------------------------------------------------------------------------------------------------------------|
2079.61/279.18	c (269,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
2079.61/279.18	c (269,0) c |------------------------------------------------------------------------------------------------------------------------|
2079.61/279.18	c (269,0) c |  0 |    546 |    1286102 |      99077 |   928507 |    23895 |     5842 |    69065 |      850 |     2065 |  20 |  0.000 |
2079.61/279.18	c (269,0) c |  1 |    783 |    1185778 |     119204 |   873155 |    27814 |    12219 |    62865 |      762 |     2077 |  20 |  0.000 |
2079.61/279.18	c (269,0) c |  2 |    398 |    1101088 |     104645 |   870787 |    33464 |     7618 |    67437 |      707 |     2085 |  20 |  0.000 |
2079.61/279.18	c (269,0) c |  3 |    905 |    1141955 |     133389 |   857161 |    42001 |    16422 |    58767 |      743 |     2085 |  20 |  0.000 |
2079.61/279.18	c (269,0) c |  4 |    910 |    1336122 |      97672 |   920134 |    26491 |     7065 |    68100 |      797 |     2081 |  20 |  0.000 |
2079.61/279.18	c (269,0) c |  5 |    350 |    1059566 |     115974 |   869241 |    24584 |     8536 |    66502 |      804 |     2084 |  20 |  0.000 |
2079.61/279.18	c (269,0) c |  6 |    952 |    1173033 |     116389 |   863356 |    24997 |     9773 |    65414 |      685 |     2085 |  20 |  0.000 |
2079.61/279.18	c (269,0) c |  7 |    648 |    1441780 |      92854 |   936773 |    21677 |     8009 |    67182 |      838 |     2085 |  20 |  0.000 |
2079.61/279.18	c (269,0) c 
2079.61/279.18	c (269,0) c synthesis      879204 conflicts  2739448792 propagations      428 conflicts/sec  1334674 propagations/sec
2079.61/279.18	c (269,0) c real: 268.665 s, cpu: 2052.52 s, memory: 1341.95 Mb
2252.53/302.05	c (291,0) c
2252.53/302.05	c (291,0) c real time : 291.543 s
2252.53/302.05	c (291,0) c cpu time  : 2224.64 s
2252.53/302.05	c (291,0) c
2252.53/302.05	c (291,0) c
2252.53/302.05	c (291,0) c
2252.53/302.05	c (291,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
2252.53/302.05	c (291,0) c
2252.53/302.06	c (291,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2252.53/302.06	c (291,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2252.53/302.06	c (291,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2252.53/302.06	c (291,0) c | Conflicts     |          930949 |     105651 |     125847 |     110896 |     139650 |     104120 |     122338 |     122998 |      99449 |
2252.53/302.06	c (291,0) c | Decisions     |        10504492 |    1376610 |    1283577 |    1209388 |    1235413 |    1446846 |    1150075 |    1248808 |    1553775 |
2252.53/302.06	c (291,0) c | Propagations  |      2976155555 |  356244818 |  370592146 |  373318914 |  381163890 |  375034626 |  373868548 |  371265874 |  374666739 |
2252.53/302.06	c (291,0) c | ReduceDBs     |              69 |          8 |          9 |          8 |         10 |          8 |          9 |          9 |          8 |
2252.53/302.06	c (291,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
2252.53/302.06	c (291,0) c | Restarts      |            5972 |        616 |        870 |        420 |        997 |        959 |        378 |       1044 |        688 |
2252.53/302.06	c (291,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2252.53/302.06	c (291,0) c | PropBinClauses|      5295072956 |  637435414 |  662772112 |  664551122 |  677358559 |  665332246 |  661377586 |  661695724 |  664550193 |
2252.53/302.06	c (291,0) c | PropPreBlocker|     88008524148 |10928401891 |11123530470 |10993651650 |11092275413 |10954294757 |10906316917 |11060956747 |10949096303 |
2252.53/302.06	c (291,0) c | PropNotBlocker|      9938306292 | 1270646389 | 1153429521 | 1238022643 | 1148161415 | 1309850721 | 1318177475 | 1194013671 | 1306004457 |
2252.53/302.06	c (291,0) c | LitFullScans  |    108394018963 |13452441382 |13554526889 |13572521649 |13572546312 |13572803465 |13548545085 |13548142325 |13572491856 |
2252.53/302.06	c (291,0) c | LitScanFracts |         4103741 |     540856 |     519155 |     481145 |     544558 |     501507 |     544301 |     489872 |     482347 |
2252.53/302.06	c (291,0) c | DecisionLevel0|            5972 |        616 |        870 |        420 |        997 |        959 |        378 |       1044 |        688 |
2252.53/302.06	c (291,0) c | Periods       |           18063 |       2241 |       2259 |       2262 |       2262 |       2262 |       2258 |       2257 |       2262 |
2252.53/302.06	c (291,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
2252.53/302.06	c (291,0) c | Avg_Trail     |                 |      24256 |      23453 |      23054 |      20275 |      23148 |      21986 |      21673 |      23018 |
2252.53/302.06	c (291,0) c | Avg_DL        |                 |        121 |         94 |         92 |        110 |        108 |        108 |         96 |        136 |
2252.53/302.06	c (291,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2252.53/302.06	c (291,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2252.53/302.06	c (291,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2252.53/302.06	c (291,0) c | Exported      |           78852 |       6286 |      12628 |       8040 |      16844 |       7493 |       8977 |      10166 |       8418 |
2252.53/302.06	c (291,0) c | Imported      |          548411 |      71815 |      65748 |      70304 |      61713 |      70976 |      69467 |      68297 |      70091 |
2252.53/302.06	c (291,0) c | Good          |           34266 |       4197 |       4255 |       4350 |       4398 |       4283 |       4322 |       4348 |       4113 |
2252.53/302.06	c (291,0) c | Purge         |          514145 |      67618 |      61493 |      65954 |      57315 |      66693 |      65145 |      63949 |      65978 |
2252.53/302.06	c (291,0) c | Promoted      |            7249 |        969 |        918 |        843 |        871 |        918 |        946 |        812 |        972 |
2252.53/302.06	c (291,0) c | Remove_Imp    |          196004 |      30135 |      18959 |      25656 |      14936 |      28514 |      24481 |      23071 |      30252 |
2252.53/302.06	c (291,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2252.53/302.06	c (291,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2252.53/302.06	c (291,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
2252.53/302.06	c (291,0) c | Binaries      |                 |        670 |        639 |        537 |        537 |        628 |        586 |        561 |        804 |
2252.53/302.06	c (291,0) c | Glues         |                 |       2561 |       2115 |       1804 |       1592 |       2627 |       2035 |       1972 |       2567 |
2252.53/302.06	c (291,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2252.53/302.06	c (291,0) c | Orig_Seen     |            80 % |     943843 |     895804 |     892943 |     879019 |     934865 |     891897 |     883717 |     951617 |
2252.53/302.06	c (291,0) c | Diff Orig seen|                 |      X     | -    48039 | -    50900 | -    64824 | -     8978 | -    51946 | -    60126 |       7774 |
2252.53/302.06	c (291,0) c | Hamming       |            20 % |      X     |       9598 |       7773 |       7282 |       9344 |       8375 |       7434 |       8578 |
2252.53/302.06	c (291,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2252.53/302.06	c (291,0) c | RunningTime   |                 |  286.6  99%|  279.3  97%|  284.5  99%|  271.4  94%|  280.4  97%|  280.1  97%|  275.0  95%|  277.3  96%|
2252.53/302.06	c (291,0) c | WaitingTime   |                 |    2.0   1%|    9.4   3%|    4.1   1%|   17.2   6%|    8.2   3%|    8.6   3%|   13.7   5%|   11.3   4%|
2252.53/302.06	c (291,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
2252.53/302.06	c (291,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%|
2252.53/302.06	c (291,0) c | SolvingTime   |                 |  288.7     |  288.8     |  288.7     |  288.7     |  288.7     |  288.8     |  288.8     |  288.7     |
2252.53/302.06	c (291,0) c | PropagationTim|                 |  267.5  93%|  269.0  93%|  266.9  92%|  268.6  93%|  267.9  93%|  266.0  92%|  268.3  93%|  268.2  93%|
2252.53/302.06	c (291,0) c | AnalysisTime  |                 |   13.4   5%|   11.9   4%|   14.2   5%|   12.4   4%|   13.0   5%|   14.8   5%|   12.7   4%|   12.4   4%|
2252.53/302.06	c (291,0) c | ReductionTime |                 |    0.6   0%|    0.6   0%|    0.4   0%|    0.7   0%|    0.4   0%|    0.6   0%|    0.6   0%|    0.6   0%|
2252.53/302.06	c (291,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
2252.53/302.06	c (291,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%|
2252.53/302.06	c (291,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%|
2252.53/302.06	c (291,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
2252.53/302.06	c (291,0) c
2252.53/302.06	c (291,0) c
2252.53/302.06	c (291,0) c Threads : 8
2252.53/302.06	c (291,0) c Winner : 0
2252.53/302.06	c (291,0) c Conflicts_0 : 105651
2252.53/302.06	c (291,0) c Conflicts_1 : 125847
2252.53/302.06	c (291,0) c Conflicts_2 : 110896
2252.53/302.06	c (291,0) c Conflicts_3 : 139650
2252.53/302.06	c (291,0) c Conflicts_4 : 104120
2252.53/302.06	c (291,0) c Conflicts_5 : 122338
2252.53/302.06	c (291,0) c Conflicts_6 : 122998
2252.53/302.06	c (291,0) c Conflicts_7 : 99449
2252.53/302.06	c (291,0) c Conflicts_total : 930949
2252.53/302.06	c (291,0) c Conflicts_winner : 105651
2252.53/302.06	c (291,0) c Decisions_0 : 1376610
2252.53/302.06	c (291,0) c Decisions_1 : 1283577
2252.53/302.06	c (291,0) c Decisions_2 : 1209388
2252.53/302.06	c (291,0) c Decisions_3 : 1235413
2252.53/302.06	c (291,0) c Decisions_4 : 1446846
2252.53/302.06	c (291,0) c Decisions_5 : 1150075
2252.53/302.06	c (291,0) c Decisions_6 : 1248808
2252.53/302.06	c (291,0) c Decisions_7 : 1553775
2252.53/302.06	c (291,0) c Decisions_total : 10504492
2252.53/302.06	c (291,0) c Decisions_winner : 1376610
2252.53/302.06	c (291,0) c Propagations_0 : 356244818
2252.53/302.06	c (291,0) c Propagations_1 : 370592146
2252.53/302.06	c (291,0) c Propagations_2 : 373318914
2252.53/302.06	c (291,0) c Propagations_3 : 381163890
2252.53/302.06	c (291,0) c Propagations_4 : 375034626
2252.53/302.06	c (291,0) c Propagations_5 : 373868548
2252.53/302.06	c (291,0) c Propagations_6 : 371265874
2252.53/302.06	c (291,0) c Propagations_7 : 374666739
2252.53/302.06	c (291,0) c Propagations_total : 2976155555
2252.53/302.06	c (291,0) c Propagations_winner : 356244818
2252.53/302.06	c (291,0) c ReduceDBs_0 : 8
2252.53/302.06	c (291,0) c ReduceDBs_1 : 9
2252.53/302.06	c (291,0) c ReduceDBs_2 : 8
2252.53/302.06	c (291,0) c ReduceDBs_3 : 10
2252.53/302.06	c (291,0) c ReduceDBs_4 : 8
2252.53/302.06	c (291,0) c ReduceDBs_5 : 9
2252.53/302.06	c (291,0) c ReduceDBs_6 : 9
2252.53/302.06	c (291,0) c ReduceDBs_7 : 8
2252.53/302.06	c (291,0) c ReduceDBs_total : 69
2252.53/302.06	c (291,0) c ReduceDBs_winner : 8
2252.53/302.06	c (291,0) c SimpDBs_0 : 1
2252.53/302.06	c (291,0) c SimpDBs_1 : 1
2252.53/302.06	c (291,0) c SimpDBs_2 : 1
2252.53/302.06	c (291,0) c SimpDBs_3 : 1
2252.53/302.06	c (291,0) c SimpDBs_4 : 1
2252.53/302.06	c (291,0) c SimpDBs_5 : 1
2252.53/302.06	c (291,0) c SimpDBs_6 : 1
2252.53/302.06	c (291,0) c SimpDBs_7 : 1
2252.53/302.06	c (291,0) c SimpDBs_total : 8
2252.53/302.06	c (291,0) c SimpDBs_winner : 1
2252.53/302.06	c (291,0) c Restarts_0 : 616
2252.53/302.06	c (291,0) c Restarts_1 : 870
2252.53/302.06	c (291,0) c Restarts_2 : 420
2252.53/302.06	c (291,0) c Restarts_3 : 997
2252.53/302.06	c (291,0) c Restarts_4 : 959
2252.53/302.06	c (291,0) c Restarts_5 : 378
2252.53/302.06	c (291,0) c Restarts_6 : 1044
2252.53/302.06	c (291,0) c Restarts_7 : 688
2252.53/302.06	c (291,0) c Restarts_total : 5972
2252.53/302.06	c (291,0) c Restarts_winner : 616
2252.53/302.06	c (291,0) c ForcedImports_0 : 0
2252.53/302.06	c (291,0) c ForcedImports_1 : 0
2252.53/302.06	c (291,0) c ForcedImports_2 : 0
2252.53/302.06	c (291,0) c ForcedImports_3 : 0
2252.53/302.06	c (291,0) c ForcedImports_4 : 0
2252.53/302.06	c (291,0) c ForcedImports_5 : 0
2252.53/302.06	c (291,0) c ForcedImports_6 : 0
2252.53/302.06	c (291,0) c ForcedImports_7 : 0
2252.53/302.06	c (291,0) c ForcedImports_total : 0
2252.53/302.06	c (291,0) c ForcedImports_winner : 0
2252.53/302.06	c (291,0) c PropsBinClauses_0 : 637435414
2252.53/302.06	c (291,0) c PropsBinClauses_1 : 662772112
2252.53/302.06	c (291,0) c PropsBinClauses_2 : 664551122
2252.53/302.06	c (291,0) c PropsBinClauses_3 : 677358559
2252.53/302.06	c (291,0) c PropsBinClauses_4 : 665332246
2252.53/302.06	c (291,0) c PropsBinClauses_5 : 661377586
2252.53/302.06	c (291,0) c PropsBinClauses_6 : 661695724
2252.53/302.06	c (291,0) c PropsBinClauses_7 : 664550193
2252.53/302.06	c (291,0) c PropsBinClauses_total : 5295072956
2252.53/302.06	c (291,0) c PropsBinClauses_winner : 637435414
2252.53/302.06	c (291,0) c PropsPreBlocker_0 : 10928401891
2252.53/302.06	c (291,0) c PropsPreBlocker_1 : 11123530470
2252.53/302.06	c (291,0) c PropsPreBlocker_2 : 10993651650
2252.53/302.06	c (291,0) c PropsPreBlocker_3 : 11092275413
2252.53/302.06	c (291,0) c PropsPreBlocker_4 : 10954294757
2252.53/302.06	c (291,0) c PropsPreBlocker_5 : 10906316917
2252.53/302.06	c (291,0) c PropsPreBlocker_6 : 11060956747
2252.53/302.06	c (291,0) c PropsPreBlocker_7 : 10949096303
2252.53/302.06	c (291,0) c PropsPreBlocker_total : 88008524148
2252.53/302.06	c (291,0) c PropsPreBlocker_winner : 10928401891
2252.53/302.06	c (291,0) c PropsNotBlocker_0 : 1270646389
2252.53/302.06	c (291,0) c PropsNotBlocker_1 : 1153429521
2252.53/302.06	c (291,0) c PropsNotBlocker_2 : 1238022643
2252.53/302.06	c (291,0) c PropsNotBlocker_3 : 1148161415
2252.53/302.06	c (291,0) c PropsNotBlocker_4 : 1309850721
2252.53/302.06	c (291,0) c PropsNotBlocker_5 : 1318177475
2252.53/302.06	c (291,0) c PropsNotBlocker_6 : 1194013671
2252.53/302.06	c (291,0) c PropsNotBlocker_7 : 1306004457
2252.53/302.06	c (291,0) c PropsNotBlocker_total : 9938306292
2252.53/302.06	c (291,0) c PropsNotBlocker_winner : 1270646389
2252.53/302.06	c (291,0) c PropsLitFullScans_0 : 13452441382
2252.53/302.06	c (291,0) c PropsLitFullScans_1 : 13554526889
2252.53/302.06	c (291,0) c PropsLitFullScans_2 : 13572521649
2252.53/302.06	c (291,0) c PropsLitFullScans_3 : 13572546312
2252.53/302.06	c (291,0) c PropsLitFullScans_4 : 13572803465
2252.53/302.06	c (291,0) c PropsLitFullScans_5 : 13548545085
2252.53/302.06	c (291,0) c PropsLitFullScans_6 : 13548142325
2252.53/302.06	c (291,0) c PropsLitFullScans_7 : 13572491856
2252.53/302.06	c (291,0) c PropsLitFullScans_total : 108394018963
2252.53/302.06	c (291,0) c PropsLitFullScans_winner : 13452441382
2252.53/302.06	c (291,0) c LitScanFractions_0 : 540856
2252.53/302.06	c (291,0) c LitScanFractions_1 : 519155
2252.53/302.06	c (291,0) c LitScanFractions_2 : 481145
2252.53/302.06	c (291,0) c LitScanFractions_3 : 544558
2252.53/302.06	c (291,0) c LitScanFractions_4 : 501507
2252.53/302.06	c (291,0) c LitScanFractions_5 : 544301
2252.53/302.06	c (291,0) c LitScanFractions_6 : 489872
2252.53/302.06	c (291,0) c LitScanFractions_7 : 482347
2252.53/302.06	c (291,0) c LitScanFractions_total : 4103741
2252.53/302.06	c (291,0) c LitScanFractions_winner : 540856
2252.53/302.06	c (291,0) c DecisionLevel0_0 : 616
2252.53/302.06	c (291,0) c DecisionLevel0_1 : 870
2252.53/302.06	c (291,0) c DecisionLevel0_2 : 420
2252.53/302.06	c (291,0) c DecisionLevel0_3 : 997
2252.53/302.06	c (291,0) c DecisionLevel0_4 : 959
2252.53/302.06	c (291,0) c DecisionLevel0_5 : 378
2252.53/302.06	c (291,0) c DecisionLevel0_6 : 1044
2252.53/302.06	c (291,0) c DecisionLevel0_7 : 688
2252.53/302.06	c (291,0) c DecisionLevel0_total : 5972
2252.53/302.06	c (291,0) c DecisionLevel0_winner : 616
2252.53/302.06	c (291,0) c Periods_0 : 2241
2252.53/302.06	c (291,0) c Periods_1 : 2259
2252.53/302.06	c (291,0) c Periods_2 : 2262
2252.53/302.06	c (291,0) c Periods_3 : 2262
2252.53/302.06	c (291,0) c Periods_4 : 2262
2252.53/302.06	c (291,0) c Periods_5 : 2258
2252.53/302.06	c (291,0) c Periods_6 : 2257
2252.53/302.06	c (291,0) c Periods_7 : 2262
2252.53/302.06	c (291,0) c Periods_total : 18063
2252.53/302.06	c (291,0) c Periods_winner : 2241
2252.53/302.06	c (291,0) c Margin_0 : 20
2252.53/302.06	c (291,0) c Margin_1 : 20
2252.53/302.06	c (291,0) c Margin_2 : 20
2252.53/302.06	c (291,0) c Margin_3 : 20
2252.53/302.06	c (291,0) c Margin_4 : 20
2252.53/302.06	c (291,0) c Margin_5 : 20
2252.53/302.06	c (291,0) c Margin_6 : 20
2252.53/302.06	c (291,0) c Margin_7 : 20
2252.53/302.06	c (291,0) c Margin_total : 160
2252.53/302.06	c (291,0) c Margin_winner : 20
2252.53/302.06	c (291,0) c Exported_0 : 6286
2252.53/302.06	c (291,0) c Exported_1 : 12628
2252.53/302.06	c (291,0) c Exported_2 : 8040
2252.53/302.06	c (291,0) c Exported_3 : 16844
2252.53/302.06	c (291,0) c Exported_4 : 7493
2252.53/302.06	c (291,0) c Exported_5 : 8977
2252.53/302.06	c (291,0) c Exported_6 : 10166
2252.53/302.06	c (291,0) c Exported_7 : 8418
2252.53/302.06	c (291,0) c Exported_total : 78852
2252.53/302.06	c (291,0) c Exported_winner : 6286
2252.53/302.06	c (291,0) c Imported_0 : 71815
2252.53/302.06	c (291,0) c Imported_1 : 65748
2252.53/302.06	c (291,0) c Imported_2 : 70304
2252.53/302.06	c (291,0) c Imported_3 : 61713
2252.53/302.06	c (291,0) c Imported_4 : 70976
2252.53/302.06	c (291,0) c Imported_5 : 69467
2252.53/302.06	c (291,0) c Imported_6 : 68297
2252.53/302.06	c (291,0) c Imported_7 : 70091
2252.53/302.06	c (291,0) c Imported_total : 548411
2252.53/302.06	c (291,0) c Imported_winner : 71815
2252.53/302.06	c (291,0) c Good_0 : 4197
2252.53/302.06	c (291,0) c Good_1 : 4255
2252.53/302.06	c (291,0) c Good_2 : 4350
2252.53/302.06	c (291,0) c Good_3 : 4398
2252.53/302.06	c (291,0) c Good_4 : 4283
2252.53/302.06	c (291,0) c Good_5 : 4322
2252.53/302.06	c (291,0) c Good_6 : 4348
2252.53/302.06	c (291,0) c Good_7 : 4113
2252.53/302.06	c (291,0) c Good_total : 34266
2252.53/302.06	c (291,0) c Good_winner : 4197
2252.53/302.06	c (291,0) c Purge_0 : 67618
2252.53/302.06	c (291,0) c Purge_1 : 61493
2252.53/302.06	c (291,0) c Purge_2 : 65954
2252.53/302.06	c (291,0) c Purge_3 : 57315
2252.53/302.06	c (291,0) c Purge_4 : 66693
2252.53/302.06	c (291,0) c Purge_5 : 65145
2252.53/302.06	c (291,0) c Purge_6 : 63949
2252.53/302.06	c (291,0) c Purge_7 : 65978
2252.53/302.06	c (291,0) c Purge_total : 514145
2252.53/302.06	c (291,0) c Purge_winner : 67618
2252.53/302.06	c (291,0) c Promoted_0 : 969
2252.53/302.06	c (291,0) c Promoted_1 : 918
2252.53/302.06	c (291,0) c Promoted_2 : 843
2252.53/302.06	c (291,0) c Promoted_3 : 871
2252.53/302.06	c (291,0) c Promoted_4 : 918
2252.53/302.06	c (291,0) c Promoted_5 : 946
2252.53/302.06	c (291,0) c Promoted_6 : 812
2252.53/302.06	c (291,0) c Promoted_7 : 972
2252.53/302.06	c (291,0) c Promoted_total : 7249
2252.53/302.06	c (291,0) c Promoted_winner : 969
2252.53/302.06	c (291,0) c Remove_Imp_0 : 30135
2252.53/302.06	c (291,0) c Remove_Imp_1 : 18959
2252.53/302.06	c (291,0) c Remove_Imp_2 : 25656
2252.53/302.06	c (291,0) c Remove_Imp_3 : 14936
2252.53/302.06	c (291,0) c Remove_Imp_4 : 28514
2252.53/302.06	c (291,0) c Remove_Imp_5 : 24481
2252.53/302.06	c (291,0) c Remove_Imp_6 : 23071
2252.53/302.06	c (291,0) c Remove_Imp_7 : 30252
2252.53/302.06	c (291,0) c Remove_Imp_total : 196004
2252.53/302.06	c (291,0) c Remove_Imp_winner : 30135
2252.53/302.06	c (291,0) c Blocked_Reuse_0 : 0
2252.53/302.06	c (291,0) c Blocked_Reuse_1 : 0
2252.53/302.06	c (291,0) c Blocked_Reuse_2 : 0
2252.53/302.06	c (291,0) c Blocked_Reuse_3 : 0
2252.53/302.06	c (291,0) c Blocked_Reuse_4 : 0
2252.53/302.06	c (291,0) c Blocked_Reuse_5 : 0
2252.53/302.06	c (291,0) c Blocked_Reuse_6 : 0
2252.53/302.06	c (291,0) c Blocked_Reuse_7 : 0
2252.53/302.06	c (291,0) c Blocked_Reuse_total : 0
2252.53/302.06	c (291,0) c Blocked_Reuse_winner : 0
2252.53/302.06	c (291,0) c Unaries_0 : 0
2252.53/302.06	c (291,0) c Unaries_1 : 0
2252.53/302.06	c (291,0) c Unaries_2 : 0
2252.53/302.06	c (291,0) c Unaries_3 : 0
2252.53/302.06	c (291,0) c Unaries_4 : 0
2252.53/302.06	c (291,0) c Unaries_5 : 0
2252.53/302.06	c (291,0) c Unaries_6 : 0
2252.53/302.06	c (291,0) c Unaries_7 : 0
2252.53/302.06	c (291,0) c Unaries_total : 0
2252.53/302.06	c (291,0) c Unaries_winner : 0
2252.53/302.06	c (291,0) c Binaries_0 : 670
2252.53/302.06	c (291,0) c Binaries_1 : 639
2252.53/302.06	c (291,0) c Binaries_2 : 537
2252.53/302.06	c (291,0) c Binaries_3 : 537
2252.53/302.06	c (291,0) c Binaries_4 : 628
2252.53/302.06	c (291,0) c Binaries_5 : 586
2252.53/302.06	c (291,0) c Binaries_6 : 561
2252.53/302.06	c (291,0) c Binaries_7 : 804
2252.53/302.06	c (291,0) c Binaries_total : 4962
2252.53/302.06	c (291,0) c Binaries_winner : 670
2252.53/302.06	c (291,0) c Glues_0 : 2561
2252.53/302.06	c (291,0) c Glues_1 : 2115
2252.53/302.06	c (291,0) c Glues_2 : 1804
2252.53/302.06	c (291,0) c Glues_3 : 1592
2252.53/302.06	c (291,0) c Glues_4 : 2627
2252.53/302.06	c (291,0) c Glues_5 : 2035
2252.53/302.06	c (291,0) c Glues_6 : 1972
2252.53/302.06	c (291,0) c Glues_7 : 2567
2252.53/302.06	c (291,0) c Glues_total : 17273
2252.53/302.06	c (291,0) c Glues_winner : 2561
2252.53/302.06	c (291,0) c RunningTime_0 : 286.626718
2252.53/302.06	c (291,0) c RunningTime_1 : 279.296350
2252.53/302.06	c (291,0) c RunningTime_2 : 284.519093
2252.53/302.06	c (291,0) c RunningTime_3 : 271.407089
2252.53/302.06	c (291,0) c RunningTime_4 : 280.449176
2252.53/302.06	c (291,0) c RunningTime_5 : 280.061222
2252.53/302.06	c (291,0) c RunningTime_6 : 275.020658
2252.53/302.06	c (291,0) c RunningTime_7 : 277.277110
2252.53/302.06	c (291,0) c RunningTime_total : 2234.657415
2252.53/302.06	c (291,0) c RunningTime_winner : 286.626718
2252.53/302.06	c (291,0) c WaitingTime_0 : 1.981490
2252.53/302.06	c (291,0) c WaitingTime_1 : 9.363952
2252.53/302.06	c (291,0) c WaitingTime_2 : 4.097822
2252.53/302.06	c (291,0) c WaitingTime_3 : 17.199636
2252.53/302.06	c (291,0) c WaitingTime_4 : 8.166054
2252.53/302.06	c (291,0) c WaitingTime_5 : 8.595266
2252.53/302.06	c (291,0) c WaitingTime_6 : 13.688748
2252.53/302.06	c (291,0) c WaitingTime_7 : 11.330919
2252.53/302.06	c (291,0) c WaitingTime_total : 74.423886
2252.53/302.06	c (291,0) c WaitingTime_winner : 1.981490
2252.53/302.06	c (291,0) c ExchangingTime_0 : 0.079473
2252.53/302.06	c (291,0) c ExchangingTime_1 : 0.079668
2252.53/302.06	c (291,0) c ExchangingTime_2 : 0.076995
2252.53/302.06	c (291,0) c ExchangingTime_3 : 0.084281
2252.53/302.06	c (291,0) c ExchangingTime_4 : 0.083464
2252.53/302.06	c (291,0) c ExchangingTime_5 : 0.074660
2252.53/302.06	c (291,0) c ExchangingTime_6 : 0.089103
2252.53/302.06	c (291,0) c ExchangingTime_7 : 0.084110
2252.53/302.06	c (291,0) c ExchangingTime_total : 0.651753
2252.53/302.06	c (291,0) c ExchangingTime_winner : 0.079473
2252.53/302.06	c (291,0) c PeriodProcTime_0 : 0.029032
2252.53/302.06	c (291,0) c PeriodProcTime_1 : 0.022970
2252.53/302.06	c (291,0) c PeriodProcTime_2 : 0.023663
2252.53/302.06	c (291,0) c PeriodProcTime_3 : 0.020941
2252.53/302.06	c (291,0) c PeriodProcTime_4 : 0.023643
2252.53/302.06	c (291,0) c PeriodProcTime_5 : 0.021969
2252.53/302.06	c (291,0) c PeriodProcTime_6 : 0.024585
2252.53/302.06	c (291,0) c PeriodProcTime_7 : 0.023731
2252.53/302.06	c (291,0) c PeriodProcTime_total : 0.190535
2252.53/302.06	c (291,0) c PeriodProcTime_winner : 0.029032
2252.53/302.06	c (291,0) c SolvingTime_0 : 288.716713
2252.53/302.06	c (291,0) c SolvingTime_1 : 288.762940
2252.53/302.06	c (291,0) c SolvingTime_2 : 288.717573
2252.53/302.06	c (291,0) c SolvingTime_3 : 288.711947
2252.53/302.06	c (291,0) c SolvingTime_4 : 288.722337
2252.53/302.06	c (291,0) c SolvingTime_5 : 288.753116
2252.53/302.06	c (291,0) c SolvingTime_6 : 288.823094
2252.53/302.06	c (291,0) c SolvingTime_7 : 288.715869
2252.53/302.06	c (291,0) c SolvingTime_total : 2309.923589
2252.53/302.06	c (291,0) c SolvingTime_winner : 288.716713
2252.53/302.06	c (291,0) c PropagationTime_0 : 267.474324
2252.53/302.06	c (291,0) c PropagationTime_1 : 268.957603
2252.53/302.06	c (291,0) c PropagationTime_2 : 266.850134
2252.53/302.07	c (291,0) c PropagationTime_3 : 268.599950
2252.53/302.07	c (291,0) c PropagationTime_4 : 267.941803
2252.53/302.07	c (291,0) c PropagationTime_5 : 266.007520
2252.53/302.07	c (291,0) c PropagationTime_6 : 268.290606
2252.53/302.07	c (291,0) c PropagationTime_7 : 268.169998
2252.53/302.07	c (291,0) c PropagationTime_total : 2142.291938
2252.53/302.07	c (291,0) c PropagationTime_winner : 267.474324
2252.53/302.07	c (291,0) c AnalysisTime_0 : 13.370654
2252.53/302.07	c (291,0) c AnalysisTime_1 : 11.898603
2252.53/302.07	c (291,0) c AnalysisTime_2 : 14.201207
2252.53/302.07	c (291,0) c AnalysisTime_3 : 12.356174
2252.53/302.07	c (291,0) c AnalysisTime_4 : 13.018339
2252.53/302.07	c (291,0) c AnalysisTime_5 : 14.805556
2252.53/302.07	c (291,0) c AnalysisTime_6 : 12.701245
2252.53/302.07	c (291,0) c AnalysisTime_7 : 12.423805
2252.53/302.07	c (291,0) c AnalysisTime_total : 104.775584
2252.53/302.07	c (291,0) c AnalysisTime_winner : 13.370654
2252.53/302.07	c (291,0) c ReductionTime_0 : 0.550900
2252.53/302.07	c (291,0) c ReductionTime_1 : 0.647541
2252.53/302.07	c (291,0) c ReductionTime_2 : 0.377294
2252.53/302.07	c (291,0) c ReductionTime_3 : 0.652073
2252.53/302.07	c (291,0) c ReductionTime_4 : 0.387415
2252.53/302.07	c (291,0) c ReductionTime_5 : 0.597759
2252.53/302.07	c (291,0) c ReductionTime_6 : 0.623659
2252.53/302.07	c (291,0) c ReductionTime_7 : 0.595420
2252.53/302.07	c (291,0) c ReductionTime_total : 4.432060
2252.53/302.07	c (291,0) c ReductionTime_winner : 0.550900
2252.53/302.07	c (291,0) c SimplifyTime_0 : 0.000075
2252.53/302.07	c (291,0) c SimplifyTime_1 : 0.000105
2252.53/302.07	c (291,0) c SimplifyTime_2 : 0.000060
2252.53/302.07	c (291,0) c SimplifyTime_3 : 0.000087
2252.53/302.07	c (291,0) c SimplifyTime_4 : 0.000093
2252.53/302.07	c (291,0) c SimplifyTime_5 : 0.000036
2252.53/302.07	c (291,0) c SimplifyTime_6 : 0.000148
2252.53/302.07	c (291,0) c SimplifyTime_7 : 0.000088
2252.53/302.07	c (291,0) c SimplifyTime_total : 0.000692
2252.53/302.07	c (291,0) c SimplifyTime_winner : 0.000075
2252.53/302.07	c (291,0) c UsedRateTime_0 : 0.000000
2252.53/302.08	c (291,0) c UsedRateTime_1 : 0.000000
2252.53/302.08	c (291,0) c UsedRateTime_2 : 0.000000
2252.53/302.08	c (291,0) c UsedRateTime_3 : 0.000000
2252.53/302.08	c (291,0) c UsedRateTime_4 : 0.000000
2252.53/302.08	c (291,0) c UsedRateTime_5 : 0.000000
2252.53/302.08	c (291,0) c UsedRateTime_6 : 0.000000
2252.53/302.08	c (291,0) c UsedRateTime_7 : 0.000000
2252.53/302.08	c (291,0) c UsedRateTime_total : 0.000000
2252.53/302.08	c (291,0) c UsedRateTime_winner : 0.000000
2252.53/302.08	c (291,0) c OverlapRateTime_0 : 0.000000
2252.53/302.08	c (291,0) c OverlapRateTime_1 : 0.000000
2252.53/302.08	c (291,0) c OverlapRateTime_2 : 0.000000
2252.53/302.08	c (291,0) c OverlapRateTime_3 : 0.000000
2252.53/302.08	c (291,0) c OverlapRateTime_4 : 0.000000
2252.53/302.08	c (291,0) c OverlapRateTime_5 : 0.000000
2252.53/302.08	c (291,0) c OverlapRateTime_6 : 0.000000
2252.53/302.08	c (291,0) c OverlapRateTime_7 : 0.000000
2252.53/302.08	c (291,0) c OverlapRateTime_total : 0.000000
2252.53/302.08	c (291,0) c OverlapRateTime_winner : 0.000000
2252.53/302.08	c (291,0) c
2252.53/302.08	c (291,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
2252.53/302.08	c (291,0) c
2252.53/302.08	c (291,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2252.53/302.08	c (291,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
2252.53/302.08	c (291,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2252.53/302.08	c (291,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
2252.53/302.08	c (291,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
2252.53/302.08	c (291,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
2252.53/302.08	c (291,0) c | Initial random_seed   |    5042896 | 1715067315 |  364182169 | 1291252078 | 1954254346 |  591982533 | 1854184091 |  781055869 |
2252.53/302.08	c (291,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
2252.53/302.08	c (291,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
2252.53/302.08	c (291,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
2252.53/302.08	c (291,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
2252.53/302.08	c (291,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
2252.53/302.08	c (291,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
2252.53/302.08	c (291,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
2252.53/302.08	c (291,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2252.53/302.08	c (291,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
2252.53/302.08	c (291,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
2252.53/302.08	c (291,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
2252.53/302.08	c (291,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
2252.53/302.08	c (291,0) 
2252.53/302.08	c (291,0) s SATISFIABLE
21.86/302.14	c (291,0) SatSolver.solve End
21.86/302.14	c (291,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
21.86/302.14	c (291,0) Show results Begin
2252.99/302.27	c (292,0) x[0][0] = 84
2252.99/302.27	c (292,0) x[0][1] = 119
2252.99/302.27	c (292,0) x[0][2] = 124
2252.99/302.27	c (292,0) x[0][3] = 103
2252.99/302.27	c (292,0) x[0][4] = 9
2252.99/302.27	c (292,0) x[0][5] = 120
2252.99/302.27	c (292,0) x[0][6] = 107
2252.99/302.27	c (292,0) x[0][7] = 112
2252.99/302.27	c (292,0) x[0][8] = 96
2252.99/302.27	c (292,0) x[0][9] = 1
2252.99/302.27	c (292,0) x[0][10] = 75
2252.99/302.27	c (292,0) x[0][11] = 19
2252.99/302.27	c (292,0) x[0][12] = 51
2252.99/302.27	c (292,0) x[0][13] = 37
2252.99/302.27	c (292,0) x[0][14] = 101
2252.99/302.27	c (292,0) x[0][15] = 77
2252.99/302.27	c (292,0) x[0][16] = 11
2252.99/302.27	c (292,0) x[0][17] = 71
2252.99/302.27	c (292,0) x[0][18] = 0
2252.99/302.27	c (292,0) x[0][19] = 72
2252.99/302.27	c (292,0) x[0][20] = 17
2252.99/302.27	c (292,0) x[0][21] = 2
2252.99/302.27	c (292,0) x[0][22] = 33
2252.99/302.27	c (292,0) x[0][23] = 10
2252.99/302.27	c (292,0) x[0][24] = 24
2252.99/302.27	c (292,0) x[0][25] = 4
2252.99/302.27	c (292,0) x[0][26] = 42
2252.99/302.27	c (292,0) x[0][27] = 27
2252.99/302.27	c (292,0) x[0][28] = 6
2252.99/302.27	c (292,0) x[0][29] = 7
2252.99/302.27	c (292,0) x[0][30] = 41
2252.99/302.27	c (292,0) x[0][31] = 16
2252.99/302.27	c (292,0) x[0][32] = 63
2252.99/302.27	c (292,0) x[0][33] = 8
2252.99/302.27	c (292,0) x[0][34] = 28
2252.99/302.27	c (292,0) x[0][35] = 18
2252.99/302.27	c (292,0) x[0][36] = 53
2252.99/302.27	c (292,0) x[0][37] = 5
2252.99/302.27	c (292,0) x[0][38] = 22
2252.99/302.27	c (292,0) x[0][39] = 13
2252.99/302.27	c (292,0) x[0][40] = 26
2252.99/302.27	c (292,0) x[0][41] = 3
2252.99/302.27	c (292,0) x[0][42] = 30
2252.99/302.27	c (292,0) x[0][43] = 14
2252.99/302.27	c (292,0) x[0][44] = 34
2252.99/302.27	c (292,0) x[1][0] = 86
2252.99/302.27	c (292,0) x[1][1] = 122
2252.99/302.27	c (292,0) x[1][2] = 128
2252.99/302.27	c (292,0) x[1][3] = 108
2252.99/302.27	c (292,0) x[1][4] = 15
2252.99/302.27	c (292,0) x[1][5] = 127
2252.99/302.27	c (292,0) x[1][6] = 115
2252.99/302.27	c (292,0) x[1][7] = 121
2252.99/302.27	c (292,0) x[1][8] = 106
2252.99/302.27	c (292,0) x[1][9] = 12
2252.99/302.27	c (292,0) x[1][10] = 87
2252.99/302.27	c (292,0) x[1][11] = 32
2252.99/302.27	c (292,0) x[1][12] = 65
2252.99/302.27	c (292,0) x[1][13] = 52
2252.99/302.27	c (292,0) x[1][14] = 117
2252.99/302.27	c (292,0) x[1][15] = 94
2252.99/302.27	c (292,0) x[1][16] = 29
2252.99/302.27	c (292,0) x[1][17] = 90
2252.99/302.27	c (292,0) x[1][18] = 20
2252.99/302.27	c (292,0) x[1][19] = 93
2252.99/302.27	c (292,0) x[1][20] = 39
2252.99/302.27	c (292,0) x[1][21] = 25
2252.99/302.27	c (292,0) x[1][22] = 57
2252.99/302.27	c (292,0) x[1][23] = 35
2252.99/302.27	c (292,0) x[1][24] = 50
2252.99/302.27	c (292,0) x[1][25] = 31
2252.99/302.27	c (292,0) x[1][26] = 70
2252.99/302.27	c (292,0) x[1][27] = 56
2252.99/302.27	c (292,0) x[1][28] = 36
2252.99/302.27	c (292,0) x[1][29] = 38
2252.99/302.27	c (292,0) x[1][30] = 73
2252.99/302.27	c (292,0) x[1][31] = 49
2252.99/302.27	c (292,0) x[1][32] = 97
2252.99/302.27	c (292,0) x[1][33] = 43
2252.99/302.27	c (292,0) x[1][34] = 64
2252.99/302.27	c (292,0) x[1][35] = 55
2252.99/302.27	c (292,0) x[1][36] = 91
2252.99/302.27	c (292,0) x[1][37] = 44
2252.99/302.27	c (292,0) x[1][38] = 62
2252.99/302.27	c (292,0) x[1][39] = 54
2252.99/302.27	c (292,0) x[1][40] = 68
2252.99/302.27	c (292,0) x[1][41] = 46
2252.99/302.27	c (292,0) x[1][42] = 74
2252.99/302.27	c (292,0) x[1][43] = 59
2252.99/302.27	c (292,0) x[1][44] = 80
2252.99/302.27	c (292,0) x[2][0] = 88
2252.99/302.27	c (292,0) x[2][1] = 125
2252.99/302.27	c (292,0) x[2][2] = 132
2252.99/302.27	c (292,0) x[2][3] = 113
2252.99/302.27	c (292,0) x[2][4] = 21
2252.99/302.27	c (292,0) x[2][5] = 134
2252.99/302.27	c (292,0) x[2][6] = 123
2252.99/302.27	c (292,0) x[2][7] = 130
2252.99/302.27	c (292,0) x[2][8] = 116
2252.99/302.27	c (292,0) x[2][9] = 23
2252.99/302.27	c (292,0) x[2][10] = 99
2252.99/302.27	c (292,0) x[2][11] = 45
2252.99/302.27	c (292,0) x[2][12] = 79
2252.99/302.27	c (292,0) x[2][13] = 67
2252.99/302.27	c (292,0) x[2][14] = 133
2252.99/302.27	c (292,0) x[2][15] = 111
2252.99/302.27	c (292,0) x[2][16] = 47
2252.99/302.27	c (292,0) x[2][17] = 109
2252.99/302.27	c (292,0) x[2][18] = 40
2252.99/302.27	c (292,0) x[2][19] = 114
2252.99/302.27	c (292,0) x[2][20] = 61
2252.99/302.27	c (292,0) x[2][21] = 48
2252.99/302.27	c (292,0) x[2][22] = 81
2252.99/302.27	c (292,0) x[2][23] = 60
2252.99/302.27	c (292,0) x[2][24] = 76
2252.99/302.27	c (292,0) x[2][25] = 58
2252.99/302.27	c (292,0) x[2][26] = 98
2252.99/302.27	c (292,0) x[2][27] = 85
2252.99/302.27	c (292,0) x[2][28] = 66
2252.99/302.27	c (292,0) x[2][29] = 69
2252.99/302.27	c (292,0) x[2][30] = 105
2252.99/302.27	c (292,0) x[2][31] = 82
2252.99/302.27	c (292,0) x[2][32] = 131
2252.99/302.27	c (292,0) x[2][33] = 78
2252.99/302.27	c (292,0) x[2][34] = 100
2252.99/302.27	c (292,0) x[2][35] = 92
2252.99/302.27	c (292,0) x[2][36] = 129
2252.99/302.27	c (292,0) x[2][37] = 83
2252.99/302.27	c (292,0) x[2][38] = 102
2252.99/302.27	c (292,0) x[2][39] = 95
2252.99/302.27	c (292,0) x[2][40] = 110
2252.99/302.27	c (292,0) x[2][41] = 89
2252.99/302.27	c (292,0) x[2][42] = 118
2252.99/302.27	c (292,0) x[2][43] = 104
2252.99/302.27	c (292,0) x[2][44] = 126
2252.99/302.27	s SATISFIABLE
2252.99/302.28	v <instantiation>
2252.99/302.28	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44]</list>
2252.99/302.28	v     <values>84 119 124 103 9 120 107 112 96 1 75 19 51 37 101 77 11 71 0 72 17 2 33 10 24 4 42 27 6 7 41 16 63 8 28 18 53 5 22 13 26 3 30 14 34 86 122 128 108 15 127 115 121 106 12 87 32 65 52 117 94 29 90 20 93 39 25 57 35 50 31 70 56 36 38 73 49 97 43 64 55 91 44 62 54 68 46 74 59 80 88 125 132 113 21 134 123 130 116 23 99 45 79 67 133 111 47 109 40 114 61 48 81 60 76 58 98 85 66 69 105 82 131 78 100 92 129 83 102 95 110 89 118 104 126</values>
2252.99/302.28	v </instantiation>
2252.99/302.28	c (292,0) Show results End
2252.99/302.28	c (292,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB)
2252.99/302.28	c (292,0) 291,292,STOP-AFTER(ALL)
2252.99/302.28	c END-Prog: Sat Sep 14 03:26:34 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13853 MiB free)
  memory of node 1: 16384 MiB (14249 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392797-1568424131/watcher-4392797-1568424131 -o /tmp/evaluation-result-4392797-1568424131/solver-4392797-1568424131 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568416728-16435 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392797-1568424131.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=20487, runsolver pid=20484
Current StackSize limit: 8192 KiB


[startup+0.100206 s]*
/proc/loadavg: 8.16 8.17 8.18 2/211 20509
/proc/meminfo: memFree=28682924/32770624 swapFree=66959224/67108860
[pid=20487] ppid=20484 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20487/stat : 20487 (scop.sh) S 20484 20487 16408 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418353297 115843072 349 33554432000 4194304 5098028 140732113982944 140732113980200 140273826275964 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10891264 140732113990436 140732113990764 140732113990764 140732113993677 0
/proc/20487/statm: 28282 349 296 221 0 87 0
[pid=20490] ppid=20487 vsize=27314120 memory=107032 CPUtime=0.11 cores=0-7
/proc/20490/stat : 20490 (java) S 20487 20487 16408 0 -1 1077944320 6863 0 0 0 8 3 0 0 20 0 20 0 418353297 27969658880 26758 33554432000 4194304 4196468 140726339021952 140726339004496 139794410163959 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
/proc/20490/statm: 6828530 26758 2799 1 0 6790935 0
[pid=20490/tid=20491] ppid=20487 vsize=27314120 memory=7968164548352842144 CPUtime=0.09 cores=0-7
/proc/20490/task/20491/stat : 20491 (java) R 20487 20487 16408 0 -1 4202560 4944 0 0 0 6 3 0 0 20 0 20 0 418353297 27969658880 26758 33554432000 4194304 4196468 140726339021952 139794381988816 139794394244446 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20492] ppid=20487 vsize=27314120 memory=732370754635881445 CPUtime=0 cores=0-7
/proc/20490/task/20492/stat : 20492 (java) S 20487 20487 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418353300 27969658880 26758 33554432000 4194304 4196468 140726339021952 139794414406544 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20493] ppid=20487 vsize=27314120 memory=140616298428032 CPUtime=0 cores=0-7
/proc/20490/task/20493/stat : 20493 (java) S 20487 20487 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418353300 27969658880 26758 33554432000 4194304 4196468 140726339021952 139794228562704 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20494] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20494/stat : 20494 (java) S 20487 20487 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418353300 27969658880 26758 33554432000 4194304 4196468 140726339021952 139794227510416 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20495] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20495/stat : 20495 (java) S 20487 20487 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418353300 27969658880 26758 33554432000 4194304 4196468 140726339021952 139794226457616 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20496] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20496/stat : 20496 (java) S 20487 20487 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418353300 27969658880 26758 33554432000 4194304 4196468 140726339021952 139794225404304 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20497] ppid=20487 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20490/task/20497/stat : 20497 (java) S 20487 20487 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418353300 27969658880 26758 33554432000 4194304 4196468 140726339021952 139794224351504 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20498] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20498/stat : 20498 (java) S 20487 20487 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418353300 27969658880 26758 33554432000 4194304 4196468 140726339021952 139794223299216 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20499] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20499/stat : 20499 (java) S 20487 20487 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418353300 27969658880 26758 33554432000 4194304 4196468 140726339021952 139794222246416 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20500] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20500/stat : 20500 (java) S 20487 20487 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418353301 27969658880 26758 33554432000 4194304 4196468 140726339021952 139792662653552 139794410175106 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20501] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20501/stat : 20501 (java) S 20487 20487 16408 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418353302 27969658880 26758 33554432000 4194304 4196468 140726339021952 139792259999008 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20502] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20502/stat : 20502 (java) S 20487 20487 16408 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418353302 27969658880 26758 33554432000 4194304 4196468 140726339021952 139792125777520 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20503] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20503/stat : 20503 (java) S 20487 20487 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418353304 27969658880 26758 33554432000 4194304 4196468 140726339021952 139791751273040 139794410182555 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20504] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20504/stat : 20504 (java) S 20487 20487 16408 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 418353304 27969658880 26758 33554432000 4194304 4196468 140726339021952 139792661600368 139794410175106 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20505] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20505/stat : 20505 (java) S 20487 20487 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418353304 27969658880 26758 33554432000 4194304 4196468 140726339021952 139792660547568 139794410175106 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20506] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20506/stat : 20506 (java) S 20487 20487 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418353304 27969658880 26758 33554432000 4194304 4196468 140726339021952 139792659495280 139794410175106 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20507] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20507/stat : 20507 (java) S 20487 20487 16408 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 20 0 418353304 27969658880 26758 33554432000 4194304 4196468 140726339021952 139792658442480 139794410175106 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20508] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20508/stat : 20508 (java) S 20487 20487 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418353305 27969658880 26758 33554432000 4194304 4196468 140726339021952 139791253367648 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20509] ppid=20487 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20490/task/20509/stat : 20509 (java) S 20487 20487 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418353305 27969658880 26758 33554432000 4194304 4196468 140726339021952 139792657390384 139794410175106 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108428 KiB

[startup+0.210335 s]*
/proc/loadavg: 8.16 8.17 8.18 2/211 20509
/proc/meminfo: memFree=28664200/32770624 swapFree=66959224/67108860
[pid=20487] ppid=20484 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20487/stat : 20487 (scop.sh) S 20484 20487 16408 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418353297 115843072 349 33554432000 4194304 5098028 140732113982944 140732113980200 140273826275964 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10891264 140732113990436 140732113990764 140732113990764 140732113993677 0
/proc/20487/statm: 28282 349 296 221 0 87 0
[pid=20490] ppid=20487 vsize=27314120 memory=121940 CPUtime=0.25 cores=0-7
/proc/20490/stat : 20490 (java) S 20487 20487 16408 0 -1 1077944320 11722 0 0 0 20 5 0 0 20 0 20 0 418353297 27969658880 30485 33554432000 4194304 4196468 140726339021952 140726339004496 139794410163959 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
/proc/20490/statm: 6828530 30485 2924 1 0 6790935 0
[pid=20490/tid=20491] ppid=20487 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7
/proc/20490/task/20491/stat : 20491 (java) R 20487 20487 16408 0 -1 4202560 9414 0 0 0 16 4 0 0 20 0 20 0 418353297 27969658880 30485 33554432000 4194304 4196468 140726339021952 139794381972352 139794410185885 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20492] ppid=20487 vsize=27314120 memory=281232453957368 CPUtime=0 cores=0-7
/proc/20490/task/20492/stat : 20492 (java) S 20487 20487 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418353300 27969658880 30485 33554432000 4194304 4196468 140726339021952 139794414406544 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20493] ppid=20487 vsize=27314120 memory=140616298428032 CPUtime=0 cores=0-7
/proc/20490/task/20493/stat : 20493 (java) S 20487 20487 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418353300 27969658880 30485 33554432000 4194304 4196468 140726339021952 139794228562704 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20494] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20494/stat : 20494 (java) S 20487 20487 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418353300 27969658880 30485 33554432000 4194304 4196468 140726339021952 139794227510416 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20495] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20495/stat : 20495 (java) S 20487 20487 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418353300 27969658880 30485 33554432000 4194304 4196468 140726339021952 139794226457616 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20496] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20496/stat : 20496 (java) S 20487 20487 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418353300 27969658880 30485 33554432000 4194304 4196468 140726339021952 139794225404304 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20497] ppid=20487 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20490/task/20497/stat : 20497 (java) S 20487 20487 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418353300 27969658880 30485 33554432000 4194304 4196468 140726339021952 139794224351504 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20498] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20498/stat : 20498 (java) S 20487 20487 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418353300 27969658880 30485 33554432000 4194304 4196468 140726339021952 139794223299216 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20499] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20499/stat : 20499 (java) S 20487 20487 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418353300 27969658880 30485 33554432000 4194304 4196468 140726339021952 139794222246416 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20500] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20500/stat : 20500 (java) S 20487 20487 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418353301 27969658880 30485 33554432000 4194304 4196468 140726339021952 139792662653552 139794410175106 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20501] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20501/stat : 20501 (java) S 20487 20487 16408 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418353302 27969658880 30485 33554432000 4194304 4196468 140726339021952 139792259999008 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20502] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20502/stat : 20502 (java) S 20487 20487 16408 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418353302 27969658880 30485 33554432000 4194304 4196468 140726339021952 139792125777520 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20503] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20503/stat : 20503 (java) S 20487 20487 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418353304 27969658880 30485 33554432000 4194304 4196468 140726339021952 139791751273040 139794410182555 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20504] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20504/stat : 20504 (java) S 20487 20487 16408 0 -1 1077944384 451 0 0 0 0 0 0 0 20 0 20 0 418353304 27969658880 30485 33554432000 4194304 4196468 140726339021952 139792661600368 139794410175106 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20505] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20505/stat : 20505 (java) S 20487 20487 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418353304 27969658880 30485 33554432000 4194304 4196468 140726339021952 139792660547568 139794410175106 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20506] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20506/stat : 20506 (java) S 20487 20487 16408 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 418353304 27969658880 30485 33554432000 4194304 4196468 140726339021952 139792659495280 139794410175106 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20507] ppid=20487 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/20490/task/20507/stat : 20507 (java) S 20487 20487 16408 0 -1 1077944384 476 0 0 0 2 0 0 0 20 0 20 0 418353304 27969658880 30485 33554432000 4194304 4196468 140726339021952 139792658442480 139794410175106 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20508] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20508/stat : 20508 (java) S 20487 20487 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418353305 27969658880 30485 33554432000 4194304 4196468 140726339021952 139791253367648 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20509] ppid=20487 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20490/task/20509/stat : 20509 (java) S 20487 20487 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418353305 27969658880 30485 33554432000 4194304 4196468 140726339021952 139792657390384 139794410175106 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 123336 KiB

[startup+0.310197 s]*
/proc/loadavg: 8.16 8.17 8.18 2/211 20509
/proc/meminfo: memFree=28661408/32770624 swapFree=66959224/67108860
[pid=20487] ppid=20484 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20487/stat : 20487 (scop.sh) S 20484 20487 16408 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418353297 115843072 349 33554432000 4194304 5098028 140732113982944 140732113980200 140273826275964 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10891264 140732113990436 140732113990764 140732113990764 140732113993677 0
/proc/20487/statm: 28282 349 296 221 0 87 0
[pid=20490] ppid=20487 vsize=27314120 memory=125484 CPUtime=0.43 cores=0-7
/proc/20490/stat : 20490 (java) S 20487 20487 16408 0 -1 1077944320 12787 0 0 0 37 6 0 0 20 0 20 0 418353297 27969658880 31371 33554432000 4194304 4196468 140726339021952 140726339004496 139794410163959 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
/proc/20490/statm: 6828530 31371 2999 1 0 6790935 0
[pid=20490/tid=20491] ppid=20487 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/20490/task/20491/stat : 20491 (java) R 20487 20487 16408 0 -1 4202560 10304 0 0 0 25 4 0 0 20 0 20 0 418353297 27969658880 31371 33554432000 4194304 4196468 140726339021952 139794381946976 139794391728955 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20492] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20492/stat : 20492 (java) S 20487 20487 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418353300 27969658880 31371 33554432000 4194304 4196468 140726339021952 139794414406544 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20493] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20493/stat : 20493 (java) S 20487 20487 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418353300 27969658880 31371 33554432000 4194304 4196468 140726339021952 139794228562704 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20494] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20494/stat : 20494 (java) S 20487 20487 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418353300 27969658880 31371 33554432000 4194304 4196468 140726339021952 139794227510416 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20495] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20495/stat : 20495 (java) S 20487 20487 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418353300 27969658880 31371 33554432000 4194304 4196468 140726339021952 139794226457616 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20496] ppid=20487 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/20490/task/20496/stat : 20496 (java) S 20487 20487 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418353300 27969658880 31371 33554432000 4194304 4196468 140726339021952 139794225404304 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20497] ppid=20487 vsize=27314120 memory=140616155624367 CPUtime=0 cores=0-7
/proc/20490/task/20497/stat : 20497 (java) S 20487 20487 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418353300 27969658880 31371 33554432000 4194304 4196468 140726339021952 139794224351504 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20498] ppid=20487 vsize=27314120 memory=140616155626672 CPUtime=0 cores=0-7
/proc/20490/task/20498/stat : 20498 (java) S 20487 20487 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418353300 27969658880 31371 33554432000 4194304 4196468 140726339021952 139794223299216 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20499] ppid=20487 vsize=27314120 memory=140616155628976 CPUtime=0 cores=0-7
/proc/20490/task/20499/stat : 20499 (java) S 20487 20487 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418353300 27969658880 31371 33554432000 4194304 4196468 140726339021952 139794222246416 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20500] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20500/stat : 20500 (java) S 20487 20487 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418353301 27969658880 31371 33554432000 4194304 4196468 140726339021952 139792662653552 139794410175106 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20501] ppid=20487 vsize=27314120 memory=281232311264912 CPUtime=0 cores=0-7
/proc/20490/task/20501/stat : 20501 (java) S 20487 20487 16408 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418353302 27969658880 31371 33554432000 4194304 4196468 140726339021952 139792259999008 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20502] ppid=20487 vsize=27314120 memory=281232311271824 CPUtime=0 cores=0-7
/proc/20490/task/20502/stat : 20502 (java) S 20487 20487 16408 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418353302 27969658880 31371 33554432000 4194304 4196468 140726339021952 139792125777520 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20503] ppid=20487 vsize=27314120 memory=281232311213104 CPUtime=0 cores=0-7
/proc/20490/task/20503/stat : 20503 (java) S 20487 20487 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418353304 27969658880 31371 33554432000 4194304 4196468 140726339021952 139791751273040 139794410182555 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20504] ppid=20487 vsize=27314120 memory=281232311285648 CPUtime=0 cores=0-7
/proc/20490/task/20504/stat : 20504 (java) S 20487 20487 16408 0 -1 1077944384 457 0 0 0 0 0 0 0 20 0 20 0 418353304 27969658880 31371 33554432000 4194304 4196468 140726339021952 139792661600368 139794410175106 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20505] ppid=20487 vsize=27314120 memory=281232311292560 CPUtime=0.01 cores=0-7
/proc/20490/task/20505/stat : 20505 (java) R 20487 20487 16408 0 -1 4202560 101 0 0 0 1 0 0 0 20 0 20 0 418353304 27969658880 31371 33554432000 4194304 4196468 140726339021952 139792660547568 139794389420427 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20506] ppid=20487 vsize=27314120 memory=281232311290256 CPUtime=0.01 cores=0-7
/proc/20490/task/20506/stat : 20506 (java) S 20487 20487 16408 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 20 0 418353304 27969658880 31371 33554432000 4194304 4196468 140726339021952 139792659495280 139794410175106 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20507] ppid=20487 vsize=27314120 memory=281232311306416 CPUtime=0.07 cores=0-7
/proc/20490/task/20507/stat : 20507 (java) S 20487 20487 16408 0 -1 1077944384 498 0 0 0 7 0 0 0 20 0 20 0 418353304 27969658880 31371 33554432000 4194304 4196468 140726339021952 139792658442480 139794410175106 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20508] ppid=20487 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20490/task/20508/stat : 20508 (java) S 20487 20487 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418353305 27969658880 31371 33554432000 4194304 4196468 140726339021952 139791253367648 139794410174165 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20509] ppid=20487 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20490/task/20509/stat : 20509 (java) S 20487 20487 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418353305 27969658880 31371 33554432000 4194304 4196468 140726339021952 139792657390384 139794410175106 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126880 KiB

[startup+0.704173 s]
/proc/loadavg: 8.16 8.17 8.18 2/211 20509
/proc/meminfo: memFree=28637832/32770624 swapFree=66959224/67108860
[pid=20487] ppid=20484 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20487/stat : 20487 (scop.sh) S 20484 20487 16408 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418353297 115843072 349 33554432000 4194304 5098028 140732113982944 140732113980200 140273826275964 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10891264 140732113990436 140732113990764 140732113990764 140732113993677 0
/proc/20487/statm: 28282 349 296 221 0 87 0
[pid=20490] ppid=20487 vsize=27322516 memory=164064 CPUtime=1.02 cores=0-7
/proc/20490/stat : 20490 (java) S 20487 20487 16408 0 -1 1077944320 20656 0 0 0 93 9 0 0 20 0 20 0 418353297 27978256384 41016 33554432000 4194304 4196468 140726339021952 140726339004496 139794410163959 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
/proc/20490/statm: 6830629 41016 3165 1 0 6791959 0
[pid=20490/tid=20491] ppid=20487 vsize=27322516 memory=281232311601280 CPUtime=0.68 cores=0-7
/proc/20490/task/20491/stat : 20491 (java) R 20487 20487 16408 0 -1 4202560 17587 0 0 0 61 7 0 0 20 0 20 0 418353297 27978256384 41016 33554432000 4194304 4196468 140726339021952 139794382000208 139794410185885 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20492] ppid=20487 vsize=27322516 memory=1436 CPUtime=0 cores=0-7
/proc/20490/task/20492/stat : 20492 (java) S 20487 20487 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418353300 27978256384 41016 33554432000 4194304 4196468 140726339021952 139794414406544 139794410174165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20493] ppid=20487 vsize=27322516 memory=580 CPUtime=0 cores=0-7
/proc/20490/task/20493/stat : 20493 (java) S 20487 20487 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418353300 27978256384 41016 33554432000 4194304 4196468 140726339021952 139794228562704 139794410174165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0
[pid=20490/tid=20494] ppid=20487 vsize=27322516 memory=1720 CPUtime=0 cores=0-7
/proc/20490/task/20494/stat : 20494 (java) S 20487 20487 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418353300 27978256384 41016 33554432000 4194304 4196468 140726339021952 139794227510416 139794410174165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9711616 140726339027690 140726339028118 140726339028118 140726339030991 0

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

/proc/20512/task/20517/stat : 20517 (java) S 20487 20487 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418354277 8616062976 30667 33554432000 4194304 4196468 140720561235168 139824836156176 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20518] ppid=20487 vsize=8414124 memory=14004 CPUtime=0 cores=0-7
/proc/20512/task/20518/stat : 20518 (java) S 20487 20487 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418354277 8616062976 30667 33554432000 4194304 4196468 140720561235168 139824835103376 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20519] ppid=20487 vsize=8414124 memory=21868 CPUtime=0 cores=0-7
/proc/20512/task/20519/stat : 20519 (java) S 20487 20487 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418354277 8616062976 30667 33554432000 4194304 4196468 140720561235168 139824834050576 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20520] ppid=20487 vsize=8414124 memory=14048 CPUtime=0 cores=0-7
/proc/20512/task/20520/stat : 20520 (java) S 20487 20487 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418354277 8616062976 30667 33554432000 4194304 4196468 140720561235168 139824832997776 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20521] ppid=20487 vsize=8414124 memory=2124 CPUtime=0 cores=0-7
/proc/20512/task/20521/stat : 20521 (java) S 20487 20487 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418354277 8616062976 30667 33554432000 4194304 4196468 140720561235168 139824831944976 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20522] ppid=20487 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/20512/task/20522/stat : 20522 (java) S 20487 20487 16408 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418354278 8616062976 30667 33554432000 4194304 4196468 140720561235168 139823858801520 139825033861762 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20523] ppid=20487 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/20512/task/20523/stat : 20523 (java) S 20487 20487 16408 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418354279 8616062976 30667 33554432000 4194304 4196468 140720561235168 139823666947616 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20524] ppid=20487 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/20512/task/20524/stat : 20524 (java) S 20487 20487 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418354279 8616062976 30667 33554432000 4194304 4196468 140720561235168 139823398511984 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20525] ppid=20487 vsize=8414124 memory=1772 CPUtime=0 cores=0-7
/proc/20512/task/20525/stat : 20525 (java) S 20487 20487 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418354281 8616062976 30667 33554432000 4194304 4196468 140720561235168 139823024003408 139825033869211 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20526] ppid=20487 vsize=8414124 memory=832 CPUtime=0.03 cores=0-7
/proc/20512/task/20526/stat : 20526 (java) S 20487 20487 16408 0 -1 1077944384 448 0 0 0 3 0 0 0 20 0 24 0 418354281 8616062976 30667 33554432000 4194304 4196468 140720561235168 139823857748336 139825033861762 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20527] ppid=20487 vsize=8414124 memory=1436 CPUtime=0.08 cores=0-7
/proc/20512/task/20527/stat : 20527 (java) S 20487 20487 16408 0 -1 1077944384 486 0 0 0 8 0 0 0 20 0 24 0 418354281 8616062976 30667 33554432000 4194304 4196468 140720561235168 139823856695536 139825033861762 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20528] ppid=20487 vsize=8414124 memory=1984 CPUtime=0.06 cores=0-7
/proc/20512/task/20528/stat : 20528 (java) S 20487 20487 16408 0 -1 1077944384 245 0 0 0 6 0 0 0 20 0 24 0 418354281 8616062976 30667 33554432000 4194304 4196468 140720561235168 139823855642736 139825033861762 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20529] ppid=20487 vsize=8414124 memory=2580 CPUtime=0.21 cores=0-7
/proc/20512/task/20529/stat : 20529 (java) S 20487 20487 16408 0 -1 1077944384 708 0 0 0 21 0 0 0 20 0 24 0 418354281 8616062976 30667 33554432000 4194304 4196468 140720561235168 139823854589936 139825033861762 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20530] ppid=20487 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/20512/task/20530/stat : 20530 (java) S 20487 20487 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418354282 8616062976 30667 33554432000 4194304 4196468 140720561235168 139822526098528 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20531] ppid=20487 vsize=8414124 memory=111636 CPUtime=0.17 cores=0-7
/proc/20512/task/20531/stat : 20531 (java) S 20487 20487 16408 0 -1 1077944384 21 0 0 0 17 0 0 0 20 0 24 0 418354282 8616062976 30667 33554432000 4194304 4196468 140720561235168 139823853538352 139825033861762 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20533] ppid=20487 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/20512/task/20533/stat : 20533 (java) S 20487 20487 16408 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418354348 8616062976 30667 33554432000 4194304 4196468 140720561235168 139823845504576 139825033875225 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20535] ppid=20487 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/20512/task/20535/stat : 20535 (java) S 20487 20487 16408 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 418354349 8616062976 30667 33554432000 4194304 4196468 140720561235168 139821854998160 139825033872541 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20536] ppid=20487 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/20512/task/20536/stat : 20536 (java) S 20487 20487 16408 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418354349 8616062976 30667 33554432000 4194304 4196468 140720561235168 139822123433488 139825033872541 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20537] ppid=20487 vsize=8414124 memory=4524 CPUtime=0 cores=0-7
/proc/20512/task/20537/stat : 20537 (java) S 20487 20487 16408 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418354351 8616062976 30667 33554432000 4194304 4196468 140720561235168 139821586570288 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
Current children cumulated CPU time: 2249.8 s
Current children cumulated vsize: 9920508 KiB
Current children cumulated memory: 944548 KiB

[startup+302.001 s]*
/proc/loadavg: 8.59 8.12 8.11 2/217 20563
/proc/meminfo: memFree=27826412/32770624 swapFree=66959224/67108860
[pid=20487] ppid=20484 vsize=113128 memory=1476 CPUtime=20.34 cores=0-7
/proc/20487/stat : 20487 (scop.sh) S 20484 20487 16408 0 -1 4202496 583 32998 0 0 0 0 1924 110 20 0 1 0 418353297 115843072 369 33554432000 4194304 5098028 140732113982944 140732113979688 140273826275964 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10891264 140732113990436 140732113990764 140732113990764 140732113993677 0
/proc/20487/statm: 28282 369 311 221 0 87 0
[pid=20512] ppid=20487 vsize=8414124 memory=122668 CPUtime=1.37 cores=0-7
/proc/20512/stat : 20512 (java) S 20487 20487 16408 0 -1 1077944320 20211 0 0 0 128 9 0 0 20 0 24 0 418354275 8616062976 30667 33554432000 4194304 4196468 140720561235168 140720561217712 139825033850615 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
/proc/20512/statm: 2103531 30667 3206 1 0 2064875 0
[pid=20532] ppid=20512 vsize=1376996 memory=820840 CPUtime=2230.82 cores=0-7
/proc/20532/stat : 20532 (manyglucose-4.1) S 20512 20487 16408 0 -1 1077944320 4843072 0 0 0 222459 623 0 0 20 0 2 0 418354348 1410043904 205210 33554432000 4194304 4454172 140722882184768 140722882183152 140592925126391 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 18825216 140722882188137 140722882188336 140722882188336 140722882191290 0
/proc/20532/statm: 344249 205210 422 64 0 339917 0
[pid=20532/tid=20544] ppid=20512 vsize=1376996 memory=87990995034174 CPUtime=274.55 cores=0-7
/proc/20532/task/20544/stat : 20544 (manyglucose-4.1) R 20512 20487 16408 0 -1 4202560 567965 0 0 0 27394 61 0 0 20 0 2 0 418354618 1410043904 205210 33554432000 4194304 4454172 140722882184768 140592377318432 4350902 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 18825216 140722882188137 140722882188336 140722882188336 140722882191290 0
[pid=20512/tid=20513] ppid=20487 vsize=8414124 memory=-9033206468949864850 CPUtime=0.76 cores=0-7
/proc/20512/task/20513/stat : 20513 (java) S 20487 20487 16408 0 -1 1077944384 16900 0 0 0 70 6 0 0 20 0 24 0 418354276 8616062976 30667 33554432000 4194304 4196468 140720561235168 139825005690784 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20514] ppid=20487 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/20512/task/20514/stat : 20514 (java) S 20487 20487 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418354277 8616062976 30667 33554432000 4194304 4196468 140720561235168 139825038093456 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20515] ppid=20487 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/20512/task/20515/stat : 20515 (java) S 20487 20487 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418354277 8616062976 30667 33554432000 4194304 4196468 140720561235168 139824838261776 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20516] ppid=20487 vsize=8414124 memory=122668 CPUtime=0 cores=0-7
/proc/20512/task/20516/stat : 20516 (java) S 20487 20487 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418354277 8616062976 30667 33554432000 4194304 4196468 140720561235168 139824837208976 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20517] ppid=20487 vsize=8414124 memory=814212 CPUtime=0 cores=0-7
/proc/20512/task/20517/stat : 20517 (java) S 20487 20487 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418354277 8616062976 30667 33554432000 4194304 4196468 140720561235168 139824836156176 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20518] ppid=20487 vsize=8414124 memory=-9033206468949864850 CPUtime=0 cores=0-7
/proc/20512/task/20518/stat : 20518 (java) S 20487 20487 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418354277 8616062976 30667 33554432000 4194304 4196468 140720561235168 139824835103376 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20519] ppid=20487 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/20512/task/20519/stat : 20519 (java) S 20487 20487 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418354277 8616062976 30667 33554432000 4194304 4196468 140720561235168 139824834050576 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20520] ppid=20487 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/20512/task/20520/stat : 20520 (java) S 20487 20487 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418354277 8616062976 30667 33554432000 4194304 4196468 140720561235168 139824832997776 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20521] ppid=20487 vsize=8414124 memory=1772 CPUtime=0 cores=0-7
/proc/20512/task/20521/stat : 20521 (java) S 20487 20487 16408 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418354277 8616062976 30667 33554432000 4194304 4196468 140720561235168 139824831944976 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20522] ppid=20487 vsize=8414124 memory=832 CPUtime=0 cores=0-7
/proc/20512/task/20522/stat : 20522 (java) S 20487 20487 16408 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418354278 8616062976 30667 33554432000 4194304 4196468 140720561235168 139823858801520 139825033861762 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20523] ppid=20487 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/20512/task/20523/stat : 20523 (java) S 20487 20487 16408 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418354279 8616062976 30667 33554432000 4194304 4196468 140720561235168 139823666947616 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20524] ppid=20487 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20512/task/20524/stat : 20524 (java) S 20487 20487 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418354279 8616062976 30667 33554432000 4194304 4196468 140720561235168 139823398511984 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20525] ppid=20487 vsize=8414124 memory=7594036968898582117 CPUtime=0 cores=0-7
/proc/20512/task/20525/stat : 20525 (java) S 20487 20487 16408 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418354281 8616062976 30667 33554432000 4194304 4196468 140720561235168 139823024003408 139825033869211 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20526] ppid=20487 vsize=8414124 memory=8098429127484598627 CPUtime=0.03 cores=0-7
/proc/20512/task/20526/stat : 20526 (java) S 20487 20487 16408 0 -1 1077944384 448 0 0 0 3 0 0 0 20 0 24 0 418354281 8616062976 30667 33554432000 4194304 4196468 140720561235168 139823857748336 139825033861762 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20527] ppid=20487 vsize=8414124 memory=6225497935717820002 CPUtime=0.08 cores=0-7
/proc/20512/task/20527/stat : 20527 (java) S 20487 20487 16408 0 -1 1077944384 486 0 0 0 8 0 0 0 20 0 24 0 418354281 8616062976 30667 33554432000 4194304 4196468 140720561235168 139823856695536 139825033861762 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20528] ppid=20487 vsize=8414124 memory=7596838447233722215 CPUtime=0.06 cores=0-7
/proc/20512/task/20528/stat : 20528 (java) S 20487 20487 16408 0 -1 1077944384 245 0 0 0 6 0 0 0 20 0 24 0 418354281 8616062976 30667 33554432000 4194304 4196468 140720561235168 139823855642736 139825033861762 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20529] ppid=20487 vsize=8414124 memory=0 CPUtime=0.21 cores=0-7
/proc/20512/task/20529/stat : 20529 (java) S 20487 20487 16408 0 -1 1077944384 708 0 0 0 21 0 0 0 20 0 24 0 418354281 8616062976 30667 33554432000 4194304 4196468 140720561235168 139823854589936 139825033861762 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20530] ppid=20487 vsize=8414124 memory=288318611959881782 CPUtime=0 cores=0-7
/proc/20512/task/20530/stat : 20530 (java) S 20487 20487 16408 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418354282 8616062976 30667 33554432000 4194304 4196468 140720561235168 139822526098528 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20531] ppid=20487 vsize=8414124 memory=16192748260466743 CPUtime=0.17 cores=0-7
/proc/20512/task/20531/stat : 20531 (java) S 20487 20487 16408 0 -1 1077944384 21 0 0 0 17 0 0 0 20 0 24 0 418354282 8616062976 30667 33554432000 4194304 4196468 140720561235168 139823853538352 139825033861762 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20533] ppid=20487 vsize=8414124 memory=87990995034168 CPUtime=0 cores=0-7
/proc/20512/task/20533/stat : 20533 (java) S 20487 20487 16408 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418354348 8616062976 30667 33554432000 4194304 4196468 140720561235168 139823845504576 139825033875225 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20535] ppid=20487 vsize=8414124 memory=87990995034169 CPUtime=0 cores=0-7
/proc/20512/task/20535/stat : 20535 (java) S 20487 20487 16408 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 418354349 8616062976 30667 33554432000 4194304 4196468 140720561235168 139821854998160 139825033872541 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20536] ppid=20487 vsize=8414124 memory=87990995034170 CPUtime=0 cores=0-7
/proc/20512/task/20536/stat : 20536 (java) S 20487 20487 16408 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418354349 8616062976 30667 33554432000 4194304 4196468 140720561235168 139822123433488 139825033872541 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20537] ppid=20487 vsize=8414124 memory=87990995034172 CPUtime=0 cores=0-7
/proc/20512/task/20537/stat : 20537 (java) S 20487 20487 16408 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418354351 8616062976 30667 33554432000 4194304 4196468 140720561235168 139821586570288 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
Current children cumulated CPU time: 2252.53 s
Current children cumulated vsize: 9904248 KiB
Current children cumulated memory: 944984 KiB

[startup+302.202 s]
/proc/loadavg: 8.59 8.12 8.11 2/217 20563
/proc/meminfo: memFree=27826412/32770624 swapFree=66959224/67108860
[pid=20487] ppid=20484 vsize=113128 memory=1476 CPUtime=20.34 cores=0-7
/proc/20487/stat : 20487 (scop.sh) S 20484 20487 16408 0 -1 4202496 583 32998 0 0 0 0 1924 110 20 0 1 0 418353297 115843072 369 33554432000 4194304 5098028 140732113982944 140732113979688 140273826275964 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10891264 140732113990436 140732113990764 140732113990764 140732113993677 0
/proc/20487/statm: 28282 369 311 221 0 87 0
[pid=20512] ppid=20487 vsize=8283048 memory=140920 CPUtime=2232.65 cores=0-7
/proc/20512/stat : 20512 (java) S 20487 20487 16408 0 -1 1077944320 23712 4843094 0 0 161 11 222465 628 20 0 22 0 418354275 8481841152 35230 33554432000 4194304 4196468 140720561235168 140720561217712 139825033850615 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
/proc/20512/statm: 2070762 35230 3223 1 0 2032106 0
[pid=20512/tid=20513] ppid=20487 vsize=8283048 memory=3620 CPUtime=2231.74 cores=0-7
/proc/20512/task/20513/stat : 20513 (java) R 20487 20487 16408 0 -1 4202560 17072 4843094 0 0 75 6 222465 628 20 0 22 0 418354276 8481841152 35230 33554432000 4194304 4196468 140720561235168 139825005688960 139825017931102 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20514] ppid=20487 vsize=8283048 memory=1660 CPUtime=2230.93 cores=0-7
/proc/20512/task/20514/stat : 20514 (java) S 20487 20487 16408 0 -1 1077944384 2 4843094 0 0 0 0 222465 628 20 0 22 0 418354277 8481841152 35230 33554432000 4194304 4196468 140720561235168 139825038093456 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20515] ppid=20487 vsize=8283048 memory=-9033206468949864850 CPUtime=2230.93 cores=0-7
/proc/20512/task/20515/stat : 20515 (java) S 20487 20487 16408 0 -1 1077944384 2 4843094 0 0 0 0 222465 628 20 0 22 0 418354277 8481841152 35230 33554432000 4194304 4196468 140720561235168 139824838261776 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20516] ppid=20487 vsize=8283048 memory=820900 CPUtime=2230.93 cores=0-7
/proc/20512/task/20516/stat : 20516 (java) S 20487 20487 16408 0 -1 1077944384 2 4843094 0 0 0 0 222465 628 20 0 22 0 418354277 8481841152 35230 33554432000 4194304 4196468 140720561235168 139824837208976 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20517] ppid=20487 vsize=8283048 memory=3620 CPUtime=2230.93 cores=0-7
/proc/20512/task/20517/stat : 20517 (java) S 20487 20487 16408 0 -1 1077944384 3 4843094 0 0 0 0 222465 628 20 0 22 0 418354277 8481841152 35230 33554432000 4194304 4196468 140720561235168 139824836156176 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20518] ppid=20487 vsize=8283048 memory=8323394945630305166 CPUtime=2230.93 cores=0-7
/proc/20512/task/20518/stat : 20518 (java) S 20487 20487 16408 0 -1 1077944384 2 4843094 0 0 0 0 222465 628 20 0 22 0 418354277 8481841152 35230 33554432000 4194304 4196468 140720561235168 139824835103376 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20519] ppid=20487 vsize=8283048 memory=87990995034176 CPUtime=2230.93 cores=0-7
/proc/20512/task/20519/stat : 20519 (java) S 20487 20487 16408 0 -1 1077944384 2 4843094 0 0 0 0 222465 628 20 0 22 0 418354277 8481841152 35230 33554432000 4194304 4196468 140720561235168 139824834050576 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20520] ppid=20487 vsize=8283048 memory=88098369216577 CPUtime=2230.93 cores=0-7
/proc/20512/task/20520/stat : 20520 (java) S 20487 20487 16408 0 -1 1077944384 2 4843094 0 0 0 0 222465 628 20 0 22 0 418354277 8481841152 35230 33554432000 4194304 4196468 140720561235168 139824832997776 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20521] ppid=20487 vsize=8283048 memory=88098369216578 CPUtime=2230.93 cores=0-7
/proc/20512/task/20521/stat : 20521 (java) S 20487 20487 16408 0 -1 1077944384 2 4843094 0 0 0 0 222465 628 20 0 22 0 418354277 8481841152 35230 33554432000 4194304 4196468 140720561235168 139824831944976 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20522] ppid=20487 vsize=8283048 memory=88098369216579 CPUtime=2230.93 cores=0-7
/proc/20512/task/20522/stat : 20522 (java) S 20487 20487 16408 0 -1 1077944384 8 4843094 0 0 0 0 222465 628 20 0 22 0 418354278 8481841152 35230 33554432000 4194304 4196468 140720561235168 139823858801520 139825033861762 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20523] ppid=20487 vsize=8283048 memory=88098369216580 CPUtime=2230.93 cores=0-7
/proc/20512/task/20523/stat : 20523 (java) S 20487 20487 16408 0 -1 1077944384 13 4843094 0 0 0 0 222465 628 20 0 22 0 418354279 8481841152 35230 33554432000 4194304 4196468 140720561235168 139823666947616 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20524] ppid=20487 vsize=8283048 memory=288230574492221466 CPUtime=2230.93 cores=0-7
/proc/20512/task/20524/stat : 20524 (java) S 20487 20487 16408 0 -1 1077944384 1 4843094 0 0 0 0 222465 628 20 0 22 0 418354279 8481841152 35230 33554432000 4194304 4196468 140720561235168 139823398511984 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20525] ppid=20487 vsize=8283048 memory=288230621803970871 CPUtime=2230.93 cores=0-7
/proc/20512/task/20525/stat : 20525 (java) S 20487 20487 16408 0 -1 1077944384 1 4843094 0 0 0 0 222465 628 20 0 22 0 418354281 8481841152 35230 33554432000 4194304 4196468 140720561235168 139823024003408 139825033869211 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20526] ppid=20487 vsize=8283048 memory=16104758104557987 CPUtime=2231 cores=0-7
/proc/20512/task/20526/stat : 20526 (java) R 20487 20487 16408 0 -1 4202560 768 4843094 0 0 7 0 222465 628 20 0 22 0 418354281 8481841152 35230 33554432000 4194304 4196468 140720561235168 139823857746736 139825015395068 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20527] ppid=20487 vsize=8283048 memory=1476 CPUtime=2231.05 cores=0-7
/proc/20512/task/20527/stat : 20527 (java) S 20487 20487 16408 0 -1 1077944384 671 4843094 0 0 12 0 222465 628 20 0 22 0 418354281 8481841152 35230 33554432000 4194304 4196468 140720561235168 139823856695536 139825033861762 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20528] ppid=20487 vsize=8283048 memory=820036 CPUtime=2231.03 cores=0-7
/proc/20512/task/20528/stat : 20528 (java) R 20487 20487 16408 0 -1 4202560 476 4843094 0 0 10 0 222465 628 20 0 22 0 418354281 8481841152 35230 33554432000 4194304 4196468 140720561235168 139823855633120 139825033871962 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20529] ppid=20487 vsize=8283048 memory=-9033206468949864850 CPUtime=2231.21 cores=0-7
/proc/20512/task/20529/stat : 20529 (java) S 20487 20487 16408 0 -1 1077944384 1081 4843094 0 0 28 0 222465 628 20 0 22 0 418354281 8481841152 35230 33554432000 4194304 4196468 140720561235168 139823854589936 139825033861762 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20530] ppid=20487 vsize=8283048 memory=-7003737579269690708 CPUtime=2230.93 cores=0-7
/proc/20512/task/20530/stat : 20530 (java) S 20487 20487 16408 0 -1 1077944384 3 4843094 0 0 0 0 222465 628 20 0 22 0 418354282 8481841152 35230 33554432000 4194304 4196468 140720561235168 139822526098528 139825033860821 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20531] ppid=20487 vsize=8283048 memory=122668 CPUtime=2231.1 cores=0-7
/proc/20512/task/20531/stat : 20531 (java) S 20487 20487 16408 0 -1 1077944384 21 4843094 0 0 17 0 222465 628 20 0 22 0 418354282 8481841152 35230 33554432000 4194304 4196468 140720561235168 139823853538352 139825033861762 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20533] ppid=20487 vsize=8283048 memory=820036 CPUtime=2230.93 cores=0-7
/proc/20512/task/20533/stat : 20533 (java) S 20487 20487 16408 0 -1 1077944384 24 4843094 0 0 0 0 222465 628 20 0 22 0 418354348 8481841152 35230 33554432000 4194304 4196468 140720561235168 139823845503760 139825033861762 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
[pid=20512/tid=20537] ppid=20487 vsize=8283048 memory=3054156605268465310 CPUtime=2230.93 cores=0-7
/proc/20512/task/20537/stat : 20537 (java) S 20487 20487 16408 0 -1 1077944384 13 4843094 0 0 0 0 222465 628 20 0 22 0 418354351 8481841152 35230 33554432000 4194304 4196468 140720561235168 139821586572080 139825033861762 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15028224 140720561239031 140720561239190 140720561239190 140720561242063 0
Current children cumulated CPU time: 2252.99 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 142396 KiB

Child status: 0
Real time (s): 302.298
CPU time (s): 2253.19
CPU user time (s): 2245.66
CPU system time (s): 7.53194
CPU usage (%): 745.356
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 5639132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2245.66
system time used= 7.53194
maximum resident set size= 5675596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4900735
page faults= 0
swaps= 0
block input operations= 0
block output operations= 45416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31815
involuntary context switches= 22917


# summary of solver processes directly reported to runsolver:
#   pid: 20487
#   total CPU time (s): 2253.19
#   total CPU user time (s): 2245.66
#   total CPU system time (s): 7.53194

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.65441 second user time and 4.33966 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-14 03:21:31
IDJOB=4392797
IDBENCH=124268
IDSOLVER=2839
FILE ID=node124/4392797-1568424131
RUNJOBID= node124-1568416728-16435
PBS_JOBID= 21702259
Free space on /tmp= 61812 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Langford/Langford-m1-k3/Langford-3-45.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392797-1568424131/watcher-4392797-1568424131 -o /tmp/evaluation-result-4392797-1568424131/solver-4392797-1568424131 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1568416728-16435 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392797-1568424131.xml

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

MD5SUM BENCH= c29e6924973099ab0a0c802e448a5f67
RANDOM SEED=942673330

node124.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.47
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.47
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.47
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.47
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:        28776904 kB
MemAvailable:   31849116 kB
Buffers:          191364 kB
Cached:          3161304 kB
SwapCached:        45888 kB
Active:           983320 kB
Inactive:        2422572 kB
Active(anon):       4084 kB
Inactive(anon):    90140 kB
Active(file):     979236 kB
Inactive(file):  2332432 kB
Unevictable:      106500 kB
Mlocked:          106500 kB
SwapTotal:      67108860 kB
SwapFree:       66959224 kB
Dirty:             26560 kB
Writeback:             4 kB
AnonPages:        114304 kB
Mapped:            44256 kB
Shmem:             32744 kB
Slab:             182356 kB
SReclaimable:     152756 kB
SUnreclaim:        29600 kB
KernelStack:        3392 kB
PageTables:         6100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61792 MiB
End job on node124 at 2019-09-14 03:26:34