Trace number 4297197

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 477.149 68.0517

General information on the benchmark

NameEternity/
Eternity-07-07_c18.xml
MD5SUMd2370bf20b8fe6e2b2b2b678a676e404
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 benchmark97.7171
Satisfiable
(Un)Satisfiability was proved
Number of variables161
Number of constraints78
Number of domains2
Minimum domain size10
Maximum domain size49
Distribution of domain sizes[{"size":10,"count":112},{"size":49,"count":49}]
Minimum variable degree1
Maximum variable degree8
Distribution of variable degrees[{"degree":1,"count":6},{"degree":2,"count":154},{"degree":8,"count":1}]
Minimum constraint arity1
Maximum constraint arity49
Distribution of constraint arities[{"arity":1,"count":28},{"arity":5,"count":49},{"arity":49,"count":1}]
Number of extensional constraints49
Number of intensional constraints28
Distribution of constraint types[{"type":"extension","count":49},{"type":"intension","count":28},{"type":"allDifferent","count":1}]
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.55	c BEGIN-Prog: Fri Jul 27 14:55:52 CEST 2018
0.66/0.55	c PID: 16782
0.66/0.55	c IP: 172.20.3.138
0.66/0.55	c HOST: node138.alineos.net
0.66/0.56	c (0,0) Parsing Begin
2.32/1.02	c (0,0) Parsing End
2.32/1.03	c (0,0) CSP: 161 int (0 aux), 0 bool (0 aux), 78 ctr, max domain size 49
2.32/1.03	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.32/1.03	c (0,0) Constraint Name Generate Begin
2.32/1.03	c (0,0) Ctr:HOME/instance-4297197-1532696151.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num
2.32/1.03	c (0,0) Constraint Name Generate End
2.32/1.03	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.32/1.03	c (0,0) CSP to CSPinCNF Begin
7.84/2.50	c (1,1) translated 8 (10%) constraints
10.20/3.27	c (2,2) translated 16 (20%) constraints
11.94/3.96	c (3,3) translated 24 (30%) constraints
12.82/4.64	c (4,4) translated 32 (40%) constraints
13.42/5.21	c (4,4) translated 39 (50%) constraints
14.04/5.86	c (5,5) translated 47 (60%) constraints
14.45/6.20	c (5,5) translated 55 (70%) constraints
14.45/6.20	c (5,5) translated 63 (80%) constraints
14.45/6.21	c (5,5) translated 71 (90%) constraints
14.45/6.21	c (5,5) translated 78 (100%) constraints
15.35/6.61	c (6,6) STATISTICS1:HOME/instance-4297197-1532696151.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,13538,83477,49,49,50,2,49:1176,49:7154;10:87864;2:144893;1:14672,50:49;49:2;5:980;4:32340;3:17640;2:32438;1:28,2:1176;1:252259;0:49,
15.35/6.61	c (6,6) ===========================================
15.35/6.61	c (6,6) Both Encoding selects:
15.35/6.61	c (6,6) Order
15.35/6.61	c (6,6) ===========================================
16.03/6.88	c (6,6) translated 8348 (10%) constraints
16.67/7.02	c (6,6) translated 16696 (20%) constraints
16.78/7.15	c (6,6) translated 25044 (30%) constraints
16.89/7.27	c (6,6) translated 33391 (40%) constraints
17.11/7.40	c (6,6) translated 41739 (50%) constraints
17.21/7.53	c (6,6) translated 50087 (60%) constraints
17.31/7.66	c (7,7) translated 58434 (70%) constraints
17.42/7.78	c (7,7) translated 66782 (80%) constraints
17.64/7.91	c (7,7) translated 75130 (90%) constraints
17.78/8.04	c (7,7) translated 83477 (100%) constraints
17.78/8.04	c (7,7) CSP to CSPinCNF End
17.78/8.05	c (7,7) CSP: 161 int (0 aux), 13377 bool (13377 aux), 83505 ctr, max domain size 49
17.78/8.05	c (7,7) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
17.78/8.05	c (7,7) CSPinCNF Propagation Begin
20.42/9.71	c (9,9) 4653 values, 25765 unsatisfiable literals, and 26757 valid clauses are removed
20.42/9.71	c (9,9) CSPinCNF Propagation End
20.42/9.72	c (9,9) CSP: 4134 int (3973 aux), 9404 bool (9404 aux), 56748 ctr, max domain size 49
20.42/9.72	c (9,9) Heap : 3604 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
20.42/9.72	c (9,9) Simplify CSPinCNF Begin
21.01/9.90	c (9,9) Simplify CSPinCNF End
21.01/9.90	c (9,9) CSP: 4134 int (3973 aux), 11756 bool (11756 aux), 59100 ctr, max domain size 49
21.01/9.90	c (9,9) Heap : 3717 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
21.01/9.90	c (9,9) Calculate Precise Domain Begin
21.01/9.91	c (9,9) 0 values are removed by re-calculation
21.01/9.91	c (9,9) Calculate Precise Domain End
21.01/9.91	c (9,9) CSP: 4134 int (3973 aux), 11756 bool (11756 aux), 59100 ctr, max domain size 49
21.01/9.91	c (9,9) Heap : 3717 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
21.01/9.91	c (9,9) CSPinCNF to SatSolver Begin
21.99/10.28	c (9,9) 5910 (10 %) CSP clauses are encoded (14184 SAT variables, 69860 SAT clauses)
22.23/10.33	c (9,9) 11820 (20 %) CSP clauses are encoded (14184 SAT variables, 75770 SAT clauses)
22.23/10.36	c (9,9) 17730 (30 %) CSP clauses are encoded (14184 SAT variables, 81680 SAT clauses)
22.40/10.40	c (9,9) 23640 (40 %) CSP clauses are encoded (14184 SAT variables, 87590 SAT clauses)
22.40/10.43	c (9,9) 29550 (50 %) CSP clauses are encoded (14184 SAT variables, 93500 SAT clauses)
22.40/10.47	c (9,9) 35460 (60 %) CSP clauses are encoded (14184 SAT variables, 99410 SAT clauses)
22.52/10.50	c (9,9) 41370 (70 %) CSP clauses are encoded (14184 SAT variables, 105320 SAT clauses)
22.52/10.54	c (10,9) 47280 (80 %) CSP clauses are encoded (14184 SAT variables, 111230 SAT clauses)
22.52/10.57	c (10,10) 53190 (90 %) CSP clauses are encoded (14184 SAT variables, 117140 SAT clauses)
22.61/10.61	c (10,10) 59100 (100 %) CSP clauses are encoded (14184 SAT variables, 123050 SAT clauses)
22.61/10.61	c (10,10) CSPinCNF to SatSolver End
22.61/10.61	c (10,10) Heap : 4167 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
23.03/10.87	c (10,10) STATISTICS2:HOME/instance-4297197-1532696151.xml,AllDifferent:Eq:ExtensionSupport:IntVar:Num,15890,59100,49,49,49,2,49:600;24:1380;4:372,49:4850;24:2860;10:67501;4:412;2:100851,49:26;25:1;24:20;5:565;4:20287;3:11968;2:26233,2:2352;1:171770,
23.03/10.87	c (10,10) SatSolver.solve Begin
23.03/10.87	c (10,10) 14184 bool, 123051 clause
23.03/10.87	c (10,10) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297197-1532696151.xml-scop-16782.cnf HOME/instance-4297197-1532696151.xml-scop-16782.cnf.out
89.45/19.49	c (18,0) c
89.45/19.49	c (18,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
89.45/19.49	c (18,0) c
89.45/19.49	c (18,0) c WARNING: for repeatability, setting FPU to use double precision
89.45/19.49	c (18,0) c 8 solvers engines and 1 companion as a blackboard created.
89.45/19.49	c (18,0) c ========================================[ Problem Statistics ]===========================================
89.45/19.49	c (18,0) c |                                                                                                       |
89.45/19.49	c (18,0) c |  Number of variables:         14184                                                                   |
89.45/19.49	c (18,0) c |  Number of clauses:          123051                                                                   |
89.45/19.49	c (18,0) c |  Parse time:                   0.04 s                                                                 |
89.45/19.49	c (18,0) c |                                                                                                       |
89.45/19.49	c (18,0) c |  Eliminated clauses:           0.19 Mb                                                                |
89.45/19.49	c (18,0) c |  Simplification time:          0.11 s                                                                 |
89.45/19.49	c (18,0) c |                                                                                                       |
89.45/19.49	c (18,0) c |  Generating clones                                                                                    |
89.45/19.49	c (18,0) c |  all clones generated. Memory =  97.28Mb.                                                             |
89.45/19.49	c (18,0) c ========================================================================================================|
89.45/19.49	c (18,0) c
89.45/19.49	c (18,0) c |-------------------------------------------------------------------------------------------------------|
89.45/19.49	c (18,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
89.45/19.49	c (18,0) c |-------------------------------------------------------------------------------------------------------|
89.45/19.49	c (18,0) c |  0 |    198 |      99618 |      32193 |    45586 |    15980 |     6483 |    45097 |     4404 | 25.627 |
89.45/19.49	c (18,0) c |  1 |    208 |     105124 |      32097 |    46689 |    15858 |     6396 |    44761 |     4431 | 25.606 |
89.45/19.49	c (18,0) c |  2 |    187 |      97889 |      31508 |    46983 |    15268 |     6342 |    43957 |     4299 | 25.613 |
89.45/19.49	c (18,0) c |  3 |    203 |     105096 |      32658 |    46833 |    16428 |     6568 |    44829 |     4447 | 25.613 |
89.45/19.49	c (18,0) c |  4 |    183 |     101358 |      32151 |    47287 |    15926 |     6638 |    44920 |     4447 | 25.599 |
89.45/19.49	c (18,0) c |  5 |    204 |     103586 |      32331 |    46485 |    16110 |     6469 |    45118 |     4505 | 25.635 |
89.45/19.49	c (18,0) c |  6 |    183 |     101884 |      31613 |    46101 |    15415 |     6417 |    45139 |     4440 | 25.599 |
89.45/19.49	c (18,0) c |  7 |    223 |     103374 |      31310 |    46951 |    15053 |     6307 |    45278 |     4415 | 25.642 |
89.45/19.51	c (18,0) c 
89.45/19.51	c (18,0) c synthesis      255862 conflicts   102044699 propagations     7344 conflicts/sec  2928829 propagations/sec
89.45/19.51	c (18,0) c Total Memory so far : 671.98Mb
89.45/19.51	c (18,0) c
89.45/19.51	c (18,0) c |-------------------------------------------------------------------------------------------------------|
89.45/19.51	c (18,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
89.45/19.51	c (18,0) c |-------------------------------------------------------------------------------------------------------|
89.45/19.51	c (18,0) c |  0 |    345 |     148293 |      55123 |    47248 |    16579 |    10350 |    67579 |     7087 | 25.642 |
89.45/19.51	c (18,0) c |  1 |    358 |     154302 |      54981 |    48363 |    16440 |     9505 |    68494 |     7170 | 25.620 |
89.45/19.51	c (18,0) c |  2 |    330 |     146506 |      53319 |    48748 |    14775 |     9496 |    68464 |     7003 | 25.628 |
89.45/19.51	c (18,0) c |  3 |    352 |     154741 |      55305 |    48744 |    16771 |     9859 |    68198 |     7104 | 25.627 |
89.45/19.51	c (18,0) c |  4 |    315 |     149017 |      54420 |    48867 |    15889 |     9704 |    68309 |     7116 | 25.613 |
89.45/19.51	c (18,0) c |  5 |    333 |     150728 |      54337 |    48389 |    15799 |    10283 |    67660 |     7149 | 25.649 |
89.45/19.51	c (18,0) c |  6 |    330 |     149965 |      53685 |    47796 |    15148 |     9538 |    68461 |     7110 | 25.613 |
89.45/19.51	c (18,0) c |  7 |    384 |     151659 |      52868 |    48797 |    14322 |     9340 |    68716 |     7052 | 25.656 |
89.45/19.51	c (18,0) c 
185.17/31.49	c (30,0) c synthesis      434039 conflicts   175937799 propagations     6507 conflicts/sec  2637511 propagations/sec
185.17/31.49	c (30,0) c Total Memory so far : 671.98Mb
185.17/31.49	c (30,0) c
185.17/31.49	c (30,0) c |-------------------------------------------------------------------------------------------------------|
185.17/31.49	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
185.17/31.49	c (30,0) c |-------------------------------------------------------------------------------------------------------|
185.17/31.49	c (30,0) c |  0 |    441 |     184035 |      74345 |    47789 |    20798 |    13251 |    84514 |     9138 | 25.642 |
185.17/31.49	c (30,0) c |  1 |    488 |     190911 |      73324 |    48917 |    19767 |    12175 |    86874 |     9266 | 25.620 |
185.17/31.49	c (30,0) c |  2 |    431 |     181435 |      71669 |    49321 |    18120 |    12300 |    86699 |     8982 | 25.627 |
185.17/31.49	c (30,0) c |  3 |    466 |     192871 |      75509 |    49367 |    21955 |    12846 |    85988 |     9323 | 25.627 |
185.17/31.49	c (30,0) c |  4 |    441 |     183884 |      72480 |    49323 |    18922 |    11756 |    87185 |     9197 | 25.613 |
185.17/31.49	c (30,0) c |  5 |    457 |     188429 |      73673 |    48906 |    20118 |    13040 |    85898 |     9301 | 25.649 |
185.17/31.49	c (30,0) c |  6 |    439 |     183698 |      71878 |    48339 |    18313 |    11537 |    87428 |     9138 | 25.613 |
185.17/31.49	c (30,0) c |  7 |    507 |     189154 |      72067 |    49403 |    18502 |    12156 |    86856 |     9169 | 25.656 |
185.17/31.49	c (30,0) c 
185.17/31.49	c (30,0) c synthesis      584947 conflicts   243484107 propagations     5933 conflicts/sec  2469713 propagations/sec
185.17/31.49	c (30,0) c Total Memory so far : 671.98Mb
185.17/31.49	c (30,0) c
185.17/31.49	c (30,0) c |-------------------------------------------------------------------------------------------------------|
185.17/31.49	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
185.97/31.50	c (30,0) c |-------------------------------------------------------------------------------------------------------|
185.97/31.50	c (30,0) c |  0 |    529 |     212451 |      90780 |    48045 |    19616 |    15332 |   100856 |    10936 | 25.649 |
185.97/31.50	c (30,0) c |  1 |    598 |     219218 |      88624 |    49235 |    35067 |    14176 |   101800 |    11011 | 25.627 |
185.97/31.50	c (30,0) c |  2 |    557 |     212688 |      88193 |    49611 |    34642 |    14504 |   101690 |    10735 | 25.635 |
185.97/31.50	c (30,0) c |  3 |    572 |     223121 |      92031 |    49612 |    20870 |    15059 |   101180 |    10981 | 25.635 |
185.97/31.50	c (30,0) c |  4 |    536 |     212077 |      88057 |    49623 |    34498 |    13929 |   102282 |    10982 | 25.620 |
185.97/31.50	c (30,0) c |  5 |    547 |     217015 |      90269 |    49266 |    19113 |    15176 |   101120 |    11043 | 25.656 |
185.97/31.50	c (30,0) c |  6 |    528 |     211406 |      87370 |    48622 |    33806 |    13731 |   102545 |    10806 | 25.620 |
185.97/31.50	c (30,0) c |  7 |    602 |     219404 |      88581 |    49751 |    35017 |    14393 |   101881 |    10916 | 25.663 |
185.97/31.50	c (30,0) c 
185.97/31.50	c (30,0) c synthesis      713907 conflicts   304642703 propagations     5473 conflicts/sec  2335353 propagations/sec
185.97/31.50	c (30,0) c Total Memory so far : 671.98Mb
185.97/31.50	c (30,0) c
185.97/31.50	c (30,0) c Try to adapt solver strategies
185.97/31.50	c (30,0) c 
185.97/31.50	c (30,0) c Nothing extreme in this problem, continue with glucose default strategies.
185.97/31.50	c (30,0) c
185.97/31.50	c (30,0) c
185.97/31.50	c (30,0) c Try to adapt solver strategies
185.97/31.50	c (30,0) c 
185.97/31.50	c (30,0) c Nothing extreme in this problem, continue with glucose default strategies.
185.97/31.50	c (30,0) c
185.97/31.50	c (30,0) c
185.97/31.50	c (30,0) c Try to adapt solver strategies
185.97/31.50	c (30,0) c 
185.97/31.50	c (30,0) c Nothing extreme in this problem, continue with glucose default strategies.
185.97/31.50	c (30,0) c
185.97/31.50	c (30,0) c
185.97/31.50	c (30,0) c Try to adapt solver strategies
185.97/31.50	c (30,0) c 
185.97/31.50	c (30,0) c Nothing extreme in this problem, continue with glucose default strategies.
185.97/31.50	c (30,0) c
185.97/31.50	c (30,0) c
185.97/31.50	c (30,0) c |-------------------------------------------------------------------------------------------------------|
185.97/31.50	c (30,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
185.97/31.50	c (30,0) c |-------------------------------------------------------------------------------------------------------|
185.97/31.50	c (30,0) c |  0 |    658 |     240710 |     106600 |    48251 |    35435 |    17117 |   113809 |    12476 | 25.663 |
185.97/31.50	c (30,0) c |  1 |    667 |     245391 |     104492 |    49452 |    33317 |    16000 |   114813 |    12408 | 25.642 |
185.97/31.50	c (30,0) c |  2 |    671 |     241115 |     104216 |    49891 |    33050 |    16413 |   114380 |    12135 | 25.649 |
185.97/31.50	c (30,0) c |  3 |    662 |     250205 |     107937 |    49801 |    36775 |    17011 |   113746 |    12567 | 25.649 |
296.86/45.49	c (44,0) c |  4 |    633 |     238633 |     103496 |    49829 |    32340 |    15791 |   114852 |    12320 | 25.635 |
296.86/45.49	c (44,0) c |  5 |    652 |     244140 |     106227 |    49484 |    35069 |    16997 |   113208 |    12588 | 25.663 |
296.86/45.49	c (44,0) c |  6 |    641 |     237563 |     102353 |    48820 |    31187 |    15389 |   115313 |    12161 | 25.635 |
296.86/45.49	c (44,0) c |  7 |    691 |     246613 |     104606 |    49975 |    33442 |    16233 |   114684 |    12444 | 25.677 |
296.86/45.49	c (44,0) c 
296.86/45.49	c (44,0) c synthesis      839928 conflicts   365765077 propagations     5174 conflicts/sec  2253062 propagations/sec
296.86/45.49	c (44,0) c Total Memory so far : 671.98Mb
296.86/45.49	c (44,0) c
296.86/45.49	c (44,0) c |-------------------------------------------------------------------------------------------------------|
296.86/45.49	c (44,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
296.86/45.49	c (44,0) c |-------------------------------------------------------------------------------------------------------|
296.86/45.49	c (44,0) c |  0 |    725 |     264994 |     121463 |    48415 |    30089 |    18819 |   122566 |    13743 | 25.663 |
296.86/45.49	c (44,0) c |  1 |    742 |     269283 |     118923 |    49587 |    27551 |    17624 |   126064 |    13729 | 25.642 |
296.86/45.49	c (44,0) c |  2 |    743 |     264238 |     118483 |    50060 |    27104 |    17999 |   125662 |    13428 | 25.649 |
296.86/45.49	c (44,0) c |  3 |    759 |     275220 |     123008 |    49974 |    31635 |    18572 |   125098 |    13931 | 25.649 |
296.86/45.49	c (44,0) c |  4 |    740 |     262799 |     117128 |    50000 |    25756 |    17334 |   126339 |    13666 | 25.635 |
296.86/45.49	c (44,0) c |  5 |    711 |     268589 |     121495 |    49680 |    30130 |    18781 |   123599 |    13884 | 25.663 |
296.86/45.49	c (44,0) c |  6 |    702 |     259778 |     115865 |    48984 |    24490 |    16879 |   125359 |    13448 | 25.635 |
297.66/45.50	c (44,0) c |  7 |    775 |     270170 |     118659 |    50130 |    27291 |    17712 |   125982 |    13766 | 25.677 |
297.66/45.50	c (44,0) c 
297.66/45.50	c (44,0) c synthesis      955024 conflicts   422246142 propagations     4918 conflicts/sec  2174560 propagations/sec
297.66/45.50	c (44,0) c Total Memory so far : 671.98Mb
297.66/45.51	c (44,0) c
297.66/45.51	c (44,0) c |-------------------------------------------------------------------------------------------------------|
297.66/45.51	c (44,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
297.66/45.51	c (44,0) c |-------------------------------------------------------------------------------------------------------|
297.66/45.51	c (44,0) c |  0 |    789 |     290795 |     137829 |    48563 |    23647 |    20578 |   136649 |    15280 | 25.663 |
297.66/45.51	c (44,0) c |  1 |    835 |     295070 |     135207 |    49737 |    43835 |    19229 |   137995 |    15208 | 25.642 |
297.66/45.51	c (44,0) c |  2 |    849 |     291812 |     135150 |    50219 |    43771 |    19701 |   137502 |    15081 | 25.649 |
297.66/45.51	c (44,0) c |  3 |    846 |     301419 |     139637 |    50119 |    25455 |    20244 |   137044 |    15530 | 25.649 |
297.66/45.51	c (44,0) c |  4 |    820 |     288029 |     132966 |    50137 |    41595 |    18965 |   138181 |    15196 | 25.635 |
297.66/45.51	c (44,0) c |  5 |    791 |     294159 |     137916 |    49802 |    23733 |    20439 |   136746 |    15471 | 25.663 |
297.66/45.51	c (44,0) c |  6 |    775 |     285606 |     132264 |    49139 |    40889 |    18611 |   138636 |    14865 | 25.635 |
297.66/45.51	c (44,0) c |  7 |    842 |     296503 |     135851 |    50288 |    44483 |    19526 |   136819 |    15324 | 25.677 |
297.66/45.51	c (44,0) c 
297.66/45.51	c (44,0) c synthesis     1086820 conflicts   488316120 propagations     4644 conflicts/sec  2086664 propagations/sec
297.66/45.51	c (44,0) c Total Memory so far : 673.14Mb
297.66/45.51	c (44,0) c
297.66/45.51	c (44,0) c |-------------------------------------------------------------------------------------------------------|
297.66/45.51	c (44,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
297.66/45.51	c (44,0) c |-------------------------------------------------------------------------------------------------------|
297.66/45.51	c (44,0) c |  0 |    864 |     318173 |     155704 |    48672 |    41522 |    22270 |   147602 |    16679 | 25.663 |
297.66/45.51	c (44,0) c |  1 |    931 |     322083 |     152226 |    49881 |    38052 |    20860 |   149216 |    16620 | 25.642 |
297.66/45.51	c (44,0) c |  2 |    940 |     318937 |     152344 |    50360 |    38160 |    21333 |   148783 |    16437 | 25.649 |
297.66/45.51	c (44,0) c |  3 |    971 |     329635 |     156922 |    50233 |    42740 |    21793 |   148214 |    16955 | 25.649 |
297.66/45.51	c (44,0) c |  4 |    909 |     314009 |     149152 |    50256 |    34976 |    20546 |   149499 |    16533 | 25.635 |
400.56/58.49	c (57,0) c |  5 |    893 |     321992 |     155268 |    49946 |    41084 |    22034 |   147942 |    16849 | 25.663 |
400.56/58.49	c (57,0) c |  6 |    870 |     310755 |     148038 |    49251 |    33863 |    20136 |   149997 |    16192 | 25.635 |
400.56/58.49	c (57,0) c |  7 |    938 |     323710 |     153002 |    50426 |    38823 |    21174 |   148954 |    16629 | 25.677 |
400.56/58.49	c (57,0) c 
400.56/58.49	c (57,0) c synthesis     1222656 conflicts   556760552 propagations     4464 conflicts/sec  2032837 propagations/sec
400.56/58.49	c (57,0) c Total Memory so far : 674.30Mb
400.56/58.49	c (57,0) c
400.56/58.49	c (57,0) c |-------------------------------------------------------------------------------------------------------|
400.56/58.49	c (57,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
400.56/58.49	c (57,0) c |-------------------------------------------------------------------------------------------------------|
400.56/58.49	c (57,0) c |  0 |    954 |     342795 |     171415 |    48771 |    31831 |    23887 |   157926 |    18077 | 25.931 |
400.56/58.49	c (57,0) c |  1 |   1009 |     344543 |     166822 |    49969 |    27239 |    22259 |   159187 |    17968 | 25.909 |
400.56/58.49	c (57,0) c |  2 |   1050 |     343089 |     166941 |    50442 |    27353 |    22704 |   159098 |    17788 | 25.917 |
400.56/58.49	c (57,0) c |  3 |   1059 |     354876 |     173113 |    50329 |    33526 |    23535 |   158305 |    18298 | 25.917 |
400.56/58.49	c (57,0) c |  4 |   1000 |     335790 |     162860 |    50334 |    48680 |    21915 |   159908 |    17810 | 25.902 |
400.56/58.49	c (57,0) c |  5 |    998 |     345965 |     170191 |    50024 |    30612 |    23471 |   158379 |    18217 | 25.931 |
400.56/58.49	c (57,0) c |  6 |    963 |     332814 |     161638 |    49369 |    47460 |    21419 |   160365 |    17507 | 25.902 |
400.56/58.49	c (57,0) c |  7 |   1018 |     346783 |     167932 |    50518 |    28356 |    22664 |   159143 |    18013 | 25.945 |
400.56/58.49	c (57,0) c 
400.56/58.49	c (57,0) c synthesis     1340913 conflicts   616560599 propagations     4274 conflicts/sec  1965311 propagations/sec
400.56/58.49	c (57,0) c Total Memory so far : 676.50Mb
400.56/58.49	c (57,0) c
401.36/58.50	c (57,0) c |-------------------------------------------------------------------------------------------------------|
401.36/58.50	c (57,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
401.36/58.50	c (57,0) c |-------------------------------------------------------------------------------------------------------|
401.36/58.50	c (57,0) c |  0 |   1032 |     362171 |     183426 |    48836 |    43842 |    25316 |   167282 |    19086 | 25.931 |
401.36/58.50	c (57,0) c |  1 |   1074 |     364499 |     179761 |    50039 |    40178 |    23705 |   168928 |    18954 | 25.909 |
401.36/58.50	c (57,0) c |  2 |   1125 |     363064 |     179892 |    50506 |    40303 |    24184 |   168458 |    18825 | 25.917 |
401.36/58.50	c (57,0) c |  3 |   1141 |     374770 |     185810 |    50378 |    46223 |    25087 |   167555 |    19365 | 25.917 |
401.36/58.50	c (57,0) c |  4 |   1079 |     355007 |     174672 |    50409 |    35106 |    22940 |   169681 |    18754 | 25.902 |
401.36/58.50	c (57,0) c |  5 |   1087 |     366710 |     182836 |    50096 |    43257 |    24944 |   167672 |    19246 | 25.931 |
401.36/58.50	c (57,0) c |  6 |   1028 |     351546 |     173496 |    49443 |    33917 |    22793 |   169851 |    18431 | 25.902 |
401.36/58.50	c (57,0) c |  7 |   1100 |     366840 |     180581 |    50569 |    41005 |    23693 |   168946 |    19002 | 25.945 |
401.36/58.50	c (57,0) c 
401.36/58.50	c (57,0) c synthesis     1440474 conflicts   667557794 propagations     4168 conflicts/sec  1931527 propagations/sec
401.36/58.50	c (57,0) c Total Memory so far : 677.15Mb
401.36/58.50	c (57,0) c
401.36/58.50	c (57,0) c |-------------------------------------------------------------------------------------------------------|
401.36/58.50	c (57,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
401.36/58.50	c (57,0) c |-------------------------------------------------------------------------------------------------------|
401.36/58.50	c (57,0) c |  0 |   1100 |     378992 |     194244 |    48895 |    54659 |    26597 |   175545 |    20163 | 25.938 |
401.36/58.50	c (57,0) c |  1 |   1111 |     380742 |     191029 |    50116 |    51445 |    24960 |   177335 |    19990 | 25.917 |
401.36/58.50	c (57,0) c |  2 |   1174 |     378847 |     190410 |    50548 |    50821 |    25405 |   176680 |    19761 | 25.924 |
401.36/58.50	c (57,0) c |  3 |   1214 |     392311 |     197062 |    50427 |    29474 |    26445 |   175787 |    20438 | 25.924 |
401.36/58.50	c (57,0) c |  4 |   1126 |     371140 |     185571 |    50470 |    46006 |    23893 |   178060 |    19685 | 25.910 |
401.36/58.50	c (57,0) c |  5 |   1143 |     383641 |     193955 |    50174 |    54376 |    26357 |   175898 |    20252 | 25.938 |
476.35/67.97	c (67,0) c |  6 |   1096 |     369089 |     184494 |    49491 |    44914 |    24083 |   178245 |    19363 | 25.910 |
476.35/67.97	c (67,0) c |  7 |   1147 |     383269 |     191450 |    50622 |    51874 |    24645 |   177572 |    20045 | 25.952 |
476.35/67.97	c (67,0) c 
476.35/67.97	c (67,0) c synthesis     1528216 conflicts   712695392 propagations     4048 conflicts/sec  1887939 propagations/sec
476.35/67.97	c (67,0) c Total Memory so far : 678.58Mb
476.35/67.97	c (67,0) c
476.35/67.97	c (67,0) c |-------------------------------------------------------------------------------------------------------|
476.35/67.97	c (67,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
476.35/67.97	c (67,0) c |-------------------------------------------------------------------------------------------------------|
476.35/67.97	c (67,0) c |  0 |   1189 |     401790 |     209203 |    48964 |    41614 |    28186 |   186145 |    21272 | 25.938 |
476.35/67.97	c (67,0) c |  1 |   1173 |     401542 |     205288 |    50183 |    37710 |    26537 |   187754 |    21033 | 25.917 |
476.35/67.97	c (67,0) c |  2 |   1228 |     400177 |     204948 |    50612 |    37358 |    27091 |   186977 |    20847 | 25.924 |
476.35/67.97	c (67,0) c |  3 |   1288 |     415384 |     212601 |    50495 |    45014 |    28107 |   186120 |    21528 | 25.924 |
476.35/67.97	c (67,0) c |  4 |   1200 |     389747 |     197623 |    50522 |    30048 |    24903 |   189473 |    20897 | 25.909 |
476.35/67.97	c (67,0) c |  5 |   1208 |     405979 |     209395 |    50244 |    41815 |    27908 |   186406 |    21369 | 25.938 |
476.35/67.97	c (67,0) c |  6 |   1158 |     387256 |     196125 |    49553 |    28551 |    25472 |   188039 |    20560 | 25.910 |
476.35/67.97	c (67,0) c |  7 |   1200 |     404856 |     206241 |    50703 |    38668 |    26182 |   187913 |    21196 | 25.952 |
476.35/67.97	c (67,0) c 
476.35/67.97	c (67,0) c synthesis     1641425 conflicts   771502691 propagations     3933 conflicts/sec  1848489 propagations/sec
476.35/67.97	c (67,0) c Total Memory so far : 679.75Mb
476.35/67.97	c (67,0) c
476.35/67.97	c (67,0) c |-------------------------------------------------------------------------------------------------------|
476.35/67.97	c (67,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
476.35/67.97	c (67,0) c |-------------------------------------------------------------------------------------------------------|
476.35/67.97	c (67,0) c |  0 |   1233 |     417953 |     220132 |    49013 |    52543 |    29482 |   194226 |    22226 | 25.938 |
476.35/67.97	c (67,0) c |  1 |   1222 |     418150 |     216728 |    50231 |    49149 |    27721 |   195829 |    22053 | 25.917 |
476.35/67.97	c (67,0) c |  2 |   1273 |     416712 |     216328 |    50642 |    48738 |    28303 |   195293 |    21717 | 25.924 |
476.35/67.97	c (67,0) c |  3 |   1345 |     431933 |     223457 |    50550 |    55870 |    29310 |   194472 |    22519 | 25.924 |
476.35/67.97	c (67,0) c |  4 |   1284 |     408310 |     209186 |    50580 |    41610 |    26049 |   197697 |    21774 | 25.909 |
476.35/67.97	c (67,0) c |  5 |   1254 |     422740 |     220723 |    50285 |    53143 |    29214 |   194267 |    22391 | 25.938 |
476.35/67.97	c (67,0) c |  6 |   1209 |     404536 |     207916 |    49604 |    40342 |    26426 |   197164 |    21361 | 25.910 |
476.35/67.97	c (67,0) c |  7 |   1261 |     421600 |     217452 |    50746 |    49879 |    27284 |   196496 |    22133 | 25.952 |
476.35/67.97	c (67,0) c 
476.35/67.97	c (67,0) c synthesis     1731922 conflicts   818722314 propagations     3855 conflicts/sec  1822342 propagations/sec
476.35/67.97	c (67,0) c Total Memory so far : 680.53Mb
476.35/67.97	c (67,0) c last restart ## conflicts  :  939 25 
476.35/67.97	c (67,0) c Thread 2 is 100% pure glucose! First thread to finish! (SAT answer).
476.35/67.97	c (67,0) c Total Memory so far : 680.53Mb
476.35/67.97	c (67,0) c
476.35/67.97	c (67,0) c real time : 57.0791 s
476.35/67.97	c (67,0) c cpu time  : 453.054 s
476.35/67.97	c (67,0) c
476.35/67.97	c (67,0) c
476.35/67.97	c (67,0) c
476.35/67.97	c (67,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
476.35/67.97	c (67,0) c
476.35/67.97	c (67,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
476.35/67.97	c (67,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
476.35/67.97	c (67,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
476.35/67.97	c (67,0) c | Conflicts     |         1742004 |     221532 |     217895 |     217487 |     224661 |     210615 |     221942 |     209168 |     218704 |
476.35/67.97	c (67,0) c | Decisions     |         3356225 |     419837 |     419916 |     418256 |     433721 |     410342 |     424391 |     406403 |     423359 |
476.35/67.97	c (67,0) c | Propagations  |       823983117 |  104230767 |  103480322 |  102921701 |  107181935 |   98930812 |  104684548 |   98370413 |  104182619 |
476.35/67.97	c (67,0) c | Avg_Trail     |                 |       7189 |       7176 |       7204 |       7177 |       7173 |       7187 |       7181 |       7178 |
476.35/67.97	c (67,0) c | Avg_DL        |                 |         30 |         32 |         31 |         31 |         30 |         31 |         32 |         31 |
476.35/67.97	c (67,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
476.35/67.97	c (67,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
476.35/67.97	c (67,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
476.35/67.97	c (67,0) c | Exported      |          224867 |      29659 |      27850 |      28449 |      29405 |      26210 |      29343 |      26533 |      27418 |
476.35/67.97	c (67,0) c | Imported      |         1571131 |     195155 |     196907 |     195653 |     195407 |     198081 |     195082 |     198123 |     196723 |
476.35/67.97	c (67,0) c | Good          |           37296 |       4709 |       4654 |       4694 |       4633 |       4650 |       4674 |       4688 |       4594 |
476.35/67.97	c (67,0) c | Purge         |         1533835 |     190446 |     192253 |     190959 |     190774 |     193431 |     190408 |     193435 |     192129 |
476.35/67.97	c (67,0) c | Promoted      |          177093 |      22347 |      22169 |      21828 |      22634 |      21883 |      22496 |      21484 |      22252 |
476.35/67.97	c (67,0) c | Remove_Imp    |          964204 |     116749 |     119513 |     120866 |     114927 |     127182 |     116476 |     127577 |     120914 |
476.35/67.97	c (67,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
476.35/67.97	c (67,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
476.35/67.97	c (67,0) c | Unaries       |                 |         31 |         33 |         18 |         17 |         31 |         26 |         21 |         49 |
476.35/67.97	c (67,0) c | Binaries      |                 |        620 |        675 |        632 |        696 |        677 |        655 |        641 |        733 |
476.35/67.97	c (67,0) c | Glues         |                 |       3437 |       3447 |       3550 |       3513 |       3532 |       3453 |       3365 |       3522 |
476.35/67.97	c (67,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
476.35/67.97	c (67,0) c | Orig_Seen     |            40 % |      49016 |      50236 |      50649 |      50554 |      50589 |      50287 |      49606 |      50750 |
476.35/67.97	c (67,0) c | Diff Orig seen|                 | -     1633 | -      413 |      X     | -       95 | -       60 | -      362 | -     1043 |        101 |
476.35/67.97	c (67,0) c | Hamming       |             7 % |       1159 |       1102 |      X     |       1073 |       1035 |       1063 |       1091 |       1139 |
476.35/67.97	c (67,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
476.35/67.97	c (67,0) 
476.35/67.97	c (67,0) s SATISFIABLE
476.35/67.99	c (67,10) SatSolver.solve End
476.35/67.99	c (67,10) Heap : 4843 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
476.35/67.99	c (67,10) Show results Begin
476.35/68.00	c (67,10) bot[0] = 0
476.35/68.00	c (67,10) bot[1] = 0
476.35/68.00	c (67,10) bot[2] = 0
476.35/68.00	c (67,10) bot[3] = 0
476.35/68.00	c (67,10) bot[4] = 0
476.35/68.00	c (67,10) bot[5] = 0
476.35/68.00	c (67,10) bot[6] = 0
476.35/68.00	c (67,10) id[0][0] = 3
476.35/68.00	c (67,10) id[0][1] = 6
476.35/68.00	c (67,10) id[0][2] = 4
476.35/68.00	c (67,10) id[0][3] = 23
476.35/68.00	c (67,10) id[0][4] = 22
476.35/68.00	c (67,10) id[0][5] = 16
476.35/68.00	c (67,10) id[0][6] = 0
476.35/68.00	c (67,10) id[1][0] = 12
476.35/68.00	c (67,10) id[1][1] = 46
476.35/68.00	c (67,10) id[1][2] = 36
476.35/68.00	c (67,10) id[1][3] = 35
476.35/68.00	c (67,10) id[1][4] = 41
476.35/68.00	c (67,10) id[1][5] = 31
476.35/68.00	c (67,10) id[1][6] = 17
476.35/68.00	c (67,10) id[2][0] = 10
476.35/68.00	c (67,10) id[2][1] = 34
476.35/68.00	c (67,10) id[2][2] = 42
476.35/68.00	c (67,10) id[2][3] = 38
476.35/68.00	c (67,10) id[2][4] = 39
476.35/68.00	c (67,10) id[2][5] = 28
476.35/68.00	c (67,10) id[2][6] = 11
476.35/68.00	c (67,10) id[3][0] = 13
476.35/68.00	c (67,10) id[3][1] = 44
476.35/68.00	c (67,10) id[3][2] = 30
476.35/68.00	c (67,10) id[3][3] = 27
476.35/68.00	c (67,10) id[3][4] = 43
476.35/68.00	c (67,10) id[3][5] = 32
476.35/68.00	c (67,10) id[3][6] = 8
476.35/68.00	c (67,10) id[4][0] = 14
476.35/68.00	c (67,10) id[4][1] = 33
476.35/68.00	c (67,10) id[4][2] = 40
476.35/68.00	c (67,10) id[4][3] = 26
476.35/68.00	c (67,10) id[4][4] = 37
476.35/68.00	c (67,10) id[4][5] = 48
476.35/68.00	c (67,10) id[4][6] = 5
476.35/68.00	c (67,10) id[5][0] = 18
476.35/68.00	c (67,10) id[5][1] = 24
476.35/68.00	c (67,10) id[5][2] = 29
476.35/68.00	c (67,10) id[5][3] = 25
476.35/68.00	c (67,10) id[5][4] = 45
476.35/68.00	c (67,10) id[5][5] = 47
476.35/68.00	c (67,10) id[5][6] = 20
476.35/68.00	c (67,10) id[6][0] = 2
476.35/68.00	c (67,10) id[6][1] = 9
476.35/68.00	c (67,10) id[6][2] = 21
476.35/68.00	c (67,10) id[6][3] = 19
476.35/68.00	c (67,10) id[6][4] = 7
476.35/68.00	c (67,10) id[6][5] = 15
476.35/68.00	c (67,10) id[6][6] = 1
476.35/68.00	c (67,10) left[0][0] = 0
476.35/68.00	c (67,10) left[0][1] = 3
476.35/68.00	c (67,10) left[0][2] = 1
476.35/68.00	c (67,10) left[0][3] = 1
476.35/68.00	c (67,10) left[0][4] = 3
476.35/68.00	c (67,10) left[0][5] = 3
476.35/68.00	c (67,10) left[0][6] = 2
476.35/68.00	c (67,10) left[1][0] = 0
476.35/68.00	c (67,10) left[1][1] = 7
476.35/68.00	c (67,10) left[1][2] = 8
476.35/68.00	c (67,10) left[1][3] = 4
476.35/68.00	c (67,10) left[1][4] = 6
476.35/68.00	c (67,10) left[1][5] = 6
476.35/68.00	c (67,10) left[1][6] = 4
476.35/68.00	c (67,10) left[2][0] = 0
476.35/68.00	c (67,10) left[2][1] = 4
476.35/68.00	c (67,10) left[2][2] = 9
476.35/68.00	c (67,10) left[2][3] = 5
476.35/68.00	c (67,10) left[2][4] = 7
476.35/68.00	c (67,10) left[2][5] = 5
476.35/68.00	c (67,10) left[2][6] = 5
476.35/68.00	c (67,10) left[3][0] = 0
476.35/68.00	c (67,10) left[3][1] = 8
476.35/68.00	c (67,10) left[3][2] = 7
476.35/68.00	c (67,10) left[3][3] = 4
476.35/68.00	c (67,10) left[3][4] = 5
476.35/68.00	c (67,10) left[3][5] = 7
476.35/68.00	c (67,10) left[3][6] = 8
476.35/68.00	c (67,10) left[4][0] = 0
476.35/68.00	c (67,10) left[4][1] = 8
476.35/68.00	c (67,10) left[4][2] = 5
476.35/68.00	c (67,10) left[4][3] = 7
476.35/68.00	c (67,10) left[4][4] = 4
476.35/68.00	c (67,10) left[4][5] = 9
476.35/68.00	c (67,10) left[4][6] = 6
476.35/68.00	c (67,10) left[5][0] = 0
476.35/68.00	c (67,10) left[5][1] = 4
476.35/68.00	c (67,10) left[5][2] = 5
476.35/68.00	c (67,10) left[5][3] = 4
476.35/68.00	c (67,10) left[5][4] = 7
476.35/68.00	c (67,10) left[5][5] = 8
476.35/68.00	c (67,10) left[5][6] = 6
476.35/68.00	c (67,10) left[6][0] = 0
476.35/68.00	c (67,10) left[6][1] = 1
476.35/68.00	c (67,10) left[6][2] = 3
476.35/68.00	c (67,10) left[6][3] = 3
476.35/68.00	c (67,10) left[6][4] = 1
476.35/68.00	c (67,10) left[6][5] = 2
476.35/68.00	c (67,10) left[6][6] = 1
476.35/68.00	c (67,10) right[0] = 0
476.35/68.00	c (67,10) right[1] = 0
476.35/68.00	c (67,10) right[2] = 0
476.35/68.00	c (67,10) right[3] = 0
476.35/68.00	c (67,10) right[4] = 0
476.35/68.00	c (67,10) right[5] = 0
476.35/68.00	c (67,10) right[6] = 0
476.35/68.00	c (67,10) top[0][0] = 0
476.35/68.00	c (67,10) top[0][1] = 0
476.35/68.00	c (67,10) top[0][2] = 0
476.35/68.00	c (67,10) top[0][3] = 0
476.35/68.00	c (67,10) top[0][4] = 0
476.35/68.00	c (67,10) top[0][5] = 0
476.35/68.00	c (67,10) top[0][6] = 0
476.35/68.00	c (67,10) top[1][0] = 2
476.35/68.00	c (67,10) top[1][1] = 6
476.35/68.00	c (67,10) top[1][2] = 5
476.35/68.00	c (67,10) top[1][3] = 9
476.35/68.00	c (67,10) top[1][4] = 8
476.35/68.00	c (67,10) top[1][5] = 9
476.35/68.00	c (67,10) top[1][6] = 1
476.35/68.00	c (67,10) top[2][0] = 2
476.35/68.00	c (67,10) top[2][1] = 8
476.35/68.00	c (67,10) top[2][2] = 9
476.35/68.00	c (67,10) top[2][3] = 8
476.35/68.00	c (67,10) top[2][4] = 5
476.35/68.00	c (67,10) top[2][5] = 8
476.35/68.00	c (67,10) top[2][6] = 3
476.35/68.00	c (67,10) top[3][0] = 2
476.35/68.00	c (67,10) top[3][1] = 6
476.35/68.00	c (67,10) top[3][2] = 6
476.35/68.00	c (67,10) top[3][3] = 5
476.35/68.00	c (67,10) top[3][4] = 9
476.35/68.00	c (67,10) top[3][5] = 4
476.35/68.00	c (67,10) top[3][6] = 2
476.35/68.00	c (67,10) top[4][0] = 2
476.35/68.00	c (67,10) top[4][1] = 9
476.35/68.00	c (67,10) top[4][2] = 6
476.35/68.00	c (67,10) top[4][3] = 7
476.35/68.00	c (67,10) top[4][4] = 9
476.35/68.00	c (67,10) top[4][5] = 7
476.35/68.00	c (67,10) top[4][6] = 1
476.35/68.00	c (67,10) top[5][0] = 3
476.35/68.00	c (67,10) top[5][1] = 4
476.35/68.00	c (67,10) top[5][2] = 7
476.35/68.00	c (67,10) top[5][3] = 4
476.35/68.00	c (67,10) top[5][4] = 6
476.35/68.00	c (67,10) top[5][5] = 9
476.35/68.00	c (67,10) top[5][6] = 1
476.35/68.00	c (67,10) top[6][0] = 2
476.35/68.00	c (67,10) top[6][1] = 8
476.35/68.00	c (67,10) top[6][2] = 6
476.35/68.00	c (67,10) top[6][3] = 5
476.35/68.00	c (67,10) top[6][4] = 7
476.35/68.01	c (67,10) top[6][5] = 9
476.35/68.01	c (67,10) top[6][6] = 3
476.35/68.01	s SATISFIABLE
476.35/68.01	v <instantiation>
476.35/68.01	v     <list>id[0][0] id[0][1] id[0][2] id[0][3] id[0][4] id[0][5] id[0][6] id[1][0] id[1][1] id[1][2] id[1][3] id[1][4] id[1][5] id[1][6] id[2][0] id[2][1] id[2][2] id[2][3] id[2][4] id[2][5] id[2][6] id[3][0] id[3][1] id[3][2] id[3][3] id[3][4] id[3][5] id[3][6] id[4][0] id[4][1] id[4][2] id[4][3] id[4][4] id[4][5] id[4][6] id[5][0] id[5][1] id[5][2] id[5][3] id[5][4] id[5][5] id[5][6] id[6][0] id[6][1] id[6][2] id[6][3] id[6][4] id[6][5] id[6][6] top[0][0] top[0][1] top[0][2] top[0][3] top[0][4] top[0][5] top[0][6] top[1][0] top[1][1] top[1][2] top[1][3] top[1][4] top[1][5] top[1][6] top[2][0] top[2][1] top[2][2] top[2][3] top[2][4] top[2][5] top[2][6] top[3][0] top[3][1] top[3][2] top[3][3] top[3][4] top[3][5] top[3][6] top[4][0] top[4][1] top[4][2] top[4][3] top[4][4] top[4][5] top[4][6] top[5][0] top[5][1] top[5][2] top[5][3] top[5][4] top[5][5] top[5][6] top[6][0] top[6][1] top[6][2] top[6][3] top[6][4] top[6][5] top[6][6] left[0][0] left[0][1] left[0][2] left[0][3] left[0][4] left[0][5] left[0][6] left[1][0] left[1][1] left[1][2] left[1][3] left[1][4] left[1][5] left[1][6] left[2][0] left[2][1] left[2][2] left[2][3] left[2][4] left[2][5] left[2][6] left[3][0] left[3][1] left[3][2] left[3][3] left[3][4] left[3][5] left[3][6] left[4][0] left[4][1] left[4][2] left[4][3] left[4][4] left[4][5] left[4][6] left[5][0] left[5][1] left[5][2] left[5][3] left[5][4] left[5][5] left[5][6] left[6][0] left[6][1] left[6][2] left[6][3] left[6][4] left[6][5] left[6][6] bot[0] bot[1] bot[2] bot[3] bot[4] bot[5] bot[6] right[0] right[1] right[2] right[3] right[4] right[5] right[6]</list>
476.35/68.01	v     <values>3 6 4 23 22 16 0 12 46 36 35 41 31 17 10 34 42 38 39 28 11 13 44 30 27 43 32 8 14 33 40 26 37 48 5 18 24 29 25 45 47 20 2 9 21 19 7 15 1 0 0 0 0 0 0 0 2 6 5 9 8 9 1 2 8 9 8 5 8 3 2 6 6 5 9 4 2 2 9 6 7 9 7 1 3 4 7 4 6 9 1 2 8 6 5 7 9 3 0 3 1 1 3 3 2 0 7 8 4 6 6 4 0 4 9 5 7 5 5 0 8 7 4 5 7 8 0 8 5 7 4 9 6 0 4 5 4 7 8 6 0 1 3 3 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values>
476.35/68.01	v </instantiation>
476.35/68.01	c (67,10) Show results End
476.35/68.01	c (67,10) Heap : 4843 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
476.35/68.01	c (67,10) 0,0,7,9,9,9,10,67,67,STOP-AFTER(ALL)
476.35/68.01	c END-Prog: Fri Jul 27 14:56:59 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 (6659 MiB free)
  memory of node 1: 16384 MiB (10426 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297197-1532696151/watcher-4297197-1532696151 -o /tmp/evaluation-result-4297197-1532696151/solver-4297197-1532696151 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532693402-16285 --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-4297197-1532696151.xml 

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

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


[startup+0.100169 s]*
/proc/loadavg: 6.82 8.21 8.53 2/198 16802
/proc/meminfo: memFree=17403932/32770624 swapFree=67108796/67108860
[pid=16782] ppid=16779 vsize=27312552 memory=108824 CPUtime=0.11 cores=0-7
/proc/16782/stat : 16782 (java) S 16779 16782 16258 0 -1 1077944320 6743 0 0 0 9 2 0 0 20 0 20 0 87178265 27968053248 27206 33554432000 4194304 4196468 140720592404592 140720592387136 140054061215479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
/proc/16782/statm: 6828138 27206 2748 1 0 6790598 0
[pid=16782/tid=16784] ppid=16779 vsize=27312552 memory=8186025080815262623 CPUtime=0.08 cores=0-7
/proc/16782/task/16784/stat : 16784 (java) R 16779 16782 16258 0 -1 4202560 4828 0 0 0 7 1 0 0 20 0 20 0 87178266 27968053248 27206 33554432000 4194304 4196468 140720592404592 140054033020952 140054045295996 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16785] ppid=16779 vsize=27312552 memory=732370085325294565 CPUtime=0 cores=0-7
/proc/16782/task/16785/stat : 16785 (java) S 16779 16782 16258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87178268 27968053248 27206 33554432000 4194304 4196468 140720592404592 140054065457552 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16786] ppid=16779 vsize=27312552 memory=139946987841152 CPUtime=0 cores=0-7
/proc/16782/task/16786/stat : 16786 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87178268 27968053248 27206 33554432000 4194304 4196468 140720592404592 140053879613712 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16787] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16787/stat : 16787 (java) S 16779 16782 16258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87178268 27968053248 27206 33554432000 4194304 4196468 140720592404592 140053878561424 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16788] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16788/stat : 16788 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87178268 27968053248 27206 33554432000 4194304 4196468 140720592404592 140053877508624 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16789] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16789/stat : 16789 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87178268 27968053248 27206 33554432000 4194304 4196468 140720592404592 140053876456336 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16790] ppid=16779 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/16782/task/16790/stat : 16790 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87178268 27968053248 27206 33554432000 4194304 4196468 140720592404592 140053875403536 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16791] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16791/stat : 16791 (java) S 16779 16782 16258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87178268 27968053248 27206 33554432000 4194304 4196468 140720592404592 140053874351248 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16792] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16792/stat : 16792 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87178268 27968053248 27206 33554432000 4194304 4196468 140720592404592 140053873298448 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16793] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16793/stat : 16793 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87178270 27968053248 27206 33554432000 4194304 4196468 140720592404592 140052314134640 140054061226626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16794] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16794/stat : 16794 (java) S 16779 16782 16258 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 87178270 27968053248 27206 33554432000 4194304 4196468 140720592404592 140051971302176 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16795] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16795/stat : 16795 (java) S 16779 16782 16258 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87178270 27968053248 27206 33554432000 4194304 4196468 140720592404592 140051837080688 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16796] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16796/stat : 16796 (java) S 16779 16782 16258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87178273 27968053248 27206 33554432000 4194304 4196468 140720592404592 140051501541456 140054061234075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16797] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16797/stat : 16797 (java) S 16779 16782 16258 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 87178273 27968053248 27206 33554432000 4194304 4196468 140720592404592 140052313082480 140054061226626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16798] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16798/stat : 16798 (java) S 16779 16782 16258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87178273 27968053248 27206 33554432000 4194304 4196468 140720592404592 140052312029680 140054061226626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16799] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16799/stat : 16799 (java) S 16779 16782 16258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87178273 27968053248 27206 33554432000 4194304 4196468 140720592404592 140052310977392 140054061226626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16800] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16800/stat : 16800 (java) S 16779 16782 16258 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 20 0 87178273 27968053248 27206 33554432000 4194304 4196468 140720592404592 140052309924592 140054061226626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16801] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16801/stat : 16801 (java) S 16779 16782 16258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87178273 27968053248 27206 33554432000 4194304 4196468 140720592404592 140050964670816 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16802] ppid=16779 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/16782/task/16802/stat : 16802 (java) S 16779 16782 16258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87178273 27968053248 27206 33554432000 4194304 4196468 140720592404592 140052308871472 140054061226626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 108824 KiB

[startup+0.210442 s]*
/proc/loadavg: 6.82 8.21 8.53 2/198 16802
/proc/meminfo: memFree=17385776/32770624 swapFree=67108796/67108860
[pid=16782] ppid=16779 vsize=27312552 memory=123220 CPUtime=0.25 cores=0-7
/proc/16782/stat : 16782 (java) S 16779 16782 16258 0 -1 1077944320 10559 0 0 0 22 3 0 0 20 0 20 0 87178265 27968053248 30805 33554432000 4194304 4196468 140720592404592 140720592387136 140054061215479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
/proc/16782/statm: 6828138 30805 2869 1 0 6790598 0
[pid=16782/tid=16784] ppid=16779 vsize=27312552 memory=32758254098972862 CPUtime=0.19 cores=0-7
/proc/16782/task/16784/stat : 16784 (java) R 16779 16782 16258 0 -1 4202560 8449 0 0 0 17 2 0 0 20 0 20 0 87178266 27968053248 30805 33554432000 4194304 4196468 140720592404592 140054033014224 140054045295966 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16785] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16785/stat : 16785 (java) S 16779 16782 16258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87178268 27968053248 30805 33554432000 4194304 4196468 140720592404592 140054065457552 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16786] ppid=16779 vsize=27312552 memory=3906224502350243488 CPUtime=0 cores=0-7
/proc/16782/task/16786/stat : 16786 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87178268 27968053248 30805 33554432000 4194304 4196468 140720592404592 140053879613712 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16787] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16787/stat : 16787 (java) S 16779 16782 16258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87178268 27968053248 30805 33554432000 4194304 4196468 140720592404592 140053878561424 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16788] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16788/stat : 16788 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87178268 27968053248 30805 33554432000 4194304 4196468 140720592404592 140053877508624 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16789] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16789/stat : 16789 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87178268 27968053248 30805 33554432000 4194304 4196468 140720592404592 140053876456336 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16790] ppid=16779 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/16782/task/16790/stat : 16790 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87178268 27968053248 30805 33554432000 4194304 4196468 140720592404592 140053875403536 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16791] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16791/stat : 16791 (java) S 16779 16782 16258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87178268 27968053248 30805 33554432000 4194304 4196468 140720592404592 140053874351248 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16792] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16792/stat : 16792 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87178268 27968053248 30805 33554432000 4194304 4196468 140720592404592 140053873298448 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16793] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16793/stat : 16793 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87178270 27968053248 30805 33554432000 4194304 4196468 140720592404592 140052314134640 140054061226626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16794] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16794/stat : 16794 (java) S 16779 16782 16258 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 87178270 27968053248 30805 33554432000 4194304 4196468 140720592404592 140051971302176 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16795] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16795/stat : 16795 (java) S 16779 16782 16258 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87178270 27968053248 30805 33554432000 4194304 4196468 140720592404592 140051837080688 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16796] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16796/stat : 16796 (java) S 16779 16782 16258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87178273 27968053248 30805 33554432000 4194304 4196468 140720592404592 140051501541456 140054061234075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16797] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16797/stat : 16797 (java) S 16779 16782 16258 0 -1 1077944384 443 0 0 0 0 0 0 0 20 0 20 0 87178273 27968053248 30805 33554432000 4194304 4196468 140720592404592 140052313082480 140054061226626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16798] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16798/stat : 16798 (java) S 16779 16782 16258 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 87178273 27968053248 30805 33554432000 4194304 4196468 140720592404592 140052312029680 140054061226626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16799] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16799/stat : 16799 (java) S 16779 16782 16258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87178273 27968053248 30805 33554432000 4194304 4196468 140720592404592 140052310977392 140054061226626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16800] ppid=16779 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/16782/task/16800/stat : 16800 (java) S 16779 16782 16258 0 -1 1077944384 271 0 0 0 2 0 0 0 20 0 20 0 87178273 27968053248 30805 33554432000 4194304 4196468 140720592404592 140052309924592 140054061226626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16801] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16801/stat : 16801 (java) S 16779 16782 16258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87178273 27968053248 30805 33554432000 4194304 4196468 140720592404592 140050964670816 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16802] ppid=16779 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/16782/task/16802/stat : 16802 (java) S 16779 16782 16258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87178273 27968053248 30805 33554432000 4194304 4196468 140720592404592 140052308871472 140054061226626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 123220 KiB

