Trace number 4392859

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 1548.03 604.069

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-js20/
SuperTaillard-js-20-20.xml
MD5SUMbd4660d9f641dd45473fddd00af9a0d0
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 benchmark1437.98
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints12940
Number of domains96
Minimum domain size1599
Maximum domain size1697
Distribution of domain sizes[{"size":1599,"count":10},{"size":1600,"count":4},{"size":1601,"count":16},{"size":1602,"count":2},{"size":1603,"count":6},{"size":1604,"count":8},{"size":1605,"count":6},{"size":1606,"count":6},{"size":1607,"count":6},{"size":1608,"count":16},{"size":1609,"count":6},{"size":1610,"count":6},{"size":1611,"count":8},{"size":1612,"count":24},{"size":1613,"count":6},{"size":1614,"count":8},{"size":1616,"count":8},{"size":1617,"count":14},{"size":1618,"count":6},{"size":1619,"count":8},{"size":1620,"count":6},{"size":1621,"count":8},{"size":1622,"count":10},{"size":1623,"count":8},{"size":1624,"count":10},"...",{"size":1672,"count":14}, {"size":1673,"count":4}, {"size":1674,"count":8}, {"size":1675,"count":4}, {"size":1676,"count":6}, {"size":1677,"count":8}, {"size":1678,"count":10}, {"size":1679,"count":8}, {"size":1680,"count":10}, {"size":1681,"count":14}, {"size":1682,"count":10}, {"size":1683,"count":14}, {"size":1684,"count":2}, {"size":1685,"count":10}, {"size":1686,"count":10}, {"size":1687,"count":10}, {"size":1688,"count":2}, {"size":1689,"count":16}, {"size":1690,"count":8}, {"size":1691,"count":8}, {"size":1693,"count":8}, {"size":1694,"count":8}, {"size":1695,"count":14}, {"size":1696,"count":10}, {"size":1697,"count":8}]
Minimum variable degree21
Maximum variable degree43
Distribution of variable degrees[{"degree":21,"count":40},{"degree":22,"count":360},{"degree":41,"count":40},{"degree":43,"count":360}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":12940}]
Number of extensional constraints0
Number of intensional constraints12940
Distribution of constraint types[{"type":"intension","count":12940}]
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-3154-serial-file.bin HOME/instance-4392859-1568442322.xml
0.65/0.60	
0.65/0.60	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.60	
0.77/0.63	c BEGIN-Prog: Sat Sep 14 08:24:42 CEST 2019
0.77/0.63	c PID: 3157
0.77/0.63	c IP: 172.20.3.116
0.77/0.63	c HOST: node116.alineos.net
0.77/0.63	c (0,0) Parsing Begin
8.98/2.81	c (2,2) Parsing End
8.98/2.82	c (2,2) CSP: 800 int (0 aux), 0 bool (0 aux), 12940 ctr, max domain size 1697
8.98/2.82	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
8.98/2.82	c (2,2) Constraint Name Generate Begin
9.30/2.90	c (2,2) Ctr:HOME/instance-4392859-1568442322.xml,Add:Le:Ne:Num:Or:Var
9.30/2.90	c (2,2) Constraint Name Generate End
9.30/2.90	c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
9.30/2.90	c (2,2) CSP to CSPinCNF Begin
10.01/3.27	c (2,2) translated 1294 (10%) constraints
10.39/3.36	c (2,2) translated 2588 (20%) constraints
10.79/3.44	c (2,2) translated 3882 (30%) constraints
11.19/3.52	c (2,2) translated 5176 (40%) constraints
11.19/3.59	c (2,2) translated 6470 (50%) constraints
11.58/3.69	c (3,3) translated 7764 (60%) constraints
11.92/3.70	c (3,3) translated 9058 (70%) constraints
11.92/3.75	c (3,3) translated 10352 (80%) constraints
12.11/3.80	c (3,3) translated 11646 (90%) constraints
12.11/3.85	c (3,3) translated 12940 (100%) constraints
12.11/3.85	c (3,3) ===========================================
12.55/3.91	c (3,3) Hybrid: #OE=800, #LE=0
12.55/3.91	c (3,3) Hybrid
12.55/3.91	c (3,3) ===========================================
12.55/3.97	c (3,3) translated 1294 (10%) constraints
12.80/4.01	c (3,3) translated 2588 (20%) constraints
12.80/4.05	c (3,3) translated 3882 (30%) constraints
12.80/4.09	c (3,3) translated 5176 (40%) constraints
13.01/4.12	c (3,3) translated 6470 (50%) constraints
13.01/4.16	c (3,3) translated 7764 (60%) constraints
13.01/4.19	c (3,3) translated 9058 (70%) constraints
13.24/4.22	c (3,3) translated 10352 (80%) constraints
13.24/4.25	c (3,3) translated 11646 (90%) constraints
13.24/4.28	c (3,3) translated 12940 (100%) constraints
13.24/4.29	c (3,3) CSP to CSPinCNF End
13.24/4.29	c (3,3) CSP: 800 int (0 aux), 0 bool (0 aux), 12940 ctr, max domain size 1617
13.24/4.29	c (3,3) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
13.24/4.29	c (3,3) CSPinCNF Propagation Begin
13.93/4.43	c (3,3) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
13.93/4.43	c (3,3) CSPinCNF Propagation End
13.93/4.43	c (3,3) CSP: 800 int (0 aux), 0 bool (0 aux), 12940 ctr, max domain size 1617
13.93/4.43	c (3,3) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
13.93/4.48	c (3,3) Hybrid: #OE=800, #LE=0
13.93/4.48	c (3,3) Simplify CSPinCNF Begin
16.15/5.01	c (4,4) Simplify CSPinCNF End
16.15/5.02	c (4,4) CSP: 800 int (0 aux), 23600 bool (23600 aux), 36540 ctr, max domain size 1617
16.15/5.02	c (4,4) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.15/5.02	c (4,4) Calculate Precise Domain Begin
16.15/5.02	c (4,4) 0 values are removed by re-calculation
16.15/5.02	c (4,4) Calculate Precise Domain End
16.15/5.03	c (4,4) CSP: 800 int (0 aux), 23600 bool (23600 aux), 36540 ctr, max domain size 1617
16.15/5.03	c (4,4) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
16.15/5.03	c (4,4) CSPinCNF to SatSolver Begin
31.10/17.17	c (16,16) 3654 (10 %) CSP clauses are encoded (0 SAT variables, 2973518 SAT clauses)
41.60/26.89	c (26,25) 7308 (20 %) CSP clauses are encoded (0 SAT variables, 4941898 SAT clauses)
52.11/37.36	c (36,35) 10962 (30 %) CSP clauses are encoded (0 SAT variables, 7074713 SAT clauses)
62.44/47.44	c (46,45) 14616 (40 %) CSP clauses are encoded (0 SAT variables, 9222319 SAT clauses)
72.22/56.75	c (56,54) 18270 (50 %) CSP clauses are encoded (0 SAT variables, 11187439 SAT clauses)
84.17/67.49	c (66,64) 21924 (60 %) CSP clauses are encoded (0 SAT variables, 13449031 SAT clauses)
94.97/78.41	c (77,75) 25578 (70 %) CSP clauses are encoded (0 SAT variables, 15745180 SAT clauses)
103.73/87.87	c (87,84) 29232 (80 %) CSP clauses are encoded (0 SAT variables, 17660651 SAT clauses)
113.58/97.64	c (97,93) 32886 (90 %) CSP clauses are encoded (0 SAT variables, 19793372 SAT clauses)
123.95/108.48	c (107,104) 36540 (100 %) CSP clauses are encoded (0 SAT variables, 22704007 SAT clauses)
123.95/108.49	c (107,104) CSPinCNF to SatSolver End
123.95/108.49	c (107,104) Heap : 1409 MiB used (max 22350 MiB), NonHeap : 28 MiB used (max 0 MiB)
123.95/108.49	c (107,104) 883594 bool, 22704641 clause
123.95/108.49	c (107,104) Export Begin
124.23/108.63	c (108,104) Export to HOME/scop-3154-serial-file.bin
124.23/108.63	c (108,104) Export End
124.23/108.63	c (108,104) Export File Size: 0.12 MB
124.23/108.63	c (108,104) 2,2,3,3,4,4,107,STOP-AFTER(DIMACS)
124.23/108.63	c END-Prog: Sat Sep 14 08:26:30 CEST 2019
124.23/108.68	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-3154-serial-file.bin
125.05/109.21	c (0,0) Read Serial File Begin
125.05/109.21	c (0,0) HOME/scop-3154-serial-file.bin
125.40/109.86	c (0,0) Read Serial File End
125.40/109.87	
125.40/109.87	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
125.40/109.87	(Solving Process)
125.40/109.87	
125.40/109.90	c BEGIN-Prog: Sat Sep 14 08:26:31 CEST 2019
125.40/109.90	c PID: 3186
125.40/109.90	c IP: 172.20.3.116
125.40/109.90	c HOST: node116.alineos.net
125.64/109.90	c (0,0) SatSolver.solve Begin
125.64/109.90	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392859-1568442322.xml-scop-3157.cnf
125.64/109.93	c (0,0) c
125.64/109.93	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)
125.64/109.93	c (0,0) c
125.64/109.93	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
125.64/109.93	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
125.64/109.93	c (0,0) c ========================================[ Problem Statistics ]===========================================
125.64/109.93	c (0,0) c |                                                                                                       |
135.83/119.93	c (10,0) c |  Number of variables:        883594                                                                   |
135.83/119.93	c (10,0) c |  Number of clauses:        22399147                                                                   |
135.83/119.93	c (10,0) c |  Parse time:                   9.16 s                                                                 |
135.83/119.93	c (10,0) c |                                                                                                       |
137.33/121.40	c (12,0) c | Too many clauses... No preprocessing                                                                  |
137.33/121.40	c (12,0) c |  Simplification time:          1.33 s                                                                 |
137.33/121.40	c (12,0) c |                                                                                                       |
137.33/121.40	c (12,0) c |  One Solver is taking   2032.95Mb... Let's take   3 solvers for this run (max 40% of the maxmemory).  |
137.33/121.40	c (12,0) c |  Generating clones                                                                                    |
138.94/123.08	c (13,0) c |  all clones generated. Memory =  4978.60Mb.                                                           |
138.94/123.08	c (13,0) c ========================================================================================================|
138.94/123.08	c (13,0) c
138.94/123.08	c (13,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
138.94/123.08	c (13,0) c
138.94/123.08	c (13,0) c |-----------------------|------------|------------|------------|
138.94/123.08	c (13,0) c | Threads               |          0 |          1 |          2 |
138.94/123.08	c (13,0) c |-----------------------|------------|------------|------------|
138.94/123.08	c (13,0) c | randomizeFirstDescent |      False |       True |       True |
138.94/123.08	c (13,0) c | adaptStrategeis       |       True |      False |       True |
138.94/123.08	c (13,0) c | forceUnsatOnNewDescent|       True |       True |      False |
138.94/123.08	c (13,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |
138.94/123.08	c (13,0) c | chanseokStrategy      |      False |      False |      False |
138.94/123.08	c (13,0) c | coLBDBound            |          5 |          5 |          5 |
138.94/123.08	c (13,0) c | glureduce             |       True |       True |       True |
138.94/123.08	c (13,0) c | firstReduceDB         |       2000 |       2000 |       2000 |
138.94/123.08	c (13,0) c | incReduceDB           |        300 |        300 |        300 |
138.94/123.08	c (13,0) c | luby_restart          |      False |      False |      False |
138.94/123.08	c (13,0) c | luby_restart_factor   |        100 |        100 |        100 |
138.94/123.08	c (13,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |
138.94/123.08	c (13,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |
138.94/123.08	c (13,0) c | randomize_on_restarts |      False |      False |      False |
138.94/123.08	c (13,0) c | remove_satisfied      |       True |       True |       True |
138.94/123.08	c (13,0) c |-----------------------|------------|------------|------------|
226.72/152.89	c (43,0) c
226.72/152.89	c (43,0) c |------------------------------------------------------------------------------------------------------------------------|
226.72/152.89	c (43,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
226.72/152.89	c (43,0) c |------------------------------------------------------------------------------------------------------------------------|
226.72/152.89	c (43,0) c |  0 |      6 |       9455 |       3025 |    70467 |     2018 |      269 |      566 |       19 |      289 |  20 | 34.934 |
226.72/152.89	c (43,0) c |  1 |     10 |      10238 |       2141 |    55052 |     1126 |      296 |      524 |        8 |      279 |  20 | 34.934 |
226.72/152.89	c (43,0) c |  2 |     15 |      10276 |       2365 |    63756 |     1356 |      304 |      546 |        7 |      299 |  20 | 34.934 |
226.72/152.89	c (43,0) c 
226.72/152.89	c (43,0) c synthesis        7531 conflicts   166577950 propagations       78 conflicts/sec  1723321 propagations/sec
226.72/152.89	c (43,0) c real: 42.9643 s, cpu: 96.661 s, memory: 5374.89 Mb
311.63/181.89	c (72,0) c
311.63/181.89	c (72,0) c |------------------------------------------------------------------------------------------------------------------------|
311.63/181.89	c (72,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
311.63/181.89	c (72,0) c |------------------------------------------------------------------------------------------------------------------------|
311.63/181.89	c (72,0) c |  0 |     14 |      16929 |       5256 |   121624 |     4227 |      534 |      934 |       28 |      527 |  20 | 35.007 |
311.63/181.89	c (72,0) c |  1 |     26 |      18950 |       4242 |   108531 |     3211 |      522 |      905 |       19 |      523 |  20 | 35.006 |
311.63/181.89	c (72,0) c |  2 |     26 |      16680 |       4446 |   115666 |     3425 |      471 |     1023 |       21 |      540 |  20 | 35.023 |
311.63/181.89	c (72,0) c 
311.63/181.89	c (72,0) c synthesis       13944 conflicts   325002931 propagations       77 conflicts/sec  1803563 propagations/sec
311.63/181.89	c (72,0) c real: 71.9643 s, cpu: 180.2 s, memory: 4142.60 Mb
396.36/210.89	c (101,0) c
396.36/210.89	c (101,0) c |------------------------------------------------------------------------------------------------------------------------|
396.36/210.89	c (101,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
396.36/210.89	c (101,0) c |------------------------------------------------------------------------------------------------------------------------|
396.36/210.89	c (101,0) c |  0 |     21 |      24283 |       7992 |   173683 |     4173 |     1147 |     1914 |       50 |      769 |  20 | 35.065 |
396.36/210.89	c (101,0) c |  1 |     38 |      27441 |       6583 |   159280 |     5548 |     1081 |     2003 |       54 |      771 |  20 | 35.061 |
396.36/210.89	c (101,0) c |  2 |     38 |      25980 |       7048 |   170535 |     3225 |      975 |     2154 |       50 |      788 |  20 | 35.061 |
396.36/210.89	c (101,0) c 
396.36/210.89	c (101,0) c synthesis       21623 conflicts   501838105 propagations       82 conflicts/sec  1898050 propagations/sec
396.36/210.89	c (101,0) c real: 100.964 s, cpu: 264.397 s, memory: 4142.73 Mb
481.77/239.89	c (130,0) c
481.77/239.89	c (130,0) c |------------------------------------------------------------------------------------------------------------------------|
481.77/239.89	c (130,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
481.77/239.89	c (130,0) c |------------------------------------------------------------------------------------------------------------------------|
481.77/239.89	c (130,0) c |  0 |     35 |      34267 |      10647 |   220727 |     6817 |     1776 |     3013 |       95 |     1012 |  20 | 35.106 |
481.77/239.89	c (130,0) c |  1 |     55 |      40209 |       9378 |   207417 |     5557 |     1755 |     3111 |      120 |     1024 |  20 | 35.103 |
481.77/239.89	c (130,0) c |  2 |     47 |      33361 |       9666 |   220344 |     5831 |     1512 |     3307 |      109 |     1028 |  20 | 35.100 |
481.77/239.89	c (130,0) c 
481.77/239.89	c (130,0) c synthesis       29691 conflicts   682368780 propagations       85 conflicts/sec  1952199 propagations/sec
481.77/239.89	c (130,0) c real: 129.964 s, cpu: 349.539 s, memory: 4142.73 Mb
567.71/268.89	c (159,0) c
567.71/268.89	c (159,0) c |------------------------------------------------------------------------------------------------------------------------|
567.71/268.89	c (159,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
567.71/268.89	c (159,0) c |------------------------------------------------------------------------------------------------------------------------|
567.71/268.89	c (159,0) c |  0 |     48 |      42493 |      13369 |   271262 |     9532 |     2384 |     4235 |      149 |     1256 |  20 | 35.132 |
567.71/268.89	c (159,0) c |  1 |     75 |      50027 |      12011 |   253634 |     8182 |     2342 |     4368 |      191 |     1271 |  20 | 35.144 |
567.71/268.89	c (159,0) c |  2 |     63 |      41548 |      12344 |   267017 |     8499 |     2120 |     4665 |      190 |     1276 |  20 | 35.142 |
567.71/268.89	c (159,0) c 
567.71/268.89	c (159,0) c synthesis       37724 conflicts   864512708 propagations       87 conflicts/sec  1986023 propagations/sec
567.71/268.89	c (159,0) c real: 158.964 s, cpu: 435.299 s, memory: 4142.73 Mb
651.05/297.89	c (188,0) c
651.05/297.89	c (188,0) c |------------------------------------------------------------------------------------------------------------------------|
651.05/297.89	c (188,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
651.05/297.89	c (188,0) c |------------------------------------------------------------------------------------------------------------------------|
651.05/297.89	c (188,0) c |  0 |     57 |      49888 |      15875 |   316024 |     7058 |     2890 |     5306 |      219 |     1492 |  20 | 35.172 |
651.05/297.89	c (188,0) c |  1 |     89 |      57450 |      14441 |   296408 |     5631 |     2889 |     5418 |      265 |     1509 |  20 | 35.172 |
651.05/297.89	c (188,0) c |  2 |     78 |      50671 |      14767 |   306571 |     5947 |     2668 |     5681 |      257 |     1510 |  20 | 35.174 |
651.05/297.89	c (188,0) c 
651.05/297.89	c (188,0) c synthesis       45083 conflicts  1041372871 propagations       87 conflicts/sec  2009009 propagations/sec
651.05/297.89	c (188,0) c real: 187.964 s, cpu: 518.352 s, memory: 4142.73 Mb
736.09/326.89	c (217,0) c
736.09/326.89	c (217,0) c |------------------------------------------------------------------------------------------------------------------------|
736.09/326.89	c (217,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
736.09/326.89	c (217,0) c |------------------------------------------------------------------------------------------------------------------------|
736.09/326.89	c (217,0) c |  0 |     70 |      59322 |      18600 |   356642 |     9778 |     3573 |     6491 |      301 |     1742 |  20 | 35.195 |
736.09/326.89	c (217,0) c |  1 |    106 |      64783 |      16837 |   336779 |     8018 |     3315 |     6690 |      332 |     1744 |  20 | 35.198 |
736.09/326.89	c (217,0) c |  2 |     84 |      60520 |      17386 |   344603 |     8554 |     3314 |     6832 |      338 |     1762 |  20 | 35.200 |
736.09/326.89	c (217,0) c 
736.09/326.89	c (217,0) c synthesis       52823 conflicts  1220491154 propagations       88 conflicts/sec  2023477 propagations/sec
736.09/326.89	c (217,0) c real: 216.964 s, cpu: 603.165 s, memory: 4142.87 Mb
819.85/355.89	c (246,0) c
819.85/355.89	c (246,0) c |------------------------------------------------------------------------------------------------------------------------|
819.85/355.89	c (246,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
819.85/355.89	c (246,0) c |------------------------------------------------------------------------------------------------------------------------|
819.85/355.89	c (246,0) c |  0 |     73 |      64574 |      20930 |   386481 |    12108 |     4099 |     6616 |      349 |     1969 |  20 | 35.200 |
819.85/355.89	c (246,0) c |  1 |    121 |      72803 |      19169 |   371258 |    10342 |     3775 |     7893 |      412 |     1988 |  20 | 35.220 |
819.85/355.89	c (246,0) c |  2 |     90 |      66849 |      19828 |   377694 |    10991 |     3852 |     7651 |      412 |     1989 |  20 | 35.220 |
819.85/355.89	c (246,0) c 
819.85/355.89	c (246,0) c synthesis       59927 conflicts  1393438768 propagations       87 conflicts/sec  2029206 propagations/sec
819.85/355.89	c (246,0) c real: 245.964 s, cpu: 686.692 s, memory: 4142.87 Mb
904.14/384.89	c (275,0) c
904.14/384.89	c (275,0) c |------------------------------------------------------------------------------------------------------------------------|
904.14/384.89	c (275,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
904.14/384.89	c (275,0) c |------------------------------------------------------------------------------------------------------------------------|
904.14/384.89	c (275,0) c |  0 |     90 |      70867 |      23200 |   417788 |    14378 |     4603 |     8467 |      409 |     2214 |  20 | 35.227 |
904.14/384.89	c (275,0) c |  1 |    140 |      81722 |      21530 |   402913 |    12697 |     4203 |     8931 |      496 |     2227 |  20 | 35.227 |
904.14/384.89	c (275,0) c |  2 |     99 |      73365 |      22262 |   411887 |    13419 |     4412 |     8763 |      501 |     2231 |  20 | 35.230 |
904.14/384.89	c (275,0) c 
904.14/384.89	c (275,0) c synthesis       66992 conflicts  1572047093 propagations       87 conflicts/sec  2039603 propagations/sec
904.14/384.89	c (275,0) c real: 274.964 s, cpu: 770.761 s, memory: 4142.87 Mb
989.21/413.89	c (304,0) c
989.21/413.89	c (304,0) c |------------------------------------------------------------------------------------------------------------------------|
989.21/413.89	c (304,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
989.21/413.89	c (304,0) c |------------------------------------------------------------------------------------------------------------------------|
989.21/413.89	c (304,0) c |  0 |    100 |      78372 |      25586 |   451061 |     9376 |     5019 |     9400 |      496 |     2463 |  20 | 35.240 |
989.21/413.89	c (304,0) c |  1 |    157 |      91111 |      24188 |   438070 |     7977 |     4700 |     9858 |      587 |     2482 |  20 | 35.242 |
989.21/413.89	c (304,0) c |  2 |    115 |      81425 |      24650 |   446471 |     8447 |     4895 |     9684 |      583 |     2482 |  20 | 35.242 |
989.21/413.89	c (304,0) c 
989.21/413.89	c (304,0) c synthesis       74424 conflicts  1752804828 propagations       87 conflicts/sec  2048483 propagations/sec
989.21/413.89	c (304,0) c real: 303.964 s, cpu: 855.66 s, memory: 4142.87 Mb
1073.15/442.89	c (333,0) c
1073.15/442.89	c (333,0) c |------------------------------------------------------------------------------------------------------------------------|
1073.15/442.89	c (333,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1073.15/442.89	c (333,0) c |------------------------------------------------------------------------------------------------------------------------|
1073.15/442.89	c (333,0) c |  0 |    116 |      86372 |      27988 |   482346 |    11777 |     5497 |    10320 |      587 |     2710 |  20 | 35.255 |
1073.15/442.89	c (333,0) c |  1 |    171 |      99509 |      26636 |   469096 |    10418 |     5133 |    10881 |      679 |     2724 |  20 | 35.255 |
1073.15/442.89	c (333,0) c |  2 |    130 |      89886 |      27184 |   478598 |    10980 |     5433 |    10554 |      674 |     2730 |  20 | 35.255 |
1073.15/442.89	c (333,0) c 
1073.15/442.89	c (333,0) c synthesis       81808 conflicts  1932189958 propagations       87 conflicts/sec  2057065 propagations/sec
1073.15/442.89	c (333,0) c real: 332.964 s, cpu: 939.294 s, memory: 4142.87 Mb
1159.35/471.89	c (362,0) c
1159.35/471.89	c (362,0) c |------------------------------------------------------------------------------------------------------------------------|
1159.35/471.89	c (362,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1159.35/471.89	c (362,0) c |------------------------------------------------------------------------------------------------------------------------|
1159.35/471.89	c (362,0) c |  0 |    126 |      95540 |      31010 |   515739 |    14794 |     6052 |    11429 |      728 |     2959 |  20 | 35.271 |
1159.35/471.89	c (362,0) c |  1 |    187 |     109390 |      29308 |   498267 |    13083 |     5631 |    11934 |      785 |     2970 |  20 | 35.273 |
1159.35/471.89	c (362,0) c |  2 |    134 |      96879 |      29897 |   508708 |    13685 |     5984 |    11618 |      758 |     2977 |  20 | 35.273 |
1159.35/471.89	c (362,0) c 
1159.35/471.89	c (362,0) c synthesis       90215 conflicts  2123116399 propagations       88 conflicts/sec  2070728 propagations/sec
1159.35/471.89	c (362,0) c real: 361.964 s, cpu: 1025.3 s, memory: 4142.87 Mb
1246.10/500.89	c (391,0) c
1246.10/500.89	c (391,0) c |------------------------------------------------------------------------------------------------------------------------|
1246.10/500.89	c (391,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1246.10/500.89	c (391,0) c |------------------------------------------------------------------------------------------------------------------------|
1246.10/500.89	c (391,0) c |  0 |    130 |     108652 |      34205 |   546512 |    17989 |     7103 |    12491 |      826 |     3227 |  20 | 35.277 |
1246.10/500.89	c (391,0) c |  1 |    202 |     117645 |      31948 |   530291 |    15723 |     6133 |    13292 |      887 |     3223 |  20 | 35.277 |
1246.10/500.89	c (391,0) c |  2 |    150 |     106656 |      32673 |   539895 |    16457 |     6513 |    13153 |      869 |     3240 |  20 | 35.280 |
1246.10/500.89	c (391,0) c 
1246.10/500.89	c (391,0) c synthesis       98826 conflicts  2315123776 propagations       89 conflicts/sec  2082463 propagations/sec
1246.10/500.89	c (391,0) c real: 390.964 s, cpu: 1111.72 s, memory: 4142.87 Mb
1331.29/529.89	c (420,0) c
1331.29/529.89	c (420,0) c |------------------------------------------------------------------------------------------------------------------------|
1331.29/529.89	c (420,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1331.29/529.89	c (420,0) c |------------------------------------------------------------------------------------------------------------------------|
1331.29/529.89	c (420,0) c |  0 |    141 |     116120 |      36798 |   573760 |    10714 |     7523 |    13478 |      913 |     3474 |  20 | 35.287 |
1331.29/529.89	c (420,0) c |  1 |    220 |     127462 |      34467 |   557276 |    18241 |     6574 |    14441 |      956 |     3472 |  20 | 35.287 |
1331.29/529.89	c (420,0) c |  2 |    159 |     117393 |      35692 |   566957 |    19469 |     7077 |    14032 |      998 |     3492 |  20 | 35.288 |
1331.29/529.89	c (420,0) c 
1331.29/529.89	c (420,0) c synthesis      106957 conflicts  2500541483 propagations       89 conflicts/sec  2089603 propagations/sec
1331.29/529.89	c (420,0) c real: 419.964 s, cpu: 1196.66 s, memory: 4142.87 Mb
1416.55/558.89	c (449,0) c
1416.55/558.89	c (449,0) c |------------------------------------------------------------------------------------------------------------------------|
1416.55/558.89	c (449,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1416.55/558.89	c (449,0) c |------------------------------------------------------------------------------------------------------------------------|
1416.55/558.89	c (449,0) c |  0 |    151 |     123524 |      39674 |   601044 |    13588 |     7985 |    14327 |     1060 |     3721 |  20 | 35.298 |
1416.55/558.89	c (449,0) c |  1 |    234 |     137340 |      37240 |   583658 |    11154 |     7176 |    15285 |     1063 |     3725 |  20 | 35.298 |
1416.55/558.89	c (449,0) c |  2 |    169 |     124086 |      38026 |   593525 |    11912 |     7454 |    15128 |     1098 |     3741 |  20 | 35.298 |
1416.55/558.89	c (449,0) c 
1416.55/558.89	c (449,0) c synthesis      114940 conflicts  2685374401 propagations       90 conflicts/sec  2095321 propagations/sec
1416.55/558.89	c (449,0) c real: 448.964 s, cpu: 1281.61 s, memory: 4142.87 Mb
1500.56/587.89	c (478,0) c
1500.56/587.89	c (478,0) c |------------------------------------------------------------------------------------------------------------------------|
1500.56/587.89	c (478,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
1500.86/587.90	c (478,0) c |------------------------------------------------------------------------------------------------------------------------|
1500.86/587.90	c (478,0) c |  0 |    164 |     130423 |      42121 |   624539 |    16033 |     8377 |    15425 |     1181 |     3961 |  20 | 35.308 |
1500.86/587.90	c (478,0) c |  1 |    257 |     145877 |      39725 |   609194 |    13633 |     7652 |    16212 |     1164 |     3970 |  20 | 35.309 |
1500.86/587.90	c (478,0) c |  2 |    184 |     134422 |      40551 |   618645 |    14433 |     7906 |    15995 |     1198 |     3981 |  20 | 35.309 |
1500.86/587.90	c (478,0) c 
1500.86/587.90	c (478,0) c synthesis      122397 conflicts  2864819060 propagations       90 conflicts/sec  2098081 propagations/sec
1500.86/587.90	c (478,0) c real: 477.964 s, cpu: 1365.45 s, memory: 4142.87 Mb
1546.16/603.23	c (494,0) c
1546.16/603.23	c (494,0) c real time : 493.305 s
1546.16/603.23	c (494,0) c cpu time  : 1410.71 s
1546.16/603.23	c (494,0) c
1546.16/603.23	c (494,0) c
1546.16/603.23	c (494,0) c
1546.16/603.23	c (494,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1546.16/603.23	c (494,0) c
1546.16/603.23	c (494,0) c |---------------|-----------------|------------|------------|------------|
1546.16/603.23	c (494,0) c | Threads       |      Total      |          0 |          1 |          2 |
1546.16/603.23	c (494,0) c |---------------|-----------------|------------|------------|------------|
1546.16/603.23	c (494,0) c | Conflicts     |          126432 |      43507 |      41167 |      41758 |
1546.16/603.23	c (494,0) c | Decisions     |          437638 |     135140 |     163826 |     138672 |
1546.16/603.23	c (494,0) c | Propagations  |      2963094153 |  971550430 | 1008386386 |  983157337 |
1546.16/603.23	c (494,0) c | ReduceDBs     |              15 |          5 |          5 |          5 |
1546.16/603.23	c (494,0) c | SimpDBs       |              71 |         23 |         24 |         24 |
1546.16/603.23	c (494,0) c | Restarts      |             620 |        169 |        263 |        188 |
1546.16/603.23	c (494,0) c | ForcedImports |               0 |          0 |          0 |          0 |
1546.16/603.23	c (494,0) c | PropBinClauses|      9051258893 | 3003647989 | 3027477920 | 3020132984 |
1546.16/603.23	c (494,0) c | PropPreBlocker|     55937794440 |18688427866 |18557701414 |18691665160 |
1546.16/603.23	c (494,0) c | PropNotBlocker|      5082632067 | 1650940532 | 1735702484 | 1695989051 |
1546.16/603.23	c (494,0) c | LitFullScans  |     73885062919 |24596005285 |24597456450 |24691601184 |
1546.16/603.23	c (494,0) c | LitScanFracts |        13125588 |    4264548 |    4405655 |    4455385 |
1546.16/603.23	c (494,0) c | DecisionLevel0|            1008 |        264 |        410 |        334 |
1546.16/603.23	c (494,0) c | Periods       |           12304 |       4096 |       4096 |       4112 |
1546.16/603.23	c (494,0) c | Margin        |              60 |         20 |         20 |         20 |
1546.16/603.23	c (494,0) c | Avg_Trail     |                 |     685688 |     682082 |     678377 |
1546.16/603.23	c (494,0) c | Avg_DL        |                 |         61 |         60 |         61 |
1546.16/603.23	c (494,0) c | Avg_Res       |                 |          0 |          0 |          0 |
1546.16/603.23	c (494,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |
1546.16/603.23	c (494,0) c |---------------|-----------------|------------|------------|------------|
1546.16/603.23	c (494,0) c | Exported      |           24770 |       8634 |       7977 |       8159 |
1546.16/603.23	c (494,0) c | Imported      |           48868 |      15821 |      16541 |      16506 |
1546.16/603.23	c (494,0) c | Good          |            1189 |        370 |        390 |        429 |
1546.16/603.23	c (494,0) c | Purge         |           47679 |      15451 |      16151 |      16077 |
1546.16/603.23	c (494,0) c | Promoted      |            3731 |       1224 |       1247 |       1260 |
1546.16/603.23	c (494,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |
1546.16/603.23	c (494,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |
1546.16/603.23	c (494,0) c |---------------|-----------------|------------|------------|------------|
1546.16/603.23	c (494,0) c | Unaries       |                 |         95 |        147 |        146 |
1546.16/603.23	c (494,0) c | Binaries      |                 |        221 |        213 |        173 |
1546.16/603.23	c (494,0) c | Glues         |                 |       3906 |       4207 |       3740 |
1546.16/603.23	c (494,0) c |---------------|-----------------|------------|------------|------------|
1546.16/603.23	c (494,0) c | Orig_Seen     |             4 % |     639259 |     620439 |     630714 |
1546.16/603.23	c (494,0) c | Diff Orig seen|                 |      18820 |      X     |      10275 |
1546.16/603.23	c (494,0) c | Hamming       |            13 % |     107495 |      X     |     129064 |
1546.16/603.23	c (494,0) c |---------------|-----------------|------------|------------|------------|
1546.16/603.23	c (494,0) c | RunningTime   |                 |  480.0 100%|  476.6  99%|  449.8  94%|
1546.16/603.23	c (494,0) c | WaitingTime   |                 |    0.0   0%|    3.3   1%|   30.2   6%|
1546.16/603.23	c (494,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|
1546.16/603.23	c (494,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|
1546.16/603.23	c (494,0) c | SolvingTime   |                 |  480.1     |  480.0     |  480.1     |
1546.16/603.23	c (494,0) c | PropagationTim|                 |  455.2  95%|  455.3  95%|  450.7  94%|
1546.16/603.23	c (494,0) c | AnalysisTime  |                 |    5.3   1%|    4.3   1%|    5.0   1%|
1546.16/603.23	c (494,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|
1546.16/603.23	c (494,0) c | SimplifyTime  |                 |    9.1   2%|   10.5   2%|   14.3   3%|
1546.16/603.23	c (494,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|
1546.16/603.23	c (494,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|
1546.16/603.23	c (494,0) c |---------------|-----------------|------------|------------|------------|
1546.16/603.23	c (494,0) c
1546.16/603.23	c (494,0) c
1546.16/603.23	c (494,0) c Threads : 3
1546.16/603.23	c (494,0) c Winner : 1
1546.16/603.23	c (494,0) c Conflicts_0 : 43507
1546.16/603.23	c (494,0) c Conflicts_1 : 41167
1546.16/603.23	c (494,0) c Conflicts_2 : 41758
1546.16/603.23	c (494,0) c Conflicts_total : 126432
1546.16/603.23	c (494,0) c Conflicts_winner : 41167
1546.16/603.23	c (494,0) c Decisions_0 : 135140
1546.16/603.23	c (494,0) c Decisions_1 : 163826
1546.16/603.23	c (494,0) c Decisions_2 : 138672
1546.16/603.23	c (494,0) c Decisions_total : 437638
1546.16/603.23	c (494,0) c Decisions_winner : 163826
1546.16/603.23	c (494,0) c Propagations_0 : 971550430
1546.16/603.23	c (494,0) c Propagations_1 : 1008386386
1546.16/603.23	c (494,0) c Propagations_2 : 983157337
1546.16/603.23	c (494,0) c Propagations_total : 2963094153
1546.16/603.23	c (494,0) c Propagations_winner : 1008386386
1546.16/603.23	c (494,0) c ReduceDBs_0 : 5
1546.16/603.23	c (494,0) c ReduceDBs_1 : 5
1546.16/603.23	c (494,0) c ReduceDBs_2 : 5
1546.16/603.23	c (494,0) c ReduceDBs_total : 15
1546.16/603.23	c (494,0) c ReduceDBs_winner : 5
1546.16/603.23	c (494,0) c SimpDBs_0 : 23
1546.16/603.23	c (494,0) c SimpDBs_1 : 24
1546.16/603.23	c (494,0) c SimpDBs_2 : 24
1546.16/603.23	c (494,0) c SimpDBs_total : 71
1546.16/603.23	c (494,0) c SimpDBs_winner : 24
1546.16/603.23	c (494,0) c Restarts_0 : 169
1546.16/603.23	c (494,0) c Restarts_1 : 263
1546.16/603.23	c (494,0) c Restarts_2 : 188
1546.16/603.23	c (494,0) c Restarts_total : 620
1546.16/603.23	c (494,0) c Restarts_winner : 263
1546.16/603.23	c (494,0) c ForcedImports_0 : 0
1546.16/603.23	c (494,0) c ForcedImports_1 : 0
1546.16/603.23	c (494,0) c ForcedImports_2 : 0
1546.16/603.23	c (494,0) c ForcedImports_total : 0
1546.16/603.23	c (494,0) c ForcedImports_winner : 0
1546.16/603.23	c (494,0) c PropsBinClauses_0 : 3003647989
1546.16/603.23	c (494,0) c PropsBinClauses_1 : 3027477920
1546.16/603.23	c (494,0) c PropsBinClauses_2 : 3020132984
1546.16/603.23	c (494,0) c PropsBinClauses_total : 9051258893
1546.16/603.23	c (494,0) c PropsBinClauses_winner : 3027477920
1546.16/603.23	c (494,0) c PropsPreBlocker_0 : 18688427866
1546.16/603.23	c (494,0) c PropsPreBlocker_1 : 18557701414
1546.16/603.23	c (494,0) c PropsPreBlocker_2 : 18691665160
1546.16/603.23	c (494,0) c PropsPreBlocker_total : 55937794440
1546.16/603.23	c (494,0) c PropsPreBlocker_winner : 18557701414
1546.16/603.23	c (494,0) c PropsNotBlocker_0 : 1650940532
1546.16/603.23	c (494,0) c PropsNotBlocker_1 : 1735702484
1546.16/603.23	c (494,0) c PropsNotBlocker_2 : 1695989051
1546.16/603.23	c (494,0) c PropsNotBlocker_total : 5082632067
1546.16/603.23	c (494,0) c PropsNotBlocker_winner : 1735702484
1546.16/603.23	c (494,0) c PropsLitFullScans_0 : 24596005285
1546.16/603.23	c (494,0) c PropsLitFullScans_1 : 24597456450
1546.16/603.23	c (494,0) c PropsLitFullScans_2 : 24691601184
1546.16/603.23	c (494,0) c PropsLitFullScans_total : 73885062919
1546.16/603.23	c (494,0) c PropsLitFullScans_winner : 24597456450
1546.16/603.23	c (494,0) c LitScanFractions_0 : 4264548
1546.16/603.23	c (494,0) c LitScanFractions_1 : 4405655
1546.16/603.23	c (494,0) c LitScanFractions_2 : 4455385
1546.16/603.23	c (494,0) c LitScanFractions_total : 13125588
1546.16/603.23	c (494,0) c LitScanFractions_winner : 4405655
1546.16/603.23	c (494,0) c DecisionLevel0_0 : 264
1546.16/603.23	c (494,0) c DecisionLevel0_1 : 410
1546.16/603.23	c (494,0) c DecisionLevel0_2 : 334
1546.16/603.23	c (494,0) c DecisionLevel0_total : 1008
1546.16/603.23	c (494,0) c DecisionLevel0_winner : 410
1546.16/603.23	c (494,0) c Periods_0 : 4096
1546.16/603.23	c (494,0) c Periods_1 : 4096
1546.16/603.23	c (494,0) c Periods_2 : 4112
1546.16/603.23	c (494,0) c Periods_total : 12304
1546.16/603.23	c (494,0) c Periods_winner : 4096
1546.16/603.23	c (494,0) c Margin_0 : 20
1546.16/603.23	c (494,0) c Margin_1 : 20
1546.16/603.23	c (494,0) c Margin_2 : 20
1546.16/603.23	c (494,0) c Margin_total : 60
1546.16/603.23	c (494,0) c Margin_winner : 20
1546.16/603.23	c (494,0) c Exported_0 : 8634
1546.16/603.23	c (494,0) c Exported_1 : 7977
1546.16/603.23	c (494,0) c Exported_2 : 8159
1546.16/603.23	c (494,0) c Exported_total : 24770
1546.16/603.23	c (494,0) c Exported_winner : 7977
1546.16/603.23	c (494,0) c Imported_0 : 15821
1546.16/603.23	c (494,0) c Imported_1 : 16541
1546.16/603.23	c (494,0) c Imported_2 : 16506
1546.16/603.23	c (494,0) c Imported_total : 48868
1546.16/603.23	c (494,0) c Imported_winner : 16541
1546.16/603.23	c (494,0) c Good_0 : 370
1546.16/603.23	c (494,0) c Good_1 : 390
1546.16/603.23	c (494,0) c Good_2 : 429
1546.16/603.23	c (494,0) c Good_total : 1189
1546.16/603.24	c (494,0) c Good_winner : 390
1546.16/603.24	c (494,0) c Purge_0 : 15451
1546.16/603.24	c (494,0) c Purge_1 : 16151
1546.16/603.24	c (494,0) c Purge_2 : 16077
1546.16/603.24	c (494,0) c Purge_total : 47679
1546.16/603.24	c (494,0) c Purge_winner : 16151
1546.16/603.24	c (494,0) c Promoted_0 : 1224
1546.16/603.24	c (494,0) c Promoted_1 : 1247
1546.16/603.24	c (494,0) c Promoted_2 : 1260
1546.16/603.24	c (494,0) c Promoted_total : 3731
1546.16/603.24	c (494,0) c Promoted_winner : 1247
1546.16/603.24	c (494,0) c Remove_Imp_0 : 0
1546.16/603.24	c (494,0) c Remove_Imp_1 : 0
1546.16/603.24	c (494,0) c Remove_Imp_2 : 0
1546.16/603.24	c (494,0) c Remove_Imp_total : 0
1546.16/603.24	c (494,0) c Remove_Imp_winner : 0
1546.16/603.24	c (494,0) c Blocked_Reuse_0 : 0
1546.16/603.24	c (494,0) c Blocked_Reuse_1 : 0
1546.16/603.24	c (494,0) c Blocked_Reuse_2 : 0
1546.16/603.24	c (494,0) c Blocked_Reuse_total : 0
1546.16/603.24	c (494,0) c Blocked_Reuse_winner : 0
1546.16/603.24	c (494,0) c Unaries_0 : 95
1546.16/603.24	c (494,0) c Unaries_1 : 147
1546.16/603.24	c (494,0) c Unaries_2 : 146
1546.16/603.24	c (494,0) c Unaries_total : 388
1546.16/603.24	c (494,0) c Unaries_winner : 147
1546.16/603.24	c (494,0) c Binaries_0 : 221
1546.16/603.24	c (494,0) c Binaries_1 : 213
1546.16/603.24	c (494,0) c Binaries_2 : 173
1546.16/603.24	c (494,0) c Binaries_total : 607
1546.16/603.24	c (494,0) c Binaries_winner : 213
1546.16/603.24	c (494,0) c Glues_0 : 3906
1546.16/603.24	c (494,0) c Glues_1 : 4207
1546.16/603.24	c (494,0) c Glues_2 : 3740
1546.16/603.24	c (494,0) c Glues_total : 11853
1546.16/603.24	c (494,0) c Glues_winner : 4207
1546.16/603.24	c (494,0) c RunningTime_0 : 480.034984
1546.16/603.24	c (494,0) c RunningTime_1 : 476.564049
1546.16/603.24	c (494,0) c RunningTime_2 : 449.834756
1546.16/603.24	c (494,0) c RunningTime_total : 1406.433789
1546.16/603.24	c (494,0) c RunningTime_winner : 476.564049
1546.16/603.24	c (494,0) c WaitingTime_0 : 0.001392
1546.16/603.24	c (494,0) c WaitingTime_1 : 3.344388
1546.16/603.24	c (494,0) c WaitingTime_2 : 30.177235
1546.16/603.24	c (494,0) c WaitingTime_total : 33.523015
1546.16/603.24	c (494,0) c WaitingTime_winner : 3.344388
1546.16/603.24	c (494,0) c ExchangingTime_0 : 0.035050
1546.16/603.24	c (494,0) c ExchangingTime_1 : 0.039891
1546.16/603.24	c (494,0) c ExchangingTime_2 : 0.037123
1546.16/603.24	c (494,0) c ExchangingTime_total : 0.112065
1546.16/603.24	c (494,0) c ExchangingTime_winner : 0.039891
1546.16/603.24	c (494,0) c PeriodProcTime_0 : 0.042171
1546.16/603.24	c (494,0) c PeriodProcTime_1 : 0.035694
1546.16/603.24	c (494,0) c PeriodProcTime_2 : 0.033753
1546.16/603.24	c (494,0) c PeriodProcTime_total : 0.111617
1546.16/603.24	c (494,0) c PeriodProcTime_winner : 0.035694
1546.16/603.24	c (494,0) c SolvingTime_0 : 480.113597
1546.16/603.24	c (494,0) c SolvingTime_1 : 479.984021
1546.16/603.24	c (494,0) c SolvingTime_2 : 480.082868
1546.16/603.24	c (494,0) c SolvingTime_total : 1440.180486
1546.16/603.24	c (494,0) c SolvingTime_winner : 479.984021
1546.16/603.24	c (494,0) c PropagationTime_0 : 455.186795
1546.16/603.24	c (494,0) c PropagationTime_1 : 455.321405
1546.16/603.24	c (494,0) c PropagationTime_2 : 450.737270
1546.16/603.24	c (494,0) c PropagationTime_total : 1361.245470
1546.16/603.24	c (494,0) c PropagationTime_winner : 455.321405
1546.16/603.24	c (494,0) c AnalysisTime_0 : 5.330792
1546.16/603.24	c (494,0) c AnalysisTime_1 : 4.342165
1546.16/603.24	c (494,0) c AnalysisTime_2 : 5.013520
1546.16/603.24	c (494,0) c AnalysisTime_total : 14.686476
1546.16/603.24	c (494,0) c AnalysisTime_winner : 4.342165
1546.16/603.24	c (494,0) c ReductionTime_0 : 0.013175
1546.16/603.24	c (494,0) c ReductionTime_1 : 0.014141
1546.16/603.24	c (494,0) c ReductionTime_2 : 0.013400
1546.16/603.24	c (494,0) c ReductionTime_total : 0.040716
1546.16/603.24	c (494,0) c ReductionTime_winner : 0.014141
1546.16/603.24	c (494,0) c SimplifyTime_0 : 9.134877
1546.16/603.24	c (494,0) c SimplifyTime_1 : 10.538015
1546.16/603.24	c (494,0) c SimplifyTime_2 : 14.326495
1546.16/603.24	c (494,0) c SimplifyTime_total : 33.999388
1546.16/603.24	c (494,0) c SimplifyTime_winner : 10.538015
1546.16/603.24	c (494,0) c UsedRateTime_0 : 0.000000
1546.16/603.24	c (494,0) c UsedRateTime_1 : 0.000000
1546.16/603.24	c (494,0) c UsedRateTime_2 : 0.000000
1546.16/603.24	c (494,0) c UsedRateTime_total : 0.000000
1546.16/603.24	c (494,0) c UsedRateTime_winner : 0.000000
1546.16/603.24	c (494,0) c OverlapRateTime_0 : 0.000000
1546.16/603.24	c (494,0) c OverlapRateTime_1 : 0.000000
1546.16/603.24	c (494,0) c OverlapRateTime_2 : 0.000000
1546.16/603.24	c (494,0) c OverlapRateTime_total : 0.000000
1546.16/603.24	c (494,0) c OverlapRateTime_winner : 0.000000
1546.16/603.24	c (494,0) c
1546.16/603.24	c (494,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1546.16/603.24	c (494,0) c
1546.16/603.24	c (494,0) c |-----------------------|------------|------------|------------|
1546.16/603.24	c (494,0) c | Threads               |          0 |          1 |          2 |
1546.16/603.24	c (494,0) c |-----------------------|------------|------------|------------|
1546.16/603.24	c (494,0) c | randomizeFirstDescent |      False |       True |       True |
1546.16/603.24	c (494,0) c | adaptStrategeis       |       True |      False |       True |
1546.16/603.24	c (494,0) c | forceUnsatOnNewDescent|       True |       True |      False |
1546.16/603.24	c (494,0) c | Initial random_seed   | 2056653908 | 1215092873 | 1570658206 |
1546.16/603.24	c (494,0) c | chanseokStrategy      |      False |      False |      False |
1546.16/603.24	c (494,0) c | coLBDBound            |          5 |          5 |          5 |
1546.16/603.24	c (494,0) c | glureduce             |       True |       True |       True |
1546.16/603.24	c (494,0) c | firstReduceDB         |       2000 |       2000 |       2000 |
1546.16/603.24	c (494,0) c | incReduceDB           |        300 |        300 |        300 |
1546.16/603.24	c (494,0) c | luby_restart          |      False |      False |      False |
1546.16/603.24	c (494,0) c | luby_restart_factor   |        100 |        100 |        100 |
1546.16/603.24	c (494,0) c | var_decay             |     0.8800 |     0.8800 |     0.8800 |
1546.16/603.24	c (494,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |
1546.16/603.24	c (494,0) c | randomize_on_restarts |      False |      False |      False |
1546.16/603.24	c (494,0) c | remove_satisfied      |       True |       True |       True |
1546.16/603.24	c (494,0) c |-----------------------|------------|------------|------------|
1546.16/603.24	c (494,0) 
1546.16/603.24	c (494,0) s SATISFIABLE
126.91/603.75	c (494,0) SatSolver.solve End
126.91/603.75	c (494,0) Heap : 273 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
126.91/603.75	c (494,0) Show results Begin
1547.70/603.95	c (494,0) x0 = 20
1547.70/603.95	c (494,0) x1 = 19
1547.70/603.95	c (494,0) x10 = 365
1547.70/603.95	c (494,0) x100 = 708
1547.70/603.95	c (494,0) x101 = 707
1547.70/603.95	c (494,0) x102 = 933
1547.70/603.95	c (494,0) x103 = 932
1547.70/603.95	c (494,0) x104 = 1066
1547.70/603.95	c (494,0) x105 = 1065
1547.70/603.95	c (494,0) x106 = 1122
1547.70/603.95	c (494,0) x107 = 1121
1547.70/603.95	c (494,0) x108 = 1265
1547.70/603.95	c (494,0) x109 = 1266
1547.70/603.95	c (494,0) x11 = 366
1547.70/603.95	c (494,0) x110 = 1346
1547.70/603.95	c (494,0) x111 = 1345
1547.70/603.95	c (494,0) x112 = 1366
1547.70/603.95	c (494,0) x113 = 1367
1547.70/603.95	c (494,0) x114 = 1413
1547.70/603.95	c (494,0) x115 = 1414
1547.70/603.95	c (494,0) x116 = 1538
1547.70/603.95	c (494,0) x117 = 1537
1547.70/603.95	c (494,0) x118 = 1643
1547.70/603.95	c (494,0) x119 = 1642
1547.70/603.95	c (494,0) x12 = 436
1547.70/603.95	c (494,0) x120 = 0
1547.70/603.95	c (494,0) x121 = 1
1547.70/603.95	c (494,0) x122 = 53
1547.70/603.95	c (494,0) x123 = 52
1547.70/603.95	c (494,0) x124 = 105
1547.70/603.95	c (494,0) x125 = 104
1547.70/603.95	c (494,0) x126 = 172
1547.70/603.95	c (494,0) x127 = 173
1547.70/603.95	c (494,0) x128 = 198
1547.70/603.95	c (494,0) x129 = 199
1547.70/603.95	c (494,0) x13 = 435
1547.70/603.95	c (494,0) x130 = 262
1547.70/603.95	c (494,0) x131 = 263
1547.70/603.95	c (494,0) x132 = 389
1547.70/603.95	c (494,0) x133 = 390
1547.70/603.95	c (494,0) x134 = 461
1547.70/603.95	c (494,0) x135 = 462
1547.70/603.95	c (494,0) x136 = 483
1547.70/603.95	c (494,0) x137 = 482
1547.70/603.95	c (494,0) x138 = 504
1547.70/603.95	c (494,0) x139 = 505
1547.70/603.95	c (494,0) x14 = 480
1547.70/603.95	c (494,0) x140 = 625
1547.70/603.95	c (494,0) x141 = 626
1547.70/603.95	c (494,0) x142 = 633
1547.70/603.95	c (494,0) x143 = 634
1547.70/603.95	c (494,0) x144 = 725
1547.70/603.95	c (494,0) x145 = 724
1547.70/603.95	c (494,0) x146 = 734
1547.70/603.95	c (494,0) x147 = 733
1547.70/603.95	c (494,0) x148 = 919
1547.70/603.95	c (494,0) x149 = 920
1547.70/603.95	c (494,0) x15 = 479
1547.70/603.95	c (494,0) x150 = 1014
1547.70/603.95	c (494,0) x151 = 1015
1547.70/603.95	c (494,0) x152 = 1350
1547.70/603.95	c (494,0) x153 = 1351
1547.70/603.95	c (494,0) x154 = 1445
1547.70/603.95	c (494,0) x155 = 1444
1547.70/603.95	c (494,0) x156 = 1527
1547.70/603.95	c (494,0) x157 = 1526
1547.70/603.95	c (494,0) x158 = 1610
1547.70/603.95	c (494,0) x159 = 1609
1547.70/603.95	c (494,0) x16 = 641
1547.70/603.95	c (494,0) x160 = 0
1547.70/603.95	c (494,0) x161 = 1
1547.70/603.95	c (494,0) x162 = 30
1547.70/603.95	c (494,0) x163 = 29
1547.70/603.95	c (494,0) x164 = 107
1547.70/603.95	c (494,0) x165 = 106
1547.70/603.95	c (494,0) x166 = 196
1547.70/603.95	c (494,0) x167 = 197
1547.70/603.95	c (494,0) x168 = 262
1547.70/603.95	c (494,0) x169 = 263
1547.70/603.95	c (494,0) x17 = 642
1547.70/603.95	c (494,0) x170 = 383
1547.70/603.95	c (494,0) x171 = 384
1547.70/603.95	c (494,0) x172 = 459
1547.70/603.95	c (494,0) x173 = 460
1547.70/603.95	c (494,0) x174 = 478
1547.70/603.95	c (494,0) x175 = 477
1547.70/603.95	c (494,0) x176 = 493
1547.70/603.95	c (494,0) x177 = 494
1547.70/603.95	c (494,0) x178 = 589
1547.70/603.95	c (494,0) x179 = 588
1547.70/603.95	c (494,0) x18 = 771
1547.70/603.95	c (494,0) x180 = 601
1547.70/603.95	c (494,0) x181 = 602
1547.70/603.95	c (494,0) x182 = 626
1547.70/603.95	c (494,0) x183 = 627
1547.70/603.95	c (494,0) x184 = 636
1547.70/603.95	c (494,0) x185 = 635
1547.70/603.95	c (494,0) x186 = 649
1547.70/603.95	c (494,0) x187 = 648
1547.70/603.95	c (494,0) x188 = 700
1547.70/603.95	c (494,0) x189 = 699
1547.70/603.95	c (494,0) x19 = 770
1547.70/603.95	c (494,0) x190 = 735
1547.70/603.95	c (494,0) x191 = 734
1547.70/603.95	c (494,0) x192 = 770
1547.70/603.95	c (494,0) x193 = 771
1547.70/603.95	c (494,0) x194 = 874
1547.70/603.95	c (494,0) x195 = 875
1547.70/603.95	c (494,0) x196 = 1604
1547.70/603.95	c (494,0) x197 = 1605
1547.70/603.95	c (494,0) x198 = 1676
1547.70/603.95	c (494,0) x199 = 1675
1547.70/603.95	c (494,0) x2 = 191
1547.70/603.95	c (494,0) x20 = 809
1547.70/603.95	c (494,0) x200 = 0
1547.70/603.95	c (494,0) x201 = 1
1547.70/603.95	c (494,0) x202 = 36
1547.70/603.95	c (494,0) x203 = 35
1547.70/603.95	c (494,0) x204 = 94
1547.70/603.95	c (494,0) x205 = 95
1547.70/603.95	c (494,0) x206 = 185
1547.70/603.95	c (494,0) x207 = 184
1547.70/603.95	c (494,0) x208 = 259
1547.70/603.95	c (494,0) x209 = 260
1547.70/603.95	c (494,0) x21 = 808
1547.70/603.95	c (494,0) x210 = 327
1547.70/603.95	c (494,0) x211 = 326
1547.70/603.95	c (494,0) x212 = 460
1547.70/603.95	c (494,0) x213 = 459
1547.70/603.95	c (494,0) x214 = 532
1547.70/603.95	c (494,0) x215 = 533
1547.70/603.95	c (494,0) x216 = 555
1547.70/603.95	c (494,0) x217 = 556
1547.70/603.95	c (494,0) x218 = 564
1547.70/603.95	c (494,0) x219 = 798
1547.70/603.95	c (494,0) x22 = 824
1547.70/603.95	c (494,0) x220 = 865
1547.70/603.95	c (494,0) x221 = 771
1547.70/603.95	c (494,0) x222 = 878
1547.70/603.95	c (494,0) x223 = 879
1547.70/603.95	c (494,0) x224 = 972
1547.70/603.95	c (494,0) x225 = 971
1547.70/603.95	c (494,0) x226 = 1092
1547.70/603.95	c (494,0) x227 = 1091
1547.70/603.95	c (494,0) x228 = 1172
1547.70/603.95	c (494,0) x229 = 1173
1547.70/603.95	c (494,0) x23 = 825
1547.70/603.95	c (494,0) x230 = 1204
1547.70/603.95	c (494,0) x231 = 1311
1547.70/603.95	c (494,0) x232 = 1348
1547.70/603.95	c (494,0) x233 = 1349
1547.70/603.95	c (494,0) x234 = 1448
1547.70/603.95	c (494,0) x235 = 1449
1547.70/603.95	c (494,0) x236 = 1518
1547.70/603.95	c (494,0) x237 = 1517
1547.70/603.95	c (494,0) x238 = 1598
1547.70/603.95	c (494,0) x239 = 1599
1547.70/603.95	c (494,0) x24 = 913
1547.70/603.95	c (494,0) x240 = 0
1547.70/603.95	c (494,0) x241 = 1
1547.70/603.95	c (494,0) x242 = 104
1547.70/603.95	c (494,0) x243 = 105
1547.70/603.95	c (494,0) x244 = 168
1547.70/603.95	c (494,0) x245 = 167
1547.70/603.95	c (494,0) x246 = 183
1547.70/603.95	c (494,0) x247 = 184
1547.70/603.95	c (494,0) x248 = 377
1547.70/603.95	c (494,0) x249 = 378
1547.70/603.95	c (494,0) x25 = 888
1547.70/603.95	c (494,0) x250 = 379
1547.70/603.95	c (494,0) x251 = 378
1547.70/603.95	c (494,0) x252 = 531
1547.70/603.95	c (494,0) x253 = 532
1547.70/603.95	c (494,0) x254 = 602
1547.70/603.95	c (494,0) x255 = 601
1547.70/603.95	c (494,0) x256 = 709
1547.70/603.95	c (494,0) x257 = 708
1547.70/603.95	c (494,0) x258 = 784
1547.70/603.95	c (494,0) x259 = 783
1547.70/603.95	c (494,0) x26 = 927
1547.70/603.95	c (494,0) x260 = 861
1547.70/603.95	c (494,0) x261 = 860
1547.70/603.95	c (494,0) x262 = 1025
1547.70/603.95	c (494,0) x263 = 1026
1547.70/603.95	c (494,0) x264 = 1117
1547.70/603.95	c (494,0) x265 = 1116
1547.70/603.95	c (494,0) x266 = 1324
1547.70/603.95	c (494,0) x267 = 1323
1547.70/603.95	c (494,0) x268 = 1342
1547.70/603.95	c (494,0) x269 = 1343
1547.70/603.95	c (494,0) x27 = 928
1547.70/603.95	c (494,0) x270 = 1401
1547.70/603.95	c (494,0) x271 = 1400
1547.70/603.95	c (494,0) x272 = 1430
1547.70/603.95	c (494,0) x273 = 1431
1547.70/603.95	c (494,0) x274 = 1518
1547.70/603.95	c (494,0) x275 = 1517
1547.70/603.95	c (494,0) x276 = 1575
1547.70/603.95	c (494,0) x277 = 1576
1547.70/603.95	c (494,0) x278 = 1621
1547.70/603.95	c (494,0) x279 = 1620
1547.70/603.95	c (494,0) x28 = 957
1547.70/603.95	c (494,0) x280 = 0
1547.70/603.95	c (494,0) x281 = 1
1547.70/603.95	c (494,0) x282 = 20
1547.70/603.95	c (494,0) x283 = 19
1547.70/603.95	c (494,0) x284 = 84
1547.70/603.95	c (494,0) x285 = 85
1547.70/603.95	c (494,0) x286 = 179
1547.70/603.96	c (494,0) x287 = 178
1547.70/603.96	c (494,0) x288 = 220
1547.70/603.96	c (494,0) x289 = 221
1547.70/603.96	c (494,0) x29 = 958
1547.70/603.96	c (494,0) x290 = 316
1547.70/603.96	c (494,0) x291 = 315
1547.70/603.96	c (494,0) x292 = 421
1547.70/603.96	c (494,0) x293 = 422
1547.70/603.96	c (494,0) x294 = 494
1547.70/603.96	c (494,0) x295 = 493
1547.70/603.96	c (494,0) x296 = 524
1547.70/603.96	c (494,0) x297 = 525
1547.70/603.96	c (494,0) x298 = 527
1547.70/603.96	c (494,0) x299 = 526
1547.70/603.96	c (494,0) x3 = 190
1547.70/603.96	c (494,0) x30 = 994
1547.70/603.96	c (494,0) x300 = 587
1547.70/603.96	c (494,0) x301 = 588
1547.70/603.96	c (494,0) x302 = 666
1547.70/603.96	c (494,0) x303 = 667
1547.70/603.96	c (494,0) x304 = 959
1547.70/603.96	c (494,0) x305 = 958
1547.70/603.96	c (494,0) x306 = 974
1547.70/603.96	c (494,0) x307 = 975
1547.70/603.96	c (494,0) x308 = 1033
1547.70/603.96	c (494,0) x309 = 1034
1547.70/603.96	c (494,0) x31 = 995
1547.70/603.96	c (494,0) x310 = 1428
1547.70/603.96	c (494,0) x311 = 1429
1547.70/603.96	c (494,0) x312 = 1599
1547.70/603.96	c (494,0) x313 = 1598
1547.70/603.96	c (494,0) x314 = 1635
1547.70/603.96	c (494,0) x315 = 1634
1547.70/603.96	c (494,0) x316 = 1657
1547.70/603.96	c (494,0) x317 = 1658
1547.70/603.96	c (494,0) x318 = 1676
1547.70/603.96	c (494,0) x319 = 1677
1547.70/603.96	c (494,0) x32 = 1122
1547.70/603.96	c (494,0) x320 = 201
1547.70/603.96	c (494,0) x321 = 200
1547.70/603.96	c (494,0) x322 = 395
1547.70/603.96	c (494,0) x323 = 396
1547.70/603.96	c (494,0) x324 = 469
1547.70/603.96	c (494,0) x325 = 468
1547.70/603.96	c (494,0) x326 = 563
1547.70/603.96	c (494,0) x327 = 562
1547.70/603.96	c (494,0) x328 = 640
1547.70/603.96	c (494,0) x329 = 639
1547.70/603.96	c (494,0) x33 = 1123
1547.70/603.96	c (494,0) x330 = 699
1547.70/603.96	c (494,0) x331 = 700
1547.70/603.96	c (494,0) x332 = 780
1547.70/603.96	c (494,0) x333 = 781
1547.70/603.96	c (494,0) x334 = 873
1547.70/603.96	c (494,0) x335 = 872
1547.70/603.96	c (494,0) x336 = 877
1547.70/603.96	c (494,0) x337 = 878
1547.70/603.96	c (494,0) x338 = 986
1547.70/603.96	c (494,0) x339 = 985
1547.70/603.96	c (494,0) x34 = 1169
1547.70/603.96	c (494,0) x340 = 1063
1547.70/603.96	c (494,0) x341 = 1064
1547.70/603.96	c (494,0) x342 = 1136
1547.70/603.96	c (494,0) x343 = 1135
1547.70/603.96	c (494,0) x344 = 1228
1547.70/603.96	c (494,0) x345 = 1229
1547.70/603.96	c (494,0) x346 = 1303
1547.70/603.96	c (494,0) x347 = 1302
1547.70/603.96	c (494,0) x348 = 1399
1547.70/603.96	c (494,0) x349 = 1398
1547.70/603.96	c (494,0) x35 = 1168
1547.70/603.96	c (494,0) x350 = 1440
1547.70/603.96	c (494,0) x351 = 1441
1547.70/603.96	c (494,0) x352 = 1450
1547.70/603.96	c (494,0) x353 = 1451
1547.70/603.96	c (494,0) x354 = 1497
1547.70/603.96	c (494,0) x355 = 1498
1547.70/603.96	c (494,0) x356 = 1520
1547.70/603.96	c (494,0) x357 = 1519
1547.70/603.96	c (494,0) x358 = 1600
1547.70/603.96	c (494,0) x359 = 1599
1547.70/603.96	c (494,0) x36 = 1220
1547.70/603.96	c (494,0) x360 = 46
1547.70/603.96	c (494,0) x361 = 45
1547.70/603.96	c (494,0) x362 = 187
1547.70/603.96	c (494,0) x363 = 188
1547.70/603.96	c (494,0) x364 = 302
1547.70/603.96	c (494,0) x365 = 303
1547.70/603.96	c (494,0) x366 = 340
1547.70/603.96	c (494,0) x367 = 339
1547.70/603.96	c (494,0) x368 = 426
1547.70/603.96	c (494,0) x369 = 427
1547.70/603.96	c (494,0) x37 = 1221
1547.70/603.96	c (494,0) x370 = 443
1547.70/603.96	c (494,0) x371 = 442
1547.70/603.96	c (494,0) x372 = 467
1547.70/603.96	c (494,0) x373 = 468
1547.70/603.96	c (494,0) x374 = 531
1547.70/603.96	c (494,0) x375 = 530
1547.70/603.96	c (494,0) x376 = 614
1547.70/603.96	c (494,0) x377 = 613
1547.70/603.96	c (494,0) x378 = 704
1547.70/603.96	c (494,0) x379 = 705
1547.70/603.96	c (494,0) x38 = 1311
1547.70/603.96	c (494,0) x380 = 791
1547.70/603.96	c (494,0) x381 = 790
1547.70/603.96	c (494,0) x382 = 959
1547.70/603.96	c (494,0) x383 = 960
1547.70/603.96	c (494,0) x384 = 1058
1547.70/603.96	c (494,0) x385 = 1057
1547.70/603.96	c (494,0) x386 = 1156
1547.70/603.96	c (494,0) x387 = 1157
1547.70/603.96	c (494,0) x388 = 1205
1547.70/603.96	c (494,0) x389 = 1204
1547.70/603.96	c (494,0) x39 = 1310
1547.70/603.96	c (494,0) x390 = 1235
1547.70/603.96	c (494,0) x391 = 1236
1547.70/603.96	c (494,0) x392 = 1296
1547.70/603.96	c (494,0) x393 = 1295
1547.70/603.96	c (494,0) x394 = 1397
1547.70/603.96	c (494,0) x395 = 1398
1547.70/603.96	c (494,0) x396 = 1453
1547.70/603.96	c (494,0) x397 = 1454
1547.70/603.96	c (494,0) x398 = 1635
1547.70/603.96	c (494,0) x399 = 1634
1547.70/603.96	c (494,0) x4 = 232
1547.70/603.96	c (494,0) x40 = 304
1547.70/603.96	c (494,0) x400 = 0
1547.70/603.96	c (494,0) x401 = 1
1547.70/603.96	c (494,0) x402 = 8
1547.70/603.96	c (494,0) x403 = 7
1547.70/603.96	c (494,0) x404 = 104
1547.70/603.96	c (494,0) x405 = 105
1547.70/603.96	c (494,0) x406 = 184
1547.70/603.96	c (494,0) x407 = 183
1547.70/603.96	c (494,0) x408 = 254
1547.70/603.96	c (494,0) x409 = 255
1547.70/603.96	c (494,0) x41 = 305
1547.70/603.96	c (494,0) x410 = 352
1547.70/603.96	c (494,0) x411 = 353
1547.70/603.96	c (494,0) x412 = 446
1547.70/603.96	c (494,0) x413 = 447
1547.70/603.96	c (494,0) x414 = 541
1547.70/603.96	c (494,0) x415 = 540
1547.70/603.96	c (494,0) x416 = 637
1547.70/603.96	c (494,0) x417 = 638
1547.70/603.96	c (494,0) x418 = 812
1547.70/603.96	c (494,0) x419 = 813
1547.70/603.96	c (494,0) x42 = 530
1547.70/603.96	c (494,0) x420 = 874
1547.70/603.96	c (494,0) x421 = 875
1547.70/603.96	c (494,0) x422 = 1002
1547.70/603.96	c (494,0) x423 = 1003
1547.70/603.96	c (494,0) x424 = 1205
1547.70/603.96	c (494,0) x425 = 1204
1547.70/603.96	c (494,0) x426 = 1235
1547.70/603.96	c (494,0) x427 = 1234
1547.70/603.96	c (494,0) x428 = 1265
1547.70/603.96	c (494,0) x429 = 1264
1547.70/603.96	c (494,0) x43 = 531
1547.70/603.96	c (494,0) x430 = 1344
1547.70/603.96	c (494,0) x431 = 1345
1547.70/603.96	c (494,0) x432 = 1377
1547.70/603.96	c (494,0) x433 = 1376
1547.70/603.96	c (494,0) x434 = 1420
1547.70/603.96	c (494,0) x435 = 1421
1547.70/603.96	c (494,0) x436 = 1599
1547.70/603.96	c (494,0) x437 = 1600
1547.70/603.96	c (494,0) x438 = 1653
1547.70/603.96	c (494,0) x439 = 1652
1547.70/603.96	c (494,0) x44 = 688
1547.70/603.96	c (494,0) x440 = 87
1547.70/603.96	c (494,0) x441 = 86
1547.70/603.96	c (494,0) x442 = 108
1547.70/603.96	c (494,0) x443 = 107
1547.70/603.96	c (494,0) x444 = 189
1547.70/603.96	c (494,0) x445 = 190
1547.70/603.96	c (494,0) x446 = 288
1547.70/603.96	c (494,0) x447 = 289
1547.70/603.96	c (494,0) x448 = 397
1547.70/603.96	c (494,0) x449 = 396
1547.70/603.96	c (494,0) x45 = 689
1547.70/603.96	c (494,0) x450 = 504
1547.70/603.96	c (494,0) x451 = 459
1547.70/603.96	c (494,0) x452 = 569
1547.70/603.96	c (494,0) x453 = 570
1547.70/603.96	c (494,0) x454 = 614
1547.70/603.96	c (494,0) x455 = 613
1547.70/603.96	c (494,0) x456 = 652
1547.70/603.96	c (494,0) x457 = 651
1547.70/603.96	c (494,0) x458 = 794
1547.70/603.96	c (494,0) x459 = 793
1547.70/603.96	c (494,0) x46 = 784
1547.70/603.96	c (494,0) x460 = 857
1547.70/603.96	c (494,0) x461 = 856
1547.70/603.96	c (494,0) x462 = 899
1547.70/603.96	c (494,0) x463 = 900
1547.70/603.96	c (494,0) x464 = 994
1547.70/603.96	c (494,0) x465 = 993
1547.70/603.96	c (494,0) x466 = 1004
1547.70/603.96	c (494,0) x467 = 1003
1547.70/603.96	c (494,0) x468 = 1067
1547.70/603.96	c (494,0) x469 = 1066
1547.70/603.96	c (494,0) x47 = 783
1547.70/603.96	c (494,0) x470 = 1086
1547.70/603.96	c (494,0) x471 = 1087
1547.70/603.96	c (494,0) x472 = 1156
1547.70/603.96	c (494,0) x473 = 1155
1547.70/603.96	c (494,0) x474 = 1166
1547.70/603.96	c (494,0) x475 = 1165
1547.70/603.96	c (494,0) x476 = 1226
1547.70/603.96	c (494,0) x477 = 1306
1547.70/603.96	c (494,0) x478 = 1553
1547.70/603.96	c (494,0) x479 = 1554
1547.70/603.96	c (494,0) x48 = 862
1547.70/603.96	c (494,0) x480 = 0
1547.70/603.96	c (494,0) x481 = 1
1547.70/603.96	c (494,0) x482 = 66
1547.70/603.96	c (494,0) x483 = 67
1547.70/603.96	c (494,0) x484 = 140
1547.70/603.96	c (494,0) x485 = 139
1547.70/603.96	c (494,0) x486 = 190
1547.70/603.96	c (494,0) x487 = 191
1547.70/603.96	c (494,0) x488 = 301
1547.70/603.96	c (494,0) x489 = 300
1547.70/603.96	c (494,0) x49 = 863
1547.70/603.96	c (494,0) x490 = 395
1547.70/603.96	c (494,0) x491 = 396
1547.70/603.96	c (494,0) x492 = 591
1547.70/603.96	c (494,0) x493 = 590
1547.70/603.96	c (494,0) x494 = 689
1547.70/603.96	c (494,0) x495 = 688
1547.70/603.96	c (494,0) x496 = 732
1547.70/603.96	c (494,0) x497 = 731
1547.70/603.96	c (494,0) x498 = 768
1547.70/603.96	c (494,0) x499 = 769
1547.70/603.96	c (494,0) x5 = 231
1547.70/603.96	c (494,0) x50 = 936
1547.70/603.96	c (494,0) x500 = 841
1547.70/603.96	c (494,0) x501 = 840
1547.70/603.96	c (494,0) x502 = 925
1547.70/603.96	c (494,0) x503 = 926
1547.70/603.96	c (494,0) x504 = 959
1547.70/603.96	c (494,0) x505 = 958
1547.70/603.96	c (494,0) x506 = 1003
1547.70/603.96	c (494,0) x507 = 1004
1547.70/603.96	c (494,0) x508 = 1073
1547.70/603.96	c (494,0) x509 = 1072
1547.70/603.96	c (494,0) x51 = 937
1547.70/603.96	c (494,0) x510 = 1120
1547.70/603.96	c (494,0) x511 = 1121
1547.70/603.96	c (494,0) x512 = 1295
1547.70/603.96	c (494,0) x513 = 1296
1547.70/603.96	c (494,0) x514 = 1531
1547.70/603.96	c (494,0) x515 = 1532
1547.70/603.96	c (494,0) x516 = 1617
1547.70/603.96	c (494,0) x517 = 1618
1547.70/603.96	c (494,0) x518 = 1644
1547.70/603.96	c (494,0) x519 = 1645
1547.70/603.96	c (494,0) x52 = 949
1547.70/603.96	c (494,0) x520 = 84
1547.70/603.96	c (494,0) x521 = 85
1547.70/603.96	c (494,0) x522 = 152
1547.70/603.96	c (494,0) x523 = 151
1547.70/603.96	c (494,0) x524 = 198
1547.70/603.96	c (494,0) x525 = 199
1547.70/603.96	c (494,0) x526 = 208
1547.70/603.96	c (494,0) x527 = 207
1547.70/603.96	c (494,0) x528 = 422
1547.70/603.96	c (494,0) x529 = 423
1547.70/603.96	c (494,0) x53 = 948
1547.70/603.96	c (494,0) x530 = 504
1547.70/603.96	c (494,0) x531 = 503
1547.70/603.96	c (494,0) x532 = 634
1547.70/603.96	c (494,0) x533 = 633
1547.70/603.96	c (494,0) x534 = 641
1547.70/603.96	c (494,0) x535 = 642
1547.70/603.96	c (494,0) x536 = 644
1547.70/603.96	c (494,0) x537 = 643
1547.70/603.96	c (494,0) x538 = 749
1547.70/603.96	c (494,0) x539 = 750
1547.70/603.96	c (494,0) x54 = 973
1547.70/603.96	c (494,0) x540 = 766
1547.70/603.96	c (494,0) x541 = 767
1547.70/603.96	c (494,0) x542 = 784
1547.70/603.96	c (494,0) x543 = 783
1547.70/603.96	c (494,0) x544 = 865
1547.70/603.96	c (494,0) x545 = 866
1547.70/603.96	c (494,0) x546 = 965
1547.70/603.96	c (494,0) x547 = 966
1547.70/603.96	c (494,0) x548 = 1012
1547.70/603.96	c (494,0) x549 = 1011
1547.70/603.96	c (494,0) x55 = 969
1547.70/603.96	c (494,0) x550 = 1099
1547.70/603.96	c (494,0) x551 = 1098
1547.70/603.96	c (494,0) x552 = 1219
1547.70/603.96	c (494,0) x553 = 1218
1547.70/603.96	c (494,0) x554 = 1307
1547.70/603.96	c (494,0) x555 = 1308
1547.70/603.96	c (494,0) x556 = 1456
1547.70/603.96	c (494,0) x557 = 1457
1547.70/603.96	c (494,0) x558 = 1502
1547.70/603.96	c (494,0) x559 = 1501
1547.70/603.96	c (494,0) x56 = 989
1547.70/603.96	c (494,0) x560 = 98
1547.70/603.96	c (494,0) x561 = 97
1547.70/603.96	c (494,0) x562 = 114
1547.70/603.96	c (494,0) x563 = 115
1547.70/603.96	c (494,0) x564 = 177
1547.70/603.96	c (494,0) x565 = 206
1547.70/603.96	c (494,0) x566 = 223
1547.70/603.96	c (494,0) x567 = 224
1547.70/603.96	c (494,0) x568 = 261
1547.70/603.96	c (494,0) x569 = 262
1547.70/603.96	c (494,0) x57 = 990
1547.70/603.96	c (494,0) x570 = 312
1547.70/603.96	c (494,0) x571 = 311
1547.70/603.96	c (494,0) x572 = 383
1547.70/603.96	c (494,0) x573 = 382
1547.70/603.96	c (494,0) x574 = 459
1547.70/603.96	c (494,0) x575 = 458
1547.70/603.96	c (494,0) x576 = 555
1547.70/603.96	c (494,0) x577 = 556
1547.70/603.96	c (494,0) x578 = 631
1547.70/603.96	c (494,0) x579 = 630
1547.70/603.96	c (494,0) x58 = 1002
1547.70/603.96	c (494,0) x580 = 700
1547.70/603.96	c (494,0) x581 = 701
1547.70/603.96	c (494,0) x582 = 787
1547.70/603.96	c (494,0) x583 = 786
1547.70/603.96	c (494,0) x584 = 896
1547.70/603.96	c (494,0) x585 = 895
1547.70/603.96	c (494,0) x586 = 1105
1547.70/603.96	c (494,0) x587 = 1106
1547.70/603.96	c (494,0) x588 = 1121
1547.70/603.96	c (494,0) x589 = 1120
1547.70/603.96	c (494,0) x59 = 1001
1547.70/603.96	c (494,0) x590 = 1249
1547.70/603.96	c (494,0) x591 = 1250
1547.70/603.96	c (494,0) x592 = 1330
1547.70/603.96	c (494,0) x593 = 1331
1547.70/603.96	c (494,0) x594 = 1381
1547.70/603.96	c (494,0) x595 = 1380
1547.70/603.96	c (494,0) x596 = 1411
1547.70/603.96	c (494,0) x597 = 1410
1547.70/603.96	c (494,0) x598 = 1600
1547.70/603.96	c (494,0) x599 = 1599
1547.70/603.96	c (494,0) x6 = 267
1547.70/603.96	c (494,0) x60 = 1070
1547.70/603.96	c (494,0) x600 = 30
1547.70/603.96	c (494,0) x601 = 29
1547.70/603.96	c (494,0) x602 = 35
1547.70/603.96	c (494,0) x603 = 36
1547.70/603.96	c (494,0) x604 = 109
1547.70/603.96	c (494,0) x605 = 108
1547.70/603.96	c (494,0) x606 = 179
1547.70/603.96	c (494,0) x607 = 178
1547.70/603.96	c (494,0) x608 = 278
1547.70/603.96	c (494,0) x609 = 277
1547.70/603.96	c (494,0) x61 = 1071
1547.70/603.96	c (494,0) x610 = 307
1547.70/603.96	c (494,0) x611 = 308
1547.70/603.96	c (494,0) x612 = 348
1547.70/603.96	c (494,0) x613 = 822
1547.70/603.96	c (494,0) x614 = 878
1547.70/603.96	c (494,0) x615 = 612
1547.70/603.96	c (494,0) x616 = 968
1547.70/603.96	c (494,0) x617 = 969
1547.70/603.96	c (494,0) x618 = 1038
1547.70/603.96	c (494,0) x619 = 1039
1547.70/603.96	c (494,0) x62 = 1113
1547.70/603.96	c (494,0) x620 = 1070
1547.70/603.96	c (494,0) x621 = 1069
1547.70/603.96	c (494,0) x622 = 1075
1547.70/603.96	c (494,0) x623 = 1076
1547.70/603.96	c (494,0) x624 = 1099
1547.70/603.96	c (494,0) x625 = 1098
1547.70/603.96	c (494,0) x626 = 1163
1547.70/603.96	c (494,0) x627 = 1162
1547.70/603.96	c (494,0) x628 = 1175
1547.70/603.96	c (494,0) x629 = 1176
1547.70/603.96	c (494,0) x63 = 1112
1547.70/603.96	c (494,0) x630 = 1264
1547.70/603.96	c (494,0) x631 = 1263
1547.70/603.96	c (494,0) x632 = 1302
1547.70/603.96	c (494,0) x633 = 1303
1547.70/603.96	c (494,0) x634 = 1435
1547.70/603.96	c (494,0) x635 = 1436
1547.70/603.96	c (494,0) x636 = 1539
1547.70/603.96	c (494,0) x637 = 1538
1547.70/603.96	c (494,0) x638 = 1633
1547.70/603.96	c (494,0) x639 = 1632
1547.70/603.96	c (494,0) x64 = 1176
1547.70/603.96	c (494,0) x640 = 0
1547.70/603.96	c (494,0) x641 = 1
1547.70/603.96	c (494,0) x642 = 5
1547.70/603.96	c (494,0) x643 = 6
1547.70/603.96	c (494,0) x644 = 140
1547.70/603.96	c (494,0) x645 = 139
1547.70/603.96	c (494,0) x646 = 255
1547.70/603.96	c (494,0) x647 = 254
1547.70/603.96	c (494,0) x648 = 602
1547.70/603.96	c (494,0) x649 = 603
1547.70/603.96	c (494,0) x65 = 1177
1547.70/603.96	c (494,0) x650 = 685
1547.70/603.96	c (494,0) x651 = 684
1547.70/603.96	c (494,0) x652 = 707
1547.70/603.96	c (494,0) x653 = 706
1547.70/603.96	c (494,0) x654 = 760
1547.70/603.96	c (494,0) x655 = 759
1547.70/603.96	c (494,0) x656 = 761
1547.70/603.96	c (494,0) x657 = 762
1547.70/603.96	c (494,0) x658 = 794
1547.70/603.96	c (494,0) x659 = 793
1547.70/603.96	c (494,0) x66 = 1274
1547.70/603.96	c (494,0) x660 = 833
1547.70/603.96	c (494,0) x661 = 834
1547.70/603.96	c (494,0) x662 = 864
1547.70/603.96	c (494,0) x663 = 865
1547.70/603.96	c (494,0) x664 = 935
1547.70/603.96	c (494,0) x665 = 934
1547.70/603.96	c (494,0) x666 = 1036
1547.70/603.96	c (494,0) x667 = 1035
1547.70/603.96	c (494,0) x668 = 1057
1547.70/603.96	c (494,0) x669 = 1056
1547.70/603.96	c (494,0) x67 = 1275
1547.70/603.96	c (494,0) x670 = 1161
1547.70/603.96	c (494,0) x671 = 1160
1547.70/603.96	c (494,0) x672 = 1165
1547.70/603.96	c (494,0) x673 = 1164
1547.70/603.96	c (494,0) x674 = 1231
1547.70/603.96	c (494,0) x675 = 1232
1547.70/603.96	c (494,0) x676 = 1346
1547.70/603.96	c (494,0) x677 = 1347
1547.70/603.96	c (494,0) x678 = 1426
1547.70/603.96	c (494,0) x679 = 1425
1547.70/603.96	c (494,0) x68 = 1343
1547.70/603.96	c (494,0) x680 = 0
1547.70/603.96	c (494,0) x681 = 1
1547.70/603.96	c (494,0) x682 = 75
1547.70/603.96	c (494,0) x683 = 59
1547.70/603.96	c (494,0) x684 = 152
1547.70/603.96	c (494,0) x685 = 151
1547.70/603.96	c (494,0) x686 = 248
1547.70/603.96	c (494,0) x687 = 249
1547.70/603.96	c (494,0) x688 = 488
1547.70/603.96	c (494,0) x689 = 487
1547.70/603.96	c (494,0) x69 = 1342
1547.70/603.96	c (494,0) x690 = 541
1547.70/603.96	c (494,0) x691 = 540
1547.70/603.96	c (494,0) x692 = 566
1547.70/603.96	c (494,0) x693 = 645
1547.70/603.96	c (494,0) x694 = 733
1547.70/603.96	c (494,0) x695 = 734
1547.70/603.96	c (494,0) x696 = 764
1547.70/603.96	c (494,0) x697 = 763
1547.70/603.96	c (494,0) x698 = 921
1547.70/603.96	c (494,0) x699 = 922
1547.70/603.96	c (494,0) x7 = 266
1547.70/603.96	c (494,0) x70 = 1345
1547.70/603.96	c (494,0) x700 = 1125
1547.70/603.96	c (494,0) x701 = 1124
1547.70/603.96	c (494,0) x702 = 1151
1547.70/603.96	c (494,0) x703 = 1152
1547.70/603.96	c (494,0) x704 = 1227
1547.70/603.96	c (494,0) x705 = 1226
1547.70/603.96	c (494,0) x706 = 1312
1547.70/603.96	c (494,0) x707 = 1311
1547.70/603.96	c (494,0) x708 = 1328
1547.70/603.96	c (494,0) x709 = 1329
1547.70/603.96	c (494,0) x71 = 1344
1547.70/603.96	c (494,0) x710 = 1357
1547.70/603.96	c (494,0) x711 = 1358
1547.70/603.96	c (494,0) x712 = 1386
1547.70/603.96	c (494,0) x713 = 1387
1547.70/603.96	c (494,0) x714 = 1443
1547.70/603.96	c (494,0) x715 = 1442
1547.70/603.96	c (494,0) x716 = 1523
1547.70/603.96	c (494,0) x717 = 1524
1547.70/603.96	c (494,0) x718 = 1610
1547.70/603.96	c (494,0) x719 = 1609
1547.70/603.96	c (494,0) x72 = 1398
1547.70/603.96	c (494,0) x720 = 480
1547.70/603.96	c (494,0) x721 = 481
1547.70/603.96	c (494,0) x722 = 583
1547.70/603.96	c (494,0) x723 = 584
1547.70/603.96	c (494,0) x724 = 625
1547.70/603.96	c (494,0) x725 = 626
1547.70/603.96	c (494,0) x726 = 694
1547.70/603.96	c (494,0) x727 = 695
1547.70/603.96	c (494,0) x728 = 737
1547.70/603.96	c (494,0) x729 = 738
1547.70/603.96	c (494,0) x73 = 1397
1547.70/603.96	c (494,0) x730 = 792
1547.70/603.96	c (494,0) x731 = 793
1547.70/603.96	c (494,0) x732 = 897
1547.70/603.96	c (494,0) x733 = 898
1547.70/603.96	c (494,0) x734 = 945
1547.70/603.96	c (494,0) x735 = 949
1547.70/603.96	c (494,0) x736 = 975
1547.70/603.96	c (494,0) x737 = 974
1547.70/603.96	c (494,0) x738 = 1064
1547.70/603.96	c (494,0) x739 = 1063
1547.70/603.96	c (494,0) x74 = 1500
1547.70/603.96	c (494,0) x740 = 1170
1547.70/603.96	c (494,0) x741 = 1171
1547.70/603.96	c (494,0) x742 = 1226
1547.70/603.96	c (494,0) x743 = 1227
1547.70/603.96	c (494,0) x744 = 1325
1547.70/603.96	c (494,0) x745 = 1324
1547.70/603.96	c (494,0) x746 = 1394
1547.70/603.96	c (494,0) x747 = 1393
1547.70/603.96	c (494,0) x748 = 1493
1547.70/603.96	c (494,0) x749 = 1494
1547.70/603.96	c (494,0) x75 = 1499
1547.70/603.96	c (494,0) x750 = 1556
1547.70/603.96	c (494,0) x751 = 1555
1547.70/603.96	c (494,0) x752 = 1602
1547.70/603.96	c (494,0) x753 = 1603
1547.70/603.96	c (494,0) x754 = 1628
1547.70/603.96	c (494,0) x755 = 1627
1547.70/603.96	c (494,0) x756 = 1681
1547.70/603.96	c (494,0) x757 = 1682
1547.70/603.96	c (494,0) x758 = 1693
1547.70/603.96	c (494,0) x759 = 1692
1547.70/603.96	c (494,0) x76 = 1601
1547.70/603.96	c (494,0) x760 = 115
1547.70/603.96	c (494,0) x761 = 114
1547.70/603.96	c (494,0) x762 = 179
1547.70/603.96	c (494,0) x763 = 180
1547.70/603.96	c (494,0) x764 = 348
1547.70/603.96	c (494,0) x765 = 343
1547.70/603.96	c (494,0) x766 = 392
1547.70/603.96	c (494,0) x767 = 391
1547.70/603.96	c (494,0) x768 = 456
1547.70/603.96	c (494,0) x769 = 455
1547.70/603.96	c (494,0) x77 = 1602
1547.70/603.96	c (494,0) x770 = 543
1547.70/603.96	c (494,0) x771 = 544
1547.70/603.96	c (494,0) x772 = 625
1547.70/603.96	c (494,0) x773 = 624
1547.70/603.96	c (494,0) x774 = 703
1547.70/603.96	c (494,0) x775 = 702
1547.70/603.96	c (494,0) x776 = 830
1547.70/603.96	c (494,0) x777 = 831
1547.70/603.96	c (494,0) x778 = 896
1547.70/603.96	c (494,0) x779 = 895
1547.70/603.96	c (494,0) x78 = 1665
1547.70/603.96	c (494,0) x780 = 1051
1547.70/603.96	c (494,0) x781 = 1050
1547.70/603.96	c (494,0) x782 = 1129
1547.70/603.96	c (494,0) x783 = 1130
1547.70/603.96	c (494,0) x784 = 1197
1547.70/603.96	c (494,0) x785 = 1198
1547.70/603.96	c (494,0) x786 = 1208
1547.70/603.96	c (494,0) x787 = 1207
1547.70/603.96	c (494,0) x788 = 1299
1547.70/603.96	c (494,0) x789 = 1298
1547.70/603.96	c (494,0) x79 = 1664
1547.70/603.96	c (494,0) x790 = 1479
1547.70/603.96	c (494,0) x791 = 1480
1547.70/603.96	c (494,0) x792 = 1549
1547.70/603.96	c (494,0) x793 = 1550
1547.70/603.96	c (494,0) x794 = 1608
1547.70/603.96	c (494,0) x795 = 1609
1547.70/603.96	c (494,0) x796 = 1639
1547.70/603.96	c (494,0) x797 = 1640
1547.70/603.96	c (494,0) x798 = 1673
1547.70/603.96	c (494,0) x799 = 1672
1547.70/603.96	c (494,0) x8 = 329
1547.70/603.96	c (494,0) x80 = 0
1547.70/603.96	c (494,0) x81 = 1
1547.70/603.96	c (494,0) x82 = 107
1547.70/603.96	c (494,0) x83 = 108
1547.70/603.96	c (494,0) x84 = 161
1547.70/603.96	c (494,0) x85 = 160
1547.70/603.96	c (494,0) x86 = 296
1547.70/603.96	c (494,0) x87 = 297
1547.70/603.96	c (494,0) x88 = 341
1547.70/603.96	c (494,0) x89 = 342
1547.70/603.96	c (494,0) x9 = 330
1547.70/603.96	c (494,0) x90 = 419
1547.70/603.96	c (494,0) x91 = 418
1547.70/603.96	c (494,0) x92 = 446
1547.70/603.96	c (494,0) x93 = 447
1547.70/603.96	c (494,0) x94 = 494
1547.70/603.96	c (494,0) x95 = 495
1547.70/603.96	c (494,0) x96 = 600
1547.70/603.96	c (494,0) x97 = 601
1547.70/603.96	c (494,0) x98 = 686
1547.70/603.96	c (494,0) x99 = 687
1547.70/603.96	s SATISFIABLE
1547.70/603.97	v <instantiation>
1547.70/603.97	v     <list>x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 x455 x456 x457 x458 x459 x460 x461 x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 x505 x506 x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 x545 x546 x547 x548 x549 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 x562 x563 x564 x565 x566 x567 x568 x569 x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 x583 x584 x585 x586 x587 x588 x589 x590 x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 x617 x618 x619 x620 x621 x622 x623 x624 x625 x626 x627 x628 x629 x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 x643 x644 x645 x646 x647 x648 x649 x650 x651 x652 x653 x654 x655 x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 x676 x677 x678 x679 x680 x681 x682 x683 x684 x685 x686 x687 x688 x689 x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 x702 x703 x704 x705 x706 x707 x708 x709 x710 x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 x722 x723 x724 x725 x726 x727 x728 x729 x730 x731 x732 x733 x734 x735 x736 x737 x738 x739 x740 x741 x742 x743 x744 x745 x746 x747 x748 x749 x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x761 x762 x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 x776 x777 x778 x779 x780 x781 x782 x783 x784 x785 x786 x787 x788 x789 x790 x791 x792 x793 x794 x795 x796 x797 x798 x799</list>
1547.70/603.97	v     <values>20 19 191 190 232 231 267 266 329 330 365 366 436 435 480 479 641 642 771 770 809 808 824 825 913 888 927 928 957 958 994 995 1122 1123 1169 1168 1220 1221 1311 1310 304 305 530 531 688 689 784 783 862 863 936 937 949 948 973 969 989 990 1002 1001 1070 1071 1113 1112 1176 1177 1274 1275 1343 1342 1345 1344 1398 1397 1500 1499 1601 1602 1665 1664 0 1 107 108 161 160 296 297 341 342 419 418 446 447 494 495 600 601 686 687 708 707 933 932 1066 1065 1122 1121 1265 1266 1346 1345 1366 1367 1413 1414 1538 1537 1643 1642 0 1 53 52 105 104 172 173 198 199 262 263 389 390 461 462 483 482 504 505 625 626 633 634 725 724 734 733 919 920 1014 1015 1350 1351 1445 1444 1527 1526 1610 1609 0 1 30 29 107 106 196 197 262 263 383 384 459 460 478 477 493 494 589 588 601 602 626 627 636 635 649 648 700 699 735 734 770 771 874 875 1604 1605 1676 1675 0 1 36 35 94 95 185 184 259 260 327 326 460 459 532 533 555 556 564 798 865 771 878 879 972 971 1092 1091 1172 1173 1204 1311 1348 1349 1448 1449 1518 1517 1598 1599 0 1 104 105 168 167 183 184 377 378 379 378 531 532 602 601 709 708 784 783 861 860 1025 1026 1117 1116 1324 1323 1342 1343 1401 1400 1430 1431 1518 1517 1575 1576 1621 1620 0 1 20 19 84 85 179 178 220 221 316 315 421 422 494 493 524 525 527 526 587 588 666 667 959 958 974 975 1033 1034 1428 1429 1599 1598 1635 1634 1657 1658 1676 1677 201 200 395 396 469 468 563 562 640 639 699 700 780 781 873 872 877 878 986 985 1063 1064 1136 1135 1228 1229 1303 1302 1399 1398 1440 1441 1450 1451 1497 1498 1520 1519 1600 1599 46 45 187 188 302 303 340 339 426 427 443 442 467 468 531 530 614 613 704 705 791 790 959 960 1058 1057 1156 1157 1205 1204 1235 1236 1296 1295 1397 1398 1453 1454 1635 1634 0 1 8 7 104 105 184 183 254 255 352 353 446 447 541 540 637 638 812 813 874 875 1002 1003 1205 1204 1235 1234 1265 1264 1344 1345 1377 1376 1420 1421 1599 1600 1653 1652 87 86 108 107 189 190 288 289 397 396 504 459 569 570 614 613 652 651 794 793 857 856 899 900 994 993 1004 1003 1067 1066 1086 1087 1156 1155 1166 1165 1226 1306 1553 1554 0 1 66 67 140 139 190 191 301 300 395 396 591 590 689 688 732 731 768 769 841 840 925 926 959 958 1003 1004 1073 1072 1120 1121 1295 1296 1531 1532 1617 1618 1644 1645 84 85 152 151 198 199 208 207 422 423 504 503 634 633 641 642 644 643 749 750 766 767 784 783 865 866 965 966 1012 1011 1099 1098 1219 1218 1307 1308 1456 1457 1502 1501 98 97 114 115 177 206 223 224 261 262 312 311 383 382 459 458 555 556 631 630 700 701 787 786 896 895 1105 1106 1121 1120 1249 1250 1330 1331 1381 1380 1411 1410 1600 1599 30 29 35 36 109 108 179 178 278 277 307 308 348 822 878 612 968 969 1038 1039 1070 1069 1075 1076 1099 1098 1163 1162 1175 1176 1264 1263 1302 1303 1435 1436 1539 1538 1633 1632 0 1 5 6 140 139 255 254 602 603 685 684 707 706 760 759 761 762 794 793 833 834 864 865 935 934 1036 1035 1057 1056 1161 1160 1165 1164 1231 1232 1346 1347 1426 1425 0 1 75 59 152 151 248 249 488 487 541 540 566 645 733 734 764 763 921 922 1125 1124 1151 1152 1227 1226 1312 1311 1328 1329 1357 1358 1386 1387 1443 1442 1523 1524 1610 1609 480 481 583 584 625 626 694 695 737 738 792 793 897 898 945 949 975 974 1064 1063 1170 1171 1226 1227 1325 1324 1394 1393 1493 1494 1556 1555 1602 1603 1628 1627 1681 1682 1693 1692 115 114 179 180 348 343 392 391 456 455 543 544 625 624 703 702 830 831 896 895 1051 1050 1129 1130 1197 1198 1208 1207 1299 1298 1479 1480 1549 1550 1608 1609 1639 1640 1673 1672</values>
1547.70/603.97	v </instantiation>
1547.70/603.97	c (494,0) Show results End
1547.70/603.97	c (494,0) Heap : 334 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
1547.70/603.97	c (494,0) 494,494,STOP-AFTER(ALL)
1547.70/603.97	c END-Prog: Sat Sep 14 08:34:46 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: 16375 MiB (14533 MiB free)
  memory of node 1: 16384 MiB (15606 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392859-1568442322/watcher-4392859-1568442322 -o /tmp/evaluation-result-4392859-1568442322/solver-4392859-1568442322 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568439487-2574 --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-4392859-1568442322.xml 

running on 8 cores: 0-7

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

solver pid=3154, runsolver pid=3151

[startup+0.100158 s]*
/proc/loadavg: 7.46 7.53 7.93 2/212 3176
/proc/meminfo: memFree=30768944/32770688 swapFree=66961116/67108860
[pid=3154] ppid=3151 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3154/stat : 3154 (scop.sh) S 3151 3154 2547 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 420173924 115843072 349 33554432000 4194304 5098028 140722145633200 140722145630456 140702659793532 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34398208 140722145637156 140722145637484 140722145637484 140722145640397 0
/proc/3154/statm: 28282 349 296 221 0 87 0
[pid=3157] ppid=3154 vsize=27314120 memory=105348 CPUtime=0.1 cores=0-7
/proc/3157/stat : 3157 (java) S 3154 3154 2547 0 -1 1077944320 6412 0 0 0 8 2 0 0 20 0 20 0 420173925 27969658880 26337 33554432000 4194304 4196468 140733144569312 140733144551856 139663327325943 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
/proc/3157/statm: 6828530 26337 2778 1 0 6790935 0
[pid=3157/tid=3158] ppid=3154 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/3157/task/3158/stat : 3158 (java) R 3154 3154 2547 0 -1 4202560 4542 0 0 0 7 2 0 0 20 0 20 0 420173925 27969658880 26337 33554432000 4194304 4196468 140733144569312 139663299152272 139662823862060 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3159] ppid=3154 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3157/task/3159/stat : 3159 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173927 27969658880 26337 33554432000 4194304 4196468 140733144569312 139663331568144 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3160] ppid=3154 vsize=27314120 memory=140053027014272 CPUtime=0 cores=0-7
/proc/3157/task/3160/stat : 3160 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173927 27969658880 26337 33554432000 4194304 4196468 140733144569312 139663145724560 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3161] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3161/stat : 3161 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173927 27969658880 26337 33554432000 4194304 4196468 140733144569312 139663144671504 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3162] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3162/stat : 3162 (java) S 3154 3154 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420173927 27969658880 26337 33554432000 4194304 4196468 140733144569312 139663143618960 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3163] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3163/stat : 3163 (java) S 3154 3154 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420173927 27969658880 26337 33554432000 4194304 4196468 140733144569312 139662746876944 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3164] ppid=3154 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3157/task/3164/stat : 3164 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173927 27969658880 26337 33554432000 4194304 4196468 140733144569312 139662745824400 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3165] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3165/stat : 3165 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173927 27969658880 26337 33554432000 4194304 4196468 140733144569312 139662744771344 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3166] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3166/stat : 3166 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173927 27969658880 26337 33554432000 4194304 4196468 140733144569312 139662743718800 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3167] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3167/stat : 3167 (java) S 3154 3154 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420173929 27969658880 26337 33554432000 4194304 4196468 140733144569312 139662452750576 139663327337090 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3168] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3168/stat : 3168 (java) S 3154 3154 2547 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420173930 27969658880 26337 33554432000 4194304 4196468 140733144569312 139661062169760 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3169] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3169/stat : 3169 (java) S 3154 3154 2547 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420173930 27969658880 26337 33554432000 4194304 4196468 140733144569312 139660927947504 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3170] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3170/stat : 3170 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173932 27969658880 26337 33554432000 4194304 4196468 140733144569312 139660553443280 139663327344539 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3171] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3171/stat : 3171 (java) S 3154 3154 2547 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 420173932 27969658880 26337 33554432000 4194304 4196468 140733144569312 139662451698416 139663327337090 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3172] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3172/stat : 3172 (java) S 3154 3154 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420173932 27969658880 26337 33554432000 4194304 4196468 140733144569312 139662450645872 139663327337090 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3173] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3173/stat : 3173 (java) S 3154 3154 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420173932 27969658880 26337 33554432000 4194304 4196468 140733144569312 139662449592816 139663327337090 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3174] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3174/stat : 3174 (java) S 3154 3154 2547 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 20 0 420173932 27969658880 26337 33554432000 4194304 4196468 140733144569312 139662448540272 139663327337090 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3175] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3175/stat : 3175 (java) S 3154 3154 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420173933 27969658880 26337 33554432000 4194304 4196468 140733144569312 139660055538144 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3176] ppid=3154 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3157/task/3176/stat : 3176 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173933 27969658880 26337 33554432000 4194304 4196468 140733144569312 139662447487664 139663327337090 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106744 KiB

[startup+0.211363 s]*
/proc/loadavg: 7.46 7.53 7.93 2/212 3176
/proc/meminfo: memFree=30753684/32770688 swapFree=66961116/67108860
[pid=3154] ppid=3151 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3154/stat : 3154 (scop.sh) S 3151 3154 2547 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 420173924 115843072 349 33554432000 4194304 5098028 140722145633200 140722145630456 140702659793532 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34398208 140722145637156 140722145637484 140722145637484 140722145640397 0
/proc/3154/statm: 28282 349 296 221 0 87 0
[pid=3157] ppid=3154 vsize=27315144 memory=122472 CPUtime=0.24 cores=0-7
/proc/3157/stat : 3157 (java) S 3154 3154 2547 0 -1 1077944320 11336 0 0 0 20 4 0 0 20 0 20 0 420173925 27970707456 30618 33554432000 4194304 4196468 140733144569312 140733144551856 139663327325943 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
/proc/3157/statm: 6828786 30618 2923 1 0 6791191 0
[pid=3157/tid=3158] ppid=3154 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/3157/task/3158/stat : 3158 (java) R 3154 3154 2547 0 -1 4202560 9156 0 0 0 16 3 0 0 20 0 20 0 420173925 27969658880 30618 33554432000 4194304 4196468 140733144569312 139663299125328 139663311406430 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3159] ppid=3154 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/3157/task/3159/stat : 3159 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173927 27969658880 30618 33554432000 4194304 4196468 140733144569312 139663331568144 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3160] ppid=3154 vsize=27314120 memory=140053027027454 CPUtime=0 cores=0-7
/proc/3157/task/3160/stat : 3160 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173927 27969658880 30618 33554432000 4194304 4196468 140733144569312 139663145724560 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3161] ppid=3154 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3157/task/3161/stat : 3161 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173927 27969658880 30618 33554432000 4194304 4196468 140733144569312 139663144671504 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3162] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3162/stat : 3162 (java) S 3154 3154 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420173927 27969658880 30618 33554432000 4194304 4196468 140733144569312 139663143618960 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3163] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3163/stat : 3163 (java) S 3154 3154 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420173927 27969658880 30618 33554432000 4194304 4196468 140733144569312 139662746876944 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3164] ppid=3154 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3157/task/3164/stat : 3164 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173927 27969658880 30618 33554432000 4194304 4196468 140733144569312 139662745824400 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3165] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3165/stat : 3165 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173927 27969658880 30618 33554432000 4194304 4196468 140733144569312 139662744771344 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3166] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3166/stat : 3166 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173927 27969658880 30618 33554432000 4194304 4196468 140733144569312 139662743718800 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3167] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3167/stat : 3167 (java) S 3154 3154 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420173929 27969658880 30618 33554432000 4194304 4196468 140733144569312 139662452750576 139663327337090 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3168] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3168/stat : 3168 (java) S 3154 3154 2547 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420173930 27969658880 30618 33554432000 4194304 4196468 140733144569312 139661062169760 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3169] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3169/stat : 3169 (java) S 3154 3154 2547 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420173930 27969658880 30618 33554432000 4194304 4196468 140733144569312 139660927947504 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3170] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3170/stat : 3170 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173932 27969658880 30618 33554432000 4194304 4196468 140733144569312 139660553443280 139663327344539 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3171] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3171/stat : 3171 (java) S 3154 3154 2547 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 20 0 420173932 27969658880 30618 33554432000 4194304 4196468 140733144569312 139662451698416 139663327337090 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3172] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3172/stat : 3172 (java) S 3154 3154 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420173932 27969658880 30618 33554432000 4194304 4196468 140733144569312 139662450645872 139663327337090 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3173] ppid=3154 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3157/task/3173/stat : 3173 (java) S 3154 3154 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420173932 27969658880 30618 33554432000 4194304 4196468 140733144569312 139662449592816 139663327337090 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3174] ppid=3154 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/3157/task/3174/stat : 3174 (java) S 3154 3154 2547 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 20 0 420173932 27969658880 30618 33554432000 4194304 4196468 140733144569312 139662448540272 139663327337090 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3175] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3175/stat : 3175 (java) S 3154 3154 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420173933 27969658880 30618 33554432000 4194304 4196468 140733144569312 139660055538144 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3176] ppid=3154 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3157/task/3176/stat : 3176 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173933 27969658880 30618 33554432000 4194304 4196468 140733144569312 139662447487664 139663327337090 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27428272 KiB
Current children cumulated memory: 123868 KiB

