Trace number 4297224

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
scop both+glucose-syrup (2018-07-07)SAT 576.682 76.011

General information on the benchmark

NameQuasigroups/
QuasiGroup-4-12_c18.xml
MD5SUM31fb3bf3c58be033c7e9cdff116e7260
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 benchmark576.682
Satisfiable
(Un)Satisfiability was proved
Number of variables288
Number of constraints266
Number of domains2
Minimum domain size12
Maximum domain size144
Distribution of domain sizes[{"size":12,"count":144},{"size":144,"count":132}]
Minimum variable degree0
Maximum variable degree135
Distribution of variable degrees[{"degree":0,"count":12},{"degree":2,"count":132},{"degree":134,"count":12},{"degree":135,"count":132}]
Minimum constraint arity3
Maximum constraint arity145
Distribution of constraint arities[{"arity":3,"count":132},{"arity":12,"count":1},{"arity":144,"count":1},{"arity":145,"count":132}]
Number of extensional constraints0
Number of intensional constraints132
Distribution of constraint types[{"type":"intension","count":132},{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":132}]
Optimization problemNO
Type of objective

Solver Data 

0.66/0.53	
0.66/0.53	scop both+glucose-syrup (2018-07-07)
0.66/0.53	
0.66/0.56	c BEGIN-Prog: Fri Jul 27 10:47:52 CEST 2018
0.66/0.56	c PID: 9339
0.66/0.56	c IP: 172.20.3.137
0.66/0.56	c HOST: node137.alineos.net
0.66/0.57	c (0,0) Parsing Begin
2.01/1.13	c (0,0) Parsing End
2.01/1.14	c (0,0) CSP: 276 int (0 aux), 0 bool (0 aux), 266 ctr, max domain size 144
2.01/1.14	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.01/1.14	c (0,0) Constraint Name Generate Begin
2.01/1.16	c (0,0) Ctr:HOME/instance-4297224-1532681272.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num
2.01/1.16	c (0,0) Constraint Name Generate End
2.01/1.16	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.01/1.16	c (0,0) CSP to CSPinCNF Begin
4.12/1.81	c (1,1) translated 27 (10%) constraints
4.52/1.97	c (1,1) translated 54 (20%) constraints
4.97/2.09	c (1,1) translated 80 (30%) constraints
5.34/2.19	c (1,1) translated 107 (40%) constraints
5.48/2.29	c (1,1) translated 133 (50%) constraints
5.58/2.31	c (1,1) translated 160 (60%) constraints
5.58/2.32	c (1,1) translated 187 (70%) constraints
5.58/2.32	c (1,1) translated 213 (80%) constraints
5.58/2.32	c (1,1) translated 240 (90%) constraints
5.58/2.33	c (1,1) translated 266 (100%) constraints
6.41/2.51	c (1,1) STATISTICS1:HOME/instance-4297224-1532681272.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,276,20784,144,144,12,3,144:264;12:1320;1:264,144:19140;12:21120;1:1908,12:48;3:19008;2:1584;1:144,3:264;2:1584;1:57624,
6.41/2.51	c (1,1) ===========================================
6.41/2.51	c (1,1) Both Encoding selects:
6.41/2.51	c (1,1) Order
6.41/2.51	c (1,1) ===========================================
6.84/2.69	c (2,2) translated 2079 (10%) constraints
7.76/2.88	c (2,2) translated 4157 (20%) constraints
8.60/3.06	c (2,2) translated 6236 (30%) constraints
9.01/3.19	c (2,2) translated 8314 (40%) constraints
9.41/3.30	c (2,2) translated 10392 (50%) constraints
9.53/3.41	c (2,2) translated 12471 (60%) constraints
9.63/3.52	c (2,2) translated 14549 (70%) constraints
9.74/3.63	c (3,3) translated 16628 (80%) constraints
9.86/3.74	c (3,3) translated 18706 (90%) constraints
9.95/3.85	c (3,3) translated 20784 (100%) constraints
9.95/3.86	c (3,3) CSP to CSPinCNF End
9.95/3.86	c (3,3) CSP: 276 int (0 aux), 1728 bool (1728 aux), 58944 ctr, max domain size 144
9.95/3.86	c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
9.95/3.86	c (3,3) CSPinCNF Propagation Begin
11.58/4.32	c (3,3) 492 values, 5292 unsatisfiable literals, and 8112 valid clauses are removed
11.58/4.32	c (3,3) CSPinCNF Propagation End
11.58/4.32	c (3,3) CSP: 456 int (180 aux), 1548 bool (1548 aux), 50832 ctr, max domain size 142
11.58/4.32	c (3,3) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
11.58/4.32	c (3,3) Simplify CSPinCNF Begin
12.16/4.50	c (3,3) Simplify CSPinCNF End
12.16/4.50	c (3,3) CSP: 456 int (180 aux), 4620 bool (4620 aux), 53904 ctr, max domain size 142
12.16/4.50	c (3,3) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.16/4.50	c (3,3) Calculate Precise Domain Begin
12.16/4.50	c (3,3) 0 values are removed by re-calculation
12.16/4.50	c (3,3) Calculate Precise Domain End
12.16/4.50	c (3,3) CSP: 456 int (180 aux), 4620 bool (4620 aux), 53904 ctr, max domain size 142
12.16/4.50	c (3,3) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
12.16/4.50	c (3,3) CSPinCNF to SatSolver Begin
13.40/4.84	c (4,4) 5391 (10 %) CSP clauses are encoded (23992 SAT variables, 52058 SAT clauses)
13.40/4.88	c (4,4) 10781 (20 %) CSP clauses are encoded (23992 SAT variables, 57448 SAT clauses)
13.80/4.91	c (4,4) 16172 (30 %) CSP clauses are encoded (23992 SAT variables, 62839 SAT clauses)
13.80/4.94	c (4,4) 21562 (40 %) CSP clauses are encoded (23992 SAT variables, 68229 SAT clauses)
13.80/4.97	c (4,4) 26952 (50 %) CSP clauses are encoded (23992 SAT variables, 73619 SAT clauses)
13.80/5.00	c (4,4) 32343 (60 %) CSP clauses are encoded (23992 SAT variables, 79010 SAT clauses)
14.09/5.02	c (4,4) 37733 (70 %) CSP clauses are encoded (23992 SAT variables, 84400 SAT clauses)
14.09/5.05	c (4,4) 43124 (80 %) CSP clauses are encoded (23992 SAT variables, 89791 SAT clauses)
14.09/5.07	c (4,4) 48514 (90 %) CSP clauses are encoded (23992 SAT variables, 95181 SAT clauses)
14.22/5.19	c (4,4) 53904 (100 %) CSP clauses are encoded (23992 SAT variables, 135474 SAT clauses)
14.22/5.19	c (4,4) CSPinCNF to SatSolver End
14.22/5.19	c (4,4) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
15.38/5.42	c (4,4) STATISTICS2:HOME/instance-4297224-1532681272.xml,Add:AllDifferentMatrix:Element:Eq:Instantiation:IntVar:Mul:Num,5076,53904,144,142,10,3,144:180;121:72;100:12;12:1440;11:968;10:232;1:432,142:20448;141:5076;129:8772;128:512;116:1392;12:26460;11:9648;10:1460;2:53732;1:432,10:44;3:16436;2:37160;1:264,3:264;2:3072;1:120996,
15.38/5.42	c (4,4) SatSolver.solve Begin
15.38/5.42	c (4,4) 23992 bool, 135572 clause
15.38/5.42	c (4,4) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297224-1532681272.xml-scop-9339.cnf HOME/instance-4297224-1532681272.xml-scop-9339.cnf.out
86.42/14.57	c (14,0) c
86.42/14.57	c (14,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
86.42/14.57	c (14,0) c
86.42/14.57	c (14,0) c WARNING: for repeatability, setting FPU to use double precision
86.42/14.57	c (14,0) c 8 solvers engines and 1 companion as a blackboard created.
86.42/14.57	c (14,0) c ========================================[ Problem Statistics ]===========================================
86.42/14.57	c (14,0) c |                                                                                                       |
86.42/14.57	c (14,0) c |  Number of variables:         23992                                                                   |
86.42/14.57	c (14,0) c |  Number of clauses:          135572                                                                   |
86.42/14.57	c (14,0) c |  Parse time:                   0.05 s                                                                 |
86.42/14.57	c (14,0) c |                                                                                                       |
86.42/14.57	c (14,0) c |  Eliminated clauses:           0.42 Mb                                                                |
86.42/14.57	c (14,0) c |  Simplification time:          0.10 s                                                                 |
86.42/14.57	c (14,0) c |                                                                                                       |
86.42/14.57	c (14,0) c |  Generating clones                                                                                    |
86.42/14.57	c (14,0) c |  all clones generated. Memory = 124.88Mb.                                                             |
86.42/14.57	c (14,0) c ========================================================================================================|
86.42/14.57	c (14,0) c
86.42/14.57	c (14,0) c |-------------------------------------------------------------------------------------------------------|
86.42/14.57	c (14,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
86.42/14.57	c (14,0) c |-------------------------------------------------------------------------------------------------------|
86.42/14.57	c (14,0) c |  0 |     55 |      39083 |       8864 |    56918 |     5064 |      898 |    10314 |      175 |  0.142 |
86.42/14.57	c (14,0) c |  1 |    109 |      44018 |       9564 |    56511 |     5765 |      847 |    10326 |      156 |  0.142 |
86.42/14.57	c (14,0) c |  2 |    123 |      51311 |      10401 |    57377 |     6597 |     1090 |    10101 |      183 |  0.142 |
86.42/14.57	c (14,0) c |  3 |    117 |      49203 |      10529 |    57318 |     6729 |     1051 |    10122 |      180 |  0.142 |
86.42/14.57	c (14,0) c |  4 |    122 |      44507 |      10062 |    57832 |     6266 |      921 |    10279 |      152 |  0.142 |
86.42/14.57	c (14,0) c |  5 |    119 |      49118 |      10284 |    57567 |     6486 |     1062 |    10127 |      170 |  0.142 |
86.42/14.57	c (14,0) c |  6 |    112 |      59759 |      19638 |    56616 |    10845 |     4320 |     6899 |      176 |  0.142 |
86.42/14.57	c (14,0) c |  7 |    132 |      50066 |      10508 |    57550 |     6709 |     1070 |     9933 |      184 |  0.142 |
86.42/14.57	c (14,0) c 
86.42/14.57	c (14,0) c synthesis       89853 conflicts   114529111 propagations     2326 conflicts/sec  2964653 propagations/sec
86.42/14.57	c (14,0) c Total Memory so far : 702.37Mb
86.42/14.57	c (14,0) c
86.42/14.57	c (14,0) c |-------------------------------------------------------------------------------------------------------|
86.42/14.57	c (14,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
86.42/14.57	c (14,0) c |-------------------------------------------------------------------------------------------------------|
86.42/14.57	c (14,0) c |  0 |     87 |      66429 |      15653 |    63473 |     6856 |     2272 |    19969 |      777 |  0.233 |
86.42/14.57	c (14,0) c |  1 |    161 |      72438 |      16123 |    62695 |     7324 |     2103 |    20252 |      703 |  0.233 |
86.42/14.57	c (14,0) c |  2 |    175 |      80565 |      18160 |    63593 |     9355 |     2605 |    19687 |      799 |  0.233 |
86.42/14.57	c (14,0) c |  3 |    175 |      80223 |      17570 |    63624 |     8767 |     2483 |    19808 |      769 |  0.233 |
86.42/14.57	c (14,0) c |  4 |    176 |      74531 |      17347 |    63792 |     8552 |     2374 |    19770 |      780 |  0.233 |
86.42/14.57	c (14,0) c |  5 |    167 |      80545 |      17464 |    63929 |     8668 |     2548 |    19788 |      767 |  0.233 |
86.42/14.57	c (14,0) c |  6 |    219 |      93721 |      26359 |    63202 |    10165 |     5424 |    16927 |      783 |  0.233 |
86.42/14.57	c (14,0) c |  7 |    200 |      79059 |      17754 |    63787 |     8955 |     2561 |    19741 |      787 |  0.233 |
86.42/14.57	c (14,0) c 
198.10/28.57	c (28,0) c synthesis      146431 conflicts   205596115 propagations     2077 conflicts/sec  2916738 propagations/sec
198.10/28.57	c (28,0) c Total Memory so far : 702.37Mb
198.10/28.57	c (28,0) c
198.10/28.57	c (28,0) c |-------------------------------------------------------------------------------------------------------|
198.10/28.57	c (28,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
198.10/28.57	c (28,0) c |-------------------------------------------------------------------------------------------------------|
198.10/28.57	c (28,0) c |  0 |    120 |      89689 |      22523 |    66497 |    13723 |     3565 |    28037 |     1518 |  0.292 |
198.10/28.57	c (28,0) c |  1 |    204 |      98318 |      22647 |    65773 |    13847 |     3329 |    28918 |     1523 |  0.296 |
198.10/28.57	c (28,0) c |  2 |    220 |     107869 |      25467 |    66529 |     9264 |     3928 |    28283 |     1623 |  0.296 |
198.10/28.57	c (28,0) c |  3 |    227 |     109582 |      24524 |    66619 |     8327 |     3765 |    28341 |     1604 |  0.292 |
198.10/28.57	c (28,0) c |  4 |    214 |     101123 |      24613 |    66647 |     8414 |     3706 |    28501 |     1626 |  0.296 |
198.10/28.57	c (28,0) c |  5 |    206 |     109046 |      24773 |    66860 |     8575 |     3867 |    28123 |     1655 |  0.292 |
198.10/28.57	c (28,0) c |  6 |    318 |     126086 |      32789 |    66178 |    16595 |     6324 |    25956 |     1663 |  0.296 |
198.10/28.57	c (28,0) c |  7 |    239 |     107645 |      24929 |    66514 |     8729 |     3825 |    28376 |     1631 |  0.296 |
198.10/28.57	c (28,0) c 
198.10/28.57	c (28,0) c synthesis      202265 conflicts   292732203 propagations     1976 conflicts/sec  2860296 propagations/sec
198.10/28.57	c (28,0) c Total Memory so far : 702.37Mb
198.10/28.57	c (28,0) c
198.10/28.57	c (28,0) c |-------------------------------------------------------------------------------------------------------|
198.10/28.57	c (28,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
198.10/28.57	c (28,0) c |-------------------------------------------------------------------------------------------------------|
198.10/28.57	c (28,0) c |  0 |    154 |     119532 |      31247 |    68827 |    15047 |     5036 |    38361 |     2569 |  0.338 |
198.10/28.57	c (28,0) c |  1 |    255 |     127381 |      30925 |    68115 |    14727 |     4692 |    38739 |     2481 |  0.338 |
198.10/28.57	c (28,0) c |  2 |    264 |     136376 |      34565 |    68777 |    18361 |     5417 |    38062 |     2707 |  0.338 |
198.10/28.57	c (28,0) c |  3 |    279 |     138344 |      32977 |    68764 |    16779 |     5150 |    37979 |     2621 |  0.333 |
198.10/28.57	c (28,0) c |  4 |    265 |     130509 |      33514 |    68883 |    17313 |     5164 |    38269 |     2719 |  0.338 |
198.10/28.57	c (28,0) c |  5 |    264 |     139342 |      33673 |    68959 |    17475 |     5352 |    38126 |     2674 |  0.338 |
198.10/28.57	c (28,0) c |  6 |    436 |     161495 |      40791 |    68273 |    14695 |     7405 |    36070 |     2828 |  0.338 |
198.10/28.57	c (28,0) c |  7 |    289 |     139933 |      33817 |    68775 |    17615 |     5263 |    38112 |     2738 |  0.338 |
198.10/28.57	c (28,0) c 
198.10/28.57	c (28,0) c synthesis      271509 conflicts   400268467 propagations     1910 conflicts/sec  2815211 propagations/sec
198.10/28.57	c (28,0) c Total Memory so far : 702.37Mb
198.10/28.57	c (28,0) c
198.10/28.57	c (28,0) c |-------------------------------------------------------------------------------------------------------|
198.10/28.57	c (28,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
198.10/28.57	c (28,0) c |-------------------------------------------------------------------------------------------------------|
198.10/28.57	c (28,0) c |  0 |    188 |     143502 |      39398 |    70413 |    13299 |     6301 |    46273 |     3549 |  0.358 |
198.10/28.57	c (28,0) c |  1 |    305 |     153333 |      38871 |    69799 |    12773 |     5891 |    47345 |     3544 |  0.358 |
198.10/28.57	c (28,0) c |  2 |    315 |     162787 |      43152 |    70485 |    17048 |     6596 |    46207 |     3762 |  0.358 |
198.10/28.57	c (28,0) c |  3 |    326 |     165630 |      41920 |    70560 |    15822 |     6509 |    46610 |     3756 |  0.358 |
198.10/28.57	c (28,0) c |  4 |    307 |     157048 |      42072 |    70562 |    15970 |     6356 |    46757 |     3775 |  0.358 |
198.10/28.57	c (28,0) c |  5 |    318 |     165762 |      42324 |    70665 |    16226 |     6666 |    46491 |     3732 |  0.358 |
198.10/28.57	c (28,0) c |  6 |    545 |     192151 |      48519 |    69916 |    22423 |     8453 |    44748 |     3978 |  0.358 |
198.10/28.57	c (28,0) c |  7 |    348 |     167600 |      42163 |    70479 |    16066 |     6469 |    46637 |     3845 |  0.358 |
198.10/28.57	c (28,0) c 
198.10/28.57	c (28,0) c synthesis      338419 conflicts   504915967 propagations     1859 conflicts/sec  2773495 propagations/sec
325.72/44.57	c (44,0) c Total Memory so far : 702.37Mb
325.72/44.57	c (44,0) c
325.72/44.57	c (44,0) c |-------------------------------------------------------------------------------------------------------|
325.72/44.57	c (44,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
325.72/44.57	c (44,0) c |-------------------------------------------------------------------------------------------------------|
325.72/44.57	c (44,0) c |  0 |    210 |     162200 |      45833 |    71496 |    19734 |     7230 |    52998 |     4315 |  0.363 |
325.72/44.57	c (44,0) c |  1 |    334 |     171613 |      45269 |    70890 |    19172 |     6797 |    53515 |     4327 |  0.363 |
325.72/44.57	c (44,0) c |  2 |    339 |     182908 |      50133 |    71625 |    24029 |     7537 |    52812 |     4725 |  0.363 |
325.72/44.57	c (44,0) c |  3 |    375 |     186249 |      48383 |    71616 |    22285 |     7294 |    52981 |     4585 |  0.363 |
325.72/44.57	c (44,0) c |  4 |    344 |     175572 |      48617 |    71601 |    22514 |     7291 |    52821 |     4555 |  0.363 |
325.72/44.57	c (44,0) c |  5 |    363 |     186776 |      48756 |    71728 |    22658 |     7565 |    52754 |     4643 |  0.363 |
325.72/44.57	c (44,0) c |  6 |    617 |     217304 |      55038 |    71007 |    16496 |     9229 |    50975 |     4881 |  0.363 |
325.72/44.57	c (44,0) c |  7 |    387 |     186368 |      48843 |    71543 |    22746 |     7445 |    52890 |     4718 |  0.363 |
325.72/44.57	c (44,0) c 
325.72/44.57	c (44,0) c synthesis      390874 conflicts   586062450 propagations     1827 conflicts/sec  2739752 propagations/sec
325.72/44.57	c (44,0) c Total Memory so far : 702.37Mb
325.72/44.57	c (44,0) c
325.72/44.57	c (44,0) c |-------------------------------------------------------------------------------------------------------|
325.72/44.57	c (44,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
325.72/44.57	c (44,0) c |-------------------------------------------------------------------------------------------------------|
325.72/44.57	c (44,0) c |  0 |    235 |     178725 |      52048 |    72458 |    13504 |     8105 |    59242 |     5109 |  0.383 |
325.72/44.57	c (44,0) c |  1 |    371 |     192327 |      51315 |    71750 |    12768 |     7626 |    59661 |     5184 |  0.383 |
325.72/44.57	c (44,0) c |  2 |    382 |     201203 |      56852 |    72539 |    18302 |     8432 |    58852 |     5530 |  0.383 |
325.72/44.57	c (44,0) c |  3 |    410 |     205032 |      55161 |    72543 |    16613 |     8228 |    59037 |     5423 |  0.383 |
325.72/44.57	c (44,0) c |  4 |    384 |     195612 |      55126 |    72523 |    16579 |     8211 |    59120 |     5358 |  0.383 |
325.72/44.57	c (44,0) c |  5 |    397 |     205928 |      55526 |    72740 |    16981 |     8503 |    58822 |     5462 |  0.383 |
325.72/44.57	c (44,0) c |  6 |    696 |     238666 |      61221 |    71907 |    22679 |     9933 |    57381 |     5695 |  0.383 |
325.72/44.57	c (44,0) c |  7 |    417 |     204085 |      55402 |    72557 |    16854 |     8351 |    59014 |     5509 |  0.383 |
325.72/44.57	c (44,0) c 
325.72/44.57	c (44,0) c synthesis      442651 conflicts   667143353 propagations     1801 conflicts/sec  2714220 propagations/sec
325.72/44.57	c (44,0) c Total Memory so far : 702.37Mb
325.72/44.57	c (44,0) c
325.72/44.57	c (44,0) c |-------------------------------------------------------------------------------------------------------|
325.72/44.57	c (44,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
325.72/44.57	c (44,0) c |-------------------------------------------------------------------------------------------------------|
325.72/44.57	c (44,0) c |  0 |    272 |     197671 |      58539 |    73253 |    19995 |     8925 |    64487 |     5871 |  0.392 |
325.72/44.57	c (44,0) c |  1 |    408 |     210280 |      57793 |    72701 |    19246 |     8504 |    65315 |     5921 |  0.392 |
325.72/44.57	c (44,0) c |  2 |    411 |     217950 |      63621 |    73423 |    25071 |     9314 |    64566 |     6320 |  0.392 |
325.72/44.57	c (44,0) c |  3 |    457 |     223235 |      61675 |    73493 |    23127 |     9078 |    64745 |     6219 |  0.392 |
325.72/44.57	c (44,0) c |  4 |    411 |     212036 |      61650 |    73413 |    23103 |     9079 |    64685 |     6126 |  0.392 |
325.72/44.57	c (44,0) c |  5 |    424 |     223837 |      62124 |    73612 |    23578 |     9289 |    64605 |     6233 |  0.392 |
325.72/44.57	c (44,0) c |  6 |    756 |     258810 |      66993 |    72756 |    28450 |    10540 |    63339 |     6546 |  0.392 |
325.72/44.57	c (44,0) c |  7 |    453 |     223188 |      61994 |    73459 |    23446 |     9179 |    64690 |     6363 |  0.392 |
325.72/44.57	c (44,0) c 
325.72/44.57	c (44,0) c synthesis      494389 conflicts   747369858 propagations     1780 conflicts/sec  2691430 propagations/sec
325.72/44.57	c (44,0) c Total Memory so far : 702.37Mb
325.72/44.57	c (44,0) c
437.40/58.57	c (58,0) c |-------------------------------------------------------------------------------------------------------|
437.40/58.57	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
437.40/58.57	c (58,0) c |-------------------------------------------------------------------------------------------------------|
437.40/58.57	c (58,0) c |  0 |    296 |     211651 |      64716 |    74053 |    26172 |     9752 |    70305 |     6641 |  0.396 |
437.40/58.57	c (58,0) c |  1 |    442 |     226231 |      63751 |    73518 |    25204 |     9307 |    70515 |     6609 |  0.396 |
437.40/58.57	c (58,0) c |  2 |    455 |     233944 |      70098 |    74202 |    16528 |    10124 |    69971 |     7090 |  0.396 |
437.40/58.57	c (58,0) c |  3 |    500 |     241118 |      67834 |    74225 |    29286 |     9856 |    70060 |     7003 |  0.396 |
437.40/58.57	c (58,0) c |  4 |    440 |     227272 |      67995 |    74186 |    29447 |     9829 |    69940 |     6939 |  0.396 |
437.40/58.57	c (58,0) c |  5 |    448 |     237891 |      68409 |    74377 |    29863 |    10028 |    69818 |     7019 |  0.396 |
437.40/58.57	c (58,0) c |  6 |    820 |     277847 |      73353 |    73618 |    19787 |    11253 |    68818 |     7300 |  0.396 |
437.40/58.57	c (58,0) c |  7 |    486 |     238862 |      68110 |    74256 |    29562 |     9967 |    70105 |     7110 |  0.396 |
437.40/58.57	c (58,0) c 
437.40/58.57	c (58,0) c synthesis      544266 conflicts   824661531 propagations     1758 conflicts/sec  2663800 propagations/sec
437.40/58.57	c (58,0) c Total Memory so far : 702.37Mb
437.40/58.57	c (58,0) c
437.40/58.57	c (58,0) c |-------------------------------------------------------------------------------------------------------|
437.40/58.57	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
437.40/58.57	c (58,0) c |-------------------------------------------------------------------------------------------------------|
437.40/58.57	c (58,0) c |  0 |    320 |     226411 |      70937 |    74692 |    17373 |    10528 |    75484 |     7371 |  0.413 |
437.40/58.57	c (58,0) c |  1 |    466 |     239590 |      69376 |    74268 |    15807 |    10009 |    76012 |     7300 |  0.413 |
437.40/58.57	c (58,0) c |  2 |    497 |     250100 |      76558 |    75006 |    22988 |    10938 |    74997 |     7781 |  0.413 |
437.40/58.57	c (58,0) c |  3 |    531 |     257087 |      74021 |    74949 |    20447 |    10570 |    75457 |     7653 |  0.417 |
437.40/58.57	c (58,0) c |  4 |    473 |     242841 |      74217 |    74927 |    20645 |    10498 |    75310 |     7580 |  0.413 |
437.40/58.57	c (58,0) c |  5 |    475 |     252684 |      74819 |    75171 |    21249 |    10835 |    75051 |     7698 |  0.413 |
437.40/58.57	c (58,0) c |  6 |    881 |     295110 |      79197 |    74356 |    25629 |    11915 |    74030 |     8010 |  0.413 |
437.40/58.57	c (58,0) c |  7 |    528 |     255014 |      74873 |    74931 |    21302 |    10739 |    75288 |     7803 |  0.413 |
437.40/58.57	c (58,0) c 
437.40/58.57	c (58,0) c synthesis      594000 conflicts   903529863 propagations     1740 conflicts/sec  2646266 propagations/sec
437.40/58.57	c (58,0) c Total Memory so far : 702.37Mb
437.40/58.57	c (58,0) c
437.40/58.57	c (58,0) c |-------------------------------------------------------------------------------------------------------|
437.40/58.57	c (58,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
437.40/58.57	c (58,0) c |-------------------------------------------------------------------------------------------------------|
437.40/58.57	c (58,0) c |  0 |    350 |     244920 |      78615 |    75464 |    25051 |    11479 |    81582 |     8152 |  0.417 |
437.40/58.57	c (58,0) c |  1 |    499 |     257570 |      76985 |    75143 |    23416 |    10929 |    81526 |     8082 |  0.417 |
437.40/58.57	c (58,0) c |  2 |    550 |     269075 |      84024 |    75774 |    30454 |    11751 |    81270 |     8621 |  0.417 |
437.40/58.57	c (58,0) c |  3 |    565 |     276257 |      81459 |    75805 |    27885 |    11443 |    81530 |     8555 |  0.417 |
437.40/58.57	c (58,0) c |  4 |    501 |     260244 |      82230 |    75846 |    28658 |    11362 |    81239 |     8425 |  0.417 |
437.40/58.57	c (58,0) c |  5 |    501 |     269269 |      82948 |    76025 |    29378 |    11790 |    81239 |     8575 |  0.417 |
437.40/58.57	c (58,0) c |  6 |    949 |     315100 |      86369 |    75084 |    32801 |    12661 |    80103 |     8941 |  0.417 |
437.40/58.57	c (58,0) c |  7 |    564 |     273058 |      82780 |    75758 |    29209 |    11721 |    81167 |     8633 |  0.417 |
437.40/58.57	c (58,0) c 
437.40/58.57	c (58,0) c synthesis      655410 conflicts  1000239130 propagations     1719 conflicts/sec  2623242 propagations/sec
437.40/58.57	c (58,0) c Total Memory so far : 702.37Mb
437.40/58.57	c (58,0) c
437.40/58.57	c (58,0) c |-------------------------------------------------------------------------------------------------------|
501.22/66.57	c (66,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
501.22/66.57	c (66,0) c |-------------------------------------------------------------------------------------------------------|
501.22/66.57	c (66,0) c |  0 |    387 |     262218 |      85657 |    76136 |    32093 |    12261 |    87347 |     8980 |  0.425 |
501.22/66.57	c (66,0) c |  1 |    529 |     274023 |      84125 |    75842 |    30556 |    11740 |    87840 |     8835 |  0.425 |
501.22/66.57	c (66,0) c |  2 |    586 |     286129 |      91878 |    76537 |    20696 |    12653 |    86961 |     9470 |  0.425 |
501.22/66.57	c (66,0) c |  3 |    589 |     291533 |      88769 |    76612 |    35195 |    12293 |    87002 |     9405 |  0.425 |
501.22/66.57	c (66,0) c |  4 |    523 |     275960 |      89677 |    76496 |    18496 |    12210 |    87252 |     9281 |  0.425 |
501.22/66.57	c (66,0) c |  5 |    536 |     284575 |      90361 |    76711 |    19180 |    12644 |    86988 |     9369 |  0.425 |
501.22/66.57	c (66,0) c |  6 |   1002 |     334009 |      93780 |    75902 |    22601 |    13405 |    86209 |     9794 |  0.425 |
501.22/66.57	c (66,0) c |  7 |    615 |     290984 |      89926 |    76406 |    18745 |    12514 |    87001 |     9437 |  0.425 |
501.22/66.57	c (66,0) c 
501.22/66.57	c (66,0) c synthesis      714173 conflicts  1093202926 propagations     1696 conflicts/sec  2595633 propagations/sec
501.22/66.57	c (66,0) c Total Memory so far : 702.37Mb
501.22/66.57	c (66,0) c
501.22/66.57	c (66,0) c Try to adapt solver strategies
501.22/66.57	c (66,0) c 
501.22/66.57	c (66,0) c Nothing extreme in this problem, continue with glucose default strategies.
501.22/66.57	c (66,0) c
501.22/66.57	c (66,0) c
501.22/66.57	c (66,0) c |-------------------------------------------------------------------------------------------------------|
501.22/66.57	c (66,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
501.22/66.57	c (66,0) c |-------------------------------------------------------------------------------------------------------|
501.22/66.57	c (66,0) c |  0 |    412 |     276652 |      91662 |    76676 |    20482 |    12930 |    91739 |     9601 |  0.425 |
501.22/66.57	c (66,0) c |  1 |    550 |     285290 |      89890 |    76401 |    18705 |    12394 |    92648 |     9428 |  0.425 |
501.22/66.57	c (66,0) c |  2 |    618 |     300965 |      98569 |    77097 |    27388 |    13419 |    91159 |    10067 |  0.425 |
501.22/66.57	c (66,0) c |  3 |    618 |     305484 |      94840 |    77123 |    23657 |    12990 |    91994 |     9976 |  0.425 |
501.22/66.57	c (66,0) c |  4 |    549 |     287858 |      95593 |    77088 |    24412 |    12845 |    92181 |     9833 |  0.425 |
501.22/66.57	c (66,0) c |  5 |    562 |     297306 |      96379 |    77251 |    25198 |    13310 |    91644 |     9921 |  0.425 |
501.22/66.57	c (66,0) c |  6 |   1042 |     348525 |     100100 |    76444 |    28919 |    14071 |    91007 |    10433 |  0.425 |
501.22/66.57	c (66,0) c |  7 |    661 |     305807 |      95922 |    76956 |    24741 |    13208 |    91930 |    10037 |  0.425 |
501.22/66.57	c (66,0) c 
501.22/66.57	c (66,0) c synthesis      762955 conflicts  1170017880 propagations     1684 conflicts/sec  2582435 propagations/sec
501.22/66.57	c (66,0) c Total Memory so far : 702.37Mb
501.22/66.57	c (66,0) c
501.22/66.57	c (66,0) c Try to adapt solver strategies
501.22/66.57	c (66,0) c 
501.22/66.57	c (66,0) c Nothing extreme in this problem, continue with glucose default strategies.
501.22/66.57	c (66,0) c
501.22/66.57	c (66,0) c
501.22/66.57	c (66,0) c Try to adapt solver strategies
501.22/66.57	c (66,0) c 
501.22/66.57	c (66,0) c Nothing extreme in this problem, continue with glucose default strategies.
501.22/66.57	c (66,0) c
501.22/66.57	c (66,0) c
501.22/66.57	c (66,0) c |-------------------------------------------------------------------------------------------------------|
501.22/66.57	c (66,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
501.22/66.57	c (66,0) c |-------------------------------------------------------------------------------------------------------|
501.22/66.57	c (66,0) c |  0 |    431 |     288463 |      97629 |    77246 |    26448 |    13601 |    96807 |    10159 |  0.429 |
501.22/66.57	c (66,0) c |  1 |    577 |     298894 |      95900 |    76916 |    24715 |    13061 |    97263 |    10040 |  0.429 |
501.22/66.57	c (66,0) c |  2 |    650 |     314676 |     104745 |    77651 |    33563 |    14133 |    96274 |    10685 |  0.429 |
501.22/66.57	c (66,0) c |  3 |    646 |     318629 |     100601 |    77609 |    29418 |    13567 |    96839 |    10577 |  0.429 |
501.22/66.57	c (66,0) c |  4 |    574 |     301509 |     102150 |    77617 |    30968 |    13565 |    96565 |    10494 |  0.429 |
501.22/66.57	c (66,0) c |  5 |    590 |     309168 |     102216 |    77784 |    31035 |    13979 |    96062 |    10552 |  0.429 |
501.22/66.57	c (66,0) c |  6 |   1088 |     363825 |     105834 |    77004 |    34654 |    14641 |    95686 |    11110 |  0.429 |
501.22/66.57	c (66,0) c |  7 |    695 |     318988 |     101734 |    77466 |    30553 |    13866 |    96520 |    10629 |  0.429 |
501.22/66.57	c (66,0) c 
576.21/75.92	c (75,0) c synthesis      810809 conflicts  1245442534 propagations     1672 conflicts/sec  2568242 propagations/sec
576.21/75.92	c (75,0) c Total Memory so far : 702.37Mb
576.21/75.92	c (75,0) c
576.21/75.92	c (75,0) c Try to adapt solver strategies
576.21/75.92	c (75,0) c 
576.21/75.92	c (75,0) c Nothing extreme in this problem, continue with glucose default strategies.
576.21/75.92	c (75,0) c
576.21/75.92	c (75,0) c
576.21/75.92	c (75,0) c |-------------------------------------------------------------------------------------------------------|
576.21/75.92	c (75,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
576.21/75.92	c (75,0) c |-------------------------------------------------------------------------------------------------------|
576.21/75.92	c (75,0) c |  0 |    454 |     299206 |     103105 |    77608 |    31923 |    14184 |   101124 |    10672 |  0.429 |
576.21/75.92	c (75,0) c |  1 |    601 |     310174 |     101593 |    77381 |    30408 |    13721 |   101722 |    10600 |  0.429 |
576.21/75.92	c (75,0) c |  2 |    672 |     326477 |     110642 |    78122 |    39460 |    14778 |   100533 |    11339 |  0.429 |
576.21/75.92	c (75,0) c |  3 |    670 |     330279 |     106581 |    78089 |    35398 |    14227 |   101239 |    11154 |  0.429 |
576.21/75.92	c (75,0) c |  4 |    607 |     314958 |     107971 |    78031 |    36789 |    14248 |   101230 |    11137 |  0.429 |
576.21/75.92	c (75,0) c |  5 |    605 |     319432 |     108131 |    78259 |    36950 |    14609 |   100667 |    11121 |  0.429 |
576.21/75.92	c (75,0) c |  6 |   1117 |     376184 |     111722 |    77521 |    20333 |    15253 |   100092 |    11781 |  0.429 |
576.21/75.92	c (75,0) c |  7 |    732 |     332012 |     107429 |    77916 |    36248 |    14462 |   100991 |    11221 |  0.429 |
576.21/75.92	c (75,0) c 
576.21/75.92	c (75,0) c synthesis      857174 conflicts  1318055600 propagations     1658 conflicts/sec  2550234 propagations/sec
576.21/75.92	c (75,0) c Total Memory so far : 702.37Mb
576.21/75.92	c (75,0) c
576.21/75.92	c (75,0) c |-------------------------------------------------------------------------------------------------------|
576.21/75.92	c (75,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
576.21/75.92	c (75,0) c |-------------------------------------------------------------------------------------------------------|
576.21/75.92	c (75,0) c |  0 |    464 |     308647 |     108870 |    78075 |    37688 |    14799 |   105077 |    11221 |  0.433 |
576.21/75.92	c (75,0) c |  1 |    624 |     322853 |     107131 |    77791 |    35944 |    14282 |   105715 |    11225 |  0.433 |
576.21/75.92	c (75,0) c |  2 |    692 |     337341 |     116940 |    78608 |    25555 |    15439 |   104570 |    11877 |  0.433 |
576.21/75.92	c (75,0) c |  3 |    695 |     341986 |     112191 |    78445 |    20803 |    14820 |   105525 |    11747 |  0.433 |
576.21/75.92	c (75,0) c |  4 |    633 |     325921 |     113615 |    78437 |    22226 |    14833 |   105466 |    11680 |  0.433 |
576.21/75.92	c (75,0) c |  5 |    622 |     331087 |     113973 |    78660 |    22586 |    15268 |   105023 |    11697 |  0.433 |
576.21/75.92	c (75,0) c |  6 |   1160 |     390745 |     117965 |    78081 |    26577 |    15886 |   104113 |    12344 |  0.433 |
576.21/75.92	c (75,0) c |  7 |    749 |     342408 |     113150 |    78303 |    21775 |    15069 |   104649 |    11758 |  0.434 |
576.21/75.92	c (75,0) c 
576.21/75.92	c (75,0) c synthesis      903836 conflicts  1390915031 propagations     1647 conflicts/sec  2534832 propagations/sec
576.21/75.92	c (75,0) c Total Memory so far : 702.37Mb
576.21/75.92	c (75,0) c last restart ## conflicts  :  120 78 
576.21/75.92	c (75,0) c Thread 1 is 100% pure glucose! First thread to finish! (SAT answer).
576.21/75.92	c (75,0) c Total Memory so far : 702.37Mb
576.21/75.92	c (75,0) c
576.21/75.92	c (75,0) c real time : 70.4818 s
576.21/75.92	c (75,0) c cpu time  : 559.53 s
576.21/75.92	c (75,0) c
576.21/75.92	c (75,0) c
576.21/75.92	c (75,0) c
576.21/75.92	c (75,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
576.21/75.92	c (75,0) c
576.21/75.92	c (75,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
576.21/75.92	c (75,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
576.21/75.92	c (75,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
576.21/75.92	c (75,0) c | Conflicts     |          919888 |     110871 |     108880 |     118936 |     114127 |     115733 |     116057 |     120119 |     115165 |
576.21/75.92	c (75,0) c | Decisions     |         2733215 |     312036 |     325889 |     342400 |     345681 |     331075 |     335809 |     393891 |     346434 |
576.21/75.92	c (75,0) c | Propagations  |      1416349420 |  172803244 |  168988043 |  182245602 |  178230830 |  179508621 |  178258870 |  178016567 |  178297643 |
576.21/75.92	c (75,0) c | Avg_Trail     |                 |       8970 |       8813 |       8832 |       8795 |       8824 |       8808 |       8099 |       8830 |
576.21/75.92	c (75,0) c | Avg_DL        |                 |         60 |         61 |         60 |         60 |         60 |         59 |         59 |         60 |
576.21/75.92	c (75,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
576.21/75.92	c (75,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
576.21/75.92	c (75,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
576.21/75.92	c (75,0) c | Exported      |          122118 |      15018 |      14468 |      15674 |      15014 |      15081 |      15495 |      16112 |      15256 |
576.21/75.92	c (75,0) c | Imported      |          853605 |     106806 |     107544 |     106382 |     106879 |     106891 |     106609 |     105652 |     106842 |
576.21/75.92	c (75,0) c | Good          |           14721 |       1874 |       1847 |       1824 |       1819 |       1851 |       1838 |       1831 |       1837 |
576.21/75.92	c (75,0) c | Purge         |          838884 |     104932 |     105697 |     104558 |     105060 |     105040 |     104771 |     103821 |     105005 |
576.21/75.92	c (75,0) c | Promoted      |           94970 |      11423 |      11394 |      12058 |      11904 |      11886 |      11870 |      12513 |      11922 |
576.21/75.92	c (75,0) c | Remove_Imp    |          483189 |      54352 |      55917 |      60236 |      64171 |      63418 |      62543 |      59310 |      63242 |
576.21/75.92	c (75,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
576.21/75.92	c (75,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
576.21/75.92	c (75,0) c | Unaries       |                 |         12 |         13 |         22 |         17 |         11 |          6 |         13 |         11 |
576.21/75.92	c (75,0) c | Binaries      |                 |        227 |        257 |        280 |        283 |        253 |        266 |        271 |        267 |
576.21/75.92	c (75,0) c | Glues         |                 |       1627 |       1743 |       1856 |       1849 |       1782 |       1827 |       1930 |       1784 |
576.21/75.92	c (75,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
576.21/75.92	c (75,0) c | Orig_Seen     |            57 % |      78258 |      77935 |      78763 |      78572 |      78601 |      78794 |      78222 |      78409 |
576.21/75.92	c (75,0) c | Diff Orig seen|                 |        323 |      X     |        828 |        637 |        666 |        859 |        287 |        474 |
576.21/75.92	c (75,0) c | Hamming       |            19 % |       4334 |      X     |       4750 |       4081 |       4637 |       4921 |       4863 |       4700 |
576.21/75.92	c (75,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
576.21/75.92	c (75,0) 
576.21/75.92	c (75,0) s SATISFIABLE
576.21/75.95	c (75,4) SatSolver.solve End
576.21/75.95	c (75,4) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
576.21/75.95	c (75,4) Show results Begin
576.21/75.97	c (75,4) x[0][0] = 0
576.21/75.97	c (75,4) x[0][1] = 7
576.21/75.97	c (75,4) x[0][2] = 8
576.21/75.97	c (75,4) x[0][3] = 4
576.21/75.97	c (75,4) x[0][4] = 1
576.21/75.97	c (75,4) x[0][5] = 11
576.21/75.97	c (75,4) x[0][6] = 10
576.21/75.97	c (75,4) x[0][7] = 2
576.21/75.97	c (75,4) x[0][8] = 9
576.21/75.97	c (75,4) x[0][9] = 3
576.21/75.97	c (75,4) x[0][10] = 6
576.21/75.97	c (75,4) x[0][11] = 5
576.21/75.97	c (75,4) x[1][0] = 11
576.21/75.97	c (75,4) x[1][1] = 1
576.21/75.97	c (75,4) x[1][2] = 7
576.21/75.97	c (75,4) x[1][3] = 5
576.21/75.97	c (75,4) x[1][4] = 6
576.21/75.97	c (75,4) x[1][5] = 9
576.21/75.97	c (75,4) x[1][6] = 2
576.21/75.97	c (75,4) x[1][7] = 3
576.21/75.97	c (75,4) x[1][8] = 0
576.21/75.97	c (75,4) x[1][9] = 8
576.21/75.97	c (75,4) x[1][10] = 4
576.21/75.97	c (75,4) x[1][11] = 10
576.21/75.97	c (75,4) x[2][0] = 1
576.21/75.97	c (75,4) x[2][1] = 5
576.21/75.97	c (75,4) x[2][2] = 2
576.21/75.97	c (75,4) x[2][3] = 7
576.21/75.97	c (75,4) x[2][4] = 3
576.21/75.97	c (75,4) x[2][5] = 8
576.21/75.97	c (75,4) x[2][6] = 4
576.21/75.97	c (75,4) x[2][7] = 10
576.21/75.97	c (75,4) x[2][8] = 11
576.21/75.97	c (75,4) x[2][9] = 6
576.21/75.97	c (75,4) x[2][10] = 0
576.21/75.97	c (75,4) x[2][11] = 9
576.21/75.97	c (75,4) x[3][0] = 8
576.21/75.97	c (75,4) x[3][1] = 11
576.21/75.97	c (75,4) x[3][2] = 0
576.21/75.97	c (75,4) x[3][3] = 3
576.21/75.97	c (75,4) x[3][4] = 9
576.21/75.97	c (75,4) x[3][5] = 4
576.21/75.97	c (75,4) x[3][6] = 7
576.21/75.97	c (75,4) x[3][7] = 6
576.21/75.97	c (75,4) x[3][8] = 5
576.21/75.97	c (75,4) x[3][9] = 10
576.21/75.97	c (75,4) x[3][10] = 1
576.21/75.97	c (75,4) x[3][11] = 2
576.21/75.97	c (75,4) x[4][0] = 10
576.21/75.97	c (75,4) x[4][1] = 8
576.21/75.97	c (75,4) x[4][2] = 5
576.21/75.97	c (75,4) x[4][3] = 0
576.21/75.97	c (75,4) x[4][4] = 4
576.21/75.97	c (75,4) x[4][5] = 7
576.21/75.97	c (75,4) x[4][6] = 11
576.21/75.97	c (75,4) x[4][7] = 9
576.21/75.97	c (75,4) x[4][8] = 3
576.21/75.97	c (75,4) x[4][9] = 1
576.21/75.97	c (75,4) x[4][10] = 2
576.21/75.97	c (75,4) x[4][11] = 6
576.21/75.97	c (75,4) x[5][0] = 6
576.21/75.97	c (75,4) x[5][1] = 4
576.21/75.97	c (75,4) x[5][2] = 9
576.21/75.97	c (75,4) x[5][3] = 2
576.21/75.97	c (75,4) x[5][4] = 10
576.21/75.97	c (75,4) x[5][5] = 5
576.21/75.97	c (75,4) x[5][6] = 0
576.21/75.97	c (75,4) x[5][7] = 1
576.21/75.97	c (75,4) x[5][8] = 7
576.21/75.97	c (75,4) x[5][9] = 11
576.21/75.97	c (75,4) x[5][10] = 8
576.21/75.97	c (75,4) x[5][11] = 3
576.21/75.97	c (75,4) x[6][0] = 2
576.21/75.97	c (75,4) x[6][1] = 9
576.21/75.97	c (75,4) x[6][2] = 11
576.21/75.97	c (75,4) x[6][3] = 1
576.21/75.97	c (75,4) x[6][4] = 8
576.21/75.97	c (75,4) x[6][5] = 10
576.21/75.97	c (75,4) x[6][6] = 6
576.21/75.97	c (75,4) x[6][7] = 5
576.21/75.97	c (75,4) x[6][8] = 4
576.21/75.97	c (75,4) x[6][9] = 7
576.21/75.97	c (75,4) x[6][10] = 3
576.21/75.97	c (75,4) x[6][11] = 0
576.21/75.97	c (75,4) x[7][0] = 3
576.21/75.97	c (75,4) x[7][1] = 6
576.21/75.97	c (75,4) x[7][2] = 4
576.21/75.97	c (75,4) x[7][3] = 9
576.21/75.97	c (75,4) x[7][4] = 11
576.21/75.97	c (75,4) x[7][5] = 2
576.21/75.97	c (75,4) x[7][6] = 8
576.21/75.97	c (75,4) x[7][7] = 7
576.21/75.97	c (75,4) x[7][8] = 10
576.21/75.97	c (75,4) x[7][9] = 0
576.21/75.97	c (75,4) x[7][10] = 5
576.21/75.97	c (75,4) x[7][11] = 1
576.21/75.97	c (75,4) x[8][0] = 7
576.21/75.97	c (75,4) x[8][1] = 2
576.21/75.97	c (75,4) x[8][2] = 3
576.21/75.97	c (75,4) x[8][3] = 10
576.21/75.97	c (75,4) x[8][4] = 0
576.21/75.97	c (75,4) x[8][5] = 6
576.21/75.97	c (75,4) x[8][6] = 1
576.21/75.97	c (75,4) x[8][7] = 11
576.21/75.97	c (75,4) x[8][8] = 8
576.21/75.97	c (75,4) x[8][9] = 5
576.21/75.97	c (75,4) x[8][10] = 9
576.21/75.97	c (75,4) x[8][11] = 4
576.21/75.97	c (75,4) x[9][0] = 4
576.21/75.97	c (75,4) x[9][1] = 10
576.21/75.97	c (75,4) x[9][2] = 1
576.21/75.97	c (75,4) x[9][3] = 6
576.21/75.97	c (75,4) x[9][4] = 5
576.21/75.97	c (75,4) x[9][5] = 0
576.21/75.98	c (75,4) x[9][6] = 3
576.21/75.98	c (75,4) x[9][7] = 8
576.21/75.98	c (75,4) x[9][8] = 2
576.21/75.98	c (75,4) x[9][9] = 9
576.21/75.98	c (75,4) x[9][10] = 11
576.21/75.98	c (75,4) x[9][11] = 7
576.21/75.98	c (75,4) x[10][0] = 5
576.21/75.98	c (75,4) x[10][1] = 0
576.21/75.98	c (75,4) x[10][2] = 6
576.21/75.98	c (75,4) x[10][3] = 11
576.21/75.98	c (75,4) x[10][4] = 7
576.21/75.98	c (75,4) x[10][5] = 3
576.21/75.98	c (75,4) x[10][6] = 9
576.21/75.98	c (75,4) x[10][7] = 4
576.21/75.98	c (75,4) x[10][8] = 1
576.21/75.98	c (75,4) x[10][9] = 2
576.21/75.98	c (75,4) x[10][10] = 10
576.21/75.98	c (75,4) x[10][11] = 8
576.21/75.98	c (75,4) x[11][0] = 9
576.21/75.98	c (75,4) x[11][1] = 3
576.21/75.98	c (75,4) x[11][2] = 10
576.21/75.98	c (75,4) x[11][3] = 8
576.21/75.98	c (75,4) x[11][4] = 2
576.21/75.98	c (75,4) x[11][5] = 1
576.21/75.98	c (75,4) x[11][6] = 5
576.21/75.98	c (75,4) x[11][7] = 0
576.21/75.98	c (75,4) x[11][8] = 6
576.21/75.98	c (75,4) x[11][9] = 4
576.21/75.98	c (75,4) x[11][10] = 7
576.21/75.98	c (75,4) x[11][11] = 11
576.21/75.98	c (75,4) y[0][1] = 139
576.21/75.98	c (75,4) y[0][2] = 20
576.21/75.98	c (75,4) y[0][3] = 100
576.21/75.98	c (75,4) y[0][4] = 121
576.21/75.98	c (75,4) y[0][5] = 83
576.21/75.98	c (75,4) y[0][6] = 34
576.21/75.98	c (75,4) y[0][7] = 38
576.21/75.98	c (75,4) y[0][8] = 93
576.21/75.98	c (75,4) y[0][9] = 51
576.21/75.98	c (75,4) y[0][10] = 66
576.21/75.98	c (75,4) y[0][11] = 113
576.21/75.98	c (75,4) y[1][0] = 95
576.21/75.98	c (75,4) y[1][2] = 67
576.21/75.98	c (75,4) y[1][3] = 137
576.21/75.98	c (75,4) y[1][4] = 102
576.21/75.98	c (75,4) y[1][5] = 57
576.21/75.98	c (75,4) y[1][6] = 110
576.21/75.98	c (75,4) y[1][7] = 75
576.21/75.98	c (75,4) y[1][8] = 24
576.21/75.98	c (75,4) y[1][9] = 128
576.21/75.98	c (75,4) y[1][10] = 4
576.21/75.98	c (75,4) y[1][11] = 46
576.21/75.98	c (75,4) y[2][0] = 97
576.21/75.98	c (75,4) y[2][1] = 89
576.21/75.98	c (75,4) y[2][3] = 7
576.21/75.98	c (75,4) y[2][4] = 63
576.21/75.98	c (75,4) y[2][5] = 116
576.21/75.98	c (75,4) y[2][6] = 136
576.21/75.98	c (75,4) y[2][7] = 58
576.21/75.98	c (75,4) y[2][8] = 47
576.21/75.98	c (75,4) y[2][9] = 18
576.21/75.98	c (75,4) y[2][10] = 72
576.21/75.98	c (75,4) y[2][11] = 129
576.21/75.98	c (75,4) y[3][0] = 56
576.21/75.98	c (75,4) y[3][1] = 71
576.21/75.98	c (75,4) y[3][2] = 84
576.21/75.98	c (75,4) y[3][4] = 9
576.21/75.98	c (75,4) y[3][5] = 28
576.21/75.98	c (75,4) y[3][6] = 19
576.21/75.98	c (75,4) y[3][7] = 114
576.21/75.98	c (75,4) y[3][8] = 125
576.21/75.98	c (75,4) y[3][9] = 82
576.21/75.98	c (75,4) y[3][10] = 133
576.21/75.98	c (75,4) y[3][11] = 98
576.21/75.98	c (75,4) y[4][0] = 22
576.21/75.98	c (75,4) y[4][1] = 80
576.21/75.98	c (75,4) y[4][2] = 41
576.21/75.98	c (75,4) y[4][3] = 108
576.21/75.98	c (75,4) y[4][5] = 127
576.21/75.98	c (75,4) y[4][6] = 107
576.21/75.98	c (75,4) y[4][7] = 141
576.21/75.98	c (75,4) y[4][8] = 3
576.21/75.98	c (75,4) y[4][9] = 61
576.21/75.98	c (75,4) y[4][10] = 86
576.21/75.98	c (75,4) y[4][11] = 30
576.21/75.98	c (75,4) y[5][0] = 138
576.21/75.98	c (75,4) y[5][1] = 112
576.21/75.98	c (75,4) y[5][2] = 105
576.21/75.98	c (75,4) y[5][3] = 50
576.21/75.98	c (75,4) y[5][4] = 94
576.21/75.98	c (75,4) y[5][6] = 120
576.21/75.98	c (75,4) y[5][7] = 25
576.21/75.98	c (75,4) y[5][8] = 79
576.21/75.98	c (75,4) y[5][9] = 11
576.21/75.98	c (75,4) y[5][10] = 44
576.21/75.98	c (75,4) y[5][11] = 15
576.21/75.98	c (75,4) y[6][0] = 122
576.21/75.98	c (75,4) y[6][1] = 33
576.21/75.98	c (75,4) y[6][2] = 59
576.21/75.98	c (75,4) y[6][3] = 85
576.21/75.98	c (75,4) y[6][4] = 140
576.21/75.98	c (75,4) y[6][5] = 10
576.21/75.98	c (75,4) y[6][7] = 101
576.21/75.98	c (75,4) y[6][8] = 16
576.21/75.98	c (75,4) y[6][9] = 43
576.21/75.98	c (75,4) y[6][10] = 111
576.21/75.98	c (75,4) y[6][11] = 60
576.21/75.98	c (75,4) y[7][0] = 27
576.21/75.98	c (75,4) y[7][1] = 42
576.21/75.98	c (75,4) y[7][2] = 124
576.21/75.98	c (75,4) y[7][3] = 81
576.21/75.98	c (75,4) y[7][4] = 119
576.21/75.98	c (75,4) y[7][5] = 14
576.21/75.98	c (75,4) y[7][6] = 68
576.21/75.98	c (75,4) y[7][8] = 142
576.21/75.98	c (75,4) y[7][9] = 96
576.21/75.98	c (75,4) y[7][10] = 53
576.21/75.98	c (75,4) y[7][11] = 1
576.21/75.98	c (75,4) y[8][0] = 115
576.21/75.98	c (75,4) y[8][1] = 2
576.21/75.98	c (75,4) y[8][2] = 135
576.21/75.98	c (75,4) y[8][3] = 70
576.21/75.98	c (75,4) y[8][4] = 36
576.21/75.98	c (75,4) y[8][5] = 90
576.21/75.98	c (75,4) y[8][6] = 49
576.21/75.98	c (75,4) y[8][7] = 131
576.21/75.98	c (75,4) y[8][9] = 29
576.21/75.98	c (75,4) y[8][10] = 21
576.21/75.98	c (75,4) y[8][11] = 76
576.21/75.98	c (75,4) y[9][0] = 40
576.21/75.98	c (75,4) y[9][1] = 106
576.21/75.98	c (75,4) y[9][2] = 73
576.21/75.98	c (75,4) y[9][3] = 126
576.21/75.98	c (75,4) y[9][4] = 17
576.21/75.98	c (75,4) y[9][5] = 132
576.21/75.98	c (75,4) y[9][6] = 87
576.21/75.98	c (75,4) y[9][7] = 8
576.21/75.98	c (75,4) y[9][8] = 62
576.21/75.98	c (75,4) y[9][10] = 35
576.21/75.98	c (75,4) y[9][11] = 55
576.21/75.98	c (75,4) y[10][0] = 77
576.21/75.98	c (75,4) y[10][1] = 48
576.21/75.98	c (75,4) y[10][2] = 6
576.21/75.98	c (75,4) y[10][3] = 23
576.21/75.98	c (75,4) y[10][4] = 31
576.21/75.98	c (75,4) y[10][5] = 99
576.21/75.98	c (75,4) y[10][6] = 45
576.21/75.98	c (75,4) y[10][7] = 64
576.21/75.98	c (75,4) y[10][8] = 109
576.21/75.98	c (75,4) y[10][9] = 134
576.21/75.98	c (75,4) y[10][11] = 92
576.21/75.98	c (75,4) y[11][0] = 69
576.21/75.98	c (75,4) y[11][1] = 123
576.21/75.98	c (75,4) y[11][2] = 118
576.21/75.98	c (75,4) y[11][3] = 32
576.21/75.98	c (75,4) y[11][4] = 74
576.21/75.98	c (75,4) y[11][5] = 37
576.21/75.98	c (75,4) y[11][6] = 5
576.21/75.98	c (75,4) y[11][7] = 12
576.21/75.98	c (75,4) y[11][8] = 54
576.21/75.98	c (75,4) y[11][9] = 88
576.21/75.98	c (75,4) y[11][10] = 103
576.21/75.98	s SATISFIABLE
576.21/75.98	v <instantiation>
576.21/75.98	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[1][0] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[2][0] y[2][1] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[3][0] y[3][1] y[3][2] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[4][0] y[4][1] y[4][2] y[4][3] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][8] y[7][9] y[7][10] y[7][11] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][9] y[8][10] y[8][11] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][10] y[9][11] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][11] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10]</list>
576.21/75.98	v     <values>0 7 8 4 1 11 10 2 9 3 6 5 11 1 7 5 6 9 2 3 0 8 4 10 1 5 2 7 3 8 4 10 11 6 0 9 8 11 0 3 9 4 7 6 5 10 1 2 10 8 5 0 4 7 11 9 3 1 2 6 6 4 9 2 10 5 0 1 7 11 8 3 2 9 11 1 8 10 6 5 4 7 3 0 3 6 4 9 11 2 8 7 10 0 5 1 7 2 3 10 0 6 1 11 8 5 9 4 4 10 1 6 5 0 3 8 2 9 11 7 5 0 6 11 7 3 9 4 1 2 10 8 9 3 10 8 2 1 5 0 6 4 7 11 139 20 100 121 83 34 38 93 51 66 113 95 67 137 102 57 110 75 24 128 4 46 97 89 7 63 116 136 58 47 18 72 129 56 71 84 9 28 19 114 125 82 133 98 22 80 41 108 127 107 141 3 61 86 30 138 112 105 50 94 120 25 79 11 44 15 122 33 59 85 140 10 101 16 43 111 60 27 42 124 81 119 14 68 142 96 53 1 115 2 135 70 36 90 49 131 29 21 76 40 106 73 126 17 132 87 8 62 35 55 77 48 6 23 31 99 45 64 109 134 92 69 123 118 32 74 37 5 12 54 88 103</values>
576.21/75.98	v </instantiation>
576.21/75.98	c (75,4) Show results End
576.21/75.98	c (75,4) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
576.21/75.98	c (75,4) 0,0,3,3,3,3,4,75,75,STOP-AFTER(ALL)
576.21/75.98	c END-Prog: Fri Jul 27 10:49:08 CEST 2018

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297224-1532681272/watcher-4297224-1532681272 -o /tmp/evaluation-result-4297224-1532681272/solver-4297224-1532681272 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532673416-8432 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297224-1532681272.xml 

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

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

solver pid=9339, runsolver pid=9336

[startup+0.100134 s]*
/proc/loadavg: 8.53 8.16 8.18 2/198 9359
/proc/meminfo: memFree=28090428/32770624 swapFree=67108436/67108860
[pid=9339] ppid=9336 vsize=27312552 memory=108216 CPUtime=0.1 cores=0-7
/proc/9339/stat : 9339 (java) S 9336 9339 8405 0 -1 1077944320 6602 0 0 0 8 2 0 0 20 0 20 0 85690358 27968053248 27054 33554432000 4194304 4196468 140729986116352 140729986098896 139923156836087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
/proc/9339/statm: 6828138 27054 2744 1 0 6790598 0
[pid=9339/tid=9341] ppid=9336 vsize=27312552 memory=4354309530401797024 CPUtime=0.09 cores=0-7
/proc/9339/task/9341/stat : 9341 (java) R 9336 9339 8405 0 -1 4202560 4690 0 0 0 7 2 0 0 20 0 20 0 85690358 27968053248 27054 33554432000 4194304 4196468 140729986116352 139923128662416 139923156848022 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9342] ppid=9336 vsize=27312552 memory=732370696093506533 CPUtime=0 cores=0-7
/proc/9339/task/9342/stat : 9342 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85690360 27968053248 27054 33554432000 4194304 4196468 140729986116352 139923161078544 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9343] ppid=9336 vsize=27312552 memory=140557756053120 CPUtime=0 cores=0-7
/proc/9339/task/9343/stat : 9343 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85690360 27968053248 27054 33554432000 4194304 4196468 140729986116352 139922990173072 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9344] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9344/stat : 9344 (java) S 9336 9339 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85690360 27968053248 27054 33554432000 4194304 4196468 140729986116352 139922989120528 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9345] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9345/stat : 9345 (java) S 9336 9339 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85690361 27968053248 27054 33554432000 4194304 4196468 140729986116352 139922577460368 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9346] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9346/stat : 9346 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85690361 27968053248 27054 33554432000 4194304 4196468 140729986116352 139922576406800 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9347] ppid=9336 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/9339/task/9347/stat : 9347 (java) S 9336 9339 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85690361 27968053248 27054 33554432000 4194304 4196468 140729986116352 139922575354256 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9348] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9348/stat : 9348 (java) S 9336 9339 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85690361 27968053248 27054 33554432000 4194304 4196468 140729986116352 139922574301712 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9349] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9349/stat : 9349 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85690361 27968053248 27054 33554432000 4194304 4196468 140729986116352 139922573249168 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9350] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9350/stat : 9350 (java) S 9336 9339 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85690362 27968053248 27054 33554432000 4194304 4196468 140729986116352 139922417543664 139923156847234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9351] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9351/stat : 9351 (java) S 9336 9339 8405 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 85690363 27968053248 27054 33554432000 4194304 4196468 140729986116352 139920840582560 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9352] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9352/stat : 9352 (java) S 9336 9339 8405 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 85690363 27968053248 27054 33554432000 4194304 4196468 140729986116352 139920706360816 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9353] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9353/stat : 9353 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85690365 27968053248 27054 33554432000 4194304 4196468 140729986116352 139920331856592 139923156854683 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9354] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9354/stat : 9354 (java) S 9336 9339 8405 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 85690365 27968053248 27054 33554432000 4194304 4196468 140729986116352 139922416490480 139923156847234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9355] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9355/stat : 9355 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85690365 27968053248 27054 33554432000 4194304 4196468 140729986116352 139922415437936 139923156847234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9356] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9356/stat : 9356 (java) R 9336 9339 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85690365 27968053248 27054 33554432000 4194304 4196468 140729986116352 139922414385392 139923156847234 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9357] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9357/stat : 9357 (java) S 9336 9339 8405 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 20 0 85690365 27968053248 27054 33554432000 4194304 4196468 140729986116352 139922413332848 139923156847234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9358] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9358/stat : 9358 (java) S 9336 9339 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85690365 27968053248 27054 33554432000 4194304 4196468 140729986116352 139919833950944 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9359] ppid=9336 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/9339/task/9359/stat : 9359 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85690366 27968053248 27054 33554432000 4194304 4196468 140729986116352 139922412280752 139923156847234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 108216 KiB

[startup+0.210549 s]*
/proc/loadavg: 8.53 8.16 8.18 2/198 9359
/proc/meminfo: memFree=28074340/32770624 swapFree=67108436/67108860
[pid=9339] ppid=9336 vsize=27312552 memory=122592 CPUtime=0.24 cores=0-7
/proc/9339/stat : 9339 (java) S 9336 9339 8405 0 -1 1077944320 10441 0 0 0 21 3 0 0 20 0 20 0 85690358 27968053248 30648 33554432000 4194304 4196468 140729986116352 140729986098896 139923156836087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
/proc/9339/statm: 6828138 30648 2910 1 0 6790598 0
[pid=9339/tid=9341] ppid=9336 vsize=27312552 memory=29681743523217448 CPUtime=0.2 cores=0-7
/proc/9339/task/9341/stat : 9341 (java) R 9336 9339 8405 0 -1 4202560 8268 0 0 0 17 3 0 0 20 0 20 0 85690358 27968053248 30648 33554432000 4194304 4196468 140729986116352 139923128634832 139923156858013 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9342] ppid=9336 vsize=27312552 memory=288230613264367967 CPUtime=0 cores=0-7
/proc/9339/task/9342/stat : 9342 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85690360 27968053248 30648 33554432000 4194304 4196468 140729986116352 139923161078544 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9343] ppid=9336 vsize=27312552 memory=15960568219481752 CPUtime=0 cores=0-7
/proc/9339/task/9343/stat : 9343 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85690360 27968053248 30648 33554432000 4194304 4196468 140729986116352 139922990173072 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9344] ppid=9336 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/9339/task/9344/stat : 9344 (java) S 9336 9339 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85690360 27968053248 30648 33554432000 4194304 4196468 140729986116352 139922989120528 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9345] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9345/stat : 9345 (java) S 9336 9339 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85690361 27968053248 30648 33554432000 4194304 4196468 140729986116352 139922577460368 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9346] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9346/stat : 9346 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85690361 27968053248 30648 33554432000 4194304 4196468 140729986116352 139922576406800 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9347] ppid=9336 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/9339/task/9347/stat : 9347 (java) S 9336 9339 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85690361 27968053248 30648 33554432000 4194304 4196468 140729986116352 139922575354256 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9348] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9348/stat : 9348 (java) S 9336 9339 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85690361 27968053248 30648 33554432000 4194304 4196468 140729986116352 139922574301712 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9349] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9349/stat : 9349 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85690361 27968053248 30648 33554432000 4194304 4196468 140729986116352 139922573249168 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9350] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9350/stat : 9350 (java) S 9336 9339 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85690362 27968053248 30648 33554432000 4194304 4196468 140729986116352 139922417543664 139923156847234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9351] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9351/stat : 9351 (java) S 9336 9339 8405 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 85690363 27968053248 30648 33554432000 4194304 4196468 140729986116352 139920840582560 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9352] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9352/stat : 9352 (java) S 9336 9339 8405 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 85690363 27968053248 30648 33554432000 4194304 4196468 140729986116352 139920706360816 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9353] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9353/stat : 9353 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85690365 27968053248 30648 33554432000 4194304 4196468 140729986116352 139920331856592 139923156854683 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9354] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9354/stat : 9354 (java) S 9336 9339 8405 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 85690365 27968053248 30648 33554432000 4194304 4196468 140729986116352 139922416490480 139923156847234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9355] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9355/stat : 9355 (java) S 9336 9339 8405 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 20 0 85690365 27968053248 30648 33554432000 4194304 4196468 140729986116352 139922415437936 139923156847234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9356] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9356/stat : 9356 (java) S 9336 9339 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85690365 27968053248 30648 33554432000 4194304 4196468 140729986116352 139922414385392 139923156847234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9357] ppid=9336 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/9339/task/9357/stat : 9357 (java) S 9336 9339 8405 0 -1 1077944384 329 0 0 0 2 0 0 0 20 0 20 0 85690365 27968053248 30648 33554432000 4194304 4196468 140729986116352 139922413332848 139923156847234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9358] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9358/stat : 9358 (java) S 9336 9339 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85690365 27968053248 30648 33554432000 4194304 4196468 140729986116352 139919833950944 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9359] ppid=9336 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/9339/task/9359/stat : 9359 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85690366 27968053248 30648 33554432000 4194304 4196468 140729986116352 139922412280752 139923156847234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 122592 KiB

