Trace number 4297084

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 order+glucose-syrup (2018-07-07)UNSAT 269.967 34.9483

General information on the benchmark

NamePseudoBoolean-dec/
Pb-chnl10-11_c18.xml
MD5SUM0cb6e3dc45605db1284c892a60e68314
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark238.89
Satisfiable
(Un)Satisfiability was proved
Number of variables220
Number of constraints42
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":220}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":220}]
Minimum constraint arity10
Maximum constraint arity11
Distribution of constraint arities[{"arity":10,"count":22},{"arity":11,"count":20}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":42}]
Optimization problemNO
Type of objective

Solver Data 

0.65/0.53	
0.65/0.53	scop order+glucose-syrup (2018-07-07)
0.65/0.53	
0.65/0.56	c BEGIN-Prog: Fri Jul 27 00:37:02 CEST 2018
0.65/0.56	c PID: 6726
0.65/0.56	c IP: 172.20.3.106
0.65/0.56	c HOST: node106.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.36/0.93	c (0,0) Parsing End
1.36/0.94	c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
1.36/0.94	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.36/0.94	c (0,0) Constraint Name Generate Begin
1.36/0.94	c (0,0) Ctr:HOME/instance-4297084-1532644622.xml,IntVar:Num:WeightedSum
1.36/0.94	c (0,0) Constraint Name Generate End
1.36/0.94	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.36/0.94	c (0,0) CSP to CSPinCNF Begin
1.56/1.04	c (0,0) translated 5 (10%) constraints
1.56/1.06	c (0,0) translated 9 (20%) constraints
1.56/1.07	c (0,0) translated 13 (30%) constraints
1.56/1.08	c (0,0) translated 17 (40%) constraints
1.56/1.09	c (0,0) translated 21 (50%) constraints
1.56/1.10	c (0,0) translated 26 (60%) constraints
1.56/1.10	c (0,0) translated 30 (70%) constraints
1.79/1.11	c (0,0) translated 34 (80%) constraints
1.79/1.12	c (0,0) translated 38 (90%) constraints
1.79/1.12	c (0,0) translated 42 (100%) constraints
1.79/1.16	c (0,0) STATISTICS1:HOME/instance-4297084-1532644622.xml,IntVar:Num:WeightedSum,220,42,1024,2,1,11,1024:20;512:22,2:440,1:42,11:20;10:22,
1.79/1.16	c (0,0) ===========================================
1.79/1.16	c (0,0) Order
1.79/1.16	c (0,0) ===========================================
1.79/1.17	c (0,0) translated 5 (10%) constraints
1.79/1.18	c (0,0) translated 9 (20%) constraints
1.79/1.18	c (0,0) translated 13 (30%) constraints
1.79/1.18	c (0,0) translated 17 (40%) constraints
1.79/1.19	c (0,0) translated 21 (50%) constraints
1.79/1.19	c (0,0) translated 26 (60%) constraints
1.79/1.19	c (0,0) translated 30 (70%) constraints
1.79/1.20	c (0,0) translated 34 (80%) constraints
2.08/1.20	c (0,0) translated 38 (90%) constraints
2.08/1.20	c (0,0) translated 42 (100%) constraints
2.08/1.21	c (0,0) CSP to CSPinCNF End
2.08/1.21	c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
2.08/1.21	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.08/1.21	c (0,0) CSPinCNF Propagation Begin
2.08/1.22	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.08/1.22	c (0,0) CSPinCNF Propagation End
2.08/1.22	c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
2.08/1.22	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.08/1.22	c (0,0) Simplify CSPinCNF Begin
2.08/1.22	c (0,0) Simplify CSPinCNF End
2.08/1.22	c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
2.08/1.22	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.08/1.22	c (0,0) Calculate Precise Domain Begin
2.08/1.22	c (0,0) 0 values are removed by re-calculation
2.08/1.22	c (0,0) Calculate Precise Domain End
2.08/1.22	c (0,0) CSP: 0 int (0 aux), 220 bool (0 aux), 42 ctr, max domain size 2
2.08/1.22	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.08/1.22	c (0,0) CSPinCNF to SatSolver Begin
2.08/1.28	c (0,0) 5 (10 %) CSP clauses are encoded (220 SAT variables, 4 SAT clauses)
2.08/1.28	c (0,0) 9 (20 %) CSP clauses are encoded (220 SAT variables, 8 SAT clauses)
2.08/1.29	c (0,0) 13 (30 %) CSP clauses are encoded (220 SAT variables, 12 SAT clauses)
2.08/1.29	c (0,0) 17 (40 %) CSP clauses are encoded (220 SAT variables, 16 SAT clauses)
2.08/1.29	c (0,0) 21 (50 %) CSP clauses are encoded (220 SAT variables, 20 SAT clauses)
2.35/1.31	c (0,0) 26 (60 %) CSP clauses are encoded (220 SAT variables, 187 SAT clauses)
2.35/1.33	c (0,0) 30 (70 %) CSP clauses are encoded (220 SAT variables, 407 SAT clauses)
2.35/1.34	c (0,0) 34 (80 %) CSP clauses are encoded (220 SAT variables, 627 SAT clauses)
2.35/1.35	c (0,0) 38 (90 %) CSP clauses are encoded (220 SAT variables, 847 SAT clauses)
2.35/1.35	c (0,0) 42 (100 %) CSP clauses are encoded (220 SAT variables, 1067 SAT clauses)
2.35/1.35	c (0,0) CSPinCNF to SatSolver End
2.35/1.35	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB)
2.35/1.37	c (0,0) STATISTICS2:HOME/instance-4297084-1532644622.xml,IntVar:Num:WeightedSum,220,42,1024,2,1,11,1024:20;512:22,2:440,1:42,11:20;10:22,
2.35/1.37	c (0,0) SatSolver.solve Begin
2.35/1.37	c (0,0) 220 bool, 1122 clause
2.35/1.37	c (0,0) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297084-1532644622.xml-scop-6726.cnf HOME/instance-4297084-1532644622.xml-scop-6726.cnf.out
69.55/9.82	c (9,0) c
69.55/9.82	c (9,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
69.55/9.82	c (9,0) c
69.55/9.82	c (9,0) c WARNING: for repeatability, setting FPU to use double precision
69.55/9.82	c (9,0) c 8 solvers engines and 1 companion as a blackboard created.
69.55/9.82	c (9,0) c ========================================[ Problem Statistics ]===========================================
69.55/9.82	c (9,0) c |                                                                                                       |
69.55/9.82	c (9,0) c |  Number of variables:           220                                                                   |
69.55/9.82	c (9,0) c |  Number of clauses:            1122                                                                   |
69.55/9.82	c (9,0) c |  Parse time:                   0.00 s                                                                 |
69.55/9.82	c (9,0) c |                                                                                                       |
69.55/9.82	c (9,0) c |  Eliminated clauses:           0.00 Mb                                                                |
69.55/9.82	c (9,0) c |  Simplification time:          0.00 s                                                                 |
69.55/9.82	c (9,0) c |                                                                                                       |
69.55/9.82	c (9,0) c |  Generating clones                                                                                    |
69.55/9.82	c (9,0) c |  all clones generated. Memory =  26.38Mb.                                                             |
69.55/9.82	c (9,0) c ========================================================================================================|
69.55/9.82	c (9,0) c
69.55/9.82	c (9,0) c Try to adapt solver strategies
69.55/9.82	c (9,0) c 
69.55/9.82	c (9,0) c Nothing extreme in this problem, continue with glucose default strategies.
69.55/9.82	c (9,0) c
69.55/9.82	c (9,0) c
69.55/9.82	c (9,0) c Try to adapt solver strategies
69.55/9.82	c (9,0) c 
69.55/9.82	c (9,0) c Nothing extreme in this problem, continue with glucose default strategies.
69.55/9.82	c (9,0) c
69.55/9.82	c (9,0) c
69.55/9.82	c (9,0) c Try to adapt solver strategies
69.55/9.82	c (9,0) c 
69.55/9.82	c (9,0) c Adjusting for low decision levels.
69.55/9.82	c (9,0) c
69.55/9.82	c (9,0) c Activating Chanseok Strategy: moved 326 clauses to the permanent set.
69.55/9.82	c (9,0) c Removing of non permanent clauses.
69.55/9.82	c (9,0) c
69.55/9.82	c (9,0) c Try to adapt solver strategies
69.55/9.82	c (9,0) c 
69.55/9.82	c (9,0) c Adjusting for low decision levels.
69.55/9.82	c (9,0) c
69.55/9.82	c (9,0) c Activating Chanseok Strategy: moved 340 clauses to the permanent set.
69.55/9.82	c (9,0) c Removing of non permanent clauses.
69.55/9.82	c (9,0) c
69.55/9.82	c (9,0) c |-------------------------------------------------------------------------------------------------------|
69.55/9.82	c (9,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
69.55/9.82	c (9,0) c |-------------------------------------------------------------------------------------------------------|
69.55/9.82	c (9,0) c |  0 |    359 |     166818 |     137001 |      550 |    45612 |    12408 |   106877 |    10157 |  0.023 |
69.55/9.82	c (9,0) c |  1 |    273 |     161431 |     134375 |      550 |    42994 |    13297 |   106537 |    10360 |  0.002 |
69.55/9.82	c (9,0) c |  2 |    276 |     163004 |     136072 |      550 |    44682 |    13384 |   107825 |    10258 |  0.023 |
69.55/9.82	c (9,0) c |  3 |    302 |     167824 |     139656 |      550 |    25463 |    13473 |   107774 |    10678 |  0.002 |
69.55/9.82	c (9,0) c |  4 |    370 |     239303 |     198702 |      877 |     2708 |    22236 |    98998 |     8862 |  0.017 |
69.55/9.82	c (9,0) c |  5 |    244 |     159004 |     133264 |      550 |    41879 |    13507 |   106896 |    10014 |  0.017 |
69.55/9.82	c (9,0) c |  6 |    388 |     243520 |     202474 |      917 |     2476 |    20797 |   100453 |     9034 |  0.017 |
69.55/9.82	c (9,0) c |  7 |    288 |     162302 |     134702 |      550 |    43319 |    12151 |   109031 |    10765 |  0.002 |
69.55/9.82	c (9,0) c 
69.55/9.82	c (9,0) c synthesis     1216248 conflicts    14381384 propagations    34926 conflicts/sec   412975 propagations/sec
69.55/9.82	c (9,0) c Total Memory so far : 606.75Mb
69.55/9.82	c (9,0) c
69.55/9.82	c (9,0) c |-------------------------------------------------------------------------------------------------------|
69.55/9.82	c (9,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
69.55/9.82	c (9,0) c |-------------------------------------------------------------------------------------------------------|
69.55/9.82	c (9,0) c |  0 |    569 |     267928 |     221100 |      550 |    53506 |    18364 |   205313 |    17497 |  0.002 |
69.55/9.82	c (9,0) c |  1 |    496 |     269642 |     223647 |      550 |    56059 |    18798 |   202279 |    20128 |  0.002 |
165.26/21.82	c (21,0) c |  2 |    467 |     262225 |     218288 |      550 |    50694 |    18880 |   204012 |    18954 |  0.017 |
165.26/21.82	c (21,0) c |  3 |    574 |     272471 |     224949 |      550 |    57358 |    18912 |   204728 |    19477 |  0.002 |
165.26/21.82	c (21,0) c |  4 |   1181 |     622979 |     510454 |     2295 |     2454 |    55995 |   167700 |    11098 |  0.017 |
165.26/21.82	c (21,0) c |  5 |    412 |     265769 |     222755 |      550 |    55160 |    19846 |   203638 |    18729 |  0.002 |
165.26/21.82	c (21,0) c |  6 |   1163 |     613076 |     502971 |     2419 |     2973 |    54465 |   169185 |    11248 |  0.023 |
165.26/21.82	c (21,0) c |  7 |    449 |     266040 |     222041 |      550 |    54449 |    18435 |   203010 |    19406 |  0.017 |
165.26/21.82	c (21,0) c 
165.26/21.82	c (21,0) c synthesis     2346205 conflicts    28201736 propagations    35214 conflicts/sec   423281 propagations/sec
165.26/21.82	c (21,0) c Total Memory so far : 609.93Mb
165.26/21.82	c (21,0) c
165.26/21.82	c (21,0) c |-------------------------------------------------------------------------------------------------------|
165.26/21.82	c (21,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
165.26/21.82	c (21,0) c |-------------------------------------------------------------------------------------------------------|
165.26/21.82	c (21,0) c |  0 |    760 |     375157 |     310165 |      550 |    42968 |    22430 |   293032 |    25187 |  0.023 |
165.26/21.82	c (21,0) c |  1 |    692 |     376642 |     312504 |      550 |    45310 |    24254 |   291797 |    27309 |  0.017 |
165.26/21.82	c (21,0) c |  2 |    659 |     366178 |     304619 |      550 |    37426 |    22971 |   288656 |    26813 |  0.017 |
165.26/21.82	c (21,0) c |  3 |    758 |     375568 |     310788 |      550 |    43594 |    22785 |   293244 |    26784 |  0.017 |
165.26/21.82	c (21,0) c |  4 |   1774 |     997322 |     818037 |     4732 |     2027 |    85865 |   230396 |    12606 |  0.002 |
165.26/21.82	c (21,0) c |  5 |    553 |     368348 |     309300 |      550 |    42102 |    25378 |   288205 |    24553 |  0.017 |
165.26/21.83	c (21,0) c |  6 |   1854 |     996355 |     815722 |     4368 |     3698 |    88481 |   227730 |    13027 |  0.019 |
165.26/21.83	c (21,0) c |  7 |    647 |     377131 |     314373 |      550 |    47181 |    24103 |   291992 |    27272 |  0.017 |
165.26/21.83	c (21,0) c 
165.26/21.83	c (21,0) c synthesis     3495510 conflicts    42678972 propagations    35504 conflicts/sec   433489 propagations/sec
165.26/21.83	c (21,0) c Total Memory so far : 612.52Mb
165.26/21.83	c (21,0) c
165.26/21.83	c (21,0) c |-------------------------------------------------------------------------------------------------------|
165.26/21.83	c (21,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
165.26/21.83	c (21,0) c |-------------------------------------------------------------------------------------------------------|
165.26/21.83	c (21,0) c |  0 |    935 |     485038 |     400984 |      550 |    54396 |    27442 |   377220 |    32759 |  0.019 |
165.26/21.83	c (21,0) c |  1 |    928 |     491239 |     406264 |      550 |    59668 |    28701 |   375867 |    35402 |  0.019 |
165.26/21.83	c (21,0) c |  2 |    861 |     477944 |     396852 |      550 |    50261 |    27458 |   377208 |    33992 |  0.017 |
165.26/21.83	c (21,0) c |  3 |    900 |     484049 |     401970 |      550 |    55377 |    28124 |   376441 |    34786 |  0.019 |
165.26/21.83	c (21,0) c |  4 |   2374 |    1356186 |    1111027 |     7574 |     3040 |   114829 |   289777 |    14005 |  0.017 |
165.26/21.83	c (21,0) c |  5 |    780 |     481092 |     401340 |      550 |    54746 |    29948 |   374298 |    32988 |  0.019 |
165.26/21.83	c (21,0) c |  6 |   2458 |    1369194 |    1120227 |     6715 |     2221 |   119447 |   284949 |    14322 |  0.017 |
165.26/21.83	c (21,0) c |  7 |    865 |     489648 |     406433 |      550 |    59842 |    28721 |   375621 |    35890 |  0.019 |
165.26/21.83	c (21,0) c 
165.26/21.83	c (21,0) c synthesis     4645100 conflicts    57311786 propagations    35648 conflicts/sec   439828 propagations/sec
165.26/21.83	c (21,0) c Total Memory so far : 614.47Mb
165.26/21.83	c (21,0) c
165.26/21.83	c (21,0) c |-------------------------------------------------------------------------------------------------------|
165.26/21.83	c (21,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
165.26/21.83	c (21,0) c |-------------------------------------------------------------------------------------------------------|
165.26/21.83	c (21,0) c |  0 |   1100 |     583798 |     482089 |      550 |    91897 |    32336 |   450462 |    38897 |  0.023 |
165.26/21.83	c (21,0) c |  1 |   1147 |     591553 |     487517 |      550 |    51126 |    32947 |   450963 |    41172 |  0.002 |
165.26/21.83	c (21,0) c |  2 |   1013 |     580759 |     482601 |      550 |    46205 |    32299 |   451625 |    39020 |  0.021 |
268.94/34.83	c (34,0) c |  3 |   1107 |     592943 |     491105 |      550 |    54709 |    32935 |   449736 |    41629 |  0.023 |
268.94/34.83	c (34,0) c |  4 |   3041 |    1697262 |    1388065 |    10193 |     2052 |   141436 |   342959 |    15024 |  0.019 |
268.94/34.83	c (34,0) c |  5 |    986 |     589194 |     489458 |      550 |    53060 |    34781 |   449112 |    39606 |  0.017 |
268.94/34.83	c (34,0) c |  6 |   3220 |    1727219 |    1408258 |     9847 |     2239 |   145610 |   338630 |    15297 |  0.019 |
268.94/34.83	c (34,0) c |  7 |   1145 |     591939 |     488777 |      550 |    52385 |    32562 |   452287 |    41835 |  0.002 |
268.94/34.83	c (34,0) c 
268.94/34.83	c (34,0) c synthesis     5717874 conflicts    71198611 propagations    35257 conflicts/sec   439019 propagations/sec
268.94/34.83	c (34,0) c Total Memory so far : 616.07Mb
268.94/34.83	c (34,0) c
268.94/34.83	c (34,0) c |-------------------------------------------------------------------------------------------------------|
268.94/34.83	c (34,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
268.94/34.83	c (34,0) c |-------------------------------------------------------------------------------------------------------|
268.94/34.83	c (34,0) c |  0 |   1278 |     712021 |     588000 |      550 |    51405 |    39447 |   554324 |    46623 |  0.002 |
268.94/34.83	c (34,0) c |  1 |   1389 |     726044 |     596684 |      550 |    60091 |    38451 |   557232 |    48725 |  0.002 |
268.94/34.83	c (34,0) c |  2 |   1220 |     703139 |     583175 |      550 |    97983 |    38525 |   556420 |    45363 |  0.002 |
268.94/34.83	c (34,0) c |  3 |   1383 |     728848 |     600309 |      550 |    63719 |    39455 |   556233 |    49418 |  0.002 |
268.94/34.83	c (34,0) c |  4 |   3899 |    2108138 |    1719528 |    14652 |     3499 |   178892 |   416866 |    16299 |  0.002 |
268.94/34.83	c (34,0) c |  5 |   1238 |     722463 |     598228 |      550 |    61634 |    41130 |   551960 |    47312 |  0.021 |
268.94/34.83	c (34,0) c |  6 |   4129 |    2138352 |    1735853 |    14758 |     3803 |   181286 |   413174 |    16606 |  0.019 |
268.94/34.83	c (34,0) c |  7 |   1400 |     717794 |     590783 |      550 |    54191 |    38574 |   557170 |    48746 |  0.023 |
268.94/34.84	c (34,0) c 
268.94/34.84	c (34,0) c synthesis     7012564 conflicts    88233170 propagations    34718 conflicts/sec   436832 propagations/sec
268.94/34.84	c (34,0) c Total Memory so far : 647.18Mb
268.94/34.84	c (34,0) c
268.94/34.84	c (34,0) c |-------------------------------------------------------------------------------------------------------|
268.94/34.84	c (34,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
268.94/34.84	c (34,0) c |-------------------------------------------------------------------------------------------------------|
268.94/34.84	c (34,0) c |  0 |   1447 |     805801 |     663733 |      550 |    73138 |    42726 |   628629 |    52084 |  0.002 |
268.94/34.84	c (34,0) c |  1 |   1654 |     829448 |     678654 |      550 |    88063 |    41509 |   630798 |    54091 |  0.021 |
268.94/34.84	c (34,0) c |  2 |   1422 |     795028 |     656367 |      550 |    65774 |    43044 |   629028 |    50852 |  0.021 |
268.94/34.84	c (34,0) c |  3 |   1567 |     827811 |     679988 |      550 |    89396 |    44119 |   628182 |    54798 |  0.002 |
268.94/34.84	c (34,0) c |  4 |   4600 |    2418985 |    1966438 |    18968 |     2397 |   207254 |   464562 |    17186 |  0.002 |
268.94/34.84	c (34,0) c |  5 |   1433 |     813778 |     671203 |      550 |    80614 |    44170 |   627549 |    52241 |  0.002 |
268.94/34.84	c (34,0) c |  6 |   4834 |    2452733 |    1986253 |    19249 |     2228 |   207293 |   465052 |    17607 |  0.002 |
268.94/34.84	c (34,0) c |  7 |   1612 |     815863 |     669139 |      550 |    78547 |    42235 |   630108 |    54286 |  0.002 |
268.94/34.84	c (34,0) c 
268.94/34.84	c (34,0) c synthesis     7971778 conflicts   100914622 propagations    34090 conflicts/sec   431544 propagations/sec
268.94/34.84	c (34,0) c Total Memory so far : 647.50Mb
268.94/34.84	c (34,0) c
268.94/34.84	c (34,0) c |-------------------------------------------------------------------------------------------------------|
268.94/34.84	c (34,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |    %   | 
268.94/34.84	c (34,0) c |-------------------------------------------------------------------------------------------------------|
268.94/34.84	c (34,0) c |  0 |   1649 |     890007 |     729786 |      550 |    80338 |    46102 |   703804 |    58729 |  7.729 |
268.94/34.84	c (34,0) c |  1 |   1905 |     918200 |     747287 |      550 |    96809 |    45891 |   704712 |    60084 |  8.638 |
268.94/34.84	c (34,0) c |  2 |   1619 |     883967 |     727059 |      550 |    75856 |    46487 |   703123 |    56706 |  7.756 |
268.94/34.84	c (34,0) c |  3 |   1802 |     915657 |     748373 |      550 |    94944 |    47485 |   702259 |    61708 |  7.729 |
269.73/34.92	c (34,0) c |  4 |   5290 |    2717424 |    2201875 |    26425 |     3176 |   234755 |   515871 |    19205 |  8.639 |
269.73/34.92	c (34,0) c |  5 |   1686 |     895915 |     734192 |      550 |    83608 |    47819 |   702567 |    58430 |  8.639 |
269.73/34.92	c (34,0) c |  6 |   5783 |    2754763 |    2217897 |    25718 |     3565 |   235361 |   515127 |    19613 |  8.641 |
269.73/34.92	c (34,0) c |  7 |   1777 |     903597 |     739485 |      550 |    84443 |    46797 |   703881 |    60575 |  8.641 |
269.73/34.92	c (34,0) c 
269.73/34.92	c (34,0) c synthesis     8845956 conflicts   112275451 propagations    33284 conflicts/sec   422454 propagations/sec
269.73/34.92	c (34,0) c Total Memory so far : 647.50Mb
269.73/34.92	c (34,0) c Thread 4 is 100% pure glucose! First thread to finish! (UNSAT answer).
269.73/34.92	c (34,0) c Total Memory so far : 647.50Mb
269.73/34.92	c (34,0) c
269.73/34.92	c (34,0) c real time : 33.5368 s
269.73/34.92	c (34,0) c cpu time  : 266.593 s
269.73/34.92	c (34,0) c
269.73/34.92	c (34,0) c
269.73/34.92	c (34,0) c
269.73/34.92	c (34,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
269.73/34.92	c (34,0) c
269.73/34.92	c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
269.73/34.92	c (34,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
269.73/34.92	c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
269.73/34.92	c (34,0) c | Conflicts     |         8868029 |     731313 |     748798 |     728902 |     749876 |    2207789 |     735889 |    2224114 |     741348 |
269.73/34.92	c (34,0) c | Decisions     |        10906872 |     891829 |     920185 |     886167 |     917440 |    2724732 |     897974 |    2762739 |     905806 |
269.73/34.92	c (34,0) c | Propagations  |       112538121 |    9379174 |    9649583 |    9313022 |    9617654 |   27728400 |    9461789 |   27884853 |    9503646 |
269.73/34.92	c (34,0) c | Avg_Trail     |                 |         91 |         91 |         91 |         90 |         92 |         90 |         92 |         91 |
269.73/34.92	c (34,0) c | Avg_DL        |                 |         15 |         16 |         15 |         15 |         15 |         15 |         16 |         16 |
269.73/34.92	c (34,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
269.73/34.92	c (34,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
269.73/34.92	c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
269.73/34.92	c (34,0) c | Exported      |          753357 |      46197 |      46066 |      46682 |      47580 |     235827 |      48026 |     236080 |      46899 |
269.73/34.92	c (34,0) c | Imported      |         5267943 |     706333 |     707083 |     706539 |     703895 |     517530 |     704187 |     516436 |     705940 |
269.73/34.92	c (34,0) c | Good          |            2680 |        355 |        369 |        373 |        313 |        295 |        342 |        283 |        350 |
269.73/34.92	c (34,0) c | Purge         |         5265263 |     705978 |     706714 |     706166 |     703582 |     517235 |     703845 |     516153 |     705590 |
269.73/34.92	c (34,0) c | Promoted      |          397283 |      58968 |      60393 |      56977 |      61930 |      19531 |      58690 |      19888 |      60906 |
269.73/34.92	c (34,0) c | Remove_Imp    |         4283546 |     551076 |     538376 |     558154 |     534526 |     498526 |     548023 |     498750 |     556115 |
269.73/34.92	c (34,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
269.73/34.92	c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
269.73/34.92	c (34,0) c | Unaries       |                 |          0 |          6 |          4 |          3 |         16 |          2 |          8 |          5 |
269.73/34.92	c (34,0) c | Binaries      |                 |         24 |         36 |         36 |         42 |        121 |         24 |         94 |         39 |
269.73/34.92	c (34,0) c | Glues         |                 |         61 |         59 |         64 |         67 |        163 |         43 |        125 |         64 |
269.73/34.92	c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
269.73/34.92	c (34,0) c | Orig_Seen     |           630 % |        550 |        550 |        550 |        550 |      26972 |        550 |      26284 |        550 |
269.73/34.92	c (34,0) c | Diff Orig seen|                 | -    26422 | -    26422 | -    26422 | -    26422 |      X     | -    26422 | -      688 | -    26422 |
269.73/34.92	c (34,0) c | Hamming       |            14 % |         33 |         30 |         32 |         30 |      X     |         34 |         33 |         30 |
269.73/34.92	c (34,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
269.73/34.92	c (34,0) 
269.73/34.92	c (34,0) s UNSATISFIABLE
269.73/34.94	c (34,0) SatSolver.solve End
269.73/34.94	c (34,0) Heap : 788 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
269.73/34.94	c (34,0) Show results Begin
269.73/34.94	s UNSATISFIABLE
269.73/34.94	c (34,0) Show results End
269.73/34.94	c (34,0) Heap : 788 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB)
269.73/34.94	c (34,0) 0,0,0,0,0,0,0,34,34,STOP-AFTER(ALL)
269.73/34.94	c END-Prog: Fri Jul 27 00:37:37 CEST 2018

Verifier Data


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 (2371 MiB free)
  memory of node 1: 16384 MiB (6434 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297084-1532644622/watcher-4297084-1532644622 -o /tmp/evaluation-result-4297084-1532644622/solver-4297084-1532644622 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532642096-6531 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297084-1532644622.xml 

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

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


[startup+0.100155 s]*
/proc/loadavg: 7.87 8.52 8.73 2/198 6746
/proc/meminfo: memFree=8919544/32770624 swapFree=67108860/67108860
[pid=6726] ppid=6723 vsize=27312552 memory=109852 CPUtime=0.11 cores=0-7
/proc/6726/stat : 6726 (java) S 6723 6726 6504 0 -1 1077944320 6464 0 0 0 8 3 0 0 20 0 20 0 82025033 27968053248 27463 33554432000 4194304 4196468 140735784153344 140735784135888 140025574113015 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
/proc/6726/statm: 6828138 27463 2726 1 0 6790598 0
[pid=6726/tid=6728] ppid=6723 vsize=27312552 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/6726/task/6728/stat : 6728 (java) R 6723 6726 6504 0 -1 4202560 4578 0 0 0 6 2 0 0 20 0 20 0 82025033 27968053248 27463 33554432000 4194304 4196468 140735784153344 140025545917216 140025558156645 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6729] ppid=6723 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6726/task/6729/stat : 6729 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82025036 27968053248 27463 33554432000 4194304 4196468 140735784153344 140025578355088 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6730] ppid=6723 vsize=27312552 memory=140025264027264 CPUtime=0 cores=0-7
/proc/6726/task/6730/stat : 6730 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82025036 27968053248 27463 33554432000 4194304 4196468 140735784153344 140024996591888 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6731] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6731/stat : 6731 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82025036 27968053248 27463 33554432000 4194304 4196468 140735784153344 140024995539600 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6732] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6732/stat : 6732 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82025036 27968053248 27463 33554432000 4194304 4196468 140735784153344 140024994486800 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6733] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6733/stat : 6733 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82025036 27968053248 27463 33554432000 4194304 4196468 140735784153344 140024993434512 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6734] ppid=6723 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/6726/task/6734/stat : 6734 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82025036 27968053248 27463 33554432000 4194304 4196468 140735784153344 140024992381712 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6735] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6735/stat : 6735 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82025036 27968053248 27463 33554432000 4194304 4196468 140735784153344 140024991329424 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6736] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6736/stat : 6736 (java) S 6723 6726 6504 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82025036 27968053248 27463 33554432000 4194304 4196468 140735784153344 140024990276624 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6737] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6737/stat : 6737 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82025037 27968053248 27463 33554432000 4194304 4196468 140735784153344 140023827425392 140025574124162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6738] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6738/stat : 6738 (java) S 6723 6726 6504 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82025038 27968053248 27463 33554432000 4194304 4196468 140735784153344 140023450034976 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6739] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6739/stat : 6739 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82025038 27968053248 27463 33554432000 4194304 4196468 140735784153344 140023181599856 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6740] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6740/stat : 6740 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82025040 27968053248 27463 33554432000 4194304 4196468 140735784153344 140022807091280 140025574131611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6741] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6741/stat : 6741 (java) S 6723 6726 6504 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 82025040 27968053248 27463 33554432000 4194304 4196468 140735784153344 140023826373232 140025574124162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6742] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6742/stat : 6742 (java) S 6723 6726 6504 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 20 0 82025040 27968053248 27463 33554432000 4194304 4196468 140735784153344 140023825320432 140025574124162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6743] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6743/stat : 6743 (java) S 6723 6726 6504 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82025040 27968053248 27463 33554432000 4194304 4196468 140735784153344 140023824268144 140025574124162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6744] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6744/stat : 6744 (java) S 6723 6726 6504 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 20 0 82025040 27968053248 27463 33554432000 4194304 4196468 140735784153344 140023823215344 140025574124162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6745] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6745/stat : 6745 (java) S 6723 6726 6504 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82025041 27968053248 27463 33554432000 4194304 4196468 140735784153344 140022309185888 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6746] ppid=6723 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/6726/task/6746/stat : 6746 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82025041 27968053248 27463 33554432000 4194304 4196468 140735784153344 140023822162224 140025574124162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 109852 KiB