[startup+0.310905 s]*
/proc/loadavg: 7.46 7.53 7.93 2/212 3176
/proc/meminfo: memFree=30747852/32770688 swapFree=66961116/67108860
[pid=3154] ppid=3151 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3154/stat : 3154 (scop.sh) S 3151 3154 2547 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 420173924 115843072 349 33554432000 4194304 5098028 140722145633200 140722145630456 140702659793532 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34398208 140722145637156 140722145637484 140722145637484 140722145640397 0
/proc/3154/statm: 28282 349 296 221 0 87 0
[pid=3157] ppid=3154 vsize=27314120 memory=125828 CPUtime=0.42 cores=0-7
/proc/3157/stat : 3157 (java) S 3154 3154 2547 0 -1 1077944320 11853 0 0 0 38 4 0 0 20 0 20 0 420173925 27969658880 31457 33554432000 4194304 4196468 140733144569312 140733144551856 139663327325943 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
/proc/3157/statm: 6828530 31457 3022 1 0 6790935 0
[pid=3157/tid=3158] ppid=3154 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/3157/task/3158/stat : 3158 (java) R 3154 3154 2547 0 -1 4202560 9400 0 0 0 26 4 0 0 20 0 20 0 420173925 27969658880 31457 33554432000 4194304 4196468 140733144569312 139663299153280 139663307601285 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3159] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3159/stat : 3159 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173927 27969658880 31457 33554432000 4194304 4196468 140733144569312 139663331568144 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3160] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3160/stat : 3160 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173927 27969658880 31457 33554432000 4194304 4196468 140733144569312 139663145724560 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3161] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3161/stat : 3161 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173927 27969658880 31457 33554432000 4194304 4196468 140733144569312 139663144671504 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3162] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3162/stat : 3162 (java) S 3154 3154 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420173927 27969658880 31457 33554432000 4194304 4196468 140733144569312 139663143618960 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3163] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3163/stat : 3163 (java) S 3154 3154 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420173927 27969658880 31457 33554432000 4194304 4196468 140733144569312 139662746876944 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3164] ppid=3154 vsize=27314120 memory=140052910926511 CPUtime=0 cores=0-7
/proc/3157/task/3164/stat : 3164 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173927 27969658880 31457 33554432000 4194304 4196468 140733144569312 139662745824400 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3165] ppid=3154 vsize=27314120 memory=140052910928816 CPUtime=0 cores=0-7
/proc/3157/task/3165/stat : 3165 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173927 27969658880 31457 33554432000 4194304 4196468 140733144569312 139662744771344 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3166] ppid=3154 vsize=27314120 memory=140052910931120 CPUtime=0 cores=0-7
/proc/3157/task/3166/stat : 3166 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173927 27969658880 31457 33554432000 4194304 4196468 140733144569312 139662743718800 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3167] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3167/stat : 3167 (java) S 3154 3154 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420173929 27969658880 31457 33554432000 4194304 4196468 140733144569312 139662452750576 139663327337090 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3168] ppid=3154 vsize=27314120 memory=280105821876112 CPUtime=0 cores=0-7
/proc/3157/task/3168/stat : 3168 (java) S 3154 3154 2547 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420173930 27969658880 31457 33554432000 4194304 4196468 140733144569312 139661062169760 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3169] ppid=3154 vsize=27314120 memory=280105821873808 CPUtime=0 cores=0-7
/proc/3157/task/3169/stat : 3169 (java) S 3154 3154 2547 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420173930 27969658880 31457 33554432000 4194304 4196468 140733144569312 139660927947504 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3170] ppid=3154 vsize=27314120 memory=280105821880720 CPUtime=0 cores=0-7
/proc/3157/task/3170/stat : 3170 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173932 27969658880 31457 33554432000 4194304 4196468 140733144569312 139660553443280 139663327344539 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3171] ppid=3154 vsize=27314120 memory=280105821821968 CPUtime=0.01 cores=0-7
/proc/3157/task/3171/stat : 3171 (java) S 3154 3154 2547 0 -1 1077944384 512 0 0 0 1 0 0 0 20 0 20 0 420173932 27969658880 31457 33554432000 4194304 4196468 140733144569312 139662451698416 139663327337090 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3172] ppid=3154 vsize=27314120 memory=280105821894544 CPUtime=0 cores=0-7
/proc/3157/task/3172/stat : 3172 (java) S 3154 3154 2547 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 420173932 27969658880 31457 33554432000 4194304 4196468 140733144569312 139662450645872 139663327337090 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3173] ppid=3154 vsize=27314120 memory=280105821901456 CPUtime=0.01 cores=0-7
/proc/3157/task/3173/stat : 3173 (java) R 3154 3154 2547 0 -1 4202560 95 0 0 0 1 0 0 0 20 0 20 0 420173932 27969658880 31457 33554432000 4194304 4196468 140733144569312 139662449592816 139663308851079 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3174] ppid=3154 vsize=27314120 memory=280105821899152 CPUtime=0.08 cores=0-7
/proc/3157/task/3174/stat : 3174 (java) S 3154 3154 2547 0 -1 1077944384 486 0 0 0 8 0 0 0 20 0 20 0 420173932 27969658880 31457 33554432000 4194304 4196468 140733144569312 139662448540272 139663327337090 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3175] ppid=3154 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3175/stat : 3175 (java) S 3154 3154 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420173933 27969658880 31457 33554432000 4194304 4196468 140733144569312 139660055538144 139663327336149 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3176] ppid=3154 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3157/task/3176/stat : 3176 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173933 27969658880 31457 33554432000 4194304 4196468 140733144569312 139662447487664 139663327337090 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127224 KiB