[startup+0.310025 s]*
/proc/loadavg: 6.82 8.21 8.53 2/198 16802
/proc/meminfo: memFree=17381992/32770624 swapFree=67108796/67108860
[pid=16782] ppid=16779 vsize=27312552 memory=127152 CPUtime=0.42 cores=0-7
/proc/16782/stat : 16782 (java) S 16779 16782 16258 0 -1 1077944320 11215 0 0 0 39 3 0 0 20 0 20 0 87178265 27968053248 31788 33554432000 4194304 4196468 140720592404592 140720592387136 140054061215479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
/proc/16782/statm: 6828138 31788 2963 1 0 6790598 0
[pid=16782/tid=16784] ppid=16779 vsize=27312552 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/16782/task/16784/stat : 16784 (java) R 16779 16782 16258 0 -1 4202560 8904 0 0 0 27 3 0 0 20 0 20 0 87178266 27968053248 31788 33554432000 4194304 4196468 140720592404592 140054033019632 140054061237405 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16785] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16785/stat : 16785 (java) S 16779 16782 16258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87178268 27968053248 31788 33554432000 4194304 4196468 140720592404592 140054065457552 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16786] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16786/stat : 16786 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87178268 27968053248 31788 33554432000 4194304 4196468 140720592404592 140053879613712 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16787] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16787/stat : 16787 (java) S 16779 16782 16258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87178268 27968053248 31788 33554432000 4194304 4196468 140720592404592 140053878561424 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16788] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16788/stat : 16788 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87178268 27968053248 31788 33554432000 4194304 4196468 140720592404592 140053877508624 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16789] ppid=16779 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/16782/task/16789/stat : 16789 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87178268 27968053248 31788 33554432000 4194304 4196468 140720592404592 140053876456336 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16790] ppid=16779 vsize=27312552 memory=139946878923695 CPUtime=0 cores=0-7
/proc/16782/task/16790/stat : 16790 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87178268 27968053248 31788 33554432000 4194304 4196468 140720592404592 140053875403536 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16791] ppid=16779 vsize=27312552 memory=139946878926000 CPUtime=0 cores=0-7
/proc/16782/task/16791/stat : 16791 (java) S 16779 16782 16258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87178268 27968053248 31788 33554432000 4194304 4196468 140720592404592 140053874351248 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16792] ppid=16779 vsize=27312552 memory=139946878928304 CPUtime=0 cores=0-7
/proc/16782/task/16792/stat : 16792 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87178268 27968053248 31788 33554432000 4194304 4196468 140720592404592 140053873298448 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16793] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16793/stat : 16793 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87178270 27968053248 31788 33554432000 4194304 4196468 140720592404592 140052314134640 140054061226626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16794] ppid=16779 vsize=27312552 memory=279893757863568 CPUtime=0 cores=0-7
/proc/16782/task/16794/stat : 16794 (java) S 16779 16782 16258 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 87178270 27968053248 31788 33554432000 4194304 4196468 140720592404592 140051971302176 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16795] ppid=16779 vsize=27312552 memory=279893757870480 CPUtime=0 cores=0-7
/proc/16782/task/16795/stat : 16795 (java) S 16779 16782 16258 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87178270 27968053248 31788 33554432000 4194304 4196468 140720592404592 140051837080688 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16796] ppid=16779 vsize=27312552 memory=279893757811760 CPUtime=0 cores=0-7
/proc/16782/task/16796/stat : 16796 (java) S 16779 16782 16258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87178273 27968053248 31788 33554432000 4194304 4196468 140720592404592 140051501541456 140054061234075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16797] ppid=16779 vsize=27312552 memory=279893757884304 CPUtime=0.02 cores=0-7
/proc/16782/task/16797/stat : 16797 (java) S 16779 16782 16258 0 -1 1077944384 532 0 0 0 2 0 0 0 20 0 20 0 87178273 27968053248 31788 33554432000 4194304 4196468 140720592404592 140052313082480 140054061226626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16798] ppid=16779 vsize=27312552 memory=279893757891216 CPUtime=0 cores=0-7
/proc/16782/task/16798/stat : 16798 (java) S 16779 16782 16258 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 87178273 27968053248 31788 33554432000 4194304 4196468 140720592404592 140052312029680 140054061226626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16799] ppid=16779 vsize=27312552 memory=279893757888912 CPUtime=0.01 cores=0-7
/proc/16782/task/16799/stat : 16799 (java) S 16779 16782 16258 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 20 0 87178273 27968053248 31788 33554432000 4194304 4196468 140720592404592 140052310977392 140054061226626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16800] ppid=16779 vsize=27312552 memory=279893757905472 CPUtime=0.07 cores=0-7
/proc/16782/task/16800/stat : 16800 (java) S 16779 16782 16258 0 -1 1077944384 314 0 0 0 7 0 0 0 20 0 20 0 87178273 27968053248 31788 33554432000 4194304 4196468 140720592404592 140052309924592 140054061226626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16801] ppid=16779 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16801/stat : 16801 (java) S 16779 16782 16258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87178273 27968053248 31788 33554432000 4194304 4196468 140720592404592 140050964670816 140054061225685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16802] ppid=16779 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/16782/task/16802/stat : 16802 (java) S 16779 16782 16258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87178273 27968053248 31788 33554432000 4194304 4196468 140720592404592 140052308871472 140054061226626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127152 KiB