[startup+0.210063 s]*
/proc/loadavg: 7.87 8.52 8.73 2/198 6746
/proc/meminfo: memFree=8903296/32770624 swapFree=67108860/67108860
[pid=6726] ppid=6723 vsize=27312552 memory=124008 CPUtime=0.24 cores=0-7
/proc/6726/stat : 6726 (java) S 6723 6726 6504 0 -1 1077944320 10254 0 0 0 20 4 0 0 20 0 20 0 82025033 27968053248 31002 33554432000 4194304 4196468 140735784153344 140735784135888 140025574113015 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
/proc/6726/statm: 6828138 31002 2887 1 0 6790598 0
[pid=6726/tid=6728] ppid=6723 vsize=27312552 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/6726/task/6728/stat : 6728 (java) R 6723 6726 6504 0 -1 4202560 8165 0 0 0 16 3 0 0 20 0 20 0 82025033 27968053248 31002 33554432000 4194304 4196468 140735784153344 140025545903680 140025558193502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6729] ppid=6723 vsize=27312552 memory=12918 CPUtime=0 cores=0-7
/proc/6726/task/6729/stat : 6729 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82025036 27968053248 31002 33554432000 4194304 4196468 140735784153344 140025578355088 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6730] ppid=6723 vsize=27312552 memory=140025264034125 CPUtime=0 cores=0-7
/proc/6726/task/6730/stat : 6730 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82025036 27968053248 31002 33554432000 4194304 4196468 140735784153344 140024996591888 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6731] ppid=6723 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/6726/task/6731/stat : 6731 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82025036 27968053248 31002 33554432000 4194304 4196468 140735784153344 140024995539600 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6732] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6732/stat : 6732 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82025036 27968053248 31002 33554432000 4194304 4196468 140735784153344 140024994486800 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6733] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6733/stat : 6733 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82025036 27968053248 31002 33554432000 4194304 4196468 140735784153344 140024993434512 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6734] ppid=6723 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/6726/task/6734/stat : 6734 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82025036 27968053248 31002 33554432000 4194304 4196468 140735784153344 140024992381712 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6735] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6735/stat : 6735 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82025036 27968053248 31002 33554432000 4194304 4196468 140735784153344 140024991329424 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6736] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6736/stat : 6736 (java) S 6723 6726 6504 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82025036 27968053248 31002 33554432000 4194304 4196468 140735784153344 140024990276624 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6737] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6737/stat : 6737 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82025037 27968053248 31002 33554432000 4194304 4196468 140735784153344 140023827425392 140025574124162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6738] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6738/stat : 6738 (java) S 6723 6726 6504 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82025038 27968053248 31002 33554432000 4194304 4196468 140735784153344 140023450034976 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6739] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6739/stat : 6739 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82025038 27968053248 31002 33554432000 4194304 4196468 140735784153344 140023181599856 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6740] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6740/stat : 6740 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82025040 27968053248 31067 33554432000 4194304 4196468 140735784153344 140022807091280 140025574131611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6741] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6741/stat : 6741 (java) S 6723 6726 6504 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 20 0 82025040 27968053248 31067 33554432000 4194304 4196468 140735784153344 140023826373232 140025574124162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6742] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6742/stat : 6742 (java) S 6723 6726 6504 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 82025040 27968053248 31067 33554432000 4194304 4196468 140735784153344 140023825320432 140025574124162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6743] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6743/stat : 6743 (java) S 6723 6726 6504 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82025040 27968053248 31067 33554432000 4194304 4196468 140735784153344 140023824268144 140025574124162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6744] ppid=6723 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/6726/task/6744/stat : 6744 (java) S 6723 6726 6504 0 -1 1077944384 277 0 0 0 2 0 0 0 20 0 20 0 82025040 27968053248 31067 33554432000 4194304 4196468 140735784153344 140023823215344 140025574124162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6745] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6745/stat : 6745 (java) S 6723 6726 6504 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82025041 27968053248 31067 33554432000 4194304 4196468 140735784153344 140022309185888 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6746] ppid=6723 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/6726/task/6746/stat : 6746 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82025041 27968053248 31067 33554432000 4194304 4196468 140735784153344 140023822162224 140025574124162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 124008 KiB