[startup+0.700931 s]
/proc/loadavg: 7.46 7.53 7.93 2/212 3176
/proc/meminfo: memFree=30735524/32770688 swapFree=66961116/67108860
[pid=3154] ppid=3151 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/3154/stat : 3154 (scop.sh) S 3151 3154 2547 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 420173924 115843072 349 33554432000 4194304 5098028 140722145633200 140722145630456 140702659793532 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34398208 140722145637156 140722145637484 140722145637484 140722145640397 0
/proc/3154/statm: 28282 349 296 221 0 87 0
[pid=3157] ppid=3154 vsize=27320392 memory=157800 CPUtime=0.91 cores=0-7
/proc/3157/stat : 3157 (java) S 3154 3154 2547 0 -1 1077944320 19095 0 0 0 84 7 0 0 20 0 20 0 420173925 27976081408 39450 33554432000 4194304 4196468 140733144569312 140733144551856 139663327325943 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
/proc/3157/statm: 6830098 39450 3131 1 0 6791447 0
[pid=3157/tid=3158] ppid=3154 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/3157/task/3158/stat : 3158 (java) R 3154 3154 2547 0 -1 4202560 16434 0 0 0 61 6 0 0 20 0 20 0 420173925 27976081408 39450 33554432000 4194304 4196468 140733144569312 139663299148496 139663311406430 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3159] ppid=3154 vsize=27320392 memory=140052911137648 CPUtime=0 cores=0-7
/proc/3157/task/3159/stat : 3159 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173927 27976081408 39450 33554432000 4194304 4196468 140733144569312 139663331568144 139663327336149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3160] ppid=3154 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/3157/task/3160/stat : 3160 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173927 27976081408 39450 33554432000 4194304 4196468 140733144569312 139663145724560 139663327336149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0
[pid=3157/tid=3161] ppid=3154 vsize=27320392 memory=1564 CPUtime=0 cores=0-7
/proc/3157/task/3161/stat : 3161 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420173927 27976081408 39450 33554432000 4194304 4196468 140733144569312 139663144671504 139663327336149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35184640 140733144576747 140733144577174 140733144577174 140733144580047 0

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