[startup+0.700904 s]
/proc/loadavg: 6.82 8.21 8.53 2/198 16802
/proc/meminfo: memFree=17357932/32770624 swapFree=67108796/67108860
[pid=16782] ppid=16779 vsize=27320948 memory=165748 CPUtime=1 cores=0-7
/proc/16782/stat : 16782 (java) S 16779 16782 16258 0 -1 1077944320 18489 0 0 0 95 5 0 0 20 0 20 0 87178265 27976650752 41437 33554432000 4194304 4196468 140720592404592 140720592387136 140054061215479 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
/proc/16782/statm: 6830237 41437 3158 1 0 6791622 0
[pid=16782/tid=16784] ppid=16779 vsize=27320948 memory=7230638415890180695 CPUtime=0.66 cores=0-7
/proc/16782/task/16784/stat : 16784 (java) R 16779 16782 16258 0 -1 4202560 15619 0 0 0 62 4 0 0 20 0 20 0 87178266 27976650752 41437 33554432000 4194304 4196468 140720592404592 140054033049872 140054053894701 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16785] ppid=16779 vsize=27320948 memory=72159745573698 CPUtime=0 cores=0-7
/proc/16782/task/16785/stat : 16785 (java) S 16779 16782 16258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87178268 27976650752 41437 33554432000 4194304 4196468 140720592404592 140054065457552 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16786] ppid=16779 vsize=27320948 memory=139946878942663 CPUtime=0 cores=0-7
/proc/16782/task/16786/stat : 16786 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87178268 27976650752 41437 33554432000 4194304 4196468 140720592404592 140053879613712 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16787] ppid=16779 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16787/stat : 16787 (java) S 16779 16782 16258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87178268 27976650752 41437 33554432000 4194304 4196468 140720592404592 140053878561424 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16788] ppid=16779 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16788/stat : 16788 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87178268 27976650752 41437 33554432000 4194304 4196468 140720592404592 140053877508624 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16789] ppid=16779 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16789/stat : 16789 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87178268 27976650752 41437 33554432000 4194304 4196468 140720592404592 140053876456336 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16790] ppid=16779 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16790/stat : 16790 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87178268 27976650752 41437 33554432000 4194304 4196468 140720592404592 140053875403536 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16791] ppid=16779 vsize=27320980 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16791/stat : 16791 (java) S 16779 16782 16258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87178268 27976683520 41437 33554432000 4194304 4196468 140720592404592 140053874351248 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16792] ppid=16779 vsize=27320980 memory=1628 CPUtime=0 cores=0-7
/proc/16782/task/16792/stat : 16792 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87178268 27976683520 41437 33554432000 4194304 4196468 140720592404592 140053873298448 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16793] ppid=16779 vsize=27320980 memory=8876 CPUtime=0 cores=0-7
/proc/16782/task/16793/stat : 16793 (java) S 16779 16782 16258 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87178270 27976683520 41437 33554432000 4194304 4196468 140720592404592 140052314134640 140054061226626 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0

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