[startup+0.30941 s]*
/proc/loadavg: 7.87 8.52 8.73 2/198 6746
/proc/meminfo: memFree=8900504/32770624 swapFree=67108860/67108860
[pid=6726] ppid=6723 vsize=27312552 memory=127480 CPUtime=0.41 cores=0-7
/proc/6726/stat : 6726 (java) S 6723 6726 6504 0 -1 1077944320 10802 0 0 0 37 4 0 0 20 0 20 0 82025033 27968053248 31870 33554432000 4194304 4196468 140735784153344 140735784135888 140025574113015 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
/proc/6726/statm: 6828138 31870 2923 1 0 6790598 0
[pid=6726/tid=6728] ppid=6723 vsize=27312552 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/6726/task/6728/stat : 6728 (java) R 6723 6726 6504 0 -1 4202560 8540 0 0 0 26 3 0 0 20 0 20 0 82025033 27968053248 31870 33554432000 4194304 4196468 140735784153344 140025545917168 140025555676590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6729] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6729/stat : 6729 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82025036 27968053248 31870 33554432000 4194304 4196468 140735784153344 140025578355088 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6730] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6730/stat : 6730 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82025036 27968053248 31870 33554432000 4194304 4196468 140735784153344 140024996591888 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6731] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6731/stat : 6731 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82025036 27968053248 31870 33554432000 4194304 4196468 140735784153344 140024995539600 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6732] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6732/stat : 6732 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82025036 27968053248 31870 33554432000 4194304 4196468 140735784153344 140024994486800 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6733] ppid=6723 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/6726/task/6733/stat : 6733 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82025036 27968053248 31870 33554432000 4194304 4196468 140735784153344 140024993434512 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6734] ppid=6723 vsize=27312552 memory=140025127859119 CPUtime=0 cores=0-7
/proc/6726/task/6734/stat : 6734 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82025036 27968053248 31870 33554432000 4194304 4196468 140735784153344 140024992381712 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6735] ppid=6723 vsize=27312552 memory=140025127861424 CPUtime=0 cores=0-7
/proc/6726/task/6735/stat : 6735 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82025036 27968053248 31870 33554432000 4194304 4196468 140735784153344 140024991329424 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6736] ppid=6723 vsize=27312552 memory=140025127863728 CPUtime=0 cores=0-7
/proc/6726/task/6736/stat : 6736 (java) S 6723 6726 6504 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82025036 27968053248 31870 33554432000 4194304 4196468 140735784153344 140024990276624 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6737] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6737/stat : 6737 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82025037 27968053248 31870 33554432000 4194304 4196468 140735784153344 140023827425392 140025574124162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6738] ppid=6723 vsize=27312552 memory=280050255734416 CPUtime=0 cores=0-7
/proc/6726/task/6738/stat : 6738 (java) S 6723 6726 6504 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 82025038 27968053248 31870 33554432000 4194304 4196468 140735784153344 140023450034976 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6739] ppid=6723 vsize=27312552 memory=280050255741328 CPUtime=0 cores=0-7
/proc/6726/task/6739/stat : 6739 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82025038 27968053248 31870 33554432000 4194304 4196468 140735784153344 140023181599856 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6740] ppid=6723 vsize=27312552 memory=280050255682480 CPUtime=0 cores=0-7
/proc/6726/task/6740/stat : 6740 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82025040 27968053248 31870 33554432000 4194304 4196468 140735784153344 140022807091280 140025574131611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6741] ppid=6723 vsize=27312552 memory=280050255755152 CPUtime=0 cores=0-7
/proc/6726/task/6741/stat : 6741 (java) S 6723 6726 6504 0 -1 1077944384 192 0 0 0 0 0 0 0 20 0 20 0 82025040 27968053248 31870 33554432000 4194304 4196468 140735784153344 140023826373232 140025574124162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6742] ppid=6723 vsize=27312552 memory=280050255762064 CPUtime=0.02 cores=0-7
/proc/6726/task/6742/stat : 6742 (java) S 6723 6726 6504 0 -1 1077944384 381 0 0 0 2 0 0 0 20 0 20 0 82025040 27968053248 31870 33554432000 4194304 4196468 140735784153344 140023825320432 140025574124162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6743] ppid=6723 vsize=27312552 memory=280050255759760 CPUtime=0 cores=0-7
/proc/6726/task/6743/stat : 6743 (java) S 6723 6726 6504 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 82025040 27968053248 31870 33554432000 4194304 4196468 140735784153344 140023824268144 140025574124162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6744] ppid=6723 vsize=27312552 memory=280050255776368 CPUtime=0.07 cores=0-7
/proc/6726/task/6744/stat : 6744 (java) S 6723 6726 6504 0 -1 1077944384 298 0 0 0 7 0 0 0 20 0 20 0 82025040 27968053248 31870 33554432000 4194304 4196468 140735784153344 140023823215344 140025574124162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6745] ppid=6723 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6745/stat : 6745 (java) S 6723 6726 6504 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82025041 27968053248 31870 33554432000 4194304 4196468 140735784153344 140022309185888 140025574123221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6746] ppid=6723 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/6726/task/6746/stat : 6746 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82025041 27968053248 31870 33554432000 4194304 4196468 140735784153344 140023822162224 140025574124162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127480 KiB