[startup+0.310315 s]*
/proc/loadavg: 8.53 8.16 8.18 2/198 9359
/proc/meminfo: memFree=28071300/32770624 swapFree=67108436/67108860
[pid=9339] ppid=9336 vsize=27312552 memory=126888 CPUtime=0.42 cores=0-7
/proc/9339/stat : 9339 (java) S 9336 9339 8405 0 -1 1077944320 11091 0 0 0 38 4 0 0 20 0 20 0 85690358 27968053248 31722 33554432000 4194304 4196468 140729986116352 140729986098896 139923156836087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
/proc/9339/statm: 6828138 31722 3011 1 0 6790598 0
[pid=9339/tid=9341] ppid=9336 vsize=27312552 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9339/task/9341/stat : 9341 (java) R 9336 9339 8405 0 -1 4202560 8638 0 0 0 26 3 0 0 20 0 20 0 85690358 27968053248 31722 33554432000 4194304 4196468 140729986116352 139923128640240 139923138399616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9342] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9342/stat : 9342 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85690360 27968053248 31722 33554432000 4194304 4196468 140729986116352 139923161078544 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9343] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9343/stat : 9343 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85690360 27968053248 31722 33554432000 4194304 4196468 140729986116352 139922990173072 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9344] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9344/stat : 9344 (java) S 9336 9339 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85690360 27968053248 31722 33554432000 4194304 4196468 140729986116352 139922989120528 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9345] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9345/stat : 9345 (java) S 9336 9339 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85690361 27968053248 31722 33554432000 4194304 4196468 140729986116352 139922577460368 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9346] ppid=9336 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/9339/task/9346/stat : 9346 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85690361 27968053248 31722 33554432000 4194304 4196468 140729986116352 139922576406800 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9347] ppid=9336 vsize=27312552 memory=140557636694959 CPUtime=0 cores=0-7
/proc/9339/task/9347/stat : 9347 (java) S 9336 9339 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85690361 27968053248 31722 33554432000 4194304 4196468 140729986116352 139922575354256 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9348] ppid=9336 vsize=27312552 memory=140557636697264 CPUtime=0 cores=0-7
/proc/9339/task/9348/stat : 9348 (java) S 9336 9339 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85690361 27968053248 31722 33554432000 4194304 4196468 140729986116352 139922574301712 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9349] ppid=9336 vsize=27312552 memory=140557636699568 CPUtime=0 cores=0-7
/proc/9339/task/9349/stat : 9349 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85690361 27968053248 31722 33554432000 4194304 4196468 140729986116352 139922573249168 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9350] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9350/stat : 9350 (java) S 9336 9339 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85690362 27968053248 31722 33554432000 4194304 4196468 140729986116352 139922417543664 139923156847234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9351] ppid=9336 vsize=27312552 memory=281115273406096 CPUtime=0 cores=0-7
/proc/9339/task/9351/stat : 9351 (java) S 9336 9339 8405 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 85690363 27968053248 31722 33554432000 4194304 4196468 140729986116352 139920840582560 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9352] ppid=9336 vsize=27312552 memory=281115273413008 CPUtime=0 cores=0-7
/proc/9339/task/9352/stat : 9352 (java) S 9336 9339 8405 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 85690363 27968053248 31722 33554432000 4194304 4196468 140729986116352 139920706360816 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9353] ppid=9336 vsize=27312552 memory=281115273354288 CPUtime=0 cores=0-7
/proc/9339/task/9353/stat : 9353 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85690365 27968053248 31722 33554432000 4194304 4196468 140729986116352 139920331856592 139923156854683 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9354] ppid=9336 vsize=27312552 memory=281115273426832 CPUtime=0.01 cores=0-7
/proc/9339/task/9354/stat : 9354 (java) S 9336 9339 8405 0 -1 1077944384 421 0 0 0 1 0 0 0 20 0 20 0 85690365 27968053248 31722 33554432000 4194304 4196468 140729986116352 139922416490480 139923156847234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9355] ppid=9336 vsize=27312552 memory=281115273433744 CPUtime=0.01 cores=0-7
/proc/9339/task/9355/stat : 9355 (java) S 9336 9339 8405 0 -1 1077944384 214 0 0 0 1 0 0 0 20 0 20 0 85690365 27968053248 31722 33554432000 4194304 4196468 140729986116352 139922415437936 139923156847234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9356] ppid=9336 vsize=27312552 memory=281115273431440 CPUtime=0 cores=0-7
/proc/9339/task/9356/stat : 9356 (java) S 9336 9339 8405 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 85690365 27968053248 31722 33554432000 4194304 4196468 140729986116352 139922414385392 139923156847234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9357] ppid=9336 vsize=27312552 memory=281115273448000 CPUtime=0.07 cores=0-7
/proc/9339/task/9357/stat : 9357 (java) S 9336 9339 8405 0 -1 1077944384 426 0 0 0 7 0 0 0 20 0 20 0 85690365 27968053248 31722 33554432000 4194304 4196468 140729986116352 139922413332848 139923156847234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9358] ppid=9336 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9358/stat : 9358 (java) S 9336 9339 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85690365 27968053248 31722 33554432000 4194304 4196468 140729986116352 139919833950944 139923156846293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9359] ppid=9336 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/9339/task/9359/stat : 9359 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85690366 27968053248 31722 33554432000 4194304 4196468 140729986116352 139922412280752 139923156847234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 126888 KiB