/proc/16782/task/16791/stat : 16791 (java) S 16779 16782 16258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 87178268 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140053874351248 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16792] ppid=16779 vsize=27984808 memory=19460 CPUtime=0 cores=0-7
/proc/16782/task/16792/stat : 16792 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 87178268 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140053873298448 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16793] ppid=16779 vsize=27984808 memory=17804 CPUtime=0 cores=0-7
/proc/16782/task/16793/stat : 16793 (java) S 16779 16782 16258 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 87178270 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140052314134640 140054061226626 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16794] ppid=16779 vsize=27984808 memory=4016 CPUtime=0 cores=0-7
/proc/16782/task/16794/stat : 16794 (java) S 16779 16782 16258 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 87178270 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140051971302176 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16795] ppid=16779 vsize=27984808 memory=644 CPUtime=0 cores=0-7
/proc/16782/task/16795/stat : 16795 (java) S 16779 16782 16258 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 87178270 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140051837080688 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16796] ppid=16779 vsize=27984808 memory=1676 CPUtime=0 cores=0-7
/proc/16782/task/16796/stat : 16796 (java) S 16779 16782 16258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 87178273 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140051501541456 140054061234075 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16797] ppid=16779 vsize=27984808 memory=960 CPUtime=3.24 cores=0-7
/proc/16782/task/16797/stat : 16797 (java) S 16779 16782 16258 0 -1 1077944384 4591 0 0 0 323 1 0 0 20 0 24 0 87178273 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140052313082480 140054061226626 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16798] ppid=16779 vsize=27984808 memory=2 CPUtime=4.06 cores=0-7
/proc/16782/task/16798/stat : 16798 (java) S 16779 16782 16258 0 -1 1077944384 3793 0 0 0 405 1 0 0 20 0 24 0 87178273 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140052312029680 140054061226626 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16799] ppid=16779 vsize=27984808 memory=0 CPUtime=3.6 cores=0-7
/proc/16782/task/16799/stat : 16799 (java) S 16779 16782 16258 0 -1 1077944384 3142 0 0 0 359 1 0 0 20 0 24 0 87178273 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140052310977392 140054061226626 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16800] ppid=16779 vsize=27984808 memory=1 CPUtime=1.39 cores=0-7
/proc/16782/task/16800/stat : 16800 (java) S 16779 16782 16258 0 -1 1077944384 4727 0 0 0 137 2 0 0 20 0 24 0 87178273 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140052309924592 140054061226626 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16801] ppid=16779 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/16782/task/16801/stat : 16801 (java) S 16779 16782 16258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 87178273 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140050964670816 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16802] ppid=16779 vsize=27984808 memory=0 CPUtime=0.02 cores=0-7
/proc/16782/task/16802/stat : 16802 (java) S 16779 16782 16258 0 -1 1077944384 7 0 0 0 2 0 0 0 20 0 24 0 87178273 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140052308871472 140054061226626 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16804] ppid=16779 vsize=27984808 memory=324 CPUtime=0 cores=0-7
/proc/16782/task/16804/stat : 16804 (java) S 16779 16782 16258 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 87179354 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140053851039040 140054061240089 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16806] ppid=16779 vsize=27984808 memory=406 CPUtime=0.01 cores=0-7
/proc/16782/task/16806/stat : 16806 (java) S 16779 16782 16258 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 24 0 87179355 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140050293571376 140054061237405 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16807] ppid=16779 vsize=27984808 memory=360 CPUtime=0 cores=0-7
/proc/16782/task/16807/stat : 16807 (java) S 16779 16782 16258 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 87179355 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140050025135792 140054061237405 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16808] ppid=16779 vsize=27984808 memory=4390832 CPUtime=0 cores=0-7
/proc/16782/task/16808/stat : 16808 (java) S 16779 16782 16258 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 24 0 87179356 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140050562015008 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
Current children cumulated CPU time: 470.76 s
Current children cumulated vsize: 28681532 KiB
Current children cumulated memory: 4773004 KiB