[startup+0.700802 s]
/proc/loadavg: 7.87 8.52 8.73 2/198 6746
/proc/meminfo: memFree=8876552/32770624 swapFree=67108860/67108860
[pid=6726] ppid=6723 vsize=27320948 memory=167600 CPUtime=0.98 cores=0-7
/proc/6726/stat : 6726 (java) S 6723 6726 6504 0 -1 1077944320 17910 0 0 0 91 7 0 0 20 0 20 0 82025033 27976650752 41900 33554432000 4194304 4196468 140735784153344 140735784135888 140025574113015 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
/proc/6726/statm: 6830237 41900 3164 1 0 6791622 0
[pid=6726/tid=6728] ppid=6723 vsize=27320948 memory=0 CPUtime=0.67 cores=0-7
/proc/6726/task/6728/stat : 6728 (java) R 6723 6726 6504 0 -1 4202560 15155 0 0 0 62 5 0 0 20 0 20 0 82025033 27976650752 41900 33554432000 4194304 4196468 140735784153344 140025545930544 140025574134941 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6729] ppid=6723 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6729/stat : 6729 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82025036 27976650752 41900 33554432000 4194304 4196468 140735784153344 140025578355088 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6730] ppid=6723 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6730/stat : 6730 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82025036 27976650752 41900 33554432000 4194304 4196468 140735784153344 140024996591888 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6731] ppid=6723 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6731/stat : 6731 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82025036 27976650752 41900 33554432000 4194304 4196468 140735784153344 140024995539600 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6732] ppid=6723 vsize=27320948 memory=5668 CPUtime=0 cores=0-7
/proc/6726/task/6732/stat : 6732 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82025036 27976650752 41900 33554432000 4194304 4196468 140735784153344 140024994486800 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6733] ppid=6723 vsize=27320948 memory=4616 CPUtime=0 cores=0-7
/proc/6726/task/6733/stat : 6733 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82025036 27976650752 41900 33554432000 4194304 4196468 140735784153344 140024993434512 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6734] ppid=6723 vsize=27320948 memory=14076 CPUtime=0 cores=0-7
/proc/6726/task/6734/stat : 6734 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82025036 27976650752 41900 33554432000 4194304 4196468 140735784153344 140024992381712 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6735] ppid=6723 vsize=27320948 memory=1204 CPUtime=0 cores=0-7
/proc/6726/task/6735/stat : 6735 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82025036 27976650752 41900 33554432000 4194304 4196468 140735784153344 140024991329424 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6736] ppid=6723 vsize=27320948 memory=15872 CPUtime=0 cores=0-7
/proc/6726/task/6736/stat : 6736 (java) S 6723 6726 6504 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82025036 27976650752 41900 33554432000 4194304 4196468 140735784153344 140024990276624 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6737] ppid=6723 vsize=27320948 memory=4008 CPUtime=0 cores=0-7
/proc/6726/task/6737/stat : 6737 (java) S 6723 6726 6504 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 82025037 27976650752 41900 33554432000 4194304 4196468 140735784153344 140023827425392 140025574124162 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0

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