[startup+0.700938 s]
/proc/loadavg: 8.53 8.16 8.18 2/198 9359
/proc/meminfo: memFree=28046620/32770624 swapFree=67108436/67108860
[pid=9339] ppid=9336 vsize=27320872 memory=164236 CPUtime=0.99 cores=0-7
/proc/9339/stat : 9339 (java) S 9336 9339 8405 0 -1 1077944320 18106 0 0 0 93 6 0 0 20 0 20 0 85690358 27976572928 41059 33554432000 4194304 4196468 140729986116352 140729986098896 139923156836087 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
/proc/9339/statm: 6830218 41059 3137 1 0 6791622 0
[pid=9339/tid=9341] ppid=9336 vsize=27320872 memory=7374754617543385940 CPUtime=0.67 cores=0-7
/proc/9339/task/9341/stat : 9341 (java) R 9336 9339 8405 0 -1 4202560 15110 0 0 0 62 5 0 0 20 0 20 0 85690358 27976572928 41059 33554432000 4194304 4196468 140729986116352 139923128658480 139923140916574 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9342] ppid=9336 vsize=27320872 memory=40192303974684 CPUtime=0 cores=0-7
/proc/9339/task/9342/stat : 9342 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85690360 27976572928 41059 33554432000 4194304 4196468 140729986116352 139923161078544 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9343] ppid=9336 vsize=27320872 memory=140557636706484 CPUtime=0 cores=0-7
/proc/9339/task/9343/stat : 9343 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85690360 27976572928 41059 33554432000 4194304 4196468 140729986116352 139922990173072 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9344] ppid=9336 vsize=27320872 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9344/stat : 9344 (java) S 9336 9339 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85690360 27976572928 41059 33554432000 4194304 4196468 140729986116352 139922989120528 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9345] ppid=9336 vsize=27320872 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9345/stat : 9345 (java) S 9336 9339 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85690361 27976572928 41059 33554432000 4194304 4196468 140729986116352 139922577460368 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9346] ppid=9336 vsize=27320872 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9346/stat : 9346 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85690361 27976572928 41059 33554432000 4194304 4196468 140729986116352 139922576406800 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9347] ppid=9336 vsize=27320872 memory=2353 CPUtime=0 cores=0-7
/proc/9339/task/9347/stat : 9347 (java) S 9336 9339 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85690361 27976572928 41059 33554432000 4194304 4196468 140729986116352 139922575354256 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9348] ppid=9336 vsize=27320872 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9348/stat : 9348 (java) S 9336 9339 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85690361 27976572928 41059 33554432000 4194304 4196468 140729986116352 139922574301712 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9349] ppid=9336 vsize=27320872 memory=1784 CPUtime=0 cores=0-7
/proc/9339/task/9349/stat : 9349 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85690361 27976572928 41059 33554432000 4194304 4196468 140729986116352 139922573249168 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9350] ppid=9336 vsize=27320872 memory=5752 CPUtime=0 cores=0-7
/proc/9339/task/9350/stat : 9350 (java) S 9336 9339 8405 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 85690362 27976572928 41059 33554432000 4194304 4196468 140729986116352 139922417543664 139923156847234 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0

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

