Trace number 4297262

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 444.489 60.7238

General information on the benchmark

NameSportsScheduling/
SportsScheduling-12_c18.xml
MD5SUM7e6479b2a75a5c904a12e855693ae1ca
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 benchmark20.8911
Satisfiable
(Un)Satisfiability was proved
Number of variables210
Number of constraints114
Number of domains2
Minimum domain size12
Maximum domain size66
Distribution of domain sizes[{"size":12,"count":144},{"size":66,"count":66}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":72},{"degree":4,"count":138}]
Minimum constraint arity1
Maximum constraint arity66
Distribution of constraint arities[{"arity":1,"count":6},{"arity":2,"count":6},{"arity":3,"count":66},{"arity":6,"count":11},{"arity":12,"count":12},{"arity":22,"count":6},{"arity":24,"count":6},{"arity":66,"count":1}]
Number of extensional constraints66
Number of intensional constraints12
Distribution of constraint types[{"type":"extension","count":66},{"type":"intension","count":12},{"type":"allDifferent","count":13},{"type":"count","count":11},{"type":"cardinality","count":12}]
Optimization problemNO
Type of objective

Solver Data 

0.65/0.53	
0.65/0.53	scop both+glucose-syrup (2018-07-07)
0.65/0.53	
0.65/0.56	c BEGIN-Prog: Fri Jul 27 10:39:23 CEST 2018
0.65/0.56	c PID: 20169
0.65/0.56	c IP: 172.20.3.150
0.65/0.56	c HOST: node150.alineos.net
0.65/0.56	c (0,0) Parsing Begin
1.37/0.99	c (0,0) Parsing End
1.37/0.99	c (0,0) CSP: 210 int (0 aux), 0 bool (0 aux), 114 ctr, max domain size 66
1.37/0.99	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.37/0.99	c (0,0) Constraint Name Generate Begin
1.37/1.00	c (0,0) Ctr:HOME/instance-4297262-1532680762.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
1.37/1.00	c (0,0) Constraint Name Generate End
1.37/1.00	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.37/1.00	c (0,0) CSP to CSPinCNF Begin
3.95/1.80	c (1,1) translated 12 (10%) constraints
4.74/2.03	c (1,1) translated 23 (20%) constraints
5.44/2.24	c (1,1) translated 35 (30%) constraints
6.19/2.43	c (1,1) translated 46 (40%) constraints
6.71/2.60	c (2,2) translated 57 (50%) constraints
7.62/2.92	c (2,2) translated 69 (60%) constraints
8.12/3.05	c (2,2) translated 80 (70%) constraints
9.32/3.31	c (2,2) translated 92 (80%) constraints
9.32/3.34	c (2,2) translated 103 (90%) constraints
9.73/3.40	c (2,2) translated 114 (100%) constraints
10.98/3.71	c (3,3) STATISTICS1:HOME/instance-4297262-1532680762.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,7086,30682,8388608,66,66,24,8388608:144;2097152:144;66:1770;32:22;11:798;1:375,66:19740;11:23160;2:46896;1:1980,66:2;12:222;11:66;10:66;9:66;8:66;7:66;6:66;5:66;4:7194;3:8262;2:14301;1:239,24:144;22:144;6:22;2:2943;1:82728;0:66,
10.98/3.71	c (3,3) ===========================================
10.98/3.71	c (3,3) Both Encoding selects:
10.98/3.71	c (3,3) Order
10.98/3.71	c (3,3) ===========================================
11.41/3.80	c (3,3) translated 3069 (10%) constraints
11.41/3.86	c (3,3) translated 6137 (20%) constraints
11.78/3.92	c (3,3) translated 9205 (30%) constraints
11.78/3.96	c (3,3) translated 12273 (40%) constraints
11.94/4.01	c (3,3) translated 15341 (50%) constraints
11.94/4.05	c (3,3) translated 18410 (60%) constraints
11.94/4.10	c (3,3) translated 21478 (70%) constraints
12.05/4.17	c (3,3) translated 24546 (80%) constraints
12.71/4.37	c (3,3) translated 27614 (90%) constraints
13.88/4.66	c (4,4) translated 30682 (100%) constraints
13.88/4.66	c (4,4) CSP to CSPinCNF End
13.88/4.67	c (4,4) CSP: 786 int (576 aux), 8670 bool (8670 aux), 35223 ctr, max domain size 64
13.88/4.67	c (4,4) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
13.88/4.67	c (4,4) CSPinCNF Propagation Begin
14.97/5.05	c (4,4) 1764 values, 6351 unsatisfiable literals, and 4815 valid clauses are removed
14.97/5.05	c (4,4) CSPinCNF Propagation End
14.97/5.05	c (4,4) CSP: 2088 int (1878 aux), 7368 bool (7368 aux), 30408 ctr, max domain size 64
14.97/5.05	c (4,4) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
14.97/5.05	c (4,4) Simplify CSPinCNF Begin
15.56/5.24	c (4,4) Simplify CSPinCNF End
15.56/5.24	c (4,4) CSP: 2088 int (1878 aux), 12840 bool (12840 aux), 35880 ctr, max domain size 64
15.56/5.24	c (4,4) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.56/5.24	c (4,4) Calculate Precise Domain Begin
15.56/5.28	c (4,4) 6 values are removed by re-calculation
15.56/5.28	c (4,4) Calculate Precise Domain End
15.56/5.28	c (4,4) CSP: 2088 int (1878 aux), 12840 bool (12840 aux), 35880 ctr, max domain size 64
15.56/5.28	c (4,4) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
15.56/5.28	c (4,4) CSPinCNF to SatSolver Begin
16.11/5.40	c (4,4) 3588 (10 %) CSP clauses are encoded (19464 SAT variables, 9467 SAT clauses)
16.11/5.43	c (4,4) 7176 (20 %) CSP clauses are encoded (19464 SAT variables, 13055 SAT clauses)
16.11/5.45	c (4,4) 10764 (30 %) CSP clauses are encoded (19464 SAT variables, 16643 SAT clauses)
16.11/5.48	c (4,4) 14352 (40 %) CSP clauses are encoded (19464 SAT variables, 20231 SAT clauses)
16.11/5.50	c (4,4) 17940 (50 %) CSP clauses are encoded (19464 SAT variables, 23819 SAT clauses)
16.72/5.63	c (5,5) 21528 (60 %) CSP clauses are encoded (19464 SAT variables, 50402 SAT clauses)
17.17/5.97	c (5,5) 25116 (70 %) CSP clauses are encoded (19464 SAT variables, 184526 SAT clauses)
17.40/6.19	c (5,5) 28704 (80 %) CSP clauses are encoded (19464 SAT variables, 267505 SAT clauses)
17.92/6.36	c (5,5) 32292 (90 %) CSP clauses are encoded (19464 SAT variables, 285659 SAT clauses)
18.24/6.49	c (5,5) 35880 (100 %) CSP clauses are encoded (19464 SAT variables, 310063 SAT clauses)
18.24/6.49	c (5,5) CSPinCNF to SatSolver End
18.24/6.49	c (5,5) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
19.12/6.74	c (6,6) STATISTICS2:HOME/instance-4297262-1532680762.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,14928,35880,256,64,11,9,256:108;128:432;64:3648;32:32;21:45;16:96;14:5;12:15;11:438;10:1020;9:180;8:109;4:36;1:480,64:22908;11:19308;10:4620;8:104;7:104;5:11;4:57;3:1200;2:56592;1:1800,11:120;10:120;9:60;8:60;7:60;6:82;5:60;4:6540;3:6642;2:20964;1:1172,9:576;8:288;6:20;3:282;2:5478;1:87294,
19.12/6.74	c (6,6) SatSolver.solve Begin
19.12/6.74	c (6,6) 19464 bool, 310073 clause
19.12/6.74	c (6,6) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297262-1532680762.xml-scop-20169.cnf HOME/instance-4297262-1532680762.xml-scop-20169.cnf.out
90.62/16.36	c (15,0) c
90.62/16.36	c (15,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
90.62/16.36	c (15,0) c
90.62/16.36	c (15,0) c WARNING: for repeatability, setting FPU to use double precision
90.62/16.36	c (15,0) c 8 solvers engines and 1 companion as a blackboard created.
90.62/16.36	c (15,0) c ========================================[ Problem Statistics ]===========================================
90.62/16.36	c (15,0) c |                                                                                                       |
90.62/16.36	c (15,0) c |  Number of variables:         19464                                                                   |
90.62/16.36	c (15,0) c |  Number of clauses:          310073                                                                   |
90.62/16.36	c (15,0) c |  Parse time:                   0.09 s                                                                 |
90.62/16.36	c (15,0) c |                                                                                                       |
90.62/16.36	c (15,0) c |  Eliminated clauses:           0.31 Mb                                                                |
90.62/16.36	c (15,0) c |  Simplification time:          0.45 s                                                                 |
90.62/16.36	c (15,0) c |                                                                                                       |
90.62/16.36	c (15,0) c |  Generating clones                                                                                    |
90.62/16.36	c (15,0) c |  all clones generated. Memory = 201.94Mb.                                                             |
90.62/16.36	c (15,0) c ========================================================================================================|
90.62/16.36	c (15,0) c
90.62/16.36	c (15,0) c |-------------------------------------------------------------------------------------------------------|
90.62/16.36	c (15,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
90.62/16.36	c (15,0) c |-------------------------------------------------------------------------------------------------------|
90.62/16.36	c (15,0) c |  0 |    124 |     102763 |      19893 |    74586 |    11045 |     2664 |    22172 |     1595 |  1.505 |
90.62/16.36	c (15,0) c |  1 |    141 |     111539 |      23567 |    82028 |    14708 |     3233 |    21525 |     1826 |  1.505 |
90.62/16.36	c (15,0) c |  2 |    148 |     120800 |      23795 |    80805 |     7569 |     3087 |    21834 |     1805 |  1.505 |
90.62/16.36	c (15,0) c |  3 |    157 |     122485 |      24355 |    84327 |     8140 |     3444 |    21501 |     1775 |  1.526 |
90.62/16.37	c (15,0) c |  4 |    143 |     115114 |      22449 |    80451 |    13587 |     3014 |    21828 |     1780 |  1.505 |
90.62/16.37	c (15,0) c |  5 |    148 |     115356 |      24167 |    82693 |     7930 |     3368 |    21534 |     1750 |  1.526 |
90.62/16.37	c (15,0) c |  6 |    148 |     119083 |      22734 |    81828 |    13853 |     3130 |    21761 |     1827 |  1.505 |
90.62/16.37	c (15,0) c |  7 |    153 |     115476 |      22420 |    81011 |    13590 |     3029 |    21855 |     1763 |  1.505 |
90.62/16.37	c (15,0) c 
90.62/16.37	c (15,0) c synthesis      183380 conflicts    80848859 propagations     4645 conflicts/sec  2047715 propagations/sec
90.62/16.37	c (15,0) c Total Memory so far : 862.26Mb
90.62/16.37	c (15,0) c
90.62/16.37	c (15,0) c |-------------------------------------------------------------------------------------------------------|
90.62/16.37	c (15,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
90.62/16.37	c (15,0) c |-------------------------------------------------------------------------------------------------------|
90.62/16.37	c (15,0) c |  0 |    232 |     176109 |      33339 |    95024 |    17089 |     4625 |    35911 |     2969 |  1.808 |
90.62/16.37	c (15,0) c |  1 |    247 |     183442 |      36955 |   101430 |    10837 |     5067 |    35397 |     3254 |  1.808 |
90.62/16.37	c (15,0) c |  2 |    264 |     193943 |      37601 |   101197 |    11482 |     5090 |    35432 |     3274 |  1.808 |
90.62/16.37	c (15,0) c |  3 |    285 |     194047 |      38746 |   104137 |    12616 |     5404 |    35087 |     3278 |  1.829 |
90.62/16.37	c (15,0) c |  4 |    268 |     196138 |      36986 |   101270 |    10861 |     5055 |    35444 |     3197 |  1.808 |
90.62/16.37	c (15,0) c |  5 |    252 |     189745 |      37747 |   101727 |    11614 |     5176 |    35381 |     3106 |  1.829 |
90.62/16.37	c (15,0) c |  6 |    269 |     194174 |      37014 |   102139 |    10889 |     5157 |    35328 |     3319 |  1.808 |
90.62/16.37	c (15,0) c |  7 |    270 |     193434 |      36850 |   101501 |    10739 |     4985 |    35506 |     3185 |  1.808 |
90.62/16.37	c (15,0) c 
202.29/30.36	c (29,0) c synthesis      295240 conflicts   146058407 propagations     4141 conflicts/sec  2048714 propagations/sec
202.29/30.36	c (29,0) c Total Memory so far : 772.47Mb
202.29/30.36	c (29,0) c
202.29/30.36	c (29,0) c |-------------------------------------------------------------------------------------------------------|
202.29/30.36	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
202.29/30.36	c (29,0) c |-------------------------------------------------------------------------------------------------------|
202.29/30.36	c (29,0) c |  0 |    340 |     239786 |      45503 |   109905 |    19363 |     6322 |    48374 |     4248 |  1.922 |
202.29/30.36	c (29,0) c |  1 |    340 |     248412 |      49430 |   115413 |    23305 |     6763 |    47900 |     4696 |  1.922 |
202.29/30.36	c (29,0) c |  2 |    371 |     260782 |      49848 |   114473 |    23707 |     6814 |    47898 |     4685 |  1.922 |
202.29/30.36	c (29,0) c |  3 |    385 |     255131 |      51561 |   117570 |    12995 |     7229 |    47493 |     4735 |  1.942 |
202.29/30.36	c (29,0) c |  4 |    388 |     267050 |      50339 |   115972 |    24194 |     6964 |    47802 |     4708 |  1.922 |
202.29/30.36	c (29,0) c |  5 |    352 |     253827 |      50589 |   115703 |    24435 |     6997 |    47772 |     4573 |  1.942 |
202.29/30.36	c (29,0) c |  6 |    397 |     259741 |      49832 |   116195 |    23689 |     6872 |    47860 |     4748 |  1.921 |
202.29/30.36	c (29,0) c |  7 |    382 |     265398 |      49668 |   115615 |    23539 |     6838 |    47893 |     4588 |  1.921 |
202.29/30.36	c (29,0) c 
202.29/30.36	c (29,0) c synthesis      396770 conflicts   208685270 propagations     3847 conflicts/sec  2023194 propagations/sec
202.29/30.36	c (29,0) c Total Memory so far : 772.47Mb
202.29/30.36	c (29,0) c
202.29/30.36	c (29,0) c |-------------------------------------------------------------------------------------------------------|
202.29/30.36	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
202.29/30.36	c (29,0) c |-------------------------------------------------------------------------------------------------------|
202.29/30.37	c (29,0) c |  0 |    484 |     314699 |      60421 |   124849 |    21863 |     8326 |    61936 |     5834 |  1.983 |
202.29/30.37	c (29,0) c |  1 |    477 |     323130 |      63997 |   128142 |    25434 |     8708 |    61499 |     6285 |  1.983 |
202.29/30.37	c (29,0) c |  2 |    510 |     336075 |      64410 |   127488 |    25829 |     8752 |    61472 |     6301 |  1.983 |
202.29/30.37	c (29,0) c |  3 |    522 |     331112 |      66319 |   130253 |    27738 |     9075 |    61137 |     6411 |  2.004 |
202.29/30.37	c (29,0) c |  4 |    524 |     348651 |      65018 |   129744 |    26439 |     8857 |    61397 |     6357 |  1.983 |
202.29/30.37	c (29,0) c |  5 |    505 |     330643 |      65191 |   128760 |    26619 |     8888 |    61344 |     6177 |  2.004 |
202.29/30.37	c (29,0) c |  6 |    543 |     339551 |      64911 |   130032 |    26332 |     8810 |    61463 |     6469 |  1.983 |
202.29/30.37	c (29,0) c |  7 |    535 |     344183 |      65058 |   129417 |    26512 |     8858 |    61344 |     6273 |  1.983 |
202.29/30.37	c (29,0) c 
202.29/30.37	c (29,0) c synthesis      515325 conflicts   284725834 propagations     3605 conflicts/sec  1991644 propagations/sec
202.29/30.37	c (29,0) c Total Memory so far : 772.47Mb
202.29/30.37	c (29,0) c
202.29/30.37	c (29,0) c |-------------------------------------------------------------------------------------------------------|
202.29/30.37	c (29,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
202.29/30.37	c (29,0) c |-------------------------------------------------------------------------------------------------------|
202.29/30.37	c (29,0) c |  0 |    631 |     384096 |      74023 |   136011 |    20447 |    10065 |    74655 |     7328 |  2.009 |
202.29/30.37	c (29,0) c |  1 |    615 |     393639 |      77515 |   138044 |    23945 |    10464 |    74216 |     7755 |  2.009 |
202.29/30.37	c (29,0) c |  2 |    655 |     406277 |      78938 |   138535 |    25351 |    10611 |    74087 |     7840 |  2.009 |
202.29/30.37	c (29,0) c |  3 |    668 |     400068 |      79430 |   140134 |    25850 |    10715 |    73957 |     7785 |  2.029 |
202.29/30.37	c (29,0) c |  4 |    677 |     421031 |      80264 |   140637 |    26689 |    10811 |    73788 |     7919 |  2.009 |
202.29/30.37	c (29,0) c |  5 |    649 |     403249 |      78681 |   138903 |    25099 |    10688 |    74007 |     7674 |  2.029 |
202.29/30.37	c (29,0) c |  6 |    700 |     412347 |      79114 |   140761 |    25522 |    10586 |    74132 |     7995 |  2.009 |
202.29/30.37	c (29,0) c |  7 |    697 |     422018 |      79364 |   139810 |    25804 |    10780 |    73888 |     7862 |  2.009 |
202.29/30.37	c (29,0) c 
202.29/30.37	c (29,0) c synthesis      627331 conflicts   359816460 propagations     3432 conflicts/sec  1968281 propagations/sec
321.89/45.36	c (44,0) c Total Memory so far : 772.47Mb
321.89/45.36	c (44,0) c
321.89/45.36	c (44,0) c |-------------------------------------------------------------------------------------------------------|
321.89/45.36	c (44,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
321.89/45.36	c (44,0) c |-------------------------------------------------------------------------------------------------------|
321.89/45.36	c (44,0) c |  0 |    776 |     451694 |      87105 |   144442 |    33512 |    11639 |    85842 |     8875 |  2.045 |
321.89/45.36	c (44,0) c |  1 |    763 |     458666 |      89950 |   146258 |    18775 |    12016 |    85459 |     9321 |  2.045 |
321.89/45.36	c (44,0) c |  2 |    800 |     472575 |      91815 |   146643 |    20641 |    12200 |    85296 |     9285 |  2.045 |
321.89/45.36	c (44,0) c |  3 |    814 |     465780 |      91479 |   147605 |    20302 |    12223 |    85206 |     9328 |  2.065 |
321.89/45.36	c (44,0) c |  4 |    828 |     493637 |      94212 |   148863 |    23011 |    12490 |    84955 |     9349 |  2.045 |
321.89/45.36	c (44,0) c |  5 |    798 |     467592 |      91257 |   146635 |    20070 |    12264 |    85181 |     9218 |  2.065 |
321.89/45.36	c (44,0) c |  6 |    858 |     478961 |      92635 |   148888 |    21436 |    12279 |    85210 |     9538 |  2.045 |
321.89/45.36	c (44,0) c |  7 |    863 |     490117 |      93031 |   147910 |    21866 |    12415 |    85059 |     9348 |  2.045 |
321.89/45.36	c (44,0) c 
321.89/45.36	c (44,0) c synthesis      731487 conflicts   432008651 propagations     3285 conflicts/sec  1940375 propagations/sec
321.89/45.36	c (44,0) c Total Memory so far : 772.47Mb
321.89/45.36	c (44,0) c
321.89/45.36	c (44,0) c Try to adapt solver strategies
321.89/45.36	c (44,0) c 
321.89/45.36	c (44,0) c Nothing extreme in this problem, continue with glucose default strategies.
321.89/45.36	c (44,0) c
321.89/45.36	c (44,0) c
321.89/45.36	c (44,0) c Try to adapt solver strategies
321.89/45.36	c (44,0) c 
321.89/45.36	c (44,0) c Nothing extreme in this problem, continue with glucose default strategies.
321.89/45.36	c (44,0) c
321.89/45.37	c (44,0) c
321.89/45.37	c (44,0) c Try to adapt solver strategies
321.89/45.37	c (44,0) c 
321.89/45.37	c (44,0) c Nothing extreme in this problem, continue with glucose default strategies.
321.89/45.37	c (44,0) c
321.89/45.37	c (44,0) c
321.89/45.37	c (44,0) c Try to adapt solver strategies
321.89/45.37	c (44,0) c 
321.89/45.37	c (44,0) c Nothing extreme in this problem, continue with glucose default strategies.
321.89/45.37	c (44,0) c
321.89/45.37	c (44,0) c
321.89/45.37	c (44,0) c |-------------------------------------------------------------------------------------------------------|
321.89/45.37	c (44,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
321.89/45.37	c (44,0) c |-------------------------------------------------------------------------------------------------------|
321.89/45.37	c (44,0) c |  0 |    917 |     519415 |     100070 |   151220 |    28881 |    13117 |    97292 |    10380 |  2.086 |
321.89/45.37	c (44,0) c |  1 |    907 |     521943 |     103315 |   153751 |    32132 |    13607 |    96858 |    10701 |  2.086 |
321.89/45.37	c (44,0) c |  2 |    942 |     539953 |     105297 |   153726 |    34121 |    13780 |    96608 |    10793 |  2.086 |
321.89/45.37	c (44,0) c |  3 |    953 |     530799 |     105513 |   154939 |    34331 |    13931 |    96537 |    10879 |  2.106 |
321.89/45.37	c (44,0) c |  4 |    974 |     562456 |     108367 |   155451 |    37161 |    14160 |    96241 |    10871 |  2.086 |
321.89/45.37	c (44,0) c |  5 |    948 |     528860 |     105377 |   153825 |    34190 |    14008 |    96406 |    10677 |  2.106 |
321.89/45.37	c (44,0) c |  6 |   1009 |     546547 |     106441 |   155980 |    35237 |    13835 |    96628 |    11135 |  2.086 |
321.89/45.37	c (44,0) c |  7 |   1016 |     557448 |     106646 |   155284 |    35467 |    14040 |    96426 |    10774 |  2.086 |
321.89/45.37	c (44,0) c 
321.89/45.37	c (44,0) c synthesis      841026 conflicts   504656814 propagations     3205 conflicts/sec  1922982 propagations/sec
321.89/45.37	c (44,0) c Total Memory so far : 772.47Mb
321.89/45.37	c (44,0) c
321.89/45.37	c (44,0) c |-------------------------------------------------------------------------------------------------------|
321.89/45.37	c (44,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
321.89/45.37	c (44,0) c |-------------------------------------------------------------------------------------------------------|
321.89/45.37	c (44,0) c |  0 |   1053 |     574809 |     111602 |   157341 |    40405 |    14544 |   107313 |    11833 |  2.112 |
321.89/45.37	c (44,0) c |  1 |   1055 |     579130 |     115807 |   159538 |    24417 |    15033 |   106928 |    12122 |  2.117 |
321.89/45.37	c (44,0) c |  2 |   1077 |     602214 |     117918 |   159122 |    26538 |    15185 |   106725 |    12243 |  2.112 |
321.89/45.37	c (44,0) c |  3 |   1105 |     589270 |     118028 |   160621 |    26656 |    15336 |   106615 |    12204 |  2.132 |
321.89/45.37	c (44,0) c |  4 |   1121 |     627601 |     121761 |   161417 |    30360 |    15629 |   106332 |    12252 |  2.112 |
417.60/57.36	c (56,0) c |  5 |   1090 |     586027 |     117462 |   159965 |    26064 |    15341 |   106581 |    12037 |  2.132 |
417.60/57.36	c (56,0) c |  6 |   1173 |     613773 |     120169 |   162094 |    28785 |    15396 |   106559 |    12630 |  2.112 |
417.60/57.36	c (56,0) c |  7 |   1176 |     615368 |     119353 |   161290 |    27965 |    15513 |   106445 |    12121 |  2.112 |
417.60/57.36	c (56,0) c 
417.60/57.36	c (56,0) c synthesis      942100 conflicts   573546991 propagations     3117 conflicts/sec  1897493 propagations/sec
417.60/57.36	c (56,0) c Total Memory so far : 772.47Mb
417.60/57.36	c (56,0) c
417.60/57.36	c (56,0) c |-------------------------------------------------------------------------------------------------------|
417.60/57.36	c (56,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
417.60/57.36	c (56,0) c |-------------------------------------------------------------------------------------------------------|
417.60/57.36	c (56,0) c |  0 |   1172 |     623796 |     121408 |   161333 |    30027 |    15587 |   115301 |    12746 |  2.127 |
417.60/57.36	c (56,0) c |  1 |   1166 |     627256 |     125332 |   163427 |    33942 |    16100 |   114860 |    13200 |  2.127 |
417.60/57.36	c (56,0) c |  2 |   1185 |     649229 |     129014 |   163457 |    37633 |    16404 |   114580 |    13359 |  2.127 |
417.60/57.36	c (56,0) c |  3 |   1220 |     636918 |     127626 |   164381 |    36251 |    16439 |   114489 |    13276 |  2.148 |
417.60/57.36	c (56,0) c |  4 |   1239 |     674493 |     131956 |   165331 |    40553 |    16812 |   114168 |    13484 |  2.127 |
417.60/57.36	c (56,0) c |  5 |   1202 |     633030 |     127594 |   164192 |    36194 |    16389 |   114592 |    13086 |  2.148 |
417.60/57.36	c (56,0) c |  6 |   1300 |     663181 |     130852 |   166201 |    39468 |    16565 |   114418 |    13688 |  2.127 |
417.60/57.36	c (56,0) c |  7 |   1299 |     660384 |     129502 |   165365 |    38112 |    16694 |   114237 |    13269 |  2.127 |
417.60/57.36	c (56,0) c 
417.60/57.36	c (56,0) c synthesis     1023284 conflicts   628844254 propagations     3062 conflicts/sec  1881991 propagations/sec
417.60/57.36	c (56,0) c Total Memory so far : 772.47Mb
417.60/57.36	c (56,0) c
417.60/57.36	c (56,0) c |-------------------------------------------------------------------------------------------------------|
417.60/57.37	c (56,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
417.60/57.37	c (56,0) c |-------------------------------------------------------------------------------------------------------|
417.60/57.37	c (56,0) c |  0 |   1282 |     666539 |     130856 |   164726 |    39474 |    16650 |   122744 |    13860 |  2.132 |
417.60/57.37	c (56,0) c |  1 |   1278 |     671088 |     134815 |   166983 |    43425 |    17160 |   122225 |    14375 |  2.132 |
417.60/57.37	c (56,0) c |  2 |   1296 |     695139 |     139520 |   167011 |    25340 |    17487 |   121875 |    14443 |  2.132 |
417.60/57.37	c (56,0) c |  3 |   1338 |     680051 |     136514 |   167679 |    45136 |    17460 |   121938 |    14449 |  2.153 |
417.60/57.37	c (56,0) c |  4 |   1356 |     720953 |     141796 |   168889 |    27611 |    17867 |   121535 |    14595 |  2.132 |
417.60/57.37	c (56,0) c |  5 |   1313 |     674583 |     136810 |   167491 |    45411 |    17399 |   121992 |    14319 |  2.153 |
417.60/57.37	c (56,0) c |  6 |   1422 |     708033 |     141384 |   169936 |    27205 |    17703 |   121672 |    14767 |  2.132 |
417.60/57.37	c (56,0) c |  7 |   1413 |     706483 |     139010 |   168728 |    24848 |    17684 |   121708 |    14396 |  2.132 |
417.60/57.37	c (56,0) c 
417.60/57.37	c (56,0) c synthesis     1100705 conflicts   681726894 propagations     3007 conflicts/sec  1862503 propagations/sec
417.60/57.37	c (56,0) c Total Memory so far : 772.47Mb
417.60/57.37	c (56,0) c
417.60/57.37	c (56,0) c |-------------------------------------------------------------------------------------------------------|
417.60/57.37	c (56,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
417.60/57.37	c (56,0) c |-------------------------------------------------------------------------------------------------------|
417.60/57.37	c (56,0) c |  0 |   1381 |     712593 |     140209 |   168025 |    26028 |    17653 |   129814 |    14956 |  2.142 |
417.60/57.37	c (56,0) c |  1 |   1389 |     715621 |     144756 |   170264 |    30564 |    18151 |   129322 |    15271 |  2.142 |
417.60/57.37	c (56,0) c |  2 |   1419 |     742928 |     149978 |   170329 |    35796 |    18513 |   128959 |    15416 |  2.142 |
417.60/57.37	c (56,0) c |  3 |   1449 |     727477 |     146734 |   171048 |    32553 |    18453 |   129037 |    15357 |  2.163 |
417.60/57.37	c (56,0) c |  4 |   1483 |     770429 |     151833 |   172166 |    37645 |    18923 |   128572 |    15584 |  2.142 |
417.60/57.37	c (56,0) c |  5 |   1426 |     719847 |     146641 |   170698 |    32449 |    18419 |   128986 |    15198 |  2.163 |
443.93/60.63	c (60,0) c |  6 |   1549 |     755088 |     152179 |   173244 |    37999 |    18711 |   128781 |    15777 |  2.142 |
443.93/60.63	c (60,0) c |  7 |   1527 |     754680 |     149489 |   172156 |    35322 |    18674 |   128814 |    15309 |  2.142 |
443.93/60.63	c (60,0) c 
443.93/60.63	c (60,0) c synthesis     1181819 conflicts   736538905 propagations     2970 conflicts/sec  1851120 propagations/sec
443.93/60.63	c (60,0) c Total Memory so far : 772.47Mb
443.93/60.63	c (60,0) c last restart ## conflicts  :  172 102 
443.93/60.63	c (60,0) c Thread 2 is 100% pure glucose! First thread to finish! (SAT answer).
443.93/60.63	c (60,0) c Total Memory so far : 772.47Mb
443.93/60.63	c (60,0) c
443.93/60.63	c (60,0) c real time : 53.8769 s
443.93/60.63	c (60,0) c cpu time  : 423.985 s
443.93/60.63	c (60,0) c
443.93/60.63	c (60,0) c
443.93/60.63	c (60,0) c
443.93/60.63	c (60,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
443.93/60.63	c (60,0) c
443.93/60.63	c (60,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
443.93/60.63	c (60,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
443.93/60.63	c (60,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
443.93/60.63	c (60,0) c | Conflicts     |         1243043 |     148356 |     152198 |     157651 |     154506 |     159114 |     154164 |     160041 |     157013 |
443.93/60.63	c (60,0) c | Decisions     |         6186980 |     754717 |     749014 |     776950 |     764121 |     807043 |     753892 |     791972 |     789271 |
443.93/60.63	c (60,0) c | Propagations  |       779482055 |   93710135 |   94744745 |   96976033 |   96427405 |  100005812 |   96596429 |  100851975 |  100169521 |
443.93/60.63	c (60,0) c | Avg_Trail     |                 |       6588 |       6598 |       6530 |       6611 |       6580 |       6610 |       6625 |       6650 |
443.93/60.63	c (60,0) c | Avg_DL        |                 |         95 |         96 |         96 |         96 |         94 |         95 |         95 |         96 |
443.93/60.63	c (60,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
443.93/60.63	c (60,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
443.93/60.63	c (60,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
443.93/60.63	c (60,0) c | Exported      |          153527 |      18427 |      18868 |      19269 |      19245 |      19668 |      19166 |      19463 |      19421 |
443.93/60.63	c (60,0) c | Imported      |         1074168 |     134994 |     134606 |     134164 |     134262 |     133811 |     134249 |     134017 |     134065 |
443.93/60.63	c (60,0) c | Good          |           39774 |       4969 |       4983 |       4934 |       5005 |       4883 |       5033 |       4997 |       4970 |
443.93/60.63	c (60,0) c | Purge         |         1034394 |     130025 |     129623 |     129230 |     129257 |     128928 |     129216 |     129020 |     129095 |
443.93/60.63	c (60,0) c | Promoted      |          129453 |      15721 |      15994 |      16271 |      16228 |      16445 |      16056 |      16625 |      16113 |
443.93/60.63	c (60,0) c | Remove_Imp    |          593081 |      80155 |      76523 |      72500 |      74487 |      70695 |      74680 |      71221 |      72820 |
443.93/60.63	c (60,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
443.93/60.63	c (60,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
443.93/60.63	c (60,0) c | Unaries       |                 |         36 |         32 |         50 |         40 |         32 |         42 |         40 |         32 |
443.93/60.63	c (60,0) c | Binaries      |                 |        713 |        699 |        748 |        677 |        799 |        649 |        685 |        712 |
443.93/60.63	c (60,0) c | Glues         |                 |       2795 |       2824 |       3010 |       2702 |       2990 |       2631 |       2755 |       2821 |
443.93/60.63	c (60,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
443.93/60.63	c (60,0) c | Orig_Seen     |            55 % |     170339 |     172660 |     172872 |     173556 |     174116 |     173033 |     175448 |     174417 |
443.93/60.63	c (60,0) c | Diff Orig seen|                 | -     2533 | -      212 |      X     |        684 |       1244 |        161 |       2576 |       1545 |
443.93/60.63	c (60,0) c | Hamming       |            16 % |       3190 |       3338 |      X     |       3683 |       3174 |       3074 |       3345 |       3307 |
443.93/60.63	c (60,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
443.93/60.63	c (60,0) 
443.93/60.63	c (60,0) s SATISFIABLE
443.93/60.66	c (60,6) SatSolver.solve End
443.93/60.66	c (60,6) Heap : 2928 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
443.93/60.66	c (60,6) Show results Begin
443.93/60.68	c (60,6) a[0][0] = 1
443.93/60.68	c (60,6) a[0][1] = 6
443.93/60.68	c (60,6) a[0][2] = 7
443.93/60.68	c (60,6) a[0][3] = 9
443.93/60.68	c (60,6) a[0][4] = 11
443.93/60.68	c (60,6) a[0][5] = 2
443.93/60.68	c (60,6) a[0][6] = 10
443.93/60.68	c (60,6) a[0][7] = 8
443.93/60.68	c (60,6) a[0][8] = 11
443.93/60.68	c (60,6) a[0][9] = 9
443.93/60.68	c (60,6) a[0][10] = 7
443.93/60.68	c (60,6) a[1][0] = 3
443.93/60.68	c (60,6) a[1][1] = 10
443.93/60.68	c (60,6) a[1][2] = 10
443.93/60.68	c (60,6) a[1][3] = 11
443.93/60.68	c (60,6) a[1][4] = 5
443.93/60.68	c (60,6) a[1][5] = 8
443.93/60.68	c (60,6) a[1][6] = 11
443.93/60.68	c (60,6) a[1][7] = 6
443.93/60.68	c (60,6) a[1][8] = 9
443.93/60.68	c (60,6) a[1][9] = 8
443.93/60.68	c (60,6) a[1][10] = 4
443.93/60.68	c (60,6) a[2][0] = 5
443.93/60.68	c (60,6) a[2][1] = 8
443.93/60.68	c (60,6) a[2][2] = 3
443.93/60.68	c (60,6) a[2][3] = 10
443.93/60.68	c (60,6) a[2][4] = 9
443.93/60.68	c (60,6) a[2][5] = 6
443.93/60.68	c (60,6) a[2][6] = 9
443.93/60.68	c (60,6) a[2][7] = 11
443.93/60.68	c (60,6) a[2][8] = 10
443.93/60.68	c (60,6) a[2][9] = 7
443.93/60.68	c (60,6) a[2][10] = 6
443.93/60.68	c (60,6) a[3][0] = 7
443.93/60.68	c (60,6) a[3][1] = 11
443.93/60.68	c (60,6) a[3][2] = 11
443.93/60.68	c (60,6) a[3][3] = 4
443.93/60.68	c (60,6) a[3][4] = 7
443.93/60.68	c (60,6) a[3][5] = 10
443.93/60.68	c (60,6) a[3][6] = 8
443.93/60.68	c (60,6) a[3][7] = 9
443.93/60.68	c (60,6) a[3][8] = 5
443.93/60.68	c (60,6) a[3][9] = 6
443.93/60.68	c (60,6) a[3][10] = 10
443.93/60.68	c (60,6) a[4][0] = 9
443.93/60.68	c (60,6) a[4][1] = 2
443.93/60.68	c (60,6) a[4][2] = 4
443.93/60.68	c (60,6) a[4][3] = 8
443.93/60.68	c (60,6) a[4][4] = 10
443.93/60.68	c (60,6) a[4][5] = 9
443.93/60.68	c (60,6) a[4][6] = 4
443.93/60.68	c (60,6) a[4][7] = 10
443.93/60.68	c (60,6) a[4][8] = 6
443.93/60.68	c (60,6) a[4][9] = 11
443.93/60.68	c (60,6) a[4][10] = 11
443.93/60.68	c (60,6) a[5][0] = 11
443.93/60.68	c (60,6) a[5][1] = 5
443.93/60.68	c (60,6) a[5][2] = 8
443.93/60.68	c (60,6) a[5][3] = 5
443.93/60.68	c (60,6) a[5][4] = 8
443.93/60.68	c (60,6) a[5][5] = 11
443.93/60.68	c (60,6) a[5][6] = 7
443.93/60.68	c (60,6) a[5][7] = 3
443.93/60.68	c (60,6) a[5][8] = 7
443.93/60.68	c (60,6) a[5][9] = 10
443.93/60.68	c (60,6) a[5][10] = 9
443.93/60.68	c (60,6) ad[0] = 10
443.93/60.68	c (60,6) ad[1] = 7
443.93/60.68	c (60,6) ad[2] = 11
443.93/60.68	c (60,6) ad[3] = 2
443.93/60.68	c (60,6) ad[4] = 5
443.93/60.68	c (60,6) ad[5] = 9
443.93/60.68	c (60,6) h[0][0] = 0
443.93/60.68	c (60,6) h[0][1] = 4
443.93/60.68	c (60,6) h[0][2] = 5
443.93/60.68	c (60,6) h[0][3] = 6
443.93/60.68	c (60,6) h[0][4] = 2
443.93/60.68	c (60,6) h[0][5] = 1
443.93/60.68	c (60,6) h[0][6] = 5
443.93/60.68	c (60,6) h[0][7] = 0
443.93/60.68	c (60,6) h[0][8] = 8
443.93/60.68	c (60,6) h[0][9] = 4
443.93/60.68	c (60,6) h[0][10] = 3
443.93/60.68	c (60,6) h[1][0] = 2
443.93/60.68	c (60,6) h[1][1] = 3
443.93/60.68	c (60,6) h[1][2] = 9
443.93/60.68	c (60,6) h[1][3] = 7
443.93/60.68	c (60,6) h[1][4] = 0
443.93/60.68	c (60,6) h[1][5] = 5
443.93/60.68	c (60,6) h[1][6] = 6
443.93/60.68	c (60,6) h[1][7] = 2
443.93/60.68	c (60,6) h[1][8] = 0
443.93/60.68	c (60,6) h[1][9] = 1
443.93/60.68	c (60,6) h[1][10] = 1
443.93/60.68	c (60,6) h[2][0] = 4
443.93/60.68	c (60,6) h[2][1] = 7
443.93/60.68	c (60,6) h[2][2] = 0
443.93/60.68	c (60,6) h[2][3] = 1
443.93/60.68	c (60,6) h[2][4] = 3
443.93/60.68	c (60,6) h[2][5] = 0
443.93/60.68	c (60,6) h[2][6] = 1
443.93/60.68	c (60,6) h[2][7] = 4
443.93/60.68	c (60,6) h[2][8] = 2
443.93/60.68	c (60,6) h[2][9] = 2
443.93/60.68	c (60,6) h[2][10] = 5
443.93/60.68	c (60,6) h[3][0] = 6
443.93/60.68	c (60,6) h[3][1] = 9
443.93/60.68	c (60,6) h[3][2] = 1
443.93/60.68	c (60,6) h[3][3] = 0
443.93/60.68	c (60,6) h[3][4] = 1
443.93/60.68	c (60,6) h[3][5] = 4
443.93/60.68	c (60,6) h[3][6] = 2
443.93/60.68	c (60,6) h[3][7] = 5
443.93/60.68	c (60,6) h[3][8] = 3
443.93/60.68	c (60,6) h[3][9] = 3
443.93/60.68	c (60,6) h[3][10] = 8
443.93/60.68	c (60,6) h[4][0] = 8
443.93/60.68	c (60,6) h[4][1] = 0
443.93/60.68	c (60,6) h[4][2] = 2
443.93/60.68	c (60,6) h[4][3] = 3
443.93/60.68	c (60,6) h[4][4] = 6
443.93/60.68	c (60,6) h[4][5] = 7
443.93/60.68	c (60,6) h[4][6] = 3
443.93/60.68	c (60,6) h[4][7] = 7
443.93/60.68	c (60,6) h[4][8] = 1
443.93/60.68	c (60,6) h[4][9] = 5
443.93/60.68	c (60,6) h[4][10] = 0
443.93/60.68	c (60,6) h[5][0] = 10
443.93/60.68	c (60,6) h[5][1] = 1
443.93/60.68	c (60,6) h[5][2] = 6
443.93/60.68	c (60,6) h[5][3] = 2
443.93/60.68	c (60,6) h[5][4] = 4
443.93/60.68	c (60,6) h[5][5] = 3
443.93/60.68	c (60,6) h[5][6] = 0
443.93/60.68	c (60,6) h[5][7] = 1
443.93/60.68	c (60,6) h[5][8] = 4
443.93/60.68	c (60,6) h[5][9] = 0
443.93/60.68	c (60,6) h[5][10] = 2
443.93/60.68	c (60,6) hd[0] = 3
443.93/60.68	c (60,6) hd[1] = 4
443.93/60.68	c (60,6) hd[2] = 8
443.93/60.68	c (60,6) hd[3] = 0
443.93/60.68	c (60,6) hd[4] = 1
443.93/60.68	c (60,6) hd[5] = 6
443.93/60.68	c (60,6) m[0][0] = 0
443.93/60.68	c (60,6) m[0][1] = 39
443.93/60.68	c (60,6) m[0][2] = 46
443.93/60.68	c (60,6) m[0][3] = 53
443.93/60.68	c (60,6) m[0][4] = 29
443.93/60.68	c (60,6) m[0][5] = 11
443.93/60.68	c (60,6) m[0][6] = 49
443.93/60.68	c (60,6) m[0][7] = 7
443.93/60.68	c (60,6) m[0][8] = 62
443.93/60.68	c (60,6) m[0][9] = 42
443.93/60.68	c (60,6) m[0][10] = 33
443.93/60.68	c (60,6) m[1][0] = 21
443.93/60.68	c (60,6) m[1][1] = 36
443.93/60.68	c (60,6) m[1][2] = 63
443.93/60.68	c (60,6) m[1][3] = 59
443.93/60.68	c (60,6) m[1][4] = 4
443.93/60.68	c (60,6) m[1][5] = 47
443.93/60.68	c (60,6) m[1][6] = 55
443.93/60.68	c (60,6) m[1][7] = 24
443.93/60.68	c (60,6) m[1][8] = 8
443.93/60.68	c (60,6) m[1][9] = 17
443.93/60.68	c (60,6) m[1][10] = 13
443.93/60.68	c (60,6) m[2][0] = 38
443.93/60.68	c (60,6) m[2][1] = 56
443.93/60.68	c (60,6) m[2][2] = 2
443.93/60.68	c (60,6) m[2][3] = 19
443.93/60.68	c (60,6) m[2][4] = 35
443.93/60.68	c (60,6) m[2][5] = 5
443.93/60.68	c (60,6) m[2][6] = 18
443.93/60.68	c (60,6) m[2][7] = 44
443.93/60.68	c (60,6) m[2][8] = 28
443.93/60.68	c (60,6) m[2][9] = 25
443.93/60.68	c (60,6) m[2][10] = 45
443.93/60.68	c (60,6) m[3][0] = 51
443.93/60.68	c (60,6) m[3][1] = 64
443.93/60.68	c (60,6) m[3][2] = 20
443.93/60.68	c (60,6) m[3][3] = 3
443.93/60.68	c (60,6) m[3][4] = 16
443.93/60.68	c (60,6) m[3][5] = 43
443.93/60.68	c (60,6) m[3][6] = 26
443.93/60.68	c (60,6) m[3][7] = 48
443.93/60.68	c (60,6) m[3][8] = 31
443.93/60.68	c (60,6) m[3][9] = 32
443.93/60.68	c (60,6) m[3][10] = 61
443.93/60.68	c (60,6) m[4][0] = 60
443.93/60.68	c (60,6) m[4][1] = 1
443.93/60.68	c (60,6) m[4][2] = 22
443.93/60.68	c (60,6) m[4][3] = 34
443.93/60.68	c (60,6) m[4][4] = 54
443.93/60.68	c (60,6) m[4][5] = 57
443.93/60.68	c (60,6) m[4][6] = 30
443.93/60.68	c (60,6) m[4][7] = 58
443.93/60.68	c (60,6) m[4][8] = 15
443.93/60.68	c (60,6) m[4][9] = 50
443.93/60.68	c (60,6) m[4][10] = 10
443.93/60.68	c (60,6) m[5][0] = 65
443.93/60.68	c (60,6) m[5][1] = 14
443.93/60.68	c (60,6) m[5][2] = 52
443.93/60.68	c (60,6) m[5][3] = 23
443.93/60.68	c (60,6) m[5][4] = 41
443.93/60.68	c (60,6) m[5][5] = 37
443.93/60.68	c (60,6) m[5][6] = 6
443.93/60.68	c (60,6) m[5][7] = 12
443.93/60.68	c (60,6) m[5][8] = 40
443.93/60.68	c (60,6) m[5][9] = 9
443.93/60.68	c (60,6) m[5][10] = 27
443.93/60.68	s SATISFIABLE
443.93/60.68	v <instantiation>
443.93/60.68	v     <list>h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] m[0][0] m[0][1] m[0][2] m[0][3] m[0][4] m[0][5] m[0][6] m[0][7] m[0][8] m[0][9] m[0][10] m[1][0] m[1][1] m[1][2] m[1][3] m[1][4] m[1][5] m[1][6] m[1][7] m[1][8] m[1][9] m[1][10] m[2][0] m[2][1] m[2][2] m[2][3] m[2][4] m[2][5] m[2][6] m[2][7] m[2][8] m[2][9] m[2][10] m[3][0] m[3][1] m[3][2] m[3][3] m[3][4] m[3][5] m[3][6] m[3][7] m[3][8] m[3][9] m[3][10] m[4][0] m[4][1] m[4][2] m[4][3] m[4][4] m[4][5] m[4][6] m[4][7] m[4][8] m[4][9] m[4][10] m[5][0] m[5][1] m[5][2] m[5][3] m[5][4] m[5][5] m[5][6] m[5][7] m[5][8] m[5][9] m[5][10] hd[0] hd[1] hd[2] hd[3] hd[4] hd[5] ad[0] ad[1] ad[2] ad[3] ad[4] ad[5]</list>
443.93/60.68	v     <values>0 4 5 6 2 1 5 0 8 4 3 2 3 9 7 0 5 6 2 0 1 1 4 7 0 1 3 0 1 4 2 2 5 6 9 1 0 1 4 2 5 3 3 8 8 0 2 3 6 7 3 7 1 5 0 10 1 6 2 4 3 0 1 4 0 2 1 6 7 9 11 2 10 8 11 9 7 3 10 10 11 5 8 11 6 9 8 4 5 8 3 10 9 6 9 11 10 7 6 7 11 11 4 7 10 8 9 5 6 10 9 2 4 8 10 9 4 10 6 11 11 11 5 8 5 8 11 7 3 7 10 9 0 39 46 53 29 11 49 7 62 42 33 21 36 63 59 4 47 55 24 8 17 13 38 56 2 19 35 5 18 44 28 25 45 51 64 20 3 16 43 26 48 31 32 61 60 1 22 34 54 57 30 58 15 50 10 65 14 52 23 41 37 6 12 40 9 27 3 4 8 0 1 6 10 7 11 2 5 9</values>
443.93/60.68	v </instantiation>
443.93/60.68	c (60,6) Show results End
443.93/60.68	c (60,6) Heap : 2928 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
443.93/60.68	c (60,6) 0,0,4,4,4,4,5,60,60,STOP-AFTER(ALL)
443.93/60.68	c END-Prog: Fri Jul 27 10:40:23 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 (12785 MiB free)
  memory of node 1: 16384 MiB (14748 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297262-1532680762/watcher-4297262-1532680762 -o /tmp/evaluation-result-4297262-1532680762/solver-4297262-1532680762 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1532675689-19612 --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-4297262-1532680762.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=20169, runsolver pid=20166
Current StackSize limit: 8192 KiB


[startup+0.100124 s]*
/proc/loadavg: 7.66 8.49 8.63 2/198 20189
/proc/meminfo: memFree=28100776/32770624 swapFree=67108792/67108860
[pid=20169] ppid=20166 vsize=27312552 memory=107696 CPUtime=0.1 cores=0-7
/proc/20169/stat : 20169 (java) S 20166 20169 19585 0 -1 1077944320 6455 0 0 0 8 2 0 0 20 0 20 0 85639478 27968053248 26924 33554432000 4194304 4196468 140728439024816 140728439007360 140539666095863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
/proc/20169/statm: 6828138 26924 2746 1 0 6790598 0
[pid=20169/tid=20171] ppid=20166 vsize=27312552 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/20169/task/20171/stat : 20171 (java) R 20166 20169 19585 0 -1 4202560 4545 0 0 0 7 2 0 0 20 0 20 0 85639479 27968053248 26924 33554432000 4194304 4196468 140728439024816 140539637922192 140539646372688 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20172] ppid=20166 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/20169/task/20172/stat : 20172 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85639481 27968053248 26924 33554432000 4194304 4196468 140728439024816 140539670338576 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20173] ppid=20166 vsize=27312552 memory=140274629740160 CPUtime=0 cores=0-7
/proc/20169/task/20173/stat : 20173 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85639481 27968053248 26924 33554432000 4194304 4196468 140728439024816 140539453734032 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20174] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20174/stat : 20174 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85639481 27968053248 26924 33554432000 4194304 4196468 140728439024816 140539452680976 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20175] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20175/stat : 20175 (java) S 20166 20169 19585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85639481 27968053248 26924 33554432000 4194304 4196468 140728439024816 140539451628432 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20176] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20176/stat : 20176 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85639481 27968053248 26924 33554432000 4194304 4196468 140728439024816 140539085183504 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20177] ppid=20166 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/20169/task/20177/stat : 20177 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85639481 27968053248 26924 33554432000 4194304 4196468 140728439024816 140539084130960 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20178] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20178/stat : 20178 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85639481 27968053248 26924 33554432000 4194304 4196468 140728439024816 140539083077904 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20179] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20179/stat : 20179 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85639481 27968053248 26924 33554432000 4194304 4196468 140728439024816 140539082025360 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20180] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20180/stat : 20180 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85639483 27968053248 26924 33554432000 4194304 4196468 140728439024816 140538234764016 140539666107010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20181] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20181/stat : 20181 (java) S 20166 20169 19585 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 85639483 27968053248 26924 33554432000 4194304 4196468 140728439024816 140537436825248 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20182] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20182/stat : 20182 (java) S 20166 20169 19585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 85639483 27968053248 26924 33554432000 4194304 4196468 140728439024816 140537302602992 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20183] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20183/stat : 20183 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85639486 27968053248 26924 33554432000 4194304 4196468 140728439024816 140536928098768 140539666114459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20184] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20184/stat : 20184 (java) S 20166 20169 19585 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 85639486 27968053248 26924 33554432000 4194304 4196468 140728439024816 140538233710832 140539666107010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20185] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20185/stat : 20185 (java) S 20166 20169 19585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85639486 27968053248 26924 33554432000 4194304 4196468 140728439024816 140538232658288 140539666107010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20186] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20186/stat : 20186 (java) S 20166 20169 19585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85639486 27968053248 26924 33554432000 4194304 4196468 140728439024816 140538231605232 140539666107010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20187] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20187/stat : 20187 (java) S 20166 20169 19585 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 20 0 85639486 27968053248 26924 33554432000 4194304 4196468 140728439024816 140538230552688 140539666107010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20188] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20188/stat : 20188 (java) S 20166 20169 19585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85639486 27968053248 26924 33554432000 4194304 4196468 140728439024816 140536430193632 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20189] ppid=20166 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/20169/task/20189/stat : 20189 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85639486 27968053248 26924 33554432000 4194304 4196468 140728439024816 140538229501104 140539666107010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 107696 KiB

[startup+0.21015 s]*
/proc/loadavg: 7.66 8.49 8.63 2/198 20189
/proc/meminfo: memFree=28084264/32770624 swapFree=67108792/67108860
[pid=20169] ppid=20166 vsize=27312552 memory=121796 CPUtime=0.25 cores=0-7
/proc/20169/stat : 20169 (java) S 20166 20169 19585 0 -1 1077944320 10258 0 0 0 21 4 0 0 20 0 20 0 85639478 27968053248 30449 33554432000 4194304 4196468 140728439024816 140728439007360 140539666095863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
/proc/20169/statm: 6828138 30449 2903 1 0 6790598 0
[pid=20169/tid=20171] ppid=20166 vsize=27312552 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/20169/task/20171/stat : 20171 (java) R 20166 20169 19585 0 -1 4202560 8131 0 0 0 17 3 0 0 20 0 20 0 85639479 27968053248 30514 33554432000 4194304 4196468 140728439024816 140539637917216 140539658346352 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20172] ppid=20166 vsize=27312552 memory=10869 CPUtime=0 cores=0-7
/proc/20169/task/20172/stat : 20172 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85639481 27968053248 30514 33554432000 4194304 4196468 140728439024816 140539670338576 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20173] ppid=20166 vsize=27312552 memory=140274630245999 CPUtime=0 cores=0-7
/proc/20169/task/20173/stat : 20173 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85639481 27968053248 30514 33554432000 4194304 4196468 140728439024816 140539453734032 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20174] ppid=20166 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/20169/task/20174/stat : 20174 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85639481 27968053248 30514 33554432000 4194304 4196468 140728439024816 140539452680976 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20175] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20175/stat : 20175 (java) S 20166 20169 19585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85639481 27968053248 30514 33554432000 4194304 4196468 140728439024816 140539451628432 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20176] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20176/stat : 20176 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85639481 27968053248 30514 33554432000 4194304 4196468 140728439024816 140539085183504 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20177] ppid=20166 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/20169/task/20177/stat : 20177 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85639481 27968053248 30514 33554432000 4194304 4196468 140728439024816 140539084130960 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20178] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20178/stat : 20178 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85639481 27968053248 30514 33554432000 4194304 4196468 140728439024816 140539083077904 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20179] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20179/stat : 20179 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85639481 27968053248 30514 33554432000 4194304 4196468 140728439024816 140539082025360 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20180] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20180/stat : 20180 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85639483 27968053248 30514 33554432000 4194304 4196468 140728439024816 140538234764016 140539666107010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20181] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20181/stat : 20181 (java) S 20166 20169 19585 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 85639483 27968053248 30514 33554432000 4194304 4196468 140728439024816 140537436825248 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20182] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20182/stat : 20182 (java) S 20166 20169 19585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 85639483 27968053248 30514 33554432000 4194304 4196468 140728439024816 140537302602992 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20183] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20183/stat : 20183 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85639486 27968053248 30514 33554432000 4194304 4196468 140728439024816 140536928098768 140539666114459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20184] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20184/stat : 20184 (java) S 20166 20169 19585 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 85639486 27968053248 30514 33554432000 4194304 4196468 140728439024816 140538233710832 140539666107010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20185] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20185/stat : 20185 (java) S 20166 20169 19585 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 85639486 27968053248 30514 33554432000 4194304 4196468 140728439024816 140538232658288 140539666107010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20186] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20186/stat : 20186 (java) S 20166 20169 19585 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 85639486 27968053248 30514 33554432000 4194304 4196468 140728439024816 140538231605232 140539666107010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20187] ppid=20166 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/20169/task/20187/stat : 20187 (java) S 20166 20169 19585 0 -1 1077944384 295 0 0 0 2 0 0 0 20 0 20 0 85639486 27968053248 30514 33554432000 4194304 4196468 140728439024816 140538230552688 140539666107010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20188] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20188/stat : 20188 (java) S 20166 20169 19585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85639486 27968053248 30514 33554432000 4194304 4196468 140728439024816 140536430193632 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20189] ppid=20166 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/20169/task/20189/stat : 20189 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85639486 27968053248 30514 33554432000 4194304 4196468 140728439024816 140538229501104 140539666107010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 121796 KiB