[pid=6726/tid=6750] ppid=6723 vsize=27982760 memory=1724 CPUtime=0 cores=0-7
/proc/6726/task/6750/stat : 6750 (java) S 6723 6726 6504 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 82025172 28654346240 55987 33554432000 4194304 4196468 140735784153344 140021638086448 140025574134941 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6754] ppid=6723 vsize=27982760 memory=1004 CPUtime=0 cores=0-7
/proc/6726/task/6754/stat : 6754 (java) S 6723 6726 6504 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 82025172 28654346240 55987 33554432000 4194304 4196468 140735784153344 140021906521776 140025574134941 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6760] ppid=6723 vsize=27982760 memory=1952 CPUtime=0 cores=0-7
/proc/6726/task/6760/stat : 6760 (java) S 6723 6726 6504 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 82025174 28654346240 55987 33554432000 4194304 4196468 140735784153344 140021369659168 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
Current children cumulated CPU time: 265.74 s
Current children cumulated vsize: 28645800 KiB
Current children cumulated memory: 615588 KiB

[startup+34.8019 s]
/proc/loadavg: 7.84 8.43 8.69 10/211 6760
/proc/meminfo: memFree=8415344/32770624 swapFree=67108860/67108860
[pid=6726] ppid=6723 vsize=27982760 memory=223948 CPUtime=2.84 cores=0-7
/proc/6726/stat : 6726 (java) S 6723 6726 6504 0 -1 1077944320 22290 0 0 0 273 11 0 0 20 0 24 0 82025033 28654346240 55987 33554432000 4194304 4196468 140735784153344 140735784135888 140025574113015 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
/proc/6726/statm: 6995690 55987 3216 1 0 6956546 0
[pid=6747] ppid=6726 vsize=663040 memory=391640 CPUtime=266.1 cores=0-7
/proc/6747/stat : 6747 (glucose-syrup) S 6726 6726 6504 0 -1 1077944320 182387 0 0 0 26561 49 0 0 20 0 9 0 82025171 678952960 97910 33554432000 4194304 4373367 140724888847504 140724888846048 140514556369538 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6470912 6472264 18055168 140724888855473 140724888855724 140724888855724 140724888858567 0
/proc/6747/statm: 165760 97910 384 44 0 161448 0
[pid=6747/tid=6751] ppid=6726 vsize=663040 memory=16104758104558012 CPUtime=33.38 cores=0-7
/proc/6747/task/6751/stat : 6751 (glucose-syrup) R 6726 6726 6504 0 -1 4202560 25648 0 0 0 3332 6 0 0 20 0 9 0 82025172 678952960 97910 33554432000 4194304 4373367 140724888847504 140514541141264 4272316 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 18055168 140724888855473 140724888855724 140724888855724 140724888858567 0
[pid=6747/tid=6752] ppid=6726 vsize=663040 memory=27 CPUtime=32.83 cores=0-7
/proc/6747/task/6752/stat : 6752 (glucose-syrup) R 6726 6726 6504 0 -1 4202560 25662 0 0 0 3277 6 0 0 20 0 9 0 82025172 678952960 97910 33554432000 4194304 4373367 140724888847504 140514532748656 4271828 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 18055168 140724888855473 140724888855724 140724888855724 140724888858567 0
[pid=6747/tid=6753] ppid=6726 vsize=663040 memory=25 CPUtime=33.38 cores=0-7
/proc/6747/task/6753/stat : 6753 (glucose-syrup) R 6726 6726 6504 0 -1 4202560 26671 0 0 0 3332 6 0 0 20 0 9 0 82025172 678952960 97910 33554432000 4194304 4373367 140724888847504 140514524355728 4271875 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 18055168 140724888855473 140724888855724 140724888855724 140724888858567 0
[pid=6747/tid=6755] ppid=6726 vsize=663040 memory=60 CPUtime=33.29 cores=0-7
/proc/6747/task/6755/stat : 6755 (glucose-syrup) R 6726 6726 6504 0 -1 4202560 28027 0 0 0 3324 5 0 0 20 0 9 0 82025172 678952960 97910 33554432000 4194304 4373367 140724888847504 140514515963248 4271882 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 18055168 140724888855473 140724888855724 140724888855724 140724888858567 0
[pid=6747/tid=6756] ppid=6726 vsize=663040 memory=223948 CPUtime=33.25 cores=0-7
/proc/6747/task/6756/stat : 6756 (glucose-syrup) R 6726 6726 6504 0 -1 4202560 13458 0 0 0 3321 4 0 0 20 0 9 0 82025172 678952960 97910 33554432000 4194304 4373367 140724888847504 140514507570448 4293596 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 18055168 140724888855473 140724888855724 140724888855724 140724888858567 0
[pid=6747/tid=6757] ppid=6726 vsize=663040 memory=391620 CPUtime=33.3 cores=0-7
/proc/6747/task/6757/stat : 6757 (glucose-syrup) R 6726 6726 6504 0 -1 4202560 26253 0 0 0 3323 7 0 0 20 0 9 0 82025172 678952960 97910 33554432000 4194304 4373367 140724888847504 140514499177744 4271914 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 18055168 140724888855473 140724888855724 140724888855724 140724888858567 0
[pid=6747/tid=6758] ppid=6726 vsize=663040 memory=16104758104558012 CPUtime=33.25 cores=0-7
/proc/6747/task/6758/stat : 6758 (glucose-syrup) R 6726 6726 6504 0 -1 4202560 12268 0 0 0 3321 4 0 0 20 0 9 0 82025173 678952960 97910 33554432000 4194304 4373367 140724888847504 140514418486416 4272275 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 18055168 140724888855473 140724888855724 140724888855724 140724888858567 0
[pid=6747/tid=6759] ppid=6726 vsize=663040 memory=24164 CPUtime=33.33 cores=0-7
/proc/6747/task/6759/stat : 6759 (glucose-syrup) R 6726 6726 6504 0 -1 4202560 23345 0 0 0 3326 7 0 0 20 0 9 0 82025173 678952960 97910 33554432000 4194304 4373367 140724888847504 140514410093840 140514556379738 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 18055168 140724888855473 140724888855724 140724888855724 140724888858567 0
[pid=6726/tid=6728] ppid=6723 vsize=27982760 memory=1296 CPUtime=1.39 cores=0-7
/proc/6726/task/6728/stat : 6728 (java) S 6723 6726 6504 0 -1 1077944384 16837 0 0 0 133 6 0 0 20 0 24 0 82025033 28654346240 55987 33554432000 4194304 4196468 140735784153344 140025545952256 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6729] ppid=6723 vsize=27982760 memory=223948 CPUtime=0 cores=0-7
/proc/6726/task/6729/stat : 6729 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 82025036 28654346240 55987 33554432000 4194304 4196468 140735784153344 140025578355088 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6730] ppid=6723 vsize=27982760 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6730/stat : 6730 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 82025036 28654346240 55987 33554432000 4194304 4196468 140735784153344 140024996591888 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6731] ppid=6723 vsize=27982760 memory=280050256611104 CPUtime=0 cores=0-7
/proc/6726/task/6731/stat : 6731 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 82025036 28654346240 55987 33554432000 4194304 4196468 140735784153344 140024995539600 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6732] ppid=6723 vsize=27982760 memory=7451037823794177639 CPUtime=0 cores=0-7
/proc/6726/task/6732/stat : 6732 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 82025036 28654346240 55987 33554432000 4194304 4196468 140735784153344 140024994486800 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6733] ppid=6723 vsize=27982760 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/6726/task/6733/stat : 6733 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 82025036 28654346240 55987 33554432000 4194304 4196468 140735784153344 140024993434512 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6734] ppid=6723 vsize=27982760 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/6726/task/6734/stat : 6734 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 82025036 28654346240 55987 33554432000 4194304 4196468 140735784153344 140024992381712 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6735] ppid=6723 vsize=27982760 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/6726/task/6735/stat : 6735 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 82025036 28654346240 55987 33554432000 4194304 4196468 140735784153344 140024991329424 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6736] ppid=6723 vsize=27982760 memory=-7161131788332309537 CPUtime=0 cores=0-7
/proc/6726/task/6736/stat : 6736 (java) S 6723 6726 6504 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 82025036 28654346240 55987 33554432000 4194304 4196468 140735784153344 140024990276624 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6737] ppid=6723 vsize=27982760 memory=-7741295725737516405 CPUtime=0 cores=0-7
/proc/6726/task/6737/stat : 6737 (java) S 6723 6726 6504 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 82025037 28654346240 55987 33554432000 4194304 4196468 140735784153344 140023827425392 140025574124162 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6738] ppid=6723 vsize=27982760 memory=-8773164308154395822 CPUtime=0 cores=0-7
/proc/6726/task/6738/stat : 6738 (java) S 6723 6726 6504 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 82025038 28654346240 55987 33554432000 4194304 4196468 140735784153344 140023450034976 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6739] ppid=6723 vsize=27982760 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/6726/task/6739/stat : 6739 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 82025038 28654346240 55987 33554432000 4194304 4196468 140735784153344 140023181599856 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6740] ppid=6723 vsize=27982760 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/6726/task/6740/stat : 6740 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 82025040 28654346240 55987 33554432000 4194304 4196468 140735784153344 140022807091280 140025574131611 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6741] ppid=6723 vsize=27982760 memory=-6164818337185382545 CPUtime=0.24 cores=0-7
/proc/6726/task/6741/stat : 6741 (java) S 6723 6726 6504 0 -1 1077944384 722 0 0 0 24 0 0 0 20 0 24 0 82025040 28654346240 55987 33554432000 4194304 4196468 140735784153344 140023826373232 140025574124162 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6742] ppid=6723 vsize=27982760 memory=-7673670276925453504 CPUtime=0.27 cores=0-7
/proc/6726/task/6742/stat : 6742 (java) S 6723 6726 6504 0 -1 1077944384 1033 0 0 0 27 0 0 0 20 0 24 0 82025040 28654346240 55987 33554432000 4194304 4196468 140735784153344 140023825320432 140025574124162 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6743] ppid=6723 vsize=27982760 memory=12036 CPUtime=0.25 cores=0-7
/proc/6726/task/6743/stat : 6743 (java) S 6723 6726 6504 0 -1 1077944384 504 0 0 0 24 1 0 0 20 0 24 0 82025040 28654346240 55987 33554432000 4194304 4196468 140735784153344 140023824268144 140025574124162 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6744] ppid=6723 vsize=27982760 memory=0 CPUtime=0.6 cores=0-7
/proc/6726/task/6744/stat : 6744 (java) S 6723 6726 6504 0 -1 1077944384 1782 0 0 0 60 0 0 0 20 0 24 0 82025040 28654346240 55987 33554432000 4194304 4196468 140735784153344 140023823215344 140025574124162 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6745] ppid=6723 vsize=27982760 memory=0 CPUtime=0 cores=0-7
/proc/6726/task/6745/stat : 6745 (java) S 6723 6726 6504 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 82025041 28654346240 55987 33554432000 4194304 4196468 140735784153344 140022309185888 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6746] ppid=6723 vsize=27982760 memory=7739276948477997159 CPUtime=0.01 cores=0-7
/proc/6726/task/6746/stat : 6746 (java) S 6723 6726 6504 0 -1 1077944384 7 0 0 0 0 1 0 0 20 0 24 0 82025041 28654346240 55987 33554432000 4194304 4196468 140735784153344 140023822162224 140025574124162 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6748] ppid=6723 vsize=27982760 memory=7594869307556522853 CPUtime=0 cores=0-7
/proc/6726/task/6748/stat : 6748 (java) S 6723 6726 6504 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 82025172 28654346240 55987 33554432000 4194304 4196468 140735784153344 140025396442432 140025574137625 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6750] ppid=6723 vsize=27982760 memory=7306062783016687469 CPUtime=0 cores=0-7
/proc/6726/task/6750/stat : 6750 (java) S 6723 6726 6504 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 82025172 28654346240 55987 33554432000 4194304 4196468 140735784153344 140021638086448 140025574134941 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6754] ppid=6723 vsize=27982760 memory=7595137623021413221 CPUtime=0 cores=0-7
/proc/6726/task/6754/stat : 6754 (java) S 6723 6726 6504 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 82025172 28654346240 55987 33554432000 4194304 4196468 140735784153344 140021906521776 140025574134941 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6760] ppid=6723 vsize=27982760 memory=6226902016261122148 CPUtime=0 cores=0-7
/proc/6726/task/6760/stat : 6760 (java) S 6723 6726 6504 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 82025174 28654346240 55987 33554432000 4194304 4196468 140735784153344 140021369659168 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
Current children cumulated CPU time: 268.94 s
Current children cumulated vsize: 28645800 KiB
Current children cumulated memory: 615588 KiB