[pid=9339/tid=9363] ppid=9336 vsize=27984808 memory=960 CPUtime=0.01 cores=0-7
/proc/9339/task/9363/stat : 9363 (java) S 9336 9339 8405 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 24 0 85690902 28656443392 445345 33554432000 4194304 4196468 140729986116352 139919162850512 139923156858013 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9364] ppid=9336 vsize=27984808 memory=6504 CPUtime=0 cores=0-7
/proc/9339/task/9364/stat : 9364 (java) S 9336 9339 8405 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 85690902 28656443392 445345 33554432000 4194304 4196468 140729986116352 139919431286064 139923156858013 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9365] ppid=9336 vsize=27984808 memory=1576 CPUtime=0 cores=0-7
/proc/9339/task/9365/stat : 9365 (java) S 9336 9339 8405 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 85690904 28656443392 445345 33554432000 4194304 4196468 140729986116352 139918894423200 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
Current children cumulated CPU time: 573.82 s
Current children cumulated vsize: 28704028 KiB
Current children cumulated memory: 2097048 KiB

[startup+75.8023 s]
/proc/loadavg: 8.00 8.05 8.13 9/211 9373
/proc/meminfo: memFree=26098280/32770624 swapFree=67108436/67108860
[pid=9339] ppid=9336 vsize=27984808 memory=1781380 CPUtime=16.07 cores=0-7
/proc/9339/stat : 9339 (java) S 9336 9339 8405 0 -1 1077944320 36877 0 0 0 1571 36 0 0 20 0 24 0 85690358 28656443392 445345 33554432000 4194304 4196468 140729986116352 140729986098896 139923156836087 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
/proc/9339/statm: 6996202 445345 3232 1 0 6957058 0
[pid=9360] ppid=9339 vsize=719220 memory=315668 CPUtime=559.34 cores=0-7
/proc/9360/stat : 9360 (glucose-syrup) S 9339 9339 8405 0 -1 1077944320 306055 0 0 0 55855 79 0 0 20 0 9 0 85690902 736481280 78917 33554432000 4194304 4373367 140734701630640 140734701629184 139721987549826 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6470912 6472264 17047552 140734701634481 140734701634732 140734701634732 140734701637575 0
/proc/9360/statm: 179805 78917 388 44 0 175493 0
[pid=9360/tid=9366] ppid=9339 vsize=719220 memory=2200 CPUtime=70.08 cores=0-7
/proc/9360/task/9366/stat : 9366 (glucose-syrup) R 9339 9339 8405 0 -1 4202560 35127 0 0 0 6999 9 0 0 20 0 9 0 85690926 736481280 78917 33554432000 4194304 4373367 140734701630640 139721962155376 4272344 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 17047552 140734701634481 140734701634732 140734701634732 140734701637575 0
[pid=9360/tid=9367] ppid=9339 vsize=719220 memory=7532 CPUtime=70.08 cores=0-7
/proc/9360/task/9367/stat : 9367 (glucose-syrup) R 9339 9339 8405 0 -1 4202560 33362 0 0 0 6998 10 0 0 20 0 9 0 85690926 736481280 78917 33554432000 4194304 4373367 140734701630640 139721953762576 4271882 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 17047552 140734701634481 140734701634732 140734701634732 140734701637575 0
[pid=9360/tid=9368] ppid=9339 vsize=719220 memory=840 CPUtime=70.07 cores=0-7
/proc/9360/task/9368/stat : 9368 (glucose-syrup) R 9339 9339 8405 0 -1 4202560 33886 0 0 0 6998 9 0 0 20 0 9 0 85690926 736481280 78917 33554432000 4194304 4373367 140734701630640 139721945369968 4271828 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 17047552 140734701634481 140734701634732 140734701634732 140734701637575 0
[pid=9360/tid=9369] ppid=9339 vsize=719220 memory=1692 CPUtime=70.05 cores=0-7
/proc/9360/task/9369/stat : 9369 (glucose-syrup) R 9339 9339 8405 0 -1 4202560 36512 0 0 0 6998 7 0 0 20 0 9 0 85690926 736481280 78917 33554432000 4194304 4373367 140734701630640 139721936977264 4271808 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 17047552 140734701634481 140734701634732 140734701634732 140734701637575 0
[pid=9360/tid=9370] ppid=9339 vsize=719220 memory=916 CPUtime=68.52 cores=0-7
/proc/9360/task/9370/stat : 9370 (glucose-syrup) R 9339 9339 8405 0 -1 4202560 35770 0 0 0 6842 10 0 0 20 0 9 0 85690926 736481280 78917 33554432000 4194304 4373367 140734701630640 139721928584560 4271597 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 17047552 140734701634481 140734701634732 140734701634732 140734701637575 0
[pid=9360/tid=9371] ppid=9339 vsize=719220 memory=5820 CPUtime=70.08 cores=0-7
/proc/9360/task/9371/stat : 9371 (glucose-syrup) R 9339 9339 8405 0 -1 4202560 35640 0 0 0 6998 10 0 0 20 0 9 0 85690926 736481280 78917 33554432000 4194304 4373367 140734701630640 139721920191760 4272284 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 17047552 140734701634481 140734701634732 140734701634732 140734701637575 0
[pid=9360/tid=9372] ppid=9339 vsize=719220 memory=4104 CPUtime=70.06 cores=0-7
/proc/9360/task/9372/stat : 9372 (glucose-syrup) R 9339 9339 8405 0 -1 4202560 34915 0 0 0 6997 9 0 0 20 0 9 0 85690926 736481280 78917 33554432000 4194304 4373367 140734701630640 139721911799152 4271619 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 17047552 140734701634481 140734701634732 140734701634732 140734701637575 0
[pid=9360/tid=9373] ppid=9339 vsize=719220 memory=4140 CPUtime=70.08 cores=0-7
/proc/9360/task/9373/stat : 9373 (glucose-syrup) R 9339 9339 8405 0 -1 4202560 35673 0 0 0 7001 7 0 0 20 0 9 0 85690926 736481280 78917 33554432000 4194304 4373367 140734701630640 139721903406224 4271597 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 17047552 140734701634481 140734701634732 140734701634732 140734701637575 0
[pid=9339/tid=9341] ppid=9336 vsize=27984808 memory=24956 CPUtime=5.44 cores=0-7
/proc/9339/task/9341/stat : 9341 (java) S 9336 9339 8405 0 -1 1077944384 17927 0 0 0 516 28 0 0 20 0 24 0 85690358 28656443392 445345 33554432000 4194304 4196468 140729986116352 139923128675328 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9342] ppid=9336 vsize=27984808 memory=1296 CPUtime=0 cores=0-7
/proc/9339/task/9342/stat : 9342 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85690360 28656443392 445345 33554432000 4194304 4196468 140729986116352 139923161078544 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9343] ppid=9336 vsize=27984808 memory=2412 CPUtime=0 cores=0-7
/proc/9339/task/9343/stat : 9343 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85690360 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922990173072 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9344] ppid=9336 vsize=27984808 memory=1784 CPUtime=0 cores=0-7
/proc/9339/task/9344/stat : 9344 (java) S 9336 9339 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85690360 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922989120528 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9345] ppid=9336 vsize=27984808 memory=5752 CPUtime=0 cores=0-7
/proc/9339/task/9345/stat : 9345 (java) S 9336 9339 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85690361 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922577460368 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9346] ppid=9336 vsize=27984808 memory=4588 CPUtime=0 cores=0-7
/proc/9339/task/9346/stat : 9346 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85690361 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922576406800 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9347] ppid=9336 vsize=27984808 memory=1612 CPUtime=0 cores=0-7
/proc/9339/task/9347/stat : 9347 (java) S 9336 9339 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85690361 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922575354256 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9348] ppid=9336 vsize=27984808 memory=1228 CPUtime=0 cores=0-7
/proc/9339/task/9348/stat : 9348 (java) S 9336 9339 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85690361 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922574301712 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9349] ppid=9336 vsize=27984808 memory=1852 CPUtime=0 cores=0-7
/proc/9339/task/9349/stat : 9349 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85690361 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922573249168 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9350] ppid=9336 vsize=27984808 memory=872 CPUtime=0 cores=0-7
/proc/9339/task/9350/stat : 9350 (java) S 9336 9339 8405 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 85690362 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922417543664 139923156847234 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9351] ppid=9336 vsize=27984808 memory=8064 CPUtime=0 cores=0-7
/proc/9339/task/9351/stat : 9351 (java) S 9336 9339 8405 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 85690363 28656443392 445345 33554432000 4194304 4196468 140729986116352 139920840582560 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9352] ppid=9336 vsize=27984808 memory=11648 CPUtime=0 cores=0-7
/proc/9339/task/9352/stat : 9352 (java) S 9336 9339 8405 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 85690363 28656443392 445345 33554432000 4194304 4196468 140729986116352 139920706360816 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9353] ppid=9336 vsize=27984808 memory=796 CPUtime=0 cores=0-7
/proc/9339/task/9353/stat : 9353 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85690365 28656443392 445345 33554432000 4194304 4196468 140729986116352 139920331856592 139923156854683 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9354] ppid=9336 vsize=27984808 memory=0 CPUtime=2.98 cores=0-7
/proc/9339/task/9354/stat : 9354 (java) S 9336 9339 8405 0 -1 1077944384 3307 0 0 0 297 1 0 0 20 0 24 0 85690365 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922416490480 139923156847234 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9355] ppid=9336 vsize=27984808 memory=33284 CPUtime=3.33 cores=0-7
/proc/9339/task/9355/stat : 9355 (java) S 9336 9339 8405 0 -1 1077944384 4308 0 0 0 331 2 0 0 20 0 24 0 85690365 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922415437936 139923156847234 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9356] ppid=9336 vsize=27984808 memory=281115276120448 CPUtime=2.93 cores=0-7
/proc/9339/task/9356/stat : 9356 (java) S 9336 9339 8405 0 -1 1077944384 4655 0 0 0 291 2 0 0 20 0 24 0 85690365 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922414385392 139923156847234 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9357] ppid=9336 vsize=27984808 memory=140557638053280 CPUtime=1.3 cores=0-7
/proc/9339/task/9357/stat : 9357 (java) S 9336 9339 8405 0 -1 1077944384 5249 0 0 0 129 1 0 0 20 0 24 0 85690365 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922413332848 139923156847234 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9358] ppid=9336 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9358/stat : 9358 (java) S 9336 9339 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85690365 28656443392 445345 33554432000 4194304 4196468 140729986116352 139919833950944 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9359] ppid=9336 vsize=27984808 memory=281115276115232 CPUtime=0.04 cores=0-7
/proc/9339/task/9359/stat : 9359 (java) S 9336 9339 8405 0 -1 1077944384 7 0 0 0 0 4 0 0 20 0 24 0 85690366 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922412280752 139923156847234 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9361] ppid=9336 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9361/stat : 9361 (java) S 9336 9339 8405 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 85690902 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922396346048 139923156860697 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9363] ppid=9336 vsize=27984808 memory=140557636599928 CPUtime=0.01 cores=0-7
/proc/9339/task/9363/stat : 9363 (java) S 9336 9339 8405 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 24 0 85690902 28656443392 445345 33554432000 4194304 4196468 140729986116352 139919162850512 139923156858013 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9364] ppid=9336 vsize=27984808 memory=9126232286719478932 CPUtime=0 cores=0-7
/proc/9339/task/9364/stat : 9364 (java) S 9336 9339 8405 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 85690902 28656443392 445345 33554432000 4194304 4196468 140729986116352 139919431286064 139923156858013 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9365] ppid=9336 vsize=27984808 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/9339/task/9365/stat : 9365 (java) S 9336 9339 8405 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 85690904 28656443392 445345 33554432000 4194304 4196468 140729986116352 139918894423200 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
Current children cumulated CPU time: 575.41 s
Current children cumulated vsize: 28704028 KiB
Current children cumulated memory: 2097048 KiB