[startup+0.309994 s]*
/proc/loadavg: 7.66 8.49 8.63 2/198 20189
/proc/meminfo: memFree=28081224/32770624 swapFree=67108792/67108860
[pid=20169] ppid=20166 vsize=27312552 memory=125532 CPUtime=0.41 cores=0-7
/proc/20169/stat : 20169 (java) S 20166 20169 19585 0 -1 1077944320 10799 0 0 0 37 4 0 0 20 0 20 0 85639478 27968053248 31383 33554432000 4194304 4196468 140728439024816 140728439007360 140539666095863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
/proc/20169/statm: 6828138 31383 2958 1 0 6790598 0
[pid=20169/tid=20171] ppid=20166 vsize=27312552 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/20169/task/20171/stat : 20171 (java) R 20166 20169 19585 0 -1 4202560 8498 0 0 0 26 4 0 0 20 0 20 0 85639479 27968053248 31383 33554432000 4194304 4196468 140728439024816 140539637900016 140539650176350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20172] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20172/stat : 20172 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85639481 27968053248 31383 33554432000 4194304 4196468 140728439024816 140539670338576 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20173] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20173/stat : 20173 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85639481 27968053248 31383 33554432000 4194304 4196468 140728439024816 140539453734032 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20174] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20174/stat : 20174 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85639481 27968053248 31383 33554432000 4194304 4196468 140728439024816 140539452680976 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20175] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20175/stat : 20175 (java) S 20166 20169 19585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85639481 27968053248 31383 33554432000 4194304 4196468 140728439024816 140539451628432 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20176] ppid=20166 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/20169/task/20176/stat : 20176 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85639481 27968053248 31383 33554432000 4194304 4196468 140728439024816 140539085183504 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20177] ppid=20166 vsize=27312552 memory=140274504397743 CPUtime=0 cores=0-7
/proc/20169/task/20177/stat : 20177 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85639481 27968053248 31383 33554432000 4194304 4196468 140728439024816 140539084130960 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20178] ppid=20166 vsize=27312552 memory=140274504400048 CPUtime=0 cores=0-7
/proc/20169/task/20178/stat : 20178 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85639481 27968053248 31383 33554432000 4194304 4196468 140728439024816 140539083077904 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20179] ppid=20166 vsize=27312552 memory=140274504402352 CPUtime=0 cores=0-7
/proc/20169/task/20179/stat : 20179 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85639481 27968053248 31383 33554432000 4194304 4196468 140728439024816 140539082025360 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20180] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20180/stat : 20180 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85639483 27968053248 31383 33554432000 4194304 4196468 140728439024816 140538234764016 140539666107010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20181] ppid=20166 vsize=27312552 memory=280549008811664 CPUtime=0 cores=0-7
/proc/20169/task/20181/stat : 20181 (java) S 20166 20169 19585 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 85639483 27968053248 31383 33554432000 4194304 4196468 140728439024816 140537436825248 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20182] ppid=20166 vsize=27312552 memory=280549008818576 CPUtime=0 cores=0-7
/proc/20169/task/20182/stat : 20182 (java) S 20166 20169 19585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 85639483 27968053248 31383 33554432000 4194304 4196468 140728439024816 140537302602992 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20183] ppid=20166 vsize=27312552 memory=280549008759856 CPUtime=0 cores=0-7
/proc/20169/task/20183/stat : 20183 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85639486 27968053248 31383 33554432000 4194304 4196468 140728439024816 140536928098768 140539666114459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20184] ppid=20166 vsize=27312552 memory=280549008832400 CPUtime=0.01 cores=0-7
/proc/20169/task/20184/stat : 20184 (java) R 20166 20169 19585 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 20 0 85639486 27968053248 31383 33554432000 4194304 4196468 140728439024816 140538233710832 140539666107010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20185] ppid=20166 vsize=27312552 memory=280549008839312 CPUtime=0 cores=0-7
/proc/20169/task/20185/stat : 20185 (java) S 20166 20169 19585 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 85639486 27968053248 31383 33554432000 4194304 4196468 140728439024816 140538232658288 140539666107010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20186] ppid=20166 vsize=27312552 memory=280549008837008 CPUtime=0.01 cores=0-7
/proc/20169/task/20186/stat : 20186 (java) R 20166 20169 19585 0 -1 1077944384 223 0 0 0 1 0 0 0 20 0 20 0 85639486 27968053248 31383 33554432000 4194304 4196468 140728439024816 140538231605232 140539666107010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20187] ppid=20166 vsize=27312552 memory=280549008853616 CPUtime=0.07 cores=0-7
/proc/20169/task/20187/stat : 20187 (java) S 20166 20169 19585 0 -1 1077944384 316 0 0 0 7 0 0 0 20 0 20 0 85639486 27968053248 31383 33554432000 4194304 4196468 140728439024816 140538230552688 140539666107010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20188] ppid=20166 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20188/stat : 20188 (java) S 20166 20169 19585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85639486 27968053248 31383 33554432000 4194304 4196468 140728439024816 140536430193632 140539666106069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20189] ppid=20166 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/20169/task/20189/stat : 20189 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85639486 27968053248 31383 33554432000 4194304 4196468 140728439024816 140538229501104 140539666107010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 125532 KiB