[pid=3186/tid=3189] ppid=3154 vsize=8414124 memory=6000 CPUtime=0 cores=0-7
/proc/3186/task/3189/stat : 3189 (java) S 3154 3154 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420184795 8616062976 30659 33554432000 4194304 4196468 140727536812624 140079091669776 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3190] ppid=3154 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/3186/task/3190/stat : 3190 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420184795 8616062976 30659 33554432000 4194304 4196468 140727536812624 140079090617488 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3191] ppid=3154 vsize=8414124 memory=3988 CPUtime=0 cores=0-7
/proc/3186/task/3191/stat : 3191 (java) S 3154 3154 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420184795 8616062976 30659 33554432000 4194304 4196468 140727536812624 140079089564688 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3192] ppid=3154 vsize=8414124 memory=1088 CPUtime=0 cores=0-7
/proc/3186/task/3192/stat : 3192 (java) S 3154 3154 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420184795 8616062976 30659 33554432000 4194304 4196468 140727536812624 140079088511376 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3193] ppid=3154 vsize=8414124 memory=2044 CPUtime=0 cores=0-7
/proc/3186/task/3193/stat : 3193 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420184795 8616062976 30659 33554432000 4194304 4196468 140727536812624 140079087458576 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3194] ppid=3154 vsize=8414124 memory=1388 CPUtime=0 cores=0-7
/proc/3186/task/3194/stat : 3194 (java) S 3154 3154 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420184795 8616062976 30659 33554432000 4194304 4196468 140727536812624 140079086406288 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3195] ppid=3154 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/3186/task/3195/stat : 3195 (java) S 3154 3154 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420184795 8616062976 30659 33554432000 4194304 4196468 140727536812624 140079085353488 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3196] ppid=3154 vsize=8414124 memory=3612 CPUtime=0 cores=0-7
/proc/3186/task/3196/stat : 3196 (java) S 3154 3154 2547 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420184797 8616062976 30659 33554432000 4194304 4196468 140727536812624 140078700198512 140079606786690 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3197] ppid=3154 vsize=8414124 memory=39936 CPUtime=0 cores=0-7
/proc/3186/task/3197/stat : 3197 (java) S 3154 3154 2547 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420184797 8616062976 30659 33554432000 4194304 4196468 140727536812624 140078076650784 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3198] ppid=3154 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/3186/task/3198/stat : 3198 (java) S 3154 3154 2547 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420184797 8616062976 30659 33554432000 4194304 4196468 140727536812624 140077942429296 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3199] ppid=3154 vsize=8414124 memory=2044 CPUtime=0 cores=0-7
/proc/3186/task/3199/stat : 3199 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420184800 8616062976 30659 33554432000 4194304 4196468 140727536812624 140077567924816 140079606794139 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3200] ppid=3154 vsize=8414124 memory=7686721470334670486 CPUtime=0.05 cores=0-7
/proc/3186/task/3200/stat : 3200 (java) S 3154 3154 2547 0 -1 1077944384 392 0 0 0 5 0 0 0 20 0 24 0 420184800 8616062976 30659 33554432000 4194304 4196468 140727536812624 140078699145328 140079606786690 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3201] ppid=3154 vsize=8414124 memory=796 CPUtime=0.09 cores=0-7
/proc/3186/task/3201/stat : 3201 (java) S 3154 3154 2547 0 -1 1077944384 330 0 0 0 9 0 0 0 20 0 24 0 420184800 8616062976 30659 33554432000 4194304 4196468 140727536812624 140078698092528 140079606786690 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3202] ppid=3154 vsize=8414124 memory=1444 CPUtime=0.14 cores=0-7
/proc/3186/task/3202/stat : 3202 (java) S 3154 3154 2547 0 -1 1077944384 661 0 0 0 14 0 0 0 20 0 24 0 420184800 8616062976 30659 33554432000 4194304 4196468 140727536812624 140078697040240 140079606786690 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3203] ppid=3154 vsize=8414124 memory=1984 CPUtime=0.27 cores=0-7
/proc/3186/task/3203/stat : 3203 (java) S 3154 3154 2547 0 -1 1077944384 835 0 0 0 27 0 0 0 20 0 24 0 420184800 8616062976 30659 33554432000 4194304 4196468 140727536812624 140078695987440 140079606786690 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3204] ppid=3154 vsize=8414124 memory=2424 CPUtime=0 cores=0-7
/proc/3186/task/3204/stat : 3204 (java) S 3154 3154 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420184801 8616062976 30659 33554432000 4194304 4196468 140727536812624 140077070019424 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3205] ppid=3154 vsize=8414124 memory=4100 CPUtime=0.35 cores=0-7
/proc/3186/task/3205/stat : 3205 (java) S 3154 3154 2547 0 -1 1077944384 34 0 0 0 17 18 0 0 20 0 24 0 420184801 8616062976 30659 33554432000 4194304 4196468 140727536812624 140078694935344 140079606786690 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3207] ppid=3154 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/3186/task/3207/stat : 3207 (java) S 3154 3154 2547 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420184917 8616062976 30659 33554432000 4194304 4196468 140727536812624 140078686902080 140079606800153 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3209] ppid=3154 vsize=8414124 memory=1088 CPUtime=0.02 cores=0-7
/proc/3186/task/3209/stat : 3209 (java) S 3154 3154 2547 0 -1 4202560 1681 0 0 0 1 1 0 0 20 0 24 0 420184917 8616062976 30659 33554432000 4194304 4196468 140727536812624 140076398919088 140079606797469 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3210] ppid=3154 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/3186/task/3210/stat : 3210 (java) S 3154 3154 2547 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420184917 8616062976 30659 33554432000 4194304 4196468 140727536812624 140076667354416 140079606797469 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3211] ppid=3154 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/3186/task/3211/stat : 3211 (java) S 3154 3154 2547 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420184920 8616062976 30659 33554432000 4194304 4196468 140727536812624 140076130491696 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
Current children cumulated CPU time: 1546.16 s
Current children cumulated vsize: 12769544 KiB
Current children cumulated memory: 3813908 KiB