[startup+34.9019 s]
/proc/loadavg: 7.84 8.43 8.69 10/211 6760
/proc/meminfo: memFree=8415344/32770624 swapFree=67108860/67108860
[pid=6726] ppid=6723 vsize=27982760 memory=223952 CPUtime=2.84 cores=0-7
/proc/6726/stat : 6726 (java) S 6723 6726 6504 0 -1 1077944320 22294 0 0 0 273 11 0 0 20 0 24 0 82025033 28654346240 55988 33554432000 4194304 4196468 140735784153344 140735784135888 140025574113015 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
/proc/6726/statm: 6995690 55988 3216 1 0 6956546 0
[pid=6747] ppid=6726 vsize=663040 memory=391640 CPUtime=266.89 cores=0-7
/proc/6747/stat : 6747 (glucose-syrup) S 6726 6726 6504 0 -1 1077944320 182628 0 0 0 26640 49 0 0 20 0 9 0 82025171 678952960 97910 33554432000 4194304 4373367 140724888847504 140724888846048 140514556369538 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6470912 6472264 18055168 140724888855473 140724888855724 140724888855724 140724888858567 0
/proc/6747/statm: 165760 97910 384 44 0 161448 0
[pid=6747/tid=6751] ppid=6726 vsize=663040 memory=13828 CPUtime=33.48 cores=0-7
/proc/6747/task/6751/stat : 6751 (glucose-syrup) R 6726 6726 6504 0 -1 4202560 25652 0 0 0 3342 6 0 0 20 0 9 0 82025172 678952960 97910 33554432000 4194304 4373367 140724888847504 140514541141264 4272344 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 18055168 140724888855473 140724888855724 140724888855724 140724888858567 0
[pid=6747/tid=6752] ppid=6726 vsize=663040 memory=368488 CPUtime=32.93 cores=0-7
/proc/6747/task/6752/stat : 6752 (glucose-syrup) R 6726 6726 6504 0 -1 4202560 25662 0 0 0 3287 6 0 0 20 0 9 0 82025172 678952960 97910 33554432000 4194304 4373367 140724888847504 140514532748656 4292212 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 18055168 140724888855473 140724888855724 140724888855724 140724888858567 0
[pid=6747/tid=6753] ppid=6726 vsize=663040 memory=389216 CPUtime=33.48 cores=0-7
/proc/6747/task/6753/stat : 6753 (glucose-syrup) R 6726 6726 6504 0 -1 4202560 26673 0 0 0 3342 6 0 0 20 0 9 0 82025172 678952960 97910 33554432000 4194304 4373367 140724888847504 140514524355856 4272298 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 18055168 140724888855473 140724888855724 140724888855724 140724888858567 0
[pid=6747/tid=6755] ppid=6726 vsize=663040 memory=7100839878610749800 CPUtime=33.39 cores=0-7
/proc/6747/task/6755/stat : 6755 (glucose-syrup) R 6726 6726 6504 0 -1 4202560 28030 0 0 0 3334 5 0 0 20 0 9 0 82025172 678952960 97910 33554432000 4194304 4373367 140724888847504 140514515963024 4291632 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 18055168 140724888855473 140724888855724 140724888855724 140724888858567 0
[pid=6747/tid=6756] ppid=6726 vsize=663040 memory=1296 CPUtime=33.35 cores=0-7
/proc/6747/task/6756/stat : 6756 (glucose-syrup) R 6726 6726 6504 0 -1 4202560 13460 0 0 0 3331 4 0 0 20 0 9 0 82025172 678952960 97910 33554432000 4194304 4373367 140724888847504 140514507570544 4272000 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 18055168 140724888855473 140724888855724 140724888855724 140724888858567 0
[pid=6747/tid=6757] ppid=6726 vsize=663040 memory=2408 CPUtime=33.4 cores=0-7
/proc/6747/task/6757/stat : 6757 (glucose-syrup) R 6726 6726 6504 0 -1 4202560 26253 0 0 0 3333 7 0 0 20 0 9 0 82025172 678952960 97910 33554432000 4194304 4373367 140724888847504 140514499177616 4272002 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 18055168 140724888855473 140724888855724 140724888855724 140724888858567 0
[pid=6747/tid=6758] ppid=6726 vsize=663040 memory=55 CPUtime=33.36 cores=0-7
/proc/6747/task/6758/stat : 6758 (glucose-syrup) R 6726 6726 6504 0 -1 4202560 12491 0 0 0 3331 5 0 0 20 0 9 0 82025173 678952960 97910 33554432000 4194304 4373367 140724888847504 140514418486416 4272031 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 18055168 140724888855473 140724888855724 140724888855724 140724888858567 0
[pid=6747/tid=6759] ppid=6726 vsize=663040 memory=283 CPUtime=33.43 cores=0-7
/proc/6747/task/6759/stat : 6759 (glucose-syrup) R 6726 6726 6504 0 -1 4202560 23346 0 0 0 3336 7 0 0 20 0 9 0 82025173 678952960 97910 33554432000 4194304 4373367 140724888847504 140514410093936 4272272 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 18055168 140724888855473 140724888855724 140724888855724 140724888858567 0
[pid=6726/tid=6728] ppid=6723 vsize=27982760 memory=433484 CPUtime=1.39 cores=0-7
/proc/6726/task/6728/stat : 6728 (java) S 6723 6726 6504 0 -1 1077944384 16837 0 0 0 133 6 0 0 20 0 24 0 82025033 28654346240 55988 33554432000 4194304 4196468 140735784153344 140025545952256 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6729] ppid=6723 vsize=27982760 memory=360416 CPUtime=0 cores=0-7
/proc/6726/task/6729/stat : 6729 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 82025036 28654346240 55988 33554432000 4194304 4196468 140735784153344 140025578355088 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6730] ppid=6723 vsize=27982760 memory=389212 CPUtime=0 cores=0-7
/proc/6726/task/6730/stat : 6730 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 82025036 28654346240 55988 33554432000 4194304 4196468 140735784153344 140024996591888 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6731] ppid=6723 vsize=27982760 memory=222860 CPUtime=0 cores=0-7
/proc/6726/task/6731/stat : 6731 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 82025036 28654346240 55988 33554432000 4194304 4196468 140735784153344 140024995539600 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6732] ppid=6723 vsize=27982760 memory=223688 CPUtime=0 cores=0-7
/proc/6726/task/6732/stat : 6732 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 82025036 28654346240 55988 33554432000 4194304 4196468 140735784153344 140024994486800 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6733] ppid=6723 vsize=27982760 memory=367496 CPUtime=0 cores=0-7
/proc/6726/task/6733/stat : 6733 (java) S 6723 6726 6504 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 82025036 28654346240 55988 33554432000 4194304 4196468 140735784153344 140024993434512 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6734] ppid=6723 vsize=27982760 memory=58025008182462 CPUtime=0 cores=0-7
/proc/6726/task/6734/stat : 6734 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 82025036 28654346240 55988 33554432000 4194304 4196468 140735784153344 140024992381712 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6735] ppid=6723 vsize=27982760 memory=6224633749106813015 CPUtime=0 cores=0-7
/proc/6726/task/6735/stat : 6735 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 82025036 28654346240 55988 33554432000 4194304 4196468 140735784153344 140024991329424 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6736] ppid=6723 vsize=27982760 memory=7014751519650174311 CPUtime=0 cores=0-7
/proc/6726/task/6736/stat : 6736 (java) S 6723 6726 6504 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 82025036 28654346240 55988 33554432000 4194304 4196468 140735784153344 140024990276624 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6737] ppid=6723 vsize=27982760 memory=223948 CPUtime=0 cores=0-7
/proc/6726/task/6737/stat : 6737 (java) S 6723 6726 6504 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 82025037 28654346240 55988 33554432000 4194304 4196468 140735784153344 140023827425392 140025574124162 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6738] ppid=6723 vsize=27982760 memory=391620 CPUtime=0 cores=0-7
/proc/6726/task/6738/stat : 6738 (java) S 6723 6726 6504 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 82025038 28654346240 55988 33554432000 4194304 4196468 140735784153344 140023450034976 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6739] ppid=6723 vsize=27982760 memory=288287787869027979 CPUtime=0 cores=0-7
/proc/6726/task/6739/stat : 6739 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 82025038 28654346240 55988 33554432000 4194304 4196468 140735784153344 140023181599856 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6740] ppid=6723 vsize=27982760 memory=460232 CPUtime=0 cores=0-7
/proc/6726/task/6740/stat : 6740 (java) S 6723 6726 6504 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 82025040 28654346240 55988 33554432000 4194304 4196468 140735784153344 140022807091280 140025574131611 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6741] ppid=6723 vsize=27982760 memory=223948 CPUtime=0.24 cores=0-7
/proc/6726/task/6741/stat : 6741 (java) S 6723 6726 6504 0 -1 1077944384 722 0 0 0 24 0 0 0 20 0 24 0 82025040 28654346240 55988 33554432000 4194304 4196468 140735784153344 140023826373232 140025574124162 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6742] ppid=6723 vsize=27982760 memory=456136 CPUtime=0.27 cores=0-7
/proc/6726/task/6742/stat : 6742 (java) S 6723 6726 6504 0 -1 1077944384 1033 0 0 0 27 0 0 0 20 0 24 0 82025040 28654346240 55988 33554432000 4194304 4196468 140735784153344 140023825320432 140025574124162 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6743] ppid=6723 vsize=27982760 memory=8039887049847965348 CPUtime=0.25 cores=0-7
/proc/6726/task/6743/stat : 6743 (java) S 6723 6726 6504 0 -1 1077944384 504 0 0 0 24 1 0 0 20 0 24 0 82025040 28654346240 55988 33554432000 4194304 4196468 140735784153344 140023824268144 140025574124162 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6744] ppid=6723 vsize=27982760 memory=391620 CPUtime=0.6 cores=0-7
/proc/6726/task/6744/stat : 6744 (java) S 6723 6726 6504 0 -1 1077944384 1786 0 0 0 60 0 0 0 20 0 24 0 82025040 28654346240 55988 33554432000 4194304 4196468 140735784153344 140023823215344 140025574124162 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6745] ppid=6723 vsize=27982760 memory=15872 CPUtime=0 cores=0-7
/proc/6726/task/6745/stat : 6745 (java) S 6723 6726 6504 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 82025041 28654346240 55988 33554432000 4194304 4196468 140735784153344 140022309185888 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6746] ppid=6723 vsize=27982760 memory=391620 CPUtime=0.01 cores=0-7
/proc/6726/task/6746/stat : 6746 (java) S 6723 6726 6504 0 -1 1077944384 7 0 0 0 0 1 0 0 20 0 24 0 82025041 28654346240 55988 33554432000 4194304 4196468 140735784153344 140023822162224 140025574124162 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6748] ppid=6723 vsize=27982760 memory=644 CPUtime=0 cores=0-7
/proc/6726/task/6748/stat : 6748 (java) S 6723 6726 6504 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 82025172 28654346240 55988 33554432000 4194304 4196468 140735784153344 140025396442432 140025574137625 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6750] ppid=6723 vsize=27982760 memory=223948 CPUtime=0 cores=0-7
/proc/6726/task/6750/stat : 6750 (java) S 6723 6726 6504 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 82025172 28654346240 55988 33554432000 4194304 4196468 140735784153344 140021638086448 140025574134941 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6754] ppid=6723 vsize=27982760 memory=223948 CPUtime=0 cores=0-7
/proc/6726/task/6754/stat : 6754 (java) S 6723 6726 6504 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 82025172 28654346240 55988 33554432000 4194304 4196468 140735784153344 140021906521776 140025574134941 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
[pid=6726/tid=6760] ppid=6723 vsize=27982760 memory=454088 CPUtime=0 cores=0-7
/proc/6726/task/6760/stat : 6760 (java) S 6723 6726 6504 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 82025174 28654346240 55988 33554432000 4194304 4196468 140735784153344 140021369659168 140025574123221 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27578368 140735784162265 140735784162565 140735784162565 140735784165327 0
Current children cumulated CPU time: 269.73 s
Current children cumulated vsize: 28645800 KiB
Current children cumulated memory: 615592 KiB