[startup+75.9023 s]
/proc/loadavg: 8.00 8.05 8.13 9/211 9373
/proc/meminfo: memFree=26098280/32770624 swapFree=67108436/67108860
[pid=9339] ppid=9336 vsize=27984808 memory=1781380 CPUtime=16.07 cores=0-7
/proc/9339/stat : 9339 (java) S 9336 9339 8405 0 -1 1077944320 36877 0 0 0 1571 36 0 0 20 0 24 0 85690358 28656443392 445345 33554432000 4194304 4196468 140729986116352 140729986098896 139923156836087 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
/proc/9339/statm: 6996202 445345 3232 1 0 6957058 0
[pid=9360] ppid=9339 vsize=719220 memory=315668 CPUtime=560.14 cores=0-7
/proc/9360/stat : 9360 (glucose-syrup) S 9339 9339 8405 0 -1 1077944320 306080 0 0 0 55935 79 0 0 20 0 9 0 85690902 736481280 78917 33554432000 4194304 4373367 140734701630640 140734701629184 139721987549826 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6470912 6472264 17047552 140734701634481 140734701634732 140734701634732 140734701637575 0
/proc/9360/statm: 179805 78917 388 44 0 175493 0
[pid=9360/tid=9366] ppid=9339 vsize=719220 memory=1781380 CPUtime=70.18 cores=0-7
/proc/9360/task/9366/stat : 9366 (glucose-syrup) R 9339 9339 8405 0 -1 4202560 35137 0 0 0 7009 9 0 0 20 0 9 0 85690926 736481280 78917 33554432000 4194304 4373367 140734701630640 139721962155376 4271828 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 17047552 140734701634481 140734701634732 140734701634732 140734701637575 0
[pid=9360/tid=9367] ppid=9339 vsize=719220 memory=8039887049847966117 CPUtime=70.18 cores=0-7
/proc/9360/task/9367/stat : 9367 (glucose-syrup) R 9339 9339 8405 0 -1 4202560 33362 0 0 0 7008 10 0 0 20 0 9 0 85690926 736481280 78917 33554432000 4194304 4373367 140734701630640 139721953762576 4271828 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 17047552 140734701634481 140734701634732 140734701634732 140734701637575 0
[pid=9360/tid=9368] ppid=9339 vsize=719220 memory=315668 CPUtime=70.17 cores=0-7
/proc/9360/task/9368/stat : 9368 (glucose-syrup) R 9339 9339 8405 0 -1 4202560 33886 0 0 0 7008 9 0 0 20 0 9 0 85690926 736481280 78917 33554432000 4194304 4373367 140734701630640 139721945369968 4257411 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 17047552 140734701634481 140734701634732 140734701634732 140734701637575 0
[pid=9360/tid=9369] ppid=9339 vsize=719220 memory=1781380 CPUtime=70.15 cores=0-7
/proc/9360/task/9369/stat : 9369 (glucose-syrup) R 9339 9339 8405 0 -1 4202560 36512 0 0 0 7008 7 0 0 20 0 9 0 85690926 736481280 78917 33554432000 4194304 4373367 140734701630640 139721936977264 4257231 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 17047552 140734701634481 140734701634732 140734701634732 140734701637575 0
[pid=9360/tid=9370] ppid=9339 vsize=719220 memory=0 CPUtime=68.61 cores=0-7
/proc/9360/task/9370/stat : 9370 (glucose-syrup) R 9339 9339 8405 0 -1 4202560 35771 0 0 0 6851 10 0 0 20 0 9 0 85690926 736481280 78917 33554432000 4194304 4373367 140734701630640 139721928584560 4271912 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 17047552 140734701634481 140734701634732 140734701634732 140734701637575 0
[pid=9360/tid=9371] ppid=9339 vsize=719220 memory=315668 CPUtime=70.18 cores=0-7
/proc/9360/task/9371/stat : 9371 (glucose-syrup) R 9339 9339 8405 0 -1 4202560 35640 0 0 0 7008 10 0 0 20 0 9 0 85690926 736481280 78917 33554432000 4194304 4373367 140734701630640 139721920191760 4258908 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 17047552 140734701634481 140734701634732 140734701634732 140734701637575 0
[pid=9360/tid=9372] ppid=9339 vsize=719220 memory=0 CPUtime=70.16 cores=0-7
/proc/9360/task/9372/stat : 9372 (glucose-syrup) R 9339 9339 8405 0 -1 4202560 34929 0 0 0 7007 9 0 0 20 0 9 0 85690926 736481280 78917 33554432000 4194304 4373367 140734701630640 139721911799152 4272344 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 17047552 140734701634481 140734701634732 140734701634732 140734701637575 0
[pid=9360/tid=9373] ppid=9339 vsize=719220 memory=7724588572575820648 CPUtime=70.18 cores=0-7
/proc/9360/task/9373/stat : 9373 (glucose-syrup) R 9339 9339 8405 0 -1 4202560 35673 0 0 0 7011 7 0 0 20 0 9 0 85690926 736481280 78917 33554432000 4194304 4373367 140734701630640 139721903406224 4271569 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 17047552 140734701634481 140734701634732 140734701634732 140734701637575 0
[pid=9339/tid=9341] ppid=9336 vsize=27984808 memory=0 CPUtime=5.44 cores=0-7
/proc/9339/task/9341/stat : 9341 (java) S 9336 9339 8405 0 -1 1077944384 17927 0 0 0 516 28 0 0 20 0 24 0 85690358 28656443392 445345 33554432000 4194304 4196468 140729986116352 139923128675328 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9342] ppid=9336 vsize=27984808 memory=7446817911088373861 CPUtime=0 cores=0-7
/proc/9339/task/9342/stat : 9342 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85690360 28656443392 445345 33554432000 4194304 4196468 140729986116352 139923161078544 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9343] ppid=9336 vsize=27984808 memory=297948 CPUtime=0 cores=0-7
/proc/9339/task/9343/stat : 9343 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85690360 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922990173072 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9344] ppid=9336 vsize=27984808 memory=-6948614817169703622 CPUtime=0 cores=0-7
/proc/9339/task/9344/stat : 9344 (java) S 9336 9339 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85690360 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922989120528 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9345] ppid=9336 vsize=27984808 memory=281115273753536 CPUtime=0 cores=0-7
/proc/9339/task/9345/stat : 9345 (java) S 9336 9339 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85690361 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922577460368 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9346] ppid=9336 vsize=27984808 memory=-1891255765032775953 CPUtime=0 cores=0-7
/proc/9339/task/9346/stat : 9346 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85690361 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922576406800 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9347] ppid=9336 vsize=27984808 memory=315668 CPUtime=0 cores=0-7
/proc/9339/task/9347/stat : 9347 (java) S 9336 9339 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85690361 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922575354256 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9348] ppid=9336 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/9339/task/9348/stat : 9348 (java) S 9336 9339 8405 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85690361 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922574301712 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9349] ppid=9336 vsize=27984808 memory=80350248192274 CPUtime=0 cores=0-7
/proc/9339/task/9349/stat : 9349 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85690361 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922573249168 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9350] ppid=9336 vsize=27984808 memory=28742134296 CPUtime=0 cores=0-7
/proc/9339/task/9350/stat : 9350 (java) S 9336 9339 8405 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 85690362 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922417543664 139923156847234 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9351] ppid=9336 vsize=27984808 memory=8039887049847966117 CPUtime=0 cores=0-7
/proc/9339/task/9351/stat : 9351 (java) S 9336 9339 8405 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 85690363 28656443392 445345 33554432000 4194304 4196468 140729986116352 139920840582560 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9352] ppid=9336 vsize=27984808 memory=281115274436160 CPUtime=0 cores=0-7
/proc/9339/task/9352/stat : 9352 (java) S 9336 9339 8405 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 85690363 28656443392 445345 33554432000 4194304 4196468 140729986116352 139920706360816 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9353] ppid=9336 vsize=27984808 memory=6363694302175055952 CPUtime=0 cores=0-7
/proc/9339/task/9353/stat : 9353 (java) S 9336 9339 8405 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85690365 28656443392 445345 33554432000 4194304 4196468 140729986116352 139920331856592 139923156854683 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9354] ppid=9336 vsize=27984808 memory=1781380 CPUtime=2.98 cores=0-7
/proc/9339/task/9354/stat : 9354 (java) S 9336 9339 8405 0 -1 1077944384 3307 0 0 0 297 1 0 0 20 0 24 0 85690365 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922416490480 139923156847234 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9355] ppid=9336 vsize=27984808 memory=636 CPUtime=3.33 cores=0-7
/proc/9339/task/9355/stat : 9355 (java) S 9336 9339 8405 0 -1 1077944384 4308 0 0 0 331 2 0 0 20 0 24 0 85690365 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922415437936 139923156847234 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9356] ppid=9336 vsize=27984808 memory=1780 CPUtime=2.93 cores=0-7
/proc/9339/task/9356/stat : 9356 (java) S 9336 9339 8405 0 -1 1077944384 4655 0 0 0 291 2 0 0 20 0 24 0 85690365 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922414385392 139923156847234 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9357] ppid=9336 vsize=27984808 memory=1236 CPUtime=1.3 cores=0-7
/proc/9339/task/9357/stat : 9357 (java) S 9336 9339 8405 0 -1 1077944384 5249 0 0 0 129 1 0 0 20 0 24 0 85690365 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922413332848 139923156847234 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9358] ppid=9336 vsize=27984808 memory=292 CPUtime=0 cores=0-7
/proc/9339/task/9358/stat : 9358 (java) S 9336 9339 8405 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85690365 28656443392 445345 33554432000 4194304 4196468 140729986116352 139919833950944 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9359] ppid=9336 vsize=27984808 memory=4140 CPUtime=0.04 cores=0-7
/proc/9339/task/9359/stat : 9359 (java) S 9336 9339 8405 0 -1 1077944384 7 0 0 0 0 4 0 0 20 0 24 0 85690366 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922412280752 139923156847234 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9361] ppid=9336 vsize=27984808 memory=1781380 CPUtime=0 cores=0-7
/proc/9339/task/9361/stat : 9361 (java) S 9336 9339 8405 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 85690902 28656443392 445345 33554432000 4194304 4196468 140729986116352 139922396346048 139923156860697 0 4 0 25189583 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9363] ppid=9336 vsize=27984808 memory=0 CPUtime=0.01 cores=0-7
/proc/9339/task/9363/stat : 9363 (java) S 9336 9339 8405 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 24 0 85690902 28656443392 445345 33554432000 4194304 4196468 140729986116352 139919162850512 139923156858013 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9364] ppid=9336 vsize=27984808 memory=1781380 CPUtime=0 cores=0-7
/proc/9339/task/9364/stat : 9364 (java) S 9336 9339 8405 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 85690902 28656443392 445345 33554432000 4194304 4196468 140729986116352 139919431286064 139923156858013 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
[pid=9339/tid=9365] ppid=9336 vsize=27984808 memory=4140 CPUtime=0 cores=0-7
/proc/9339/task/9365/stat : 9365 (java) S 9336 9339 8405 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 85690904 28656443392 445345 33554432000 4194304 4196468 140729986116352 139918894423200 139923156846293 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37109760 140729986118618 140729986118917 140729986118917 140729986121679 0
Current children cumulated CPU time: 576.21 s
Current children cumulated vsize: 28704028 KiB
Current children cumulated memory: 2097048 KiB