[startup+603.601 s]
/proc/loadavg: 2.85 3.48 5.43 4/220 3253
/proc/meminfo: memFree=26522568/32770688 swapFree=66961116/67108860
[pid=3154] ppid=3151 vsize=113128 memory=1476 CPUtime=124.39 cores=0-7
/proc/3154/stat : 3154 (scop.sh) S 3151 3154 2547 0 -1 4202496 584 60495 0 0 0 0 12058 381 20 0 1 0 420173924 115843072 369 33554432000 4194304 5098028 140722145633200 140722145629944 140702659793532 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34398208 140722145637156 140722145637484 140722145637484 140722145640397 0
/proc/3154/statm: 28282 369 311 221 0 87 0
[pid=3186] ppid=3154 vsize=8414124 memory=272796 CPUtime=2.32 cores=0-7
/proc/3186/stat : 3186 (java) S 3154 3154 2547 0 -1 1077944320 22917 0 0 0 197 35 0 0 20 0 24 0 420184793 8616062976 68199 33554432000 4194304 4196468 140727536812624 140727536795168 140079606775543 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
/proc/3186/statm: 2103531 68199 3226 1 0 2064875 0
[pid=3186/tid=3187] ppid=3154 vsize=8414124 memory=4752 CPUtime=0.89 cores=0-7
/proc/3186/task/3187/stat : 3187 (java) S 3154 3154 2547 0 -1 1077944384 16779 0 0 0 81 8 0 0 20 0 24 0 420184793 8616062976 68199 33554432000 4194304 4196468 140727536812624 140079578615712 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3188] ppid=3154 vsize=8414124 memory=1408 CPUtime=0 cores=0-7
/proc/3186/task/3188/stat : 3188 (java) S 3154 3154 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420184795 8616062976 68199 33554432000 4194304 4196468 140727536812624 140079611018128 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3189] ppid=3154 vsize=8414124 memory=3800 CPUtime=0 cores=0-7
/proc/3186/task/3189/stat : 3189 (java) S 3154 3154 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420184795 8616062976 68199 33554432000 4194304 4196468 140727536812624 140079091669776 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3190] ppid=3154 vsize=8414124 memory=3612 CPUtime=0 cores=0-7
/proc/3186/task/3190/stat : 3190 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420184795 8616062976 68199 33554432000 4194304 4196468 140727536812624 140079090617488 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3191] ppid=3154 vsize=8414124 memory=39936 CPUtime=0 cores=0-7
/proc/3186/task/3191/stat : 3191 (java) S 3154 3154 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420184795 8616062976 68199 33554432000 4194304 4196468 140727536812624 140079089564688 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3192] ppid=3154 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/3186/task/3192/stat : 3192 (java) S 3154 3154 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420184795 8616062976 68199 33554432000 4194304 4196468 140727536812624 140079088511376 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3193] ppid=3154 vsize=8414124 memory=2044 CPUtime=0 cores=0-7
/proc/3186/task/3193/stat : 3193 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420184795 8616062976 68199 33554432000 4194304 4196468 140727536812624 140079087458576 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3194] ppid=3154 vsize=8414124 memory=1388 CPUtime=0 cores=0-7
/proc/3186/task/3194/stat : 3194 (java) S 3154 3154 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420184795 8616062976 68199 33554432000 4194304 4196468 140727536812624 140079086406288 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3195] ppid=3154 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/3186/task/3195/stat : 3195 (java) S 3154 3154 2547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420184795 8616062976 68199 33554432000 4194304 4196468 140727536812624 140079085353488 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3196] ppid=3154 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/3186/task/3196/stat : 3196 (java) S 3154 3154 2547 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420184797 8616062976 68199 33554432000 4194304 4196468 140727536812624 140078700198512 140079606786690 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3197] ppid=3154 vsize=8414124 memory=122636 CPUtime=0 cores=0-7
/proc/3186/task/3197/stat : 3197 (java) S 3154 3154 2547 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420184797 8616062976 68199 33554432000 4194304 4196468 140727536812624 140078076650784 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3198] ppid=3154 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3186/task/3198/stat : 3198 (java) S 3154 3154 2547 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420184797 8616062976 68199 33554432000 4194304 4196468 140727536812624 140077942429296 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3199] ppid=3154 vsize=8414124 memory=122636 CPUtime=0 cores=0-7
/proc/3186/task/3199/stat : 3199 (java) S 3154 3154 2547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420184800 8616062976 68199 33554432000 4194304 4196468 140727536812624 140077567924816 140079606794139 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3200] ppid=3154 vsize=8414124 memory=3687696 CPUtime=0.1 cores=0-7
/proc/3186/task/3200/stat : 3200 (java) S 3154 3154 2547 0 -1 1077944384 634 0 0 0 9 1 0 0 20 0 24 0 420184800 8616062976 68199 33554432000 4194304 4196468 140727536812624 140078699145328 140079606786690 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3201] ppid=3154 vsize=8414124 memory=1984 CPUtime=0.15 cores=0-7
/proc/3186/task/3201/stat : 3201 (java) R 3154 3154 2547 0 -1 4202560 505 0 0 0 15 0 0 0 20 0 24 0 420184800 8616062976 68199 33554432000 4194304 4196468 140727536812624 140078698092528 140079586021342 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3202] ppid=3154 vsize=8414124 memory=2424 CPUtime=0.18 cores=0-7
/proc/3186/task/3202/stat : 3202 (java) S 3154 3154 2547 0 -1 1077944384 707 0 0 0 18 0 0 0 20 0 24 0 420184800 8616062976 68199 33554432000 4194304 4196468 140727536812624 140078697040240 140079606786690 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3203] ppid=3154 vsize=8414124 memory=4100 CPUtime=0.31 cores=0-7
/proc/3186/task/3203/stat : 3203 (java) S 3154 3154 2547 0 -1 1077944384 1060 0 0 0 31 0 0 0 20 0 24 0 420184800 8616062976 68199 33554432000 4194304 4196468 140727536812624 140078695987440 140079606786690 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3204] ppid=3154 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/3186/task/3204/stat : 3204 (java) S 3154 3154 2547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420184801 8616062976 68199 33554432000 4194304 4196468 140727536812624 140077070019424 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3205] ppid=3154 vsize=8414124 memory=1476 CPUtime=0.35 cores=0-7
/proc/3186/task/3205/stat : 3205 (java) S 3154 3154 2547 0 -1 1077944384 34 0 0 0 17 18 0 0 20 0 24 0 420184801 8616062976 68199 33554432000 4194304 4196468 140727536812624 140078694935344 140079606786690 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3207] ppid=3154 vsize=8414124 memory=122636 CPUtime=0 cores=0-7
/proc/3186/task/3207/stat : 3207 (java) S 3154 3154 2547 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420184917 8616062976 68199 33554432000 4194304 4196468 140727536812624 140078686902080 140079606800153 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3209] ppid=3154 vsize=8414124 memory=3689744 CPUtime=0.25 cores=0-7
/proc/3186/task/3209/stat : 3209 (java) R 3154 3154 2547 0 -1 4202560 1779 0 0 0 21 4 0 0 20 0 24 0 420184917 8616062976 68199 33554432000 4194304 4196468 140727536812624 140076398919040 140079100207036 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3210] ppid=3154 vsize=8414124 memory=1680 CPUtime=0 cores=0-7
/proc/3186/task/3210/stat : 3210 (java) S 3154 3154 2547 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420184917 8616062976 68199 33554432000 4194304 4196468 140727536812624 140076667354416 140079606797469 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3211] ppid=3154 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/3186/task/3211/stat : 3211 (java) S 3154 3154 2547 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420184920 8616062976 68199 33554432000 4194304 4196468 140727536812624 140076130491696 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
Current children cumulated CPU time: 126.71 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 274272 KiB