[startup+67.6018 s]
/proc/loadavg: 7.41 8.06 8.45 10/211 16816
/proc/meminfo: memFree=12733352/32770624 swapFree=67108796/67108860
[pid=16782] ppid=16779 vsize=27984808 memory=4390832 CPUtime=23.26 cores=0-7
/proc/16782/stat : 16782 (java) S 16779 16782 16258 0 -1 1077944320 38278 0 0 0 2254 72 0 0 20 0 24 0 87178265 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140720592387136 140054061215479 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
/proc/16782/statm: 6996202 1097708 3234 1 0 6957058 0
[pid=16803] ppid=16782 vsize=696856 memory=382388 CPUtime=450.69 cores=0-7
/proc/16803/stat : 16803 (glucose-syrup) S 16782 16782 16258 0 -1 1077944320 235210 0 0 0 45011 58 0 0 20 0 9 0 87179354 713580544 95597 33554432000 4194304 4373367 140724562250256 140724562248800 140017496967810 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6470912 6472264 22708224 140724562252719 140724562252972 140724562252972 140724562255815 0
/proc/16803/statm: 174214 95597 389 44 0 169902 0
[pid=16803/tid=16809] ppid=16782 vsize=696856 memory=8876 CPUtime=56.45 cores=0-7
/proc/16803/task/16809/stat : 16809 (glucose-syrup) R 16782 16782 16258 0 -1 4202560 27052 0 0 0 5638 7 0 0 20 0 9 0 87179375 713580544 95597 33554432000 4194304 4373367 140724562250256 140017472441712 4271904 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 22708224 140724562252719 140724562252972 140724562252972 140724562255815 0
[pid=16803/tid=16810] ppid=16782 vsize=696856 memory=1120 CPUtime=56.46 cores=0-7
/proc/16803/task/16810/stat : 16810 (glucose-syrup) R 16782 16782 16258 0 -1 4202560 27130 0 0 0 5642 4 0 0 20 0 9 0 87179375 713580544 95597 33554432000 4194304 4373367 140724562250256 140017464049008 4271834 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 22708224 140724562252719 140724562252972 140724562252972 140724562255815 0
[pid=16803/tid=16811] ppid=16782 vsize=696856 memory=792 CPUtime=56.46 cores=0-7
/proc/16803/task/16811/stat : 16811 (glucose-syrup) R 16782 16782 16258 0 -1 4202560 26253 0 0 0 5639 7 0 0 20 0 9 0 87179375 713580544 95597 33554432000 4194304 4373367 140724562250256 140017455656208 4272280 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 22708224 140724562252719 140724562252972 140724562252972 140724562255815 0
[pid=16803/tid=16812] ppid=16782 vsize=696856 memory=382172 CPUtime=56.45 cores=0-7
/proc/16803/task/16812/stat : 16812 (glucose-syrup) R 16782 16782 16258 0 -1 4202560 26441 0 0 0 5639 6 0 0 20 0 9 0 87179375 713580544 95597 33554432000 4194304 4373367 140724562250256 140017447263376 4258921 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 22708224 140724562252719 140724562252972 140724562252972 140724562255815 0
[pid=16803/tid=16813] ppid=16782 vsize=696856 memory=288230583166042425 CPUtime=56.46 cores=0-7
/proc/16803/task/16813/stat : 16813 (glucose-syrup) R 16782 16782 16258 0 -1 4202560 26841 0 0 0 5640 6 0 0 20 0 9 0 87179375 713580544 95597 33554432000 4194304 4373367 140724562250256 140017438870800 4271697 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 22708224 140724562252719 140724562252972 140724562252972 140724562255815 0
[pid=16803/tid=16814] ppid=16782 vsize=696856 memory=15539617717815893 CPUtime=56.46 cores=0-7
/proc/16803/task/16814/stat : 16814 (glucose-syrup) R 16782 16782 16258 0 -1 4202560 29466 0 0 0 5638 8 0 0 20 0 9 0 87179375 713580544 95597 33554432000 4194304 4373367 140724562250256 140017430478096 4272319 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 22708224 140724562252719 140724562252972 140724562252972 140724562255815 0
[pid=16803/tid=16815] ppid=16782 vsize=696856 memory=279893759546944 CPUtime=56.43 cores=0-7
/proc/16803/task/16815/stat : 16815 (glucose-syrup) R 16782 16782 16258 0 -1 4202560 28906 0 0 0 5635 8 0 0 20 0 9 0 87179375 713580544 95597 33554432000 4194304 4373367 140724562250256 140017422085264 4271597 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 22708224 140724562252719 140724562252972 140724562252972 140724562255815 0
[pid=16803/tid=16816] ppid=16782 vsize=696856 memory=288230583166042425 CPUtime=55.24 cores=0-7
/proc/16803/task/16816/stat : 16816 (glucose-syrup) R 16782 16782 16258 0 -1 4202560 25736 0 0 0 5519 5 0 0 20 0 9 0 87179375 713580544 95597 33554432000 4194304 4373367 140724562250256 140017279475056 4258831 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 22708224 140724562252719 140724562252972 140724562252972 140724562255815 0
[pid=16782/tid=16784] ppid=16779 vsize=27984808 memory=15539617717815893 CPUtime=10.89 cores=0-7
/proc/16782/task/16784/stat : 16784 (java) S 16779 16782 16258 0 -1 1077944384 20588 0 0 0 1024 65 0 0 20 0 24 0 87178266 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140054033054720 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16785] ppid=16779 vsize=27984808 memory=2092 CPUtime=0 cores=0-7
/proc/16782/task/16785/stat : 16785 (java) S 16779 16782 16258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 87178268 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140054065457552 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16786] ppid=16779 vsize=27984808 memory=7524 CPUtime=0 cores=0-7
/proc/16782/task/16786/stat : 16786 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 87178268 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140053879613712 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16787] ppid=16779 vsize=27984808 memory=840 CPUtime=0 cores=0-7
/proc/16782/task/16787/stat : 16787 (java) S 16779 16782 16258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 87178268 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140053878561424 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16788] ppid=16779 vsize=27984808 memory=1800 CPUtime=0 cores=0-7
/proc/16782/task/16788/stat : 16788 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 87178268 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140053877508624 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16789] ppid=16779 vsize=27984808 memory=920 CPUtime=0 cores=0-7
/proc/16782/task/16789/stat : 16789 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 87178268 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140053876456336 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16790] ppid=16779 vsize=27984808 memory=379120 CPUtime=0 cores=0-7
/proc/16782/task/16790/stat : 16790 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 87178268 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140053875403536 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16791] ppid=16779 vsize=27984808 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/16782/task/16791/stat : 16791 (java) S 16779 16782 16258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 87178268 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140053874351248 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16792] ppid=16779 vsize=27984808 memory=25192 CPUtime=0 cores=0-7
/proc/16782/task/16792/stat : 16792 (java) S 16779 16782 16258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 87178268 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140053873298448 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16793] ppid=16779 vsize=27984808 memory=-5155633479125724549 CPUtime=0 cores=0-7
/proc/16782/task/16793/stat : 16793 (java) S 16779 16782 16258 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 87178270 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140052314134640 140054061226626 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16794] ppid=16779 vsize=27984808 memory=1800 CPUtime=0 cores=0-7
/proc/16782/task/16794/stat : 16794 (java) S 16779 16782 16258 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 87178270 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140051971302176 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16795] ppid=16779 vsize=27984808 memory=920 CPUtime=0 cores=0-7
/proc/16782/task/16795/stat : 16795 (java) S 16779 16782 16258 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 87178270 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140051837080688 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16796] ppid=16779 vsize=27984808 memory=4416 CPUtime=0 cores=0-7
/proc/16782/task/16796/stat : 16796 (java) S 16779 16782 16258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 87178273 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140051501541456 140054061234075 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16797] ppid=16779 vsize=27984808 memory=4100 CPUtime=3.24 cores=0-7
/proc/16782/task/16797/stat : 16797 (java) S 16779 16782 16258 0 -1 1077944384 4591 0 0 0 323 1 0 0 20 0 24 0 87178273 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140052313082480 140054061226626 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16798] ppid=16779 vsize=27984808 memory=1412 CPUtime=4.06 cores=0-7
/proc/16782/task/16798/stat : 16798 (java) S 16779 16782 16258 0 -1 1077944384 3793 0 0 0 405 1 0 0 20 0 24 0 87178273 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140052312029680 140054061226626 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16799] ppid=16779 vsize=27984808 memory=3428 CPUtime=3.6 cores=0-7
/proc/16782/task/16799/stat : 16799 (java) S 16779 16782 16258 0 -1 1077944384 3142 0 0 0 359 1 0 0 20 0 24 0 87178273 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140052310977392 140054061226626 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16800] ppid=16779 vsize=27984808 memory=4390832 CPUtime=1.39 cores=0-7
/proc/16782/task/16800/stat : 16800 (java) S 16779 16782 16258 0 -1 1077944384 4727 0 0 0 137 2 0 0 20 0 24 0 87178273 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140052309924592 140054061226626 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16801] ppid=16779 vsize=27984808 memory=379120 CPUtime=0 cores=0-7
/proc/16782/task/16801/stat : 16801 (java) S 16779 16782 16258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 87178273 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140050964670816 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16802] ppid=16779 vsize=27984808 memory=-5155633479125724549 CPUtime=0.02 cores=0-7
/proc/16782/task/16802/stat : 16802 (java) S 16779 16782 16258 0 -1 1077944384 7 0 0 0 2 0 0 0 20 0 24 0 87178273 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140052308871472 140054061226626 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16804] ppid=16779 vsize=27984808 memory=-5155633479125724549 CPUtime=0 cores=0-7
/proc/16782/task/16804/stat : 16804 (java) S 16779 16782 16258 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 87179354 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140053851039040 140054061240089 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16806] ppid=16779 vsize=27984808 memory=3428 CPUtime=0.01 cores=0-7
/proc/16782/task/16806/stat : 16806 (java) S 16779 16782 16258 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 24 0 87179355 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140050293571376 140054061237405 0 4 0 25189583 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16807] ppid=16779 vsize=27984808 memory=4390832 CPUtime=0 cores=0-7
/proc/16782/task/16807/stat : 16807 (java) S 16779 16782 16258 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 87179355 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140050025135792 140054061237405 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16808] ppid=16779 vsize=27984808 memory=3708 CPUtime=0 cores=0-7
/proc/16782/task/16808/stat : 16808 (java) S 16779 16782 16258 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 24 0 87179356 28656443392 1097708 33554432000 4194304 4196468 140720592404592 140050562015008 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
Current children cumulated CPU time: 473.95 s
Current children cumulated vsize: 28681664 KiB
Current children cumulated memory: 4773220 KiB