Child status: 0
Real time (s): 76.011
CPU time (s): 576.682
CPU user time (s): 575.474
CPU system time (s): 1.2074
CPU usage (%): 758.682
Max. virtual memory (cumulated for all children) (KiB): 28738848
Max. memory (cumulated for all children) (KiB): 2097048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 575.474
system time used= 1.2074
maximum resident set size= 1794000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 343265
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23941
involuntary context switches= 5800


# summary of solver processes directly reported to runsolver:
#   pid: 9339
#   total CPU time (s): 576.682
#   total CPU user time (s): 575.474
#   total CPU system time (s): 1.2074

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.835906 second user time and 0.90869 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-27 10:47:52
IDJOB=4297224
IDBENCH=141605
IDSOLVER=2759
FILE ID=node137/4297224-1532681272
RUNJOBID= node137-1532673416-8432
PBS_JOBID= 21022247
Free space on /tmp= 48160 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/Quasigroups/QuasiGroup-4-12_c18.xml
COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -both -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297224-1532681272/watcher-4297224-1532681272 -o /tmp/evaluation-result-4297224-1532681272/solver-4297224-1532681272 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1532673416-8432 --watchdog 2580  java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297224-1532681272.xml

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

MD5SUM BENCH= 31fb3bf3c58be033c7e9cdff116e7260
RANDOM SEED=322981695

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28186612 kB
MemAvailable:   31929012 kB
Buffers:          143012 kB
Cached:          3833772 kB
SwapCached:           32 kB
Active:          1755484 kB
Inactive:        2280392 kB
Active(anon):       6380 kB
Inactive(anon):    80108 kB
Active(file):    1749104 kB
Inactive(file):  2200284 kB
Unevictable:        7424 kB
Mlocked:            7424 kB
SwapTotal:      67108860 kB
SwapFree:       67108436 kB
Dirty:              8620 kB
Writeback:             4 kB
AnonPages:         65936 kB
Mapped:            39132 kB
Shmem:             25052 kB
Slab:             245472 kB
SReclaimable:     217696 kB
SUnreclaim:        27776 kB
KernelStack:        3216 kB
PageTables:         5508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 48152 MiB
End job on node137 at 2018-07-27 10:49:08