Child status: 0
Real time (s): 34.9483
CPU time (s): 269.967
CPU user time (s): 269.335
CPU system time (s): 0.631518
CPU usage (%): 772.475
Max. virtual memory (cumulated for all children) (KiB): 28736844
Max. memory (cumulated for all children) (KiB): 684184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 269.335
system time used= 0.631518
maximum resident set size= 460236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205031
page faults= 0
swaps= 0
block input operations= 0
block output operations= 200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18624
involuntary context switches= 2710


# summary of solver processes directly reported to runsolver:
#   pid: 6726
#   total CPU time (s): 269.967
#   total CPU user time (s): 269.335
#   total CPU system time (s): 0.631518

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.316333 second user time and 0.497512 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-27 00:37:02
IDJOB=4297084
IDBENCH=141236
IDSOLVER=2758
FILE ID=node106/4297084-1532644622
RUNJOBID= node106-1532642096-6531
PBS_JOBID= 21022190
Free space on /tmp= 46168 MiB

SOLVER NAME= scop order+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/PseudoBoolean-dec/Pb-chnl10-11_c18.xml
COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -order -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297084-1532644622/watcher-4297084-1532644622 -o /tmp/evaluation-result-4297084-1532644622/solver-4297084-1532644622 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532642096-6531 --watchdog 2580  java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297084-1532644622.xml

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

MD5SUM BENCH= 0cb6e3dc45605db1284c892a60e68314
RANDOM SEED=497146686

node106.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:         9017512 kB
MemAvailable:   31926680 kB
Buffers:          243220 kB
Cached:         22565040 kB
SwapCached:            0 kB
Active:          2993264 kB
Inactive:       19873048 kB
Active(anon):      32480 kB
Inactive(anon):    53064 kB
Active(file):    2960784 kB
Inactive(file): 19819984 kB
Unevictable:        6944 kB
Mlocked:            6944 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8140 kB
Writeback:             0 kB
AnonPages:         64904 kB
Mapped:            41360 kB
Shmem:             25228 kB
Slab:             583488 kB
SReclaimable:     556860 kB
SUnreclaim:        26628 kB
KernelStack:        3152 kB
PageTables:         4852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 46160 MiB
End job on node106 at 2018-07-27 00:37:37