[startup+68.0092 s]*
/proc/loadavg: 7.41 8.06 8.45 5/200 16816
/proc/meminfo: memFree=13111176/32770624 swapFree=67108796/67108860
[pid=16782] ppid=16779 vsize=27722656 memory=4395404 CPUtime=477.1 cores=0-7
/proc/16782/stat : 16782 (java) S 16779 16782 16258 0 -1 1077944320 38476 235336 0 0 2273 73 45305 59 20 0 21 0 87178265 28387999744 1098851 33554432000 4194304 4196468 140720592404592 140720592387136 140054061215479 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
/proc/16782/statm: 6930664 1098851 3235 1 0 6891520 0
[pid=16782/tid=16784] ppid=16779 vsize=27722656 memory=6791534058613427641 CPUtime=464.54 cores=0-7
/proc/16782/task/16784/stat : 16784 (java) S 16779 16782 16258 0 -1 1077944384 20642 235336 0 0 1025 65 45305 59 20 0 21 0 87178266 28387999744 1098851 33554432000 4194304 4196468 140720592404592 140054033058960 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16785] ppid=16779 vsize=27722656 memory=-7003737579269690708 CPUtime=453.64 cores=0-7
/proc/16782/task/16785/stat : 16785 (java) S 16779 16782 16258 0 -1 1077944384 1 235336 0 0 0 0 45305 59 20 0 21 0 87178268 28387999744 1098851 33554432000 4194304 4196468 140720592404592 140054065457552 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16786] ppid=16779 vsize=27722656 memory=0 CPUtime=453.64 cores=0-7
/proc/16782/task/16786/stat : 16786 (java) S 16779 16782 16258 0 -1 1077944384 2 235336 0 0 0 0 45305 59 20 0 21 0 87178268 28387999744 1098851 33554432000 4194304 4196468 140720592404592 140053879613712 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16787] ppid=16779 vsize=27722656 memory=0 CPUtime=453.64 cores=0-7
/proc/16782/task/16787/stat : 16787 (java) S 16779 16782 16258 0 -1 1077944384 3 235336 0 0 0 0 45305 59 20 0 21 0 87178268 28387999744 1098851 33554432000 4194304 4196468 140720592404592 140053878561424 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16788] ppid=16779 vsize=27722656 memory=0 CPUtime=453.64 cores=0-7
/proc/16782/task/16788/stat : 16788 (java) S 16779 16782 16258 0 -1 1077944384 2 235336 0 0 0 0 45305 59 20 0 21 0 87178268 28387999744 1098851 33554432000 4194304 4196468 140720592404592 140053877508624 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16789] ppid=16779 vsize=27722656 memory=0 CPUtime=453.64 cores=0-7
/proc/16782/task/16789/stat : 16789 (java) S 16779 16782 16258 0 -1 1077944384 2 235336 0 0 0 0 45305 59 20 0 21 0 87178268 28387999744 1098851 33554432000 4194304 4196468 140720592404592 140053876456336 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16790] ppid=16779 vsize=27722656 memory=0 CPUtime=453.64 cores=0-7
/proc/16782/task/16790/stat : 16790 (java) S 16779 16782 16258 0 -1 1077944384 2 235336 0 0 0 0 45305 59 20 0 21 0 87178268 28387999744 1098851 33554432000 4194304 4196468 140720592404592 140053875403536 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16791] ppid=16779 vsize=27722656 memory=0 CPUtime=453.64 cores=0-7
/proc/16782/task/16791/stat : 16791 (java) S 16779 16782 16258 0 -1 1077944384 1 235336 0 0 0 0 45305 59 20 0 21 0 87178268 28387999744 1098851 33554432000 4194304 4196468 140720592404592 140053874351248 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16792] ppid=16779 vsize=27722656 memory=0 CPUtime=453.64 cores=0-7
/proc/16782/task/16792/stat : 16792 (java) S 16779 16782 16258 0 -1 1077944384 2 235336 0 0 0 0 45305 59 20 0 21 0 87178268 28387999744 1098851 33554432000 4194304 4196468 140720592404592 140053873298448 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16793] ppid=16779 vsize=27722656 memory=4390832 CPUtime=453.64 cores=0-7
/proc/16782/task/16793/stat : 16793 (java) S 16779 16782 16258 0 -1 1077944384 24 235336 0 0 0 0 45305 59 20 0 21 0 87178270 28387999744 1098851 33554432000 4194304 4196468 140720592404592 140052314134848 140054061226626 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16794] ppid=16779 vsize=27722656 memory=382172 CPUtime=453.64 cores=0-7
/proc/16782/task/16794/stat : 16794 (java) S 16779 16782 16258 0 -1 1077944384 13 235336 0 0 0 0 45305 59 20 0 21 0 87178270 28387999744 1098851 33554432000 4194304 4196468 140720592404592 140051971302176 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16795] ppid=16779 vsize=27722656 memory=15539617717815893 CPUtime=453.64 cores=0-7
/proc/16782/task/16795/stat : 16795 (java) S 16779 16782 16258 0 -1 1077944384 21 235336 0 0 0 0 45305 59 20 0 21 0 87178270 28387999744 1098851 33554432000 4194304 4196468 140720592404592 140051837080688 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16796] ppid=16779 vsize=27722656 memory=7649399358579226161 CPUtime=453.64 cores=0-7
/proc/16782/task/16796/stat : 16796 (java) S 16779 16782 16258 0 -1 1077944384 2 235336 0 0 0 0 45305 59 20 0 21 0 87178273 28387999744 1098851 33554432000 4194304 4196468 140720592404592 140051501541104 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16797] ppid=16779 vsize=27722656 memory=0 CPUtime=456.92 cores=0-7
/proc/16782/task/16797/stat : 16797 (java) S 16779 16782 16258 0 -1 1077944384 4592 235336 0 0 327 1 45305 59 20 0 21 0 87178273 28387999744 1098851 33554432000 4194304 4196468 140720592404592 140052313066992 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16798] ppid=16779 vsize=27722656 memory=2321 CPUtime=457.73 cores=0-7
/proc/16782/task/16798/stat : 16798 (java) S 16779 16782 16258 0 -1 1077944384 3796 235336 0 0 408 1 45305 59 20 0 21 0 87178273 28387999744 1098851 33554432000 4194304 4196468 140720592404592 140052312010160 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16799] ppid=16779 vsize=27722656 memory=0 CPUtime=457.28 cores=0-7
/proc/16782/task/16799/stat : 16799 (java) S 16779 16782 16258 0 -1 1077944384 3152 235336 0 0 363 1 45305 59 20 0 21 0 87178273 28387999744 1098851 33554432000 4194304 4196468 140720592404592 140052310961904 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16800] ppid=16779 vsize=27722656 memory=279893758619440 CPUtime=455.06 cores=0-7
/proc/16782/task/16800/stat : 16800 (java) S 16779 16782 16258 0 -1 1077944384 4810 235336 0 0 140 2 45305 59 20 0 21 0 87178273 28387999744 1098851 33554432000 4194304 4196468 140720592404592 140052309924592 140054061226626 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16801] ppid=16779 vsize=27722656 memory=2110297486638004 CPUtime=453.64 cores=0-7
/proc/16782/task/16801/stat : 16801 (java) S 16779 16782 16258 0 -1 1077944384 3 235336 0 0 0 0 45305 59 20 0 21 0 87178273 28387999744 1098851 33554432000 4194304 4196468 140720592404592 140050964670816 140054061225685 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16804] ppid=16779 vsize=27722656 memory=6944656592455097440 CPUtime=453.64 cores=0-7
/proc/16782/task/16804/stat : 16804 (java) S 16779 16782 16258 0 -1 1077944384 29 235336 0 0 0 0 45305 59 20 0 21 0 87179354 28387999744 1098851 33554432000 4194304 4196468 140720592404592 140053851038224 140054061226626 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
[pid=16782/tid=16808] ppid=16779 vsize=27722656 memory=0 CPUtime=453.64 cores=0-7
/proc/16782/task/16808/stat : 16808 (java) S 16779 16782 16258 0 -1 1077944384 38 235336 0 0 0 0 45305 59 20 0 21 0 87179356 28387999744 1098851 33554432000 4194304 4196468 140720592404592 140050562016816 140054061226626 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30965760 140720592409562 140720592409861 140720592409861 140720592412623 0
Current children cumulated CPU time: 477.1 s
Current children cumulated vsize: 27722656 KiB
Current children cumulated memory: 4395404 KiB