[startup+604.001 s]*
/proc/loadavg: 2.85 3.48 5.43 2/214 3253
/proc/meminfo: memFree=30157540/32770688 swapFree=66961116/67108860
[pid=3154] ppid=3151 vsize=113128 memory=1476 CPUtime=124.39 cores=0-7
/proc/3154/stat : 3154 (scop.sh) S 3151 3154 2547 0 -1 4202496 584 60495 0 0 0 0 12058 381 20 0 1 0 420173924 115843072 369 33554432000 4194304 5098028 140722145633200 140722145629944 140702659793532 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34398208 140722145637156 140722145637484 140722145637484 140722145640397 0
/proc/3154/statm: 28282 369 311 221 0 87 0
[pid=3186] ppid=3154 vsize=8283048 memory=350796 CPUtime=1423.54 cores=0-7
/proc/3186/stat : 3186 (java) S 3154 3154 2547 0 -1 1077944320 24191 7946379 0 0 273 41 141092 948 20 0 22 0 420184793 8481841152 87699 33554432000 4194304 4196468 140727536812624 140727536795168 140079606775543 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
/proc/3186/statm: 2070762 87699 3234 1 0 2032106 0
[pid=3186/tid=3187] ppid=3154 vsize=8283048 memory=1398722017469774279 CPUtime=1421.55 cores=0-7
/proc/3186/task/3187/stat : 3187 (java) R 3154 3154 2547 0 -1 4202560 17148 7946379 0 0 102 13 141092 948 20 0 22 0 420184793 8481841152 87699 33554432000 4194304 4196468 140727536812624 140079578611760 140079599461175 0 4 2 25189581 0 0 0 -1 2 0 0 37 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3188] ppid=3154 vsize=8283048 memory=4126316290023845779 CPUtime=1420.4 cores=0-7
/proc/3186/task/3188/stat : 3188 (java) S 3154 3154 2547 0 -1 1077944384 2 7946379 0 0 0 0 141092 948 20 0 22 0 420184795 8481841152 87699 33554432000 4194304 4196468 140727536812624 140079611018128 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3189] ppid=3154 vsize=8283048 memory=122636 CPUtime=1420.4 cores=0-7
/proc/3186/task/3189/stat : 3189 (java) S 3154 3154 2547 0 -1 1077944384 3 7946379 0 0 0 0 141092 948 20 0 22 0 420184795 8481841152 87699 33554432000 4194304 4196468 140727536812624 140079091669776 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3190] ppid=3154 vsize=8283048 memory=3687696 CPUtime=1420.4 cores=0-7
/proc/3186/task/3190/stat : 3190 (java) S 3154 3154 2547 0 -1 1077944384 1 7946379 0 0 0 0 141092 948 20 0 22 0 420184795 8481841152 87699 33554432000 4194304 4196468 140727536812624 140079090617488 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3191] ppid=3154 vsize=8283048 memory=3687696 CPUtime=1420.4 cores=0-7
/proc/3186/task/3191/stat : 3191 (java) S 3154 3154 2547 0 -1 1077944384 2 7946379 0 0 0 0 141092 948 20 0 22 0 420184795 8481841152 87699 33554432000 4194304 4196468 140727536812624 140079089564688 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3192] ppid=3154 vsize=8283048 memory=1398722017469774279 CPUtime=1420.4 cores=0-7
/proc/3186/task/3192/stat : 3192 (java) S 3154 3154 2547 0 -1 1077944384 2 7946379 0 0 0 0 141092 948 20 0 22 0 420184795 8481841152 87699 33554432000 4194304 4196468 140727536812624 140079088511376 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3193] ppid=3154 vsize=8283048 memory=4126316290023845779 CPUtime=1420.4 cores=0-7
/proc/3186/task/3193/stat : 3193 (java) S 3154 3154 2547 0 -1 1077944384 1 7946379 0 0 0 0 141092 948 20 0 22 0 420184795 8481841152 87699 33554432000 4194304 4196468 140727536812624 140079087458576 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3194] ppid=3154 vsize=8283048 memory=1408 CPUtime=1420.4 cores=0-7
/proc/3186/task/3194/stat : 3194 (java) S 3154 3154 2547 0 -1 1077944384 2 7946379 0 0 0 0 141092 948 20 0 22 0 420184795 8481841152 87699 33554432000 4194304 4196468 140727536812624 140079086406288 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3195] ppid=3154 vsize=8283048 memory=3800 CPUtime=1420.4 cores=0-7
/proc/3186/task/3195/stat : 3195 (java) S 3154 3154 2547 0 -1 1077944384 2 7946379 0 0 0 0 141092 948 20 0 22 0 420184795 8481841152 87699 33554432000 4194304 4196468 140727536812624 140079085353488 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3196] ppid=3154 vsize=8283048 memory=3687696 CPUtime=1420.4 cores=0-7
/proc/3186/task/3196/stat : 3196 (java) S 3154 3154 2547 0 -1 1077944384 9 7946379 0 0 0 0 141092 948 20 0 22 0 420184797 8481841152 87699 33554432000 4194304 4196468 140727536812624 140078700198512 140079606786690 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3197] ppid=3154 vsize=8283048 memory=8560 CPUtime=1420.4 cores=0-7
/proc/3186/task/3197/stat : 3197 (java) S 3154 3154 2547 0 -1 1077944384 13 7946379 0 0 0 0 141092 948 20 0 22 0 420184797 8481841152 87699 33554432000 4194304 4196468 140727536812624 140078076650784 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3198] ppid=3154 vsize=8283048 memory=14008 CPUtime=1420.4 cores=0-7
/proc/3186/task/3198/stat : 3198 (java) S 3154 3154 2547 0 -1 1077944384 21 7946379 0 0 0 0 141092 948 20 0 22 0 420184797 8481841152 87699 33554432000 4194304 4196468 140727536812624 140077942429296 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3199] ppid=3154 vsize=8283048 memory=19244 CPUtime=1420.4 cores=0-7
/proc/3186/task/3199/stat : 3199 (java) S 3154 3154 2547 0 -1 1077944384 1 7946379 0 0 0 0 141092 948 20 0 22 0 420184800 8481841152 87699 33554432000 4194304 4196468 140727536812624 140077567924816 140079606794139 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3200] ppid=3154 vsize=8283048 memory=14068 CPUtime=1420.6 cores=0-7
/proc/3186/task/3200/stat : 3200 (java) S 3154 3154 2547 0 -1 1077944384 906 7946379 0 0 19 1 141092 948 20 0 22 0 420184800 8481841152 87699 33554432000 4194304 4196468 140727536812624 140078699145328 140079606786690 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3201] ppid=3154 vsize=8283048 memory=2120 CPUtime=1420.66 cores=0-7
/proc/3186/task/3201/stat : 3201 (java) S 3154 3154 2547 0 -1 1077944384 652 7946379 0 0 26 0 141092 948 20 0 22 0 420184800 8481841152 87699 33554432000 4194304 4196468 140727536812624 140078698092528 140079606786690 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3202] ppid=3154 vsize=8283048 memory=496 CPUtime=1420.68 cores=0-7
/proc/3186/task/3202/stat : 3202 (java) S 3154 3154 2547 0 -1 1077944384 759 7946379 0 0 28 0 141092 948 20 0 22 0 420184800 8481841152 87699 33554432000 4194304 4196468 140727536812624 140078697040240 140079606786690 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3203] ppid=3154 vsize=8283048 memory=1556 CPUtime=1420.81 cores=0-7
/proc/3186/task/3203/stat : 3203 (java) S 3154 3154 2547 0 -1 1077944384 1347 7946379 0 0 41 0 141092 948 20 0 22 0 420184800 8481841152 87699 33554432000 4194304 4196468 140727536812624 140078695987440 140079606786690 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3204] ppid=3154 vsize=8283048 memory=3612 CPUtime=1420.4 cores=0-7
/proc/3186/task/3204/stat : 3204 (java) S 3154 3154 2547 0 -1 1077944384 3 7946379 0 0 0 0 141092 948 20 0 22 0 420184801 8481841152 87699 33554432000 4194304 4196468 140727536812624 140077070019424 140079606785749 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3205] ppid=3154 vsize=8283048 memory=39936 CPUtime=1420.75 cores=0-7
/proc/3186/task/3205/stat : 3205 (java) S 3154 3154 2547 0 -1 1077944384 34 7946379 0 0 17 18 141092 948 20 0 22 0 420184801 8481841152 87699 33554432000 4194304 4196468 140727536812624 140078694935344 140079606786690 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3207] ppid=3154 vsize=8283048 memory=984 CPUtime=1420.4 cores=0-7
/proc/3186/task/3207/stat : 3207 (java) S 3154 3154 2547 0 -1 1077944384 25 7946379 0 0 0 0 141092 948 20 0 22 0 420184917 8481841152 87699 33554432000 4194304 4196468 140727536812624 140078686901264 140079606786690 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
[pid=3186/tid=3211] ppid=3154 vsize=8283048 memory=2044 CPUtime=1420.4 cores=0-7
/proc/3186/task/3211/stat : 3211 (java) S 3154 3154 2547 0 -1 1077944384 14 7946379 0 0 0 0 141092 948 20 0 22 0 420184920 8481841152 87699 33554432000 4194304 4196468 140727536812624 140076130493488 140079606786690 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17051648 140727536817144 140727536817302 140727536817302 140727536820175 0
Current children cumulated CPU time: 1547.93 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 352272 KiB