[startup+0.700899 s]
/proc/loadavg: 7.66 8.49 8.63 2/198 20189
/proc/meminfo: memFree=28057040/32770624 swapFree=67108792/67108860
[pid=20169] ppid=20166 vsize=27320948 memory=165064 CPUtime=0.99 cores=0-7
/proc/20169/stat : 20169 (java) S 20166 20169 19585 0 -1 1077944320 17875 0 0 0 92 7 0 0 20 0 20 0 85639478 27976650752 41266 33554432000 4194304 4196468 140728439024816 140728439007360 140539666095863 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
/proc/20169/statm: 6830237 41266 3130 1 0 6791622 0
[pid=20169/tid=20171] ppid=20166 vsize=27320948 memory=0 CPUtime=0.66 cores=0-7
/proc/20169/task/20171/stat : 20171 (java) R 20166 20169 19585 0 -1 4202560 15089 0 0 0 61 5 0 0 20 0 20 0 85639479 27976650752 41266 33554432000 4194304 4196468 140728439024816 140539637927776 140539645733591 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20172] ppid=20166 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20172/stat : 20172 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85639481 27976650752 41266 33554432000 4194304 4196468 140728439024816 140539670338576 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20173] ppid=20166 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20173/stat : 20173 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85639481 27976650752 41266 33554432000 4194304 4196468 140728439024816 140539453734032 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20174] ppid=20166 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/20169/task/20174/stat : 20174 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85639481 27976650752 41266 33554432000 4194304 4196468 140728439024816 140539452680976 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20175] ppid=20166 vsize=27320948 memory=792 CPUtime=0 cores=0-7
/proc/20169/task/20175/stat : 20175 (java) S 20166 20169 19585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85639481 27976650752 41266 33554432000 4194304 4196468 140728439024816 140539451628432 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20176] ppid=20166 vsize=27320948 memory=1008 CPUtime=0 cores=0-7
/proc/20169/task/20176/stat : 20176 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85639481 27976650752 41266 33554432000 4194304 4196468 140728439024816 140539085183504 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20177] ppid=20166 vsize=27320948 memory=1228 CPUtime=0 cores=0-7
/proc/20169/task/20177/stat : 20177 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85639481 27976650752 41266 33554432000 4194304 4196468 140728439024816 140539084130960 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20178] ppid=20166 vsize=27320948 memory=1200 CPUtime=0 cores=0-7
/proc/20169/task/20178/stat : 20178 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85639481 27976650752 41266 33554432000 4194304 4196468 140728439024816 140539083077904 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20179] ppid=20166 vsize=27320948 memory=15876 CPUtime=0 cores=0-7
/proc/20169/task/20179/stat : 20179 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85639481 27976650752 41266 33554432000 4194304 4196468 140728439024816 140539082025360 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20180] ppid=20166 vsize=27320948 memory=18268 CPUtime=0 cores=0-7
/proc/20169/task/20180/stat : 20180 (java) S 20166 20169 19585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 85639483 27976650752 41266 33554432000 4194304 4196468 140728439024816 140538234764016 140539666107010 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0

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