Child status: 0
Real time (s): 68.0517
CPU time (s): 477.149
CPU user time (s): 475.791
CPU system time (s): 1.35837
CPU usage (%): 701.157
Max. virtual memory (cumulated for all children) (KiB): 28722444
Max. memory (cumulated for all children) (KiB): 4773224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 475.791
system time used= 1.35837
maximum resident set size= 4396472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273816
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11389
involuntary context switches= 4631


# summary of solver processes directly reported to runsolver:
#   pid: 16782
#   total CPU time (s): 477.149
#   total CPU user time (s): 475.791
#   total CPU system time (s): 1.35837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.605109 second user time and 0.883037 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-27 14:55:51
IDJOB=4297197
IDBENCH=141663
IDSOLVER=2759
FILE ID=node138/4297197-1532696151
RUNJOBID= node138-1532693402-16285
PBS_JOBID= 21022283
Free space on /tmp= 53800 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/Eternity/Eternity-07-07_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-4297197-1532696151/watcher-4297197-1532696151 -o /tmp/evaluation-result-4297197-1532696151/solver-4297197-1532696151 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532693402-16285 --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-4297197-1532696151.xml

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

MD5SUM BENCH= d2370bf20b8fe6e2b2b2b678a676e404
RANDOM SEED=1902962509

node138.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.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        17496372 kB
MemAvailable:   31918932 kB
Buffers:          215260 kB
Cached:         14349972 kB
SwapCached:           44 kB
Active:          2468036 kB
Inactive:       12158420 kB
Active(anon):      11712 kB
Inactive(anon):    77276 kB
Active(file):    2456324 kB
Inactive(file): 12081144 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:              8208 kB
Writeback:             0 kB
AnonPages:        175256 kB
Mapped:            35796 kB
Shmem:             25164 kB
Slab:             341996 kB
SReclaimable:     313552 kB
SUnreclaim:        28444 kB
KernelStack:        3568 kB
PageTables:         5144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 53792 MiB
End job on node138 at 2018-07-27 14:56:59