Child status: 0
Real time (s): 604.069
CPU time (s): 1548.03
CPU user time (s): 1534.25
CPU system time (s): 13.7806
CPU usage (%): 256.267
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 7881968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1534.25
system time used= 13.7806
maximum resident set size= 7881128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8031688
page faults= 0
swaps= 0
block input operations= 16
block output operations= 1066848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38713
involuntary context switches= 1250


# summary of solver processes directly reported to runsolver:
#   pid: 3154
#   total CPU time (s): 1548.03
#   total CPU user time (s): 1534.25
#   total CPU system time (s): 13.7806

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.8798 second user time and 8.29184 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-14 08:24:41
IDJOB=4392859
IDBENCH=138647
IDSOLVER=2839
FILE ID=node116/4392859-1568442322
RUNJOBID= node116-1568439487-2574
PBS_JOBID= 21702335
Free space on /tmp= 61244 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js20/SuperTaillard-js-20-20.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-4392859-1568442322/watcher-4392859-1568442322 -o /tmp/evaluation-result-4392859-1568442322/solver-4392859-1568442322 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568439487-2574 --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-4392859-1568442322.xml

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

MD5SUM BENCH= bd4660d9f641dd45473fddd00af9a0d0
RANDOM SEED=691441843

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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:       32770688 kB
MemFree:        30863272 kB
MemAvailable:   31854980 kB
Buffers:           88272 kB
Cached:          1189296 kB
SwapCached:        46664 kB
Active:           942012 kB
Inactive:         387664 kB
Active(anon):       4520 kB
Inactive(anon):    88112 kB
Active(file):     937492 kB
Inactive(file):   299552 kB
Unevictable:      109348 kB
Mlocked:          109348 kB
SwapTotal:      67108860 kB
SwapFree:       66961116 kB
Dirty:             21284 kB
Writeback:             0 kB
AnonPages:        119604 kB
Mapped:            43828 kB
Shmem:             32008 kB
Slab:             169192 kB
SReclaimable:     141000 kB
SUnreclaim:        28192 kB
KernelStack:        3632 kB
PageTables:         4812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     498560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61224 MiB
End job on node116 at 2019-09-14 08:34:46