/proc/20169/task/20171/stat : 20171 (java) S 20166 20169 19585 0 -1 1077944384 18208 0 0 0 636 40 0 0 20 0 24 0 85639479 28656443392 611129 33554432000 4194304 4196468 140728439024816 140539637935104 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20172] ppid=20166 vsize=27984808 memory=66 CPUtime=0 cores=0-7
/proc/20169/task/20172/stat : 20172 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85639481 28656443392 611129 33554432000 4194304 4196468 140728439024816 140539670338576 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20173] ppid=20166 vsize=27984808 memory=3 CPUtime=0 cores=0-7
/proc/20169/task/20173/stat : 20173 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85639481 28656443392 611129 33554432000 4194304 4196468 140728439024816 140539453734032 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20174] ppid=20166 vsize=27984808 memory=6593 CPUtime=0 cores=0-7
/proc/20169/task/20174/stat : 20174 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85639481 28656443392 611129 33554432000 4194304 4196468 140728439024816 140539452680976 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20175] ppid=20166 vsize=27984808 memory=2444500 CPUtime=0 cores=0-7
/proc/20169/task/20175/stat : 20175 (java) S 20166 20169 19585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85639481 28656443392 611129 33554432000 4194304 4196468 140728439024816 140539451628432 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20176] ppid=20166 vsize=27984808 memory=537732 CPUtime=0 cores=0-7
/proc/20169/task/20176/stat : 20176 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85639481 28656443392 611129 33554432000 4194304 4196468 140728439024816 140539085183504 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20177] ppid=20166 vsize=27984808 memory=13573716680378929 CPUtime=0 cores=0-7
/proc/20169/task/20177/stat : 20177 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85639481 28656443392 611129 33554432000 4194304 4196468 140728439024816 140539084130960 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20178] ppid=20166 vsize=27984808 memory=7523376918531162212 CPUtime=0 cores=0-7
/proc/20169/task/20178/stat : 20178 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85639481 28656443392 611129 33554432000 4194304 4196468 140728439024816 140539083077904 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20179] ppid=20166 vsize=27984808 memory=7523376918531162212 CPUtime=0 cores=0-7
/proc/20169/task/20179/stat : 20179 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85639481 28656443392 611129 33554432000 4194304 4196468 140728439024816 140539082025360 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20180] ppid=20166 vsize=27984808 memory=7523376918531162212 CPUtime=0 cores=0-7
/proc/20169/task/20180/stat : 20180 (java) S 20166 20169 19585 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 85639483 28656443392 611129 33554432000 4194304 4196468 140728439024816 140538234764016 140539666107010 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20181] ppid=20166 vsize=27984808 memory=7523376918531162212 CPUtime=0 cores=0-7
/proc/20169/task/20181/stat : 20181 (java) S 20166 20169 19585 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 85639483 28656443392 611129 33554432000 4194304 4196468 140728439024816 140537436825248 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20182] ppid=20166 vsize=27984808 memory=7523376918531162212 CPUtime=0 cores=0-7
/proc/20169/task/20182/stat : 20182 (java) S 20166 20169 19585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 85639483 28656443392 611129 33554432000 4194304 4196468 140728439024816 140537302602992 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20183] ppid=20166 vsize=27984808 memory=7523376918531162212 CPUtime=0 cores=0-7
/proc/20169/task/20183/stat : 20183 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85639486 28656443392 611129 33554432000 4194304 4196468 140728439024816 140536928098768 140539666114459 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20184] ppid=20166 vsize=27984808 memory=7523376918531162212 CPUtime=3.95 cores=0-7
/proc/20169/task/20184/stat : 20184 (java) S 20166 20169 19585 0 -1 1077944384 4816 0 0 0 393 2 0 0 20 0 24 0 85639486 28656443392 611129 33554432000 4194304 4196468 140728439024816 140538233710832 140539666107010 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20185] ppid=20166 vsize=27984808 memory=4136 CPUtime=3.54 cores=0-7
/proc/20169/task/20185/stat : 20185 (java) S 20166 20169 19585 0 -1 1077944384 5116 0 0 0 352 2 0 0 20 0 24 0 85639486 28656443392 611129 33554432000 4194304 4196468 140728439024816 140538232658288 140539666107010 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20186] ppid=20166 vsize=27984808 memory=25248 CPUtime=3.63 cores=0-7
/proc/20169/task/20186/stat : 20186 (java) S 20166 20169 19585 0 -1 1077944384 4440 0 0 0 361 2 0 0 20 0 24 0 85639486 28656443392 611129 33554432000 4194304 4196468 140728439024816 140538231605232 140539666107010 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20187] ppid=20166 vsize=27984808 memory=1292 CPUtime=1.51 cores=0-7
/proc/20169/task/20187/stat : 20187 (java) S 20166 20169 19585 0 -1 1077944384 4270 0 0 0 149 2 0 0 20 0 24 0 85639486 28656443392 611129 33554432000 4194304 4196468 140728439024816 140538230552688 140539666107010 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20188] ppid=20166 vsize=27984808 memory=2436 CPUtime=0 cores=0-7
/proc/20169/task/20188/stat : 20188 (java) S 20166 20169 19585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85639486 28656443392 611129 33554432000 4194304 4196468 140728439024816 140536430193632 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20189] ppid=20166 vsize=27984808 memory=140274505197840 CPUtime=0.03 cores=0-7
/proc/20169/task/20189/stat : 20189 (java) S 20166 20169 19585 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 24 0 85639486 28656443392 611129 33554432000 4194304 4196468 140728439024816 140538229501104 140539666107010 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20191] ppid=20166 vsize=27984808 memory=7822038051842261661 CPUtime=0 cores=0-7
/proc/20169/task/20191/stat : 20191 (java) S 20166 20169 19585 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 85640154 28656443392 611129 33554432000 4194304 4196468 140728439024816 140538211468736 140539666120473 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20193] ppid=20166 vsize=27984808 memory=-8341965534556230502 CPUtime=0.01 cores=0-7
/proc/20169/task/20193/stat : 20193 (java) S 20166 20169 19585 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 24 0 85640154 28656443392 611129 33554432000 4194304 4196468 140728439024816 140535759093200 140539666117789 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20194] ppid=20166 vsize=27984808 memory=9047017150487036571 CPUtime=0 cores=0-7
/proc/20169/task/20194/stat : 20194 (java) S 20166 20169 19585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 85640155 28656443392 611129 33554432000 4194304 4196468 140728439024816 140535490657840 140539666117789 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20195] ppid=20166 vsize=27984808 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/20169/task/20195/stat : 20195 (java) S 20166 20169 19585 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 24 0 85640156 28656443392 611129 33554432000 4194304 4196468 140728439024816 140536027536288 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
Current children cumulated CPU time: 442.33 s
Current children cumulated vsize: 28775816 KiB
Current children cumulated memory: 2982936 KiB

[startup+60.6021 s]
/proc/loadavg: 7.36 8.19 8.51 9/213 20212
/proc/meminfo: memFree=25215744/32770624 swapFree=67108792/67108860
[pid=20169] ppid=20166 vsize=27984808 memory=2444516 CPUtime=19.47 cores=0-7
/proc/20169/stat : 20169 (java) S 20166 20169 19585 0 -1 1077944320 38284 0 0 0 1898 49 0 0 20 0 24 0 85639478 28656443392 611129 33554432000 4194304 4196468 140728439024816 140728439007360 140539666095863 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
/proc/20169/statm: 6996202 611129 3233 1 0 6957058 0
[pid=20190] ppid=20169 vsize=791008 memory=538420 CPUtime=424.46 cores=0-7
/proc/20190/stat : 20190 (glucose-syrup) S 20169 20169 19585 0 -1 1077944320 296222 0 0 0 42371 75 0 0 20 0 9 0 85640154 809992192 134605 33554432000 4194304 4373367 140722695831840 140722695830384 140111448410754 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6470912 6472264 16707584 140722695840687 140722695840940 140722695840940 140722695843783 0
/proc/20190/statm: 197752 134605 388 44 0 193440 0
[pid=20190/tid=20196] ppid=20169 vsize=791008 memory=26997 CPUtime=53.12 cores=0-7
/proc/20190/task/20196/stat : 20196 (glucose-syrup) R 20169 20169 19585 0 -1 4202560 32026 0 0 0 5303 9 0 0 20 0 9 0 85640219 809992192 134605 33554432000 4194304 4373367 140722695831840 140111425256648 4258908 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 16707584 140722695840687 140722695840940 140722695840940 140722695843783 0
[pid=20190/tid=20197] ppid=20169 vsize=791008 memory=6944656592455350634 CPUtime=53.12 cores=0-7
/proc/20190/task/20197/stat : 20197 (glucose-syrup) R 20169 20169 19585 0 -1 4202560 36284 0 0 0 5304 8 0 0 20 0 9 0 85640219 809992192 134605 33554432000 4194304 4373367 140722695831840 140111416864016 4258831 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 16707584 140722695840687 140722695840940 140722695840940 140722695843783 0
[pid=20190/tid=20198] ppid=20169 vsize=791008 memory=3762535632954720544 CPUtime=53.12 cores=0-7
/proc/20190/task/20198/stat : 20198 (glucose-syrup) R 20169 20169 19585 0 -1 4202560 32253 0 0 0 5305 7 0 0 20 0 9 0 85640219 809992192 134605 33554432000 4194304 4373367 140722695831840 140111399533840 4271925 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 16707584 140722695840687 140722695840940 140722695840940 140722695843783 0
[pid=20190/tid=20199] ppid=20169 vsize=791008 memory=3762675907460417568 CPUtime=53.12 cores=0-7
/proc/20190/task/20199/stat : 20199 (glucose-syrup) R 20169 20169 19585 0 -1 4202560 31031 0 0 0 5307 5 0 0 20 0 9 0 85640219 809992192 134605 33554432000 4194304 4373367 140722695831840 140111391141136 4271977 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 16707584 140722695840687 140722695840940 140722695840940 140722695843783 0
[pid=20190/tid=20200] ppid=20169 vsize=791008 memory=-6876588628788339086 CPUtime=53.1 cores=0-7
/proc/20190/task/20200/stat : 20200 (glucose-syrup) R 20169 20169 19585 0 -1 4202560 33974 0 0 0 5299 11 0 0 20 0 9 0 85640219 809992192 134605 33554432000 4194304 4373367 140722695831840 140111382748528 4271828 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 16707584 140722695840687 140722695840940 140722695840940 140722695843783 0
[pid=20190/tid=20201] ppid=20169 vsize=791008 memory=-8172468297011507069 CPUtime=53.12 cores=0-7
/proc/20190/task/20201/stat : 20201 (glucose-syrup) R 20169 20169 19585 0 -1 4202560 33736 0 0 0 5306 6 0 0 20 0 9 0 85640219 809992192 134605 33554432000 4194304 4373367 140722695831840 140111374355824 4271925 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 16707584 140722695840687 140722695840940 140722695840940 140722695843783 0
[pid=20190/tid=20202] ppid=20169 vsize=791008 memory=6944656575208382560 CPUtime=53.11 cores=0-7
/proc/20190/task/20202/stat : 20202 (glucose-syrup) R 20169 20169 19585 0 -1 4202560 30815 0 0 0 5302 9 0 0 20 0 9 0 85640219 809992192 134605 33554432000 4194304 4373367 140722695831840 140111365962896 4258831 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 16707584 140722695840687 140722695840940 140722695840940 140722695843783 0
[pid=20190/tid=20203] ppid=20169 vsize=791008 memory=6943526294502006880 CPUtime=51.93 cores=0-7
/proc/20190/task/20203/stat : 20203 (glucose-syrup) R 20169 20169 19585 0 -1 4202560 32344 0 0 0 5183 10 0 0 20 0 9 0 85640219 809992192 134605 33554432000 4194304 4373367 140722695831840 140111357570416 4271936 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 16707584 140722695840687 140722695840940 140722695840940 140722695843783 0
[pid=20169/tid=20171] ppid=20166 vsize=27984808 memory=6943526294502006880 CPUtime=6.76 cores=0-7
/proc/20169/task/20171/stat : 20171 (java) S 20166 20169 19585 0 -1 1077944384 18208 0 0 0 636 40 0 0 20 0 24 0 85639479 28656443392 611129 33554432000 4194304 4196468 140728439024816 140539637935104 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20172] ppid=20166 vsize=27984808 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/20169/task/20172/stat : 20172 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85639481 28656443392 611129 33554432000 4194304 4196468 140728439024816 140539670338576 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20173] ppid=20166 vsize=27984808 memory=8976414709404591081 CPUtime=0 cores=0-7
/proc/20169/task/20173/stat : 20173 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85639481 28656443392 611129 33554432000 4194304 4196468 140728439024816 140539453734032 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20174] ppid=20166 vsize=27984808 memory=-7163937698017340812 CPUtime=0 cores=0-7
/proc/20169/task/20174/stat : 20174 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85639481 28656443392 611129 33554432000 4194304 4196468 140728439024816 140539452680976 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20175] ppid=20166 vsize=27984808 memory=7682475212697334586 CPUtime=0 cores=0-7
/proc/20169/task/20175/stat : 20175 (java) S 20166 20169 19585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85639481 28656443392 611129 33554432000 4194304 4196468 140728439024816 140539451628432 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20176] ppid=20166 vsize=27984808 memory=6944613755361064352 CPUtime=0 cores=0-7
/proc/20169/task/20176/stat : 20176 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85639481 28656443392 611129 33554432000 4194304 4196468 140728439024816 140539085183504 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20177] ppid=20166 vsize=27984808 memory=-6948047529741492128 CPUtime=0 cores=0-7
/proc/20169/task/20177/stat : 20177 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85639481 28656443392 611129 33554432000 4194304 4196468 140728439024816 140539084130960 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20178] ppid=20166 vsize=27984808 memory=-3252517613198930781 CPUtime=0 cores=0-7
/proc/20169/task/20178/stat : 20178 (java) S 20166 20169 19585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 85639481 28656443392 611129 33554432000 4194304 4196468 140728439024816 140539083077904 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20179] ppid=20166 vsize=27984808 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/20169/task/20179/stat : 20179 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85639481 28656443392 611129 33554432000 4194304 4196468 140728439024816 140539082025360 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20180] ppid=20166 vsize=27984808 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/20169/task/20180/stat : 20180 (java) S 20166 20169 19585 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 85639483 28656443392 611129 33554432000 4194304 4196468 140728439024816 140538234764016 140539666107010 0 0 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20181] ppid=20166 vsize=27984808 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/20169/task/20181/stat : 20181 (java) S 20166 20169 19585 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 85639483 28656443392 611129 33554432000 4194304 4196468 140728439024816 140537436825248 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20182] ppid=20166 vsize=27984808 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/20169/task/20182/stat : 20182 (java) S 20166 20169 19585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 85639483 28656443392 611129 33554432000 4194304 4196468 140728439024816 140537302602992 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20183] ppid=20166 vsize=27984808 memory=7976406965554101975 CPUtime=0 cores=0-7
/proc/20169/task/20183/stat : 20183 (java) S 20166 20169 19585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85639486 28656443392 611129 33554432000 4194304 4196468 140728439024816 140536928098768 140539666114459 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20184] ppid=20166 vsize=27984808 memory=6010454347616576618 CPUtime=3.95 cores=0-7
/proc/20169/task/20184/stat : 20184 (java) S 20166 20169 19585 0 -1 1077944384 4816 0 0 0 393 2 0 0 20 0 24 0 85639486 28656443392 611129 33554432000 4194304 4196468 140728439024816 140538233710832 140539666107010 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20185] ppid=20166 vsize=27984808 memory=7521966210467589218 CPUtime=3.54 cores=0-7
/proc/20169/task/20185/stat : 20185 (java) S 20166 20169 19585 0 -1 1077944384 5116 0 0 0 352 2 0 0 20 0 24 0 85639486 28656443392 611129 33554432000 4194304 4196468 140728439024816 140538232658288 140539666107010 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20186] ppid=20166 vsize=27984808 memory=6628 CPUtime=3.63 cores=0-7
/proc/20169/task/20186/stat : 20186 (java) S 20166 20169 19585 0 -1 1077944384 4440 0 0 0 361 2 0 0 20 0 24 0 85639486 28656443392 611129 33554432000 4194304 4196468 140728439024816 140538231605232 140539666107010 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20187] ppid=20166 vsize=27984808 memory=0 CPUtime=1.51 cores=0-7
/proc/20169/task/20187/stat : 20187 (java) S 20166 20169 19585 0 -1 1077944384 4270 0 0 0 149 2 0 0 20 0 24 0 85639486 28656443392 611129 33554432000 4194304 4196468 140728439024816 140538230552688 140539666107010 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20188] ppid=20166 vsize=27984808 memory=7649399380020113458 CPUtime=0 cores=0-7
/proc/20169/task/20188/stat : 20188 (java) S 20166 20169 19585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85639486 28656443392 611129 33554432000 4194304 4196468 140728439024816 140536430193632 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20189] ppid=20166 vsize=27984808 memory=7228928657758118464 CPUtime=0.03 cores=0-7
/proc/20169/task/20189/stat : 20189 (java) S 20166 20169 19585 0 -1 1077944384 5 0 0 0 1 2 0 0 20 0 24 0 85639486 28656443392 611129 33554432000 4194304 4196468 140728439024816 140538229501104 140539666107010 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20191] ppid=20166 vsize=27984808 memory=3762397696710533456 CPUtime=0 cores=0-7
/proc/20169/task/20191/stat : 20191 (java) S 20166 20169 19585 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 85640154 28656443392 611129 33554432000 4194304 4196468 140728439024816 140538211468736 140539666120473 0 4 0 25189583 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20193] ppid=20166 vsize=27984808 memory=226885942418850 CPUtime=0.01 cores=0-7
/proc/20169/task/20193/stat : 20193 (java) S 20166 20169 19585 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 24 0 85640154 28656443392 611129 33554432000 4194304 4196468 140728439024816 140535759093200 140539666117789 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20194] ppid=20166 vsize=27984808 memory=7163930027507143273 CPUtime=0 cores=0-7
/proc/20169/task/20194/stat : 20194 (java) S 20166 20169 19585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 85640155 28656443392 611129 33554432000 4194304 4196468 140728439024816 140535490657840 140539666117789 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20195] ppid=20166 vsize=27984808 memory=7307465785721514326 CPUtime=0 cores=0-7
/proc/20169/task/20195/stat : 20195 (java) S 20166 20169 19585 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 24 0 85640156 28656443392 611129 33554432000 4194304 4196468 140728439024816 140536027536288 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
Current children cumulated CPU time: 443.93 s
Current children cumulated vsize: 28775816 KiB
Current children cumulated memory: 2982936 KiB

[startup+60.7015 s]
/proc/loadavg: 7.36 8.19 8.51 9/213 20212
/proc/meminfo: memFree=25215744/32770624 swapFree=67108792/67108860
[pid=20169] ppid=20166 vsize=27721628 memory=2450820 CPUtime=444.44 cores=0-7
/proc/20169/stat : 20169 (java) S 20166 20169 19585 0 -1 1077944320 38388 296347 0 0 1919 50 42398 77 20 0 20 0 85639478 28386947072 612705 33554432000 4194304 4196468 140728439024816 140728439007360 140539666095863 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
/proc/20169/statm: 6930407 612705 3234 1 0 6891263 0
[pid=20169/tid=20171] ppid=20166 vsize=27721628 memory=6944652177228980320 CPUtime=431.53 cores=0-7
/proc/20169/task/20171/stat : 20171 (java) R 20166 20169 19585 0 -1 4202560 18263 296347 0 0 638 40 42398 77 20 0 20 0 85639479 28386947072 612705 33554432000 4194304 4196468 140728439024816 140539637939344 140539666110154 0 0 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20172] ppid=20166 vsize=27590552 memory=0 CPUtime=424.75 cores=0-7
/proc/20169/task/20172/stat : 20172 (java) S 20166 20169 19585 0 -1 1077944384 2 296347 0 0 0 0 42398 77 20 0 19 0 85639481 28252725248 612705 33554432000 4194304 4196468 140728439024816 140539670338576 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20173] ppid=20166 vsize=27590552 memory=0 CPUtime=424.75 cores=0-7
/proc/20169/task/20173/stat : 20173 (java) S 20166 20169 19585 0 -1 1077944384 1 296347 0 0 0 0 42398 77 20 0 19 0 85639481 28252725248 612673 33554432000 4194304 4196468 140728439024816 140539453734032 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20174] ppid=20166 vsize=27590552 memory=2444516 CPUtime=424.75 cores=0-7
/proc/20169/task/20174/stat : 20174 (java) S 20166 20169 19585 0 -1 1077944384 2 296347 0 0 0 0 42398 77 20 0 18 0 85639481 28252725248 612673 33554432000 4194304 4196468 140728439024816 140539452680976 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20175] ppid=20166 vsize=27590552 memory=538420 CPUtime=424.75 cores=0-7
/proc/20169/task/20175/stat : 20175 (java) S 20166 20169 19585 0 -1 1077944384 3 296347 0 0 0 0 42398 77 20 0 18 0 85639481 28252725248 612673 33554432000 4194304 4196468 140728439024816 140539451628432 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20176] ppid=20166 vsize=27458448 memory=1292 CPUtime=424.75 cores=0-7
/proc/20169/task/20176/stat : 20176 (java) S 20166 20169 19585 0 -1 1077944384 2 296347 0 0 0 0 42398 77 20 0 18 0 85639481 28117450752 612680 33554432000 4194304 4196468 140728439024816 140539085183504 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20177] ppid=20166 vsize=27458448 memory=4136 CPUtime=424.75 cores=0-7
/proc/20169/task/20177/stat : 20177 (java) S 20166 20169 19585 0 -1 1077944384 1 296347 0 0 0 0 42398 77 20 0 18 0 85639481 28117450752 612680 33554432000 4194304 4196468 140728439024816 140539084130960 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20178] ppid=20166 vsize=27458448 memory=25248 CPUtime=424.75 cores=0-7
/proc/20169/task/20178/stat : 20178 (java) S 20166 20169 19585 0 -1 1077944384 2 296347 0 0 0 0 42398 77 20 0 18 0 85639481 28117450752 612680 33554432000 4194304 4196468 140728439024816 140539083077904 140539666106069 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20179] ppid=20166 vsize=27458448 memory=1292 CPUtime=424.75 cores=0-7
/proc/20169/task/20179/stat : 20179 (java) R 20166 20169 19585 0 -1 1077944384 1 296347 0 0 0 0 42398 77 20 0 18 0 85639481 28117450752 612685 33554432000 4194304 4196468 140728439024816 140539082025360 140539666106069 256 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20181] ppid=20166 vsize=27458448 memory=477752 CPUtime=424.75 cores=0-7
/proc/20169/task/20181/stat : 20181 (java) R 20166 20169 19585 0 -1 1077944384 13 296347 0 0 0 0 42398 77 20 0 17 0 85639483 28117450752 612715 33554432000 4194304 4196468 140728439024816 140537436825248 140539666106069 256 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20182] ppid=20166 vsize=27458448 memory=1200 CPUtime=424.75 cores=0-7
/proc/20169/task/20182/stat : 20182 (java) R 20166 20169 19585 0 -1 1077944384 21 296347 0 0 0 0 42398 77 20 0 11 0 85639483 28117450752 612766 33554432000 4194304 4196468 140728439024816 140537302602992 140539666106069 256 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140728439030746 140728439031045 140728439031045 140728439033807 0
[pid=20169/tid=20188] ppid=20166 vsize=0 memory=1292 CPUtime=424.75 cores=0-7
/proc/20169/task/20188/stat : 20188 (java) R 20166 20169 19585 0 -1 4195396 3 296347 0 0 0 0 42398 77 20 0 4 0 85639486 0 0 33554432000 0 0 0 0 0 0 4 0 25189583 18446744073709551615 0 0 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0
[pid=20169/tid=20191] ppid=20166 vsize=0 memory=25248 CPUtime=424.75 cores=0-7
/proc/20169/task/20191/stat : 20191 (java) R 20166 20169 19585 0 -1 4203588 26 296347 0 0 0 0 42398 77 20 0 2 0 85640154 0 0 33554432000 0 0 0 0 0 0 4 0 25189583 18446744073709551615 0 0 -1 6 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time: 444.44 s
Current children cumulated vsize: 27721628 KiB
Current children cumulated memory: 2450820 KiB

Child status: 0
Real time (s): 60.7238
CPU time (s): 444.489
CPU user time (s): 443.186
CPU system time (s): 1.30328
CPU usage (%): 731.985
Max. virtual memory (cumulated for all children) (KiB): 28867760
Max. memory (cumulated for all children) (KiB): 2996320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 443.186
system time used= 1.30328
maximum resident set size= 2451444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 334739
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15277
involuntary context switches= 4504


# summary of solver processes directly reported to runsolver:
#   pid: 20169
#   total CPU time (s): 444.489
#   total CPU user time (s): 443.186
#   total CPU system time (s): 1.30328

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.570698 second user time and 0.809049 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-27 10:39:22
IDJOB=4297262
IDBENCH=141603
IDSOLVER=2759
FILE ID=node150/4297262-1532680762
RUNJOBID= node150-1532675689-19612
PBS_JOBID= 21022255
Free space on /tmp= 53100 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/SportsScheduling/SportsScheduling-12_c18.xml
COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -both -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297262-1532680762/watcher-4297262-1532680762 -o /tmp/evaluation-result-4297262-1532680762/solver-4297262-1532680762 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1532675689-19612 --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-4297262-1532680762.xml

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

MD5SUM BENCH= 7e6479b2a75a5c904a12e855693ae1ca
RANDOM SEED=1990155938

node150.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.76
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.76
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.76
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.76
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:        28195068 kB
MemAvailable:   31937384 kB
Buffers:          178620 kB
Cached:          3802892 kB
SwapCached:           32 kB
Active:          1421992 kB
Inactive:        2612116 kB
Active(anon):       3644 kB
Inactive(anon):    76592 kB
Active(file):    1418348 kB
Inactive(file):  2535524 kB
Unevictable:        7752 kB
Mlocked:            7752 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:              8408 kB
Writeback:             0 kB
AnonPages:         55648 kB
Mapped:            41476 kB
Shmem:             25156 kB
Slab:             236436 kB
SReclaimable:     208556 kB
SUnreclaim:        27880 kB
KernelStack:        3296 kB
PageTables:         4656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 53092 MiB
End job on node150 at 2018-07-27 10:40:23