Trace number 4297016

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)SAT 6.41025 2.15386

General information on the benchmark

NameStripPacking/
StripPacking-C1P3_c18.xml
MD5SUM5b4e243b65627c7fc71624f53298a6f9
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark6.28846
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of constraints49
Number of domains15
Minimum domain size1
Maximum domain size20
Distribution of domain sizes[{"size":1,"count":6},{"size":2,"count":42},{"size":20,"count":32}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":16},{"degree":2,"count":32},{"degree":3,"count":32}]
Minimum constraint arity2
Maximum constraint arity64
Distribution of constraint arities[{"arity":2,"count":32},{"arity":3,"count":16},{"arity":64,"count":1}]
Number of extensional constraints16
Number of intensional constraints32
Distribution of constraint types[{"type":"extension","count":16},{"type":"intension","count":32},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data

0.66/0.52	
0.66/0.53	scop order+glucose-syrup (2018-07-07)
0.66/0.53	
0.66/0.55	c BEGIN-Prog: Thu Jul 26 20:56:50 CEST 2018
0.66/0.55	c PID: 7959
0.66/0.55	c IP: 172.20.3.138
0.66/0.55	c HOST: node138.alineos.net
0.66/0.56	c (0,0) Parsing Begin
1.38/0.96	c (0,0) Parsing End
1.38/0.96	c (0,0) CSP: 64 int (0 aux), 16 bool (0 aux), 49 ctr, max domain size 20
1.38/0.96	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.38/0.96	c (0,0) Constraint Name Generate Begin
1.38/0.97	c (0,0) Ctr:HOME/instance-4297016-1532631409.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.38/0.97	c (0,0) Constraint Name Generate End
1.38/0.97	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.38/0.97	c (0,0) CSP to CSPinCNF Begin
1.58/1.05	c (0,0) translated 5 (10%) constraints
1.58/1.05	c (0,0) translated 10 (20%) constraints
1.58/1.06	c (0,0) translated 15 (30%) constraints
1.58/1.06	c (0,0) translated 20 (40%) constraints
1.58/1.07	c (0,0) translated 25 (50%) constraints
1.58/1.07	c (0,0) translated 30 (60%) constraints
1.75/1.16	c (0,0) translated 35 (70%) constraints
1.75/1.19	c (0,0) translated 40 (80%) constraints
1.93/1.24	c (0,0) translated 45 (90%) constraints
1.93/1.28	c (0,0) translated 49 (100%) constraints
2.57/1.43	c (0,0) STATISTICS1:HOME/instance-4297016-1532631409.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,132,350,38,19,4,3,38:32;36:130;34:80;32:70;28:78;19:8;18:10;17:4;16:30;14:38;2:26;1:6,19:310;18:310;17:124;16:124;14:124;2:858;1:96,4:120;3:65;2:130;1:35,3:480;2:32;1:442;0:16,
2.57/1.43	c (0,0) ===========================================
2.57/1.43	c (0,0) Order
2.57/1.43	c (0,0) ===========================================
2.57/1.44	c (0,0) translated 35 (10%) constraints
2.57/1.45	c (0,0) translated 70 (20%) constraints
2.57/1.45	c (0,0) translated 105 (30%) constraints
2.57/1.45	c (0,0) translated 140 (40%) constraints
2.57/1.46	c (0,0) translated 175 (50%) constraints
2.57/1.46	c (0,0) translated 210 (60%) constraints
2.57/1.46	c (0,0) translated 245 (70%) constraints
2.57/1.47	c (0,0) translated 280 (80%) constraints
2.57/1.47	c (0,0) translated 315 (90%) constraints
2.57/1.48	c (0,0) translated 350 (100%) constraints
2.57/1.48	c (0,0) CSP to CSPinCNF End
2.57/1.48	c (0,0) CSP: 64 int (0 aux), 68 bool (52 aux), 350 ctr, max domain size 19
2.57/1.48	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.57/1.48	c (0,0) CSPinCNF Propagation Begin
2.87/1.53	c (1,0) 0 values, 13 unsatisfiable literals, and 9 valid clauses are removed
2.87/1.53	c (1,0) CSPinCNF Propagation End
2.87/1.54	c (1,0) CSP: 64 int (0 aux), 68 bool (52 aux), 341 ctr, max domain size 19
2.87/1.54	c (1,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.87/1.54	c (1,0) Simplify CSPinCNF Begin
2.87/1.59	c (1,1) Simplify CSPinCNF End
2.87/1.60	c (1,1) CSP: 64 int (0 aux), 548 bool (532 aux), 821 ctr, max domain size 19
2.87/1.60	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
2.87/1.60	c (1,1) Calculate Precise Domain Begin
3.20/1.60	c (1,1) 0 values are removed by re-calculation
3.20/1.60	c (1,1) Calculate Precise Domain End
3.20/1.60	c (1,1) CSP: 64 int (0 aux), 548 bool (532 aux), 821 ctr, max domain size 19
3.20/1.60	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.20/1.60	c (1,1) CSPinCNF to SatSolver Begin
3.20/1.64	c (1,1) 83 (10 %) CSP clauses are encoded (1100 SAT variables, 576 SAT clauses)
3.20/1.64	c (1,1) 165 (20 %) CSP clauses are encoded (1100 SAT variables, 658 SAT clauses)
3.20/1.66	c (1,1) 247 (30 %) CSP clauses are encoded (1100 SAT variables, 1122 SAT clauses)
3.20/1.69	c (1,1) 329 (40 %) CSP clauses are encoded (1100 SAT variables, 2654 SAT clauses)
3.57/1.71	c (1,1) 411 (50 %) CSP clauses are encoded (1100 SAT variables, 4361 SAT clauses)
3.57/1.72	c (1,1) 493 (60 %) CSP clauses are encoded (1100 SAT variables, 5730 SAT clauses)
3.57/1.74	c (1,1) 575 (70 %) CSP clauses are encoded (1100 SAT variables, 7195 SAT clauses)
3.57/1.75	c (1,1) 657 (80 %) CSP clauses are encoded (1100 SAT variables, 8692 SAT clauses)
3.57/1.76	c (1,1) 739 (90 %) CSP clauses are encoded (1100 SAT variables, 10538 SAT clauses)
3.57/1.77	c (1,1) 821 (100 %) CSP clauses are encoded (1100 SAT variables, 12404 SAT clauses)
3.57/1.78	c (1,1) CSPinCNF to SatSolver End
3.57/1.78	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.00/1.80	c (1,1) STATISTICS2:HOME/instance-4297016-1532631409.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,612,821,38,19,4,3,38:32;36:130;34:80;32:70;28:78;19:8;18:10;17:4;16:30;14:38;2:26,19:308;18:310;17:124;16:122;14:122;2:1818;1:90,4:120;3:52;2:623;1:26,3:480;2:26;1:1402,
4.00/1.80	c (1,1) SatSolver.solve Begin
4.00/1.80	c (1,1) 1100 bool, 12429 clause
4.00/1.80	c (1,1) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297016-1532631409.xml-scop-7959.cnf HOME/instance-4297016-1532631409.xml-scop-7959.cnf.out
6.27/2.11	c (1,0) c
6.27/2.11	c (1,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
6.27/2.11	c (1,0) c
6.27/2.11	c (1,0) c WARNING: for repeatability, setting FPU to use double precision
6.27/2.11	c (1,0) c 8 solvers engines and 1 companion as a blackboard created.
6.27/2.11	c (1,0) c ========================================[ Problem Statistics ]===========================================
6.27/2.11	c (1,0) c |                                                                                                       |
6.27/2.11	c (1,0) c |  Number of variables:          1100                                                                   |
6.27/2.11	c (1,0) c |  Number of clauses:           12429                                                                   |
6.27/2.11	c (1,0) c |  Parse time:                   0.00 s                                                                 |
6.27/2.11	c (1,0) c |                                                                                                       |
6.27/2.11	c (1,0) c |  Eliminated clauses:           0.01 Mb                                                                |
6.27/2.11	c (1,0) c |  Simplification time:          0.01 s                                                                 |
6.27/2.11	c (1,0) c |                                                                                                       |
6.27/2.11	c (1,0) c |  Generating clones                                                                                    |
6.27/2.11	c (1,0) c |  all clones generated. Memory =  33.02Mb.                                                             |
6.27/2.11	c (1,0) c ========================================================================================================|
6.27/2.11	c (1,0) c last restart ## conflicts  :  4295 83 
6.27/2.11	c (1,0) c Thread 4 is 100% pure glucose! First thread to finish! (SAT answer).
6.27/2.11	c (1,0) c Total Memory so far : 610.27Mb
6.27/2.11	c (1,0) c
6.27/2.11	c (1,0) c real time : 0.294911 s
6.27/2.11	c (1,0) c cpu time  : 1.75224 s
6.27/2.11	c (1,0) c
6.27/2.11	c (1,0) c
6.27/2.11	c (1,0) c
6.27/2.11	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
6.27/2.11	c (1,0) c
6.27/2.11	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.27/2.11	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
6.27/2.11	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.27/2.11	c (1,0) c | Conflicts     |           75901 |      10962 |       9294 |       9746 |      10322 |       9680 |       8698 |       7750 |       9449 |
6.27/2.11	c (1,0) c | Decisions     |          154717 |      24482 |      18354 |      19376 |      21392 |      19029 |      18215 |      15657 |      18212 |
6.27/2.11	c (1,0) c | Propagations  |         4312983 |     608689 |     525797 |     554357 |     592966 |     553952 |     494025 |     455310 |     527887 |
6.27/2.11	c (1,0) c | Avg_Trail     |                 |        541 |        550 |        551 |        534 |        555 |        565 |        535 |        547 |
6.27/2.11	c (1,0) c | Avg_DL        |                 |         36 |         36 |         37 |         35 |         35 |         37 |         37 |         35 |
6.27/2.11	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
6.27/2.11	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
6.27/2.11	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.27/2.11	c (1,0) c | Exported      |            9863 |       1490 |       1213 |       1273 |       1537 |       1335 |       1013 |        727 |       1275 |
6.27/2.11	c (1,0) c | Imported      |           56778 |       8271 |       8193 |       7686 |       8274 |        613 |       8338 |       8035 |       7368 |
6.27/2.11	c (1,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
6.27/2.11	c (1,0) c | Purge         |           56778 |       8271 |       8193 |       7686 |       8274 |        613 |       8338 |       8035 |       7368 |
6.27/2.11	c (1,0) c | Promoted      |             436 |         30 |         69 |         49 |         68 |          8 |         65 |         73 |         74 |
6.27/2.11	c (1,0) c | Remove_Imp    |             842 |          0 |          0 |          0 |          0 |          0 |          0 |        842 |          0 |
6.27/2.11	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
6.27/2.11	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.27/2.11	c (1,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
6.27/2.11	c (1,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
6.27/2.11	c (1,0) c | Glues         |                 |         10 |          7 |         10 |         11 |          9 |         13 |          9 |          8 |
6.27/2.11	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.27/2.11	c (1,0) c | Orig_Seen     |            63 % |       8683 |       7493 |       8013 |       8142 |       7759 |       7955 |       7343 |       7600 |
6.27/2.12	c (1,0) c | Diff Orig seen|                 |        924 | -      266 |        254 |        383 |      X     |        196 | -      416 | -      159 |
6.27/2.12	c (1,0) c | Hamming       |            30 % |        332 |        340 |        338 |        324 |      X     |        286 |        326 |        369 |
6.27/2.12	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
6.27/2.12	c (1,0) 
6.27/2.12	c (1,0) s SATISFIABLE
6.27/2.12	c (1,1) SatSolver.solve End
6.27/2.12	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.27/2.12	c (1,1) Show results Begin
6.27/2.13	c (1,1) h[0] = 14
6.27/2.13	c (1,1) h[1] = 5
6.27/2.13	c (1,1) h[2] = 2
6.27/2.13	c (1,1) h[3] = 7
6.27/2.13	c (1,1) h[4] = 5
6.27/2.13	c (1,1) h[5] = 5
6.27/2.13	c (1,1) h[6] = 7
6.27/2.13	c (1,1) h[7] = 5
6.27/2.13	c (1,1) h[8] = 6
6.27/2.13	c (1,1) h[9] = 3
6.27/2.13	c (1,1) h[10] = 6
6.27/2.13	c (1,1) h[11] = 6
6.27/2.13	c (1,1) h[12] = 3
6.27/2.13	c (1,1) h[13] = 10
6.27/2.13	c (1,1) h[14] = 3
6.27/2.13	c (1,1) h[15] = 3
6.27/2.13	c (1,1) r[0] = 0
6.27/2.13	c (1,1) r[1] = 1
6.27/2.13	c (1,1) r[2] = 0
6.27/2.13	c (1,1) r[3] = 0
6.27/2.13	c (1,1) r[4] = 0
6.27/2.13	c (1,1) r[5] = 0
6.27/2.13	c (1,1) r[6] = 0
6.27/2.13	c (1,1) r[7] = 0
6.27/2.13	c (1,1) r[8] = 1
6.27/2.13	c (1,1) r[9] = 1
6.27/2.13	c (1,1) r[10] = 1
6.27/2.13	c (1,1) r[11] = 0
6.27/2.13	c (1,1) r[12] = 0
6.27/2.13	c (1,1) r[13] = 1
6.27/2.13	c (1,1) r[14] = 0
6.27/2.13	c (1,1) r[15] = 0
6.27/2.13	c (1,1) w[0] = 4
6.27/2.13	c (1,1) w[1] = 2
6.27/2.13	c (1,1) w[2] = 2
6.27/2.13	c (1,1) w[3] = 9
6.27/2.13	c (1,1) w[4] = 5
6.27/2.13	c (1,1) w[5] = 2
6.27/2.13	c (1,1) w[6] = 7
6.27/2.13	c (1,1) w[7] = 3
6.27/2.13	c (1,1) w[8] = 5
6.27/2.14	c (1,1) w[9] = 2
6.27/2.14	c (1,1) w[10] = 2
6.27/2.14	c (1,1) w[11] = 4
6.27/2.14	c (1,1) w[12] = 6
6.27/2.14	c (1,1) w[13] = 3
6.27/2.14	c (1,1) w[14] = 6
6.27/2.14	c (1,1) w[15] = 10
6.27/2.14	c (1,1) x[0] = 16
6.27/2.14	c (1,1) x[1] = 14
6.27/2.14	c (1,1) x[2] = 3
6.27/2.14	c (1,1) x[3] = 3
6.27/2.14	c (1,1) x[4] = 0
6.27/2.14	c (1,1) x[5] = 12
6.27/2.14	c (1,1) x[6] = 5
6.27/2.14	c (1,1) x[7] = 0
6.27/2.14	c (1,1) x[8] = 5
6.27/2.14	c (1,1) x[9] = 18
6.27/2.14	c (1,1) x[10] = 3
6.27/2.14	c (1,1) x[11] = 12
6.27/2.14	c (1,1) x[12] = 10
6.27/2.14	c (1,1) x[13] = 0
6.27/2.14	c (1,1) x[14] = 12
6.27/2.14	c (1,1) x[15] = 10
6.27/2.14	c (1,1) y[0] = 3
6.27/2.14	c (1,1) y[1] = 6
6.27/2.14	c (1,1) y[2] = 13
6.27/2.14	c (1,1) y[3] = 6
6.27/2.14	c (1,1) y[4] = 15
6.27/2.14	c (1,1) y[5] = 6
6.27/2.14	c (1,1) y[6] = 13
6.27/2.14	c (1,1) y[7] = 10
6.27/2.14	c (1,1) y[8] = 0
6.27/2.14	c (1,1) y[9] = 17
6.27/2.14	c (1,1) y[10] = 0
6.27/2.14	c (1,1) y[11] = 11
6.27/2.14	c (1,1) y[12] = 3
6.27/2.14	c (1,1) y[13] = 0
6.27/2.14	c (1,1) y[14] = 17
6.27/2.14	c (1,1) y[15] = 0
6.27/2.14	s SATISFIABLE
6.27/2.14	v <instantiation>
6.27/2.14	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] w[0] w[1] w[2] w[3] w[4] w[5] w[6] w[7] w[8] w[9] w[10] w[11] w[12] w[13] w[14] w[15] h[0] h[1] h[2] h[3] h[4] h[5] h[6] h[7] h[8] h[9] h[10] h[11] h[12] h[13] h[14] h[15] r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] r[10] r[11] r[12] r[13] r[14] r[15]</list>
6.27/2.14	v     <values>16 14 3 3 0 12 5 0 5 18 3 12 10 0 12 10 3 6 13 6 15 6 13 10 0 17 0 11 3 0 17 0 4 2 2 9 5 2 7 3 5 2 2 4 6 3 6 10 14 5 2 7 5 5 7 5 6 3 6 6 3 10 3 3 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0</values>
6.27/2.14	v </instantiation>
6.27/2.14	c (1,1) Show results End
6.27/2.14	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
6.27/2.14	c (1,1) 0,0,0,1,1,1,1,1,1,STOP-AFTER(ALL)
6.27/2.14	c END-Prog: Thu Jul 26 20:56:52 CEST 2018

Verifier Data

OK	

Watcher Data

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297016-1532631409/watcher-4297016-1532631409 -o /tmp/evaluation-result-4297016-1532631409/solver-4297016-1532631409 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532623784-7062 --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-4297016-1532631409.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=7959, runsolver pid=7956

[startup+0.10011 s]*
/proc/loadavg: 8.82 8.81 8.71 2/198 7979
/proc/meminfo: memFree=17445804/32770624 swapFree=67108796/67108860
[pid=7959] ppid=7956 vsize=27312552 memory=108540 CPUtime=0.11 cores=0-7
/proc/7959/stat : 7959 (java) S 7956 7959 7035 0 -1 1077944320 6657 0 0 0 8 3 0 0 20 0 20 0 80704103 27968053248 27135 33554432000 4194304 4196468 140731246279456 140731246262000 139924606590711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
/proc/7959/statm: 6828138 27135 2746 1 0 6790598 0
[pid=7959/tid=7961] ppid=7956 vsize=27312552 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/7959/task/7961/stat : 7961 (java) R 7956 7959 7035 0 -1 4202560 4780 0 0 0 6 2 0 0 20 0 20 0 80704104 27968053248 27135 33554432000 4194304 4196468 140731246279456 139924578375776 139924590671198 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7962] ppid=7956 vsize=27312552 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/7959/task/7962/stat : 7962 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80704106 27968053248 27135 33554432000 4194304 4196468 140731246279456 139924610832656 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7963] ppid=7956 vsize=27312552 memory=140347088852608 CPUtime=0 cores=0-7
/proc/7959/task/7963/stat : 7963 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80704106 27968053248 27135 33554432000 4194304 4196468 140731246279456 139924424989072 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7964] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7964/stat : 7964 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80704106 27968053248 27135 33554432000 4194304 4196468 140731246279456 139924423936528 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7965] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7965/stat : 7965 (java) S 7956 7959 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80704106 27968053248 27135 33554432000 4194304 4196468 140731246279456 139924422883984 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7966] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7966/stat : 7966 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80704106 27968053248 27135 33554432000 4194304 4196468 140731246279456 139924421831440 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7967] ppid=7956 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/7959/task/7967/stat : 7967 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80704106 27968053248 27135 33554432000 4194304 4196468 140731246279456 139924420778896 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7968] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7968/stat : 7968 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80704106 27968053248 27135 33554432000 4194304 4196468 140731246279456 139924419726352 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7969] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7969/stat : 7969 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80704106 27968053248 27135 33554432000 4194304 4196468 140731246279456 139924418673808 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7970] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7970/stat : 7970 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80704108 27968053248 27135 33554432000 4194304 4196468 140731246279456 139923128518640 139924606601858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7971] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7971/stat : 7971 (java) S 7956 7959 7035 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80704108 27968053248 27135 33554432000 4194304 4196468 140731246279456 139922384085920 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7972] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7972/stat : 7972 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80704108 27968053248 27135 33554432000 4194304 4196468 140731246279456 139922115650544 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7973] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7973/stat : 7973 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80704111 27968053248 27135 33554432000 4194304 4196468 140731246279456 139921741142224 139924606609307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7974] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7974/stat : 7974 (java) S 7956 7959 7035 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 80704111 27968053248 27135 33554432000 4194304 4196468 140731246279456 139923127466480 139924606601858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7975] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7975/stat : 7975 (java) S 7956 7959 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80704111 27968053248 27135 33554432000 4194304 4196468 140731246279456 139923126413936 139924606601858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7976] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7976/stat : 7976 (java) S 7956 7959 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80704111 27968053248 27135 33554432000 4194304 4196468 140731246279456 139923125361392 139924606601858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7977] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7977/stat : 7977 (java) S 7956 7959 7035 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 20 0 80704111 27968053248 27135 33554432000 4194304 4196468 140731246279456 139923124308848 139924606601858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7978] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7978/stat : 7978 (java) S 7956 7959 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80704111 27968053248 27135 33554432000 4194304 4196468 140731246279456 139921243236576 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7979] ppid=7956 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/7959/task/7979/stat : 7979 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80704111 27968053248 27135 33554432000 4194304 4196468 140731246279456 139923055176112 139924606601858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 108540 KiB

[startup+0.210286 s]*
/proc/loadavg: 8.82 8.81 8.71 3/198 7979
/proc/meminfo: memFree=17429432/32770624 swapFree=67108796/67108860
[pid=7959] ppid=7956 vsize=27312552 memory=122912 CPUtime=0.24 cores=0-7
/proc/7959/stat : 7959 (java) S 7956 7959 7035 0 -1 1077944320 10569 0 0 0 20 4 0 0 20 0 20 0 80704103 27968053248 30728 33554432000 4194304 4196468 140731246279456 140731246262000 139924606590711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
/proc/7959/statm: 6828138 30728 2847 1 0 6790598 0
[pid=7959/tid=7961] ppid=7956 vsize=27312552 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/7959/task/7961/stat : 7961 (java) R 7956 7959 7035 0 -1 4202560 8456 0 0 0 16 3 0 0 20 0 20 0 80704104 27968053248 30728 33554432000 4194304 4196468 140731246279456 139924578389456 139924078722625 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7962] ppid=7956 vsize=27312552 memory=9272 CPUtime=0 cores=0-7
/proc/7959/task/7962/stat : 7962 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80704106 27968053248 30728 33554432000 4194304 4196468 140731246279456 139924610832656 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7963] ppid=7956 vsize=27312552 memory=140347088860733 CPUtime=0 cores=0-7
/proc/7959/task/7963/stat : 7963 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80704106 27968053248 30728 33554432000 4194304 4196468 140731246279456 139924424989072 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7964] ppid=7956 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/7959/task/7964/stat : 7964 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80704106 27968053248 30728 33554432000 4194304 4196468 140731246279456 139924423936528 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7965] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7965/stat : 7965 (java) S 7956 7959 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80704106 27968053248 30728 33554432000 4194304 4196468 140731246279456 139924422883984 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7966] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7966/stat : 7966 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80704106 27968053248 30728 33554432000 4194304 4196468 140731246279456 139924421831440 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7967] ppid=7956 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/7959/task/7967/stat : 7967 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80704106 27968053248 30728 33554432000 4194304 4196468 140731246279456 139924420778896 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7968] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7968/stat : 7968 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80704106 27968053248 30728 33554432000 4194304 4196468 140731246279456 139924419726352 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7969] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7969/stat : 7969 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80704106 27968053248 30728 33554432000 4194304 4196468 140731246279456 139924418673808 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7970] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7970/stat : 7970 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80704108 27968053248 30728 33554432000 4194304 4196468 140731246279456 139923128518640 139924606601858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7971] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7971/stat : 7971 (java) S 7956 7959 7035 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80704108 27968053248 30728 33554432000 4194304 4196468 140731246279456 139922384085920 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7972] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7972/stat : 7972 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80704108 27968053248 30728 33554432000 4194304 4196468 140731246279456 139922115650544 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7973] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7973/stat : 7973 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80704111 27968053248 30728 33554432000 4194304 4196468 140731246279456 139921741142224 139924606609307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7974] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7974/stat : 7974 (java) S 7956 7959 7035 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 80704111 27968053248 30728 33554432000 4194304 4196468 140731246279456 139923127466480 139924606601858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7975] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7975/stat : 7975 (java) S 7956 7959 7035 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 80704111 27968053248 30728 33554432000 4194304 4196468 140731246279456 139923126413936 139924606601858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7976] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7976/stat : 7976 (java) S 7956 7959 7035 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 80704111 27968053248 30728 33554432000 4194304 4196468 140731246279456 139923125361392 139924606601858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7977] ppid=7956 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/7959/task/7977/stat : 7977 (java) S 7956 7959 7035 0 -1 1077944384 299 0 0 0 2 0 0 0 20 0 20 0 80704111 27968053248 30728 33554432000 4194304 4196468 140731246279456 139923124308848 139924606601858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7978] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7978/stat : 7978 (java) S 7956 7959 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80704111 27968053248 30728 33554432000 4194304 4196468 140731246279456 139921243236576 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7979] ppid=7956 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/7959/task/7979/stat : 7979 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80704111 27968053248 30728 33554432000 4194304 4196468 140731246279456 139923055176112 139924606601858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 122912 KiB

[startup+0.310153 s]*
/proc/loadavg: 8.82 8.81 8.71 2/198 7979
/proc/meminfo: memFree=17425400/32770624 swapFree=67108796/67108860
[pid=7959] ppid=7956 vsize=27312552 memory=127324 CPUtime=0.42 cores=0-7
/proc/7959/stat : 7959 (java) S 7956 7959 7035 0 -1 1077944320 11198 0 0 0 37 5 0 0 20 0 20 0 80704103 27968053248 31831 33554432000 4194304 4196468 140731246279456 140731246262000 139924606590711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
/proc/7959/statm: 6828138 31831 2972 1 0 6790598 0
[pid=7959/tid=7961] ppid=7956 vsize=27312552 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/7959/task/7961/stat : 7961 (java) R 7956 7959 7035 0 -1 4202560 8888 0 0 0 26 3 0 0 20 0 20 0 80704104 27968053248 31831 33554432000 4194304 4196468 140731246279456 139924578394864 139924589777545 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7962] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7962/stat : 7962 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80704106 27968053248 31831 33554432000 4194304 4196468 140731246279456 139924610832656 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7963] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7963/stat : 7963 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80704106 27968053248 31831 33554432000 4194304 4196468 140731246279456 139924424989072 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7964] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7964/stat : 7964 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80704106 27968053248 31831 33554432000 4194304 4196468 140731246279456 139924423936528 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7965] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7965/stat : 7965 (java) S 7956 7959 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80704106 27968053248 31831 33554432000 4194304 4196468 140731246279456 139924422883984 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7966] ppid=7956 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/7959/task/7966/stat : 7966 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80704106 27968053248 31831 33554432000 4194304 4196468 140731246279456 139924421831440 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7967] ppid=7956 vsize=27312552 memory=140346981970863 CPUtime=0 cores=0-7
/proc/7959/task/7967/stat : 7967 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80704106 27968053248 31831 33554432000 4194304 4196468 140731246279456 139924420778896 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7968] ppid=7956 vsize=27312552 memory=140346981973168 CPUtime=0 cores=0-7
/proc/7959/task/7968/stat : 7968 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80704106 27968053248 31831 33554432000 4194304 4196468 140731246279456 139924419726352 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7969] ppid=7956 vsize=27312552 memory=140346981975472 CPUtime=0 cores=0-7
/proc/7959/task/7969/stat : 7969 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80704106 27968053248 31831 33554432000 4194304 4196468 140731246279456 139924418673808 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7970] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7970/stat : 7970 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80704108 27968053248 31831 33554432000 4194304 4196468 140731246279456 139923128518640 139924606601858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7971] ppid=7956 vsize=27312552 memory=280693963957904 CPUtime=0 cores=0-7
/proc/7959/task/7971/stat : 7971 (java) S 7956 7959 7035 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80704108 27968053248 31831 33554432000 4194304 4196468 140731246279456 139922384085920 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7972] ppid=7956 vsize=27312552 memory=280693963964816 CPUtime=0 cores=0-7
/proc/7959/task/7972/stat : 7972 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80704108 27968053248 31831 33554432000 4194304 4196468 140731246279456 139922115650544 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7973] ppid=7956 vsize=27312552 memory=280693963906096 CPUtime=0 cores=0-7
/proc/7959/task/7973/stat : 7973 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80704111 27968053248 31831 33554432000 4194304 4196468 140731246279456 139921741142224 139924606609307 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7974] ppid=7956 vsize=27312552 memory=280693963978640 CPUtime=0.01 cores=0-7
/proc/7959/task/7974/stat : 7974 (java) S 7956 7959 7035 0 -1 1077944384 353 0 0 0 1 0 0 0 20 0 20 0 80704111 27968053248 31831 33554432000 4194304 4196468 140731246279456 139923127466480 139924606601858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7975] ppid=7956 vsize=27312552 memory=280693963985552 CPUtime=0 cores=0-7
/proc/7959/task/7975/stat : 7975 (java) S 7956 7959 7035 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 80704111 27968053248 31831 33554432000 4194304 4196468 140731246279456 139923126413936 139924606601858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7976] ppid=7956 vsize=27312552 memory=280693963983248 CPUtime=0.01 cores=0-7
/proc/7959/task/7976/stat : 7976 (java) S 7956 7959 7035 0 -1 1077944384 215 0 0 0 1 0 0 0 20 0 20 0 80704111 27968053248 31831 33554432000 4194304 4196468 140731246279456 139923125361392 139924606601858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7977] ppid=7956 vsize=27312552 memory=280693963999856 CPUtime=0.07 cores=0-7
/proc/7959/task/7977/stat : 7977 (java) S 7956 7959 7035 0 -1 1077944384 347 0 0 0 7 0 0 0 20 0 20 0 80704111 27968053248 31831 33554432000 4194304 4196468 140731246279456 139923124308848 139924606601858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7978] ppid=7956 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7978/stat : 7978 (java) S 7956 7959 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80704111 27968053248 31831 33554432000 4194304 4196468 140731246279456 139921243236576 139924606600917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7979] ppid=7956 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/7959/task/7979/stat : 7979 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80704111 27968053248 31831 33554432000 4194304 4196468 140731246279456 139923055176112 139924606601858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127324 KiB

[startup+0.700889 s]
/proc/loadavg: 8.19 8.68 8.67 2/198 7979
/proc/meminfo: memFree=17401092/32770624 swapFree=67108796/67108860
[pid=7959] ppid=7956 vsize=27320948 memory=165448 CPUtime=1 cores=0-7
/proc/7959/stat : 7959 (java) S 7956 7959 7035 0 -1 1077944320 18455 0 0 0 94 6 0 0 20 0 20 0 80704103 27976650752 41362 33554432000 4194304 4196468 140731246279456 140731246262000 139924606590711 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
/proc/7959/statm: 6830237 41362 3137 1 0 6791622 0
[pid=7959/tid=7961] ppid=7956 vsize=27320948 memory=0 CPUtime=0.67 cores=0-7
/proc/7959/task/7961/stat : 7961 (java) R 7956 7959 7035 0 -1 4202560 15655 0 0 0 63 4 0 0 20 0 20 0 80704104 27976650752 41362 33554432000 4194304 4196468 140731246279456 139924578424208 139924606612058 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7962] ppid=7956 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7962/stat : 7962 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80704106 27976650752 41362 33554432000 4194304 4196468 140731246279456 139924610832656 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7963] ppid=7956 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7963/stat : 7963 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80704106 27976650752 41362 33554432000 4194304 4196468 140731246279456 139924424989072 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7964] ppid=7956 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7964/stat : 7964 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80704106 27976650752 41362 33554432000 4194304 4196468 140731246279456 139924423936528 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7965] ppid=7956 vsize=27320948 memory=1284 CPUtime=0 cores=0-7
/proc/7959/task/7965/stat : 7965 (java) S 7956 7959 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80704106 27976650752 41362 33554432000 4194304 4196468 140731246279456 139924422883984 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7966] ppid=7956 vsize=27320948 memory=1088 CPUtime=0 cores=0-7
/proc/7959/task/7966/stat : 7966 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80704106 27976650752 41362 33554432000 4194304 4196468 140731246279456 139924421831440 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7967] ppid=7956 vsize=27320948 memory=1800 CPUtime=0 cores=0-7
/proc/7959/task/7967/stat : 7967 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80704106 27976650752 41362 33554432000 4194304 4196468 140731246279456 139924420778896 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7968] ppid=7956 vsize=27320948 memory=7024 CPUtime=0 cores=0-7
/proc/7959/task/7968/stat : 7968 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80704106 27976650752 41362 33554432000 4194304 4196468 140731246279456 139924419726352 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7969] ppid=7956 vsize=27320948 memory=15044 CPUtime=0 cores=0-7
/proc/7959/task/7969/stat : 7969 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80704106 27976650752 41362 33554432000 4194304 4196468 140731246279456 139924418673808 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7970] ppid=7956 vsize=27320948 memory=18628 CPUtime=0 cores=0-7
/proc/7959/task/7970/stat : 7970 (java) S 7956 7959 7035 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 80704108 27976650752 41362 33554432000 4194304 4196468 140731246279456 139923128518640 139924606601858 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0

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

[pid=7959/tid=7977] ppid=7956 vsize=27325044 memory=0 CPUtime=0.76 cores=0-7
/proc/7959/task/7977/stat : 7977 (java) R 7956 7959 7035 0 -1 4202560 2750 0 0 0 75 1 0 0 20 0 20 0 80704111 27980845056 55762 33554432000 4194304 4196468 140731246279456 139923124308848 139924606612058 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7978] ppid=7956 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7978/stat : 7978 (java) S 7956 7959 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80704111 27980845056 55762 33554432000 4194304 4196468 140731246279456 139921243236576 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7979] ppid=7956 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7979/stat : 7979 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80704111 27980845056 55762 33554432000 4194304 4196468 140731246279456 139923055176112 139924606601858 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
Current children cumulated CPU time: 3.2 s
Current children cumulated vsize: 27325044 KiB
Current children cumulated memory: 223048 KiB

[startup+2.00076 s]*
/proc/loadavg: 8.19 8.68 8.67 10/211 7993
/proc/meminfo: memFree=17241824/32770624 swapFree=67108796/67108860
[pid=7959] ppid=7956 vsize=27984808 memory=285456 CPUtime=4.53 cores=0-7
/proc/7959/stat : 7959 (java) S 7956 7959 7035 0 -1 1077944320 25958 0 0 0 440 13 0 0 20 0 24 0 80704103 28656443392 71364 33554432000 4194304 4196468 140731246279456 140731246262000 139924606590711 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
/proc/7959/statm: 6996202 71364 3223 1 0 6957058 0
[pid=7980] ppid=7959 vsize=624912 memory=29664 CPUtime=0.93 cores=0-7
/proc/7980/stat : 7980 (glucose-syrup) S 7959 7959 7035 0 -1 1077944320 6700 0 0 0 91 2 0 0 20 0 9 0 80704285 639909888 7416 33554432000 4194304 4373367 140723287990224 140723287988768 140338257574530 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6470912 6472264 28884992 140723287991217 140723287991468 140723287991468 140723287994311 0
/proc/7980/statm: 156228 7416 381 44 0 151916 0
[pid=7980/tid=7986] ppid=7959 vsize=624912 memory=0 CPUtime=0.14 cores=0-7
/proc/7980/task/7986/stat : 7986 (glucose-syrup) R 7959 7959 7035 0 -1 4202560 604 0 0 0 14 0 0 0 20 0 9 0 80704288 639909888 7416 33554432000 4194304 4373367 140723287990224 140338242346184 140338257584730 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 28884992 140723287991217 140723287991468 140723287991468 140723287994311 0
[pid=7980/tid=7987] ppid=7959 vsize=624912 memory=0 CPUtime=0.11 cores=0-7
/proc/7980/task/7987/stat : 7987 (glucose-syrup) R 7959 7959 7035 0 -1 4202560 569 0 0 0 11 0 0 0 20 0 9 0 80704288 639909888 7416 33554432000 4194304 4373367 140723287990224 140338233953424 4296037 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 28884992 140723287991217 140723287991468 140723287991468 140723287994311 0
[pid=7980/tid=7988] ppid=7959 vsize=624912 memory=140347088852608 CPUtime=0.11 cores=0-7
/proc/7980/task/7988/stat : 7988 (glucose-syrup) R 7959 7959 7035 0 -1 4202560 581 0 0 0 11 0 0 0 20 0 9 0 80704288 639909888 7416 33554432000 4194304 4373367 140723287990224 140338225560720 4296037 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 28884992 140723287991217 140723287991468 140723287991468 140723287994311 0
[pid=7980/tid=7989] ppid=7959 vsize=624912 memory=-2245088631185882904 CPUtime=0.12 cores=0-7
/proc/7980/task/7989/stat : 7989 (glucose-syrup) R 7959 7959 7035 0 -1 4202560 596 0 0 0 12 0 0 0 20 0 9 0 80704288 639909888 7416 33554432000 4194304 4373367 140723287990224 140338217168144 140338257584730 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 28884992 140723287991217 140723287991468 140723287991468 140723287994311 0
[pid=7980/tid=7990] ppid=7959 vsize=624912 memory=0 CPUtime=0.11 cores=0-7
/proc/7980/task/7990/stat : 7990 (glucose-syrup) R 7959 7959 7035 0 -1 4202560 570 0 0 0 11 0 0 0 20 0 9 0 80704288 639909888 7416 33554432000 4194304 4373367 140723287990224 140338208775312 4258858 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 28884992 140723287991217 140723287991468 140723287991468 140723287994311 0
[pid=7980/tid=7991] ppid=7959 vsize=624912 memory=0 CPUtime=0.09 cores=0-7
/proc/7980/task/7991/stat : 7991 (glucose-syrup) R 7959 7959 7035 0 -1 4202560 578 0 0 0 9 0 0 0 20 0 9 0 80704288 639909888 7416 33554432000 4194304 4373367 140723287990224 140338200382736 4234543 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 28884992 140723287991217 140723287991468 140723287991468 140723287994311 0
[pid=7980/tid=7992] ppid=7959 vsize=624912 memory=0 CPUtime=0.07 cores=0-7
/proc/7980/task/7992/stat : 7992 (glucose-syrup) R 7959 7959 7035 0 -1 4202560 526 0 0 0 7 0 0 0 20 0 9 0 80704288 639909888 7416 33554432000 4194304 4373367 140723287990224 140338191990032 4296037 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 28884992 140723287991217 140723287991468 140723287991468 140723287994311 0
[pid=7980/tid=7993] ppid=7959 vsize=624912 memory=0 CPUtime=0.1 cores=0-7
/proc/7980/task/7993/stat : 7993 (glucose-syrup) R 7959 7959 7035 0 -1 4202560 558 0 0 0 10 0 0 0 20 0 9 0 80704288 639909888 7416 33554432000 4194304 4373367 140723287990224 140338183597256 4296037 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 28884992 140723287991217 140723287991468 140723287991468 140723287994311 0
[pid=7959/tid=7961] ppid=7956 vsize=27984808 memory=-3622645143214314312 CPUtime=1.83 cores=0-7
/proc/7959/task/7961/stat : 7961 (java) S 7956 7959 7035 0 -1 1077944384 17736 0 0 0 175 8 0 0 20 0 24 0 80704104 28656443392 71364 33554432000 4194304 4196468 140731246279456 139924578429952 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7962] ppid=7956 vsize=27984808 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/7959/task/7962/stat : 7962 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80704106 28656443392 71364 33554432000 4194304 4196468 140731246279456 139924610832656 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7963] ppid=7956 vsize=27984808 memory=-1 CPUtime=0 cores=0-7
/proc/7959/task/7963/stat : 7963 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80704106 28656443392 71364 33554432000 4194304 4196468 140731246279456 139924424989072 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7964] ppid=7956 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7964/stat : 7964 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80704106 28656443392 71364 33554432000 4194304 4196468 140731246279456 139924423936528 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7965] ppid=7956 vsize=27984808 memory=3691042058319900680 CPUtime=0 cores=0-7
/proc/7959/task/7965/stat : 7965 (java) S 7956 7959 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80704106 28656443392 71364 33554432000 4194304 4196468 140731246279456 139924422883984 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7966] ppid=7956 vsize=27984808 memory=7019467087940106550 CPUtime=0 cores=0-7
/proc/7959/task/7966/stat : 7966 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80704106 28656443392 71364 33554432000 4194304 4196468 140731246279456 139924421831440 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7967] ppid=7956 vsize=27984808 memory=7019467087956883767 CPUtime=0 cores=0-7
/proc/7959/task/7967/stat : 7967 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80704106 28656443392 71364 33554432000 4194304 4196468 140731246279456 139924420778896 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7968] ppid=7956 vsize=27984808 memory=7019467087973660983 CPUtime=0 cores=0-7
/proc/7959/task/7968/stat : 7968 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80704106 28656443392 71364 33554432000 4194304 4196468 140731246279456 139924419726352 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7969] ppid=7956 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7969/stat : 7969 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80704106 28656443392 71364 33554432000 4194304 4196468 140731246279456 139924418673808 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7970] ppid=7956 vsize=27984808 memory=280693964446528 CPUtime=0 cores=0-7
/proc/7959/task/7970/stat : 7970 (java) S 7956 7959 7035 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 80704108 28656443392 71364 33554432000 4194304 4196468 140731246279456 139923128518640 139924606601858 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7971] ppid=7956 vsize=27984808 memory=17562830 CPUtime=0 cores=0-7
/proc/7959/task/7971/stat : 7971 (java) S 7956 7959 7035 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 80704108 28656443392 71364 33554432000 4194304 4196468 140731246279456 139922384085920 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7972] ppid=7956 vsize=27984808 memory=4639365550426838118 CPUtime=0 cores=0-7
/proc/7959/task/7972/stat : 7972 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80704108 28656443392 71364 33554432000 4194304 4196468 140731246279456 139922115650544 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7973] ppid=7956 vsize=27984808 memory=7380106142448642923 CPUtime=0 cores=0-7
/proc/7959/task/7973/stat : 7973 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80704111 28656443392 71364 33554432000 4194304 4196468 140731246279456 139921741142224 139924606609307 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7974] ppid=7956 vsize=27984808 memory=4628973187041168758 CPUtime=0.52 cores=0-7
/proc/7959/task/7974/stat : 7974 (java) S 7956 7959 7035 0 -1 1077944384 1205 0 0 0 51 1 0 0 20 0 24 0 80704111 28656443392 71364 33554432000 4194304 4196468 140731246279456 139923127466480 139924606601858 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7975] ppid=7956 vsize=27984808 memory=-7385037593950845031 CPUtime=0.63 cores=0-7
/proc/7959/task/7975/stat : 7975 (java) S 7956 7959 7035 0 -1 1077944384 879 0 0 0 63 0 0 0 20 0 24 0 80704111 28656443392 71364 33554432000 4194304 4196468 140731246279456 139923126413936 139924606601858 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7976] ppid=7956 vsize=27984808 memory=-9001733975035308135 CPUtime=0.61 cores=0-7
/proc/7959/task/7976/stat : 7976 (java) S 7956 7959 7035 0 -1 1077944384 1715 0 0 0 60 1 0 0 20 0 24 0 80704111 28656443392 71364 33554432000 4194304 4196468 140731246279456 139923125361392 139924606601858 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7977] ppid=7956 vsize=27984808 memory=3472328296227680304 CPUtime=0.89 cores=0-7
/proc/7959/task/7977/stat : 7977 (java) S 7956 7959 7035 0 -1 1077944384 3019 0 0 0 88 1 0 0 20 0 24 0 80704111 28656443392 71364 33554432000 4194304 4196468 140731246279456 139923124308848 139924606601858 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7978] ppid=7956 vsize=27984808 memory=3472328296227418159 CPUtime=0 cores=0-7
/proc/7959/task/7978/stat : 7978 (java) S 7956 7959 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80704111 28656443392 71364 33554432000 4194304 4196468 140731246279456 139921243236576 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7979] ppid=7956 vsize=27984808 memory=3472328296227680299 CPUtime=0 cores=0-7
/proc/7959/task/7979/stat : 7979 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80704111 28656443392 71364 33554432000 4194304 4196468 140731246279456 139923055176112 139924606601858 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7981] ppid=7956 vsize=27984808 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/7959/task/7981/stat : 7981 (java) S 7956 7959 7035 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 80704286 28656443392 71364 33554432000 4194304 4196468 140731246279456 139923257169088 139924606615321 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7983] ppid=7956 vsize=27984808 memory=-6947175582703693095 CPUtime=0 cores=0-7
/proc/7959/task/7983/stat : 7983 (java) S 7956 7959 7035 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 80704286 28656443392 71364 33554432000 4194304 4196468 140731246279456 139920572137136 139924606612637 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7984] ppid=7956 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7984/stat : 7984 (java) S 7956 7959 7035 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 80704286 28656443392 71364 33554432000 4194304 4196468 140731246279456 139920840572720 139924606612637 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7985] ppid=7956 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7985/stat : 7985 (java) S 7956 7959 7035 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 80704288 28656443392 71364 33554432000 4194304 4196468 140731246279456 139920303709856 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
Current children cumulated CPU time: 5.46 s
Current children cumulated vsize: 28609720 KiB
Current children cumulated memory: 315120 KiB

[startup+2.1115 s]
/proc/loadavg: 8.19 8.68 8.67 10/211 7993
/proc/meminfo: memFree=17241824/32770624 swapFree=67108796/67108860
[pid=7959] ppid=7956 vsize=27984808 memory=285456 CPUtime=4.53 cores=0-7
/proc/7959/stat : 7959 (java) S 7956 7959 7035 0 -1 1077944320 25958 0 0 0 440 13 0 0 20 0 24 0 80704103 28656443392 71364 33554432000 4194304 4196468 140731246279456 140731246262000 139924606590711 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
/proc/7959/statm: 6996202 71364 3223 1 0 6957058 0
[pid=7980] ppid=7959 vsize=624912 memory=39592 CPUtime=1.74 cores=0-7
/proc/7980/stat : 7980 (glucose-syrup) S 7959 7959 7035 0 -1 1077944320 9396 0 0 0 171 3 0 0 20 0 9 0 80704285 639909888 9898 33554432000 4194304 4373367 140723287990224 140723287988768 140338257574530 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6470912 6472264 28884992 140723287991217 140723287991468 140723287991468 140723287994311 0
/proc/7980/statm: 156228 9898 381 44 0 151916 0
[pid=7980/tid=7986] ppid=7959 vsize=624912 memory=0 CPUtime=0.24 cores=0-7
/proc/7980/task/7986/stat : 7986 (glucose-syrup) R 7959 7959 7035 0 -1 4202560 662 0 0 0 24 0 0 0 20 0 9 0 80704288 639909888 9898 33554432000 4194304 4373367 140723287990224 140338242346256 4272305 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 28884992 140723287991217 140723287991468 140723287991468 140723287994311 0
[pid=7980/tid=7987] ppid=7959 vsize=624912 memory=0 CPUtime=0.21 cores=0-7
/proc/7980/task/7987/stat : 7987 (glucose-syrup) R 7959 7959 7035 0 -1 4202560 1051 0 0 0 21 0 0 0 20 0 9 0 80704288 639909888 9898 33554432000 4194304 4373367 140723287990224 140338233953552 140338257584730 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 28884992 140723287991217 140723287991468 140723287991468 140723287994311 0
[pid=7980/tid=7988] ppid=7959 vsize=624912 memory=0 CPUtime=0.21 cores=0-7
/proc/7980/task/7988/stat : 7988 (glucose-syrup) R 7959 7959 7035 0 -1 4202560 1020 0 0 0 21 0 0 0 20 0 9 0 80704288 639909888 9898 33554432000 4194304 4373367 140723287990224 140338225560720 4271904 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 28884992 140723287991217 140723287991468 140723287991468 140723287994311 0
[pid=7980/tid=7989] ppid=7959 vsize=624912 memory=0 CPUtime=0.22 cores=0-7
/proc/7980/task/7989/stat : 7989 (glucose-syrup) R 7959 7959 7035 0 -1 4202560 794 0 0 0 22 0 0 0 20 0 9 0 80704288 639909888 9898 33554432000 4194304 4373367 140723287990224 140338217168144 140338257584730 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 28884992 140723287991217 140723287991468 140723287991468 140723287994311 0
[pid=7980/tid=7990] ppid=7959 vsize=624912 memory=0 CPUtime=0.21 cores=0-7
/proc/7980/task/7990/stat : 7990 (glucose-syrup) R 7959 7959 7035 0 -1 4202560 785 0 0 0 21 0 0 0 20 0 9 0 80704288 639909888 9898 33554432000 4194304 4373367 140723287990224 140338208775536 4272344 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 28884992 140723287991217 140723287991468 140723287991468 140723287994311 0
[pid=7980/tid=7991] ppid=7959 vsize=624912 memory=0 CPUtime=0.19 cores=0-7
/proc/7980/task/7991/stat : 7991 (glucose-syrup) R 7959 7959 7035 0 -1 4202560 973 0 0 0 19 0 0 0 20 0 9 0 80704288 639909888 9898 33554432000 4194304 4373367 140723287990224 140338200382736 4257744 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 28884992 140723287991217 140723287991468 140723287991468 140723287994311 0
[pid=7980/tid=7992] ppid=7959 vsize=624912 memory=205680 CPUtime=0.17 cores=0-7
/proc/7980/task/7992/stat : 7992 (glucose-syrup) R 7959 7959 7035 0 -1 4202560 987 0 0 0 17 0 0 0 20 0 9 0 80704288 639909888 9898 33554432000 4194304 4373367 140723287990224 140338191989904 4272031 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 28884992 140723287991217 140723287991468 140723287991468 140723287994311 0
[pid=7980/tid=7993] ppid=7959 vsize=624912 memory=280693964145360 CPUtime=0.2 cores=0-7
/proc/7980/task/7993/stat : 7993 (glucose-syrup) R 7959 7959 7035 0 -1 4202560 992 0 0 0 20 0 0 0 20 0 9 0 80704288 639909888 9898 33554432000 4194304 4373367 140723287990224 140338183597200 4295977 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 28884992 140723287991217 140723287991468 140723287991468 140723287994311 0
[pid=7959/tid=7961] ppid=7956 vsize=27984808 memory=6656426216303648864 CPUtime=1.83 cores=0-7
/proc/7959/task/7961/stat : 7961 (java) S 7956 7959 7035 0 -1 1077944384 17736 0 0 0 175 8 0 0 20 0 24 0 80704104 28656443392 71364 33554432000 4194304 4196468 140731246279456 139924578429952 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7962] ppid=7956 vsize=27984808 memory=280693964116672 CPUtime=0 cores=0-7
/proc/7959/task/7962/stat : 7962 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80704106 28656443392 71364 33554432000 4194304 4196468 140731246279456 139924610832656 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7963] ppid=7956 vsize=27984808 memory=280693964116864 CPUtime=0 cores=0-7
/proc/7959/task/7963/stat : 7963 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80704106 28656443392 71364 33554432000 4194304 4196468 140731246279456 139924424989072 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7964] ppid=7956 vsize=27984808 memory=280693964117056 CPUtime=0 cores=0-7
/proc/7959/task/7964/stat : 7964 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80704106 28656443392 71364 33554432000 4194304 4196468 140731246279456 139924423936528 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7965] ppid=7956 vsize=27984808 memory=280693964095168 CPUtime=0 cores=0-7
/proc/7959/task/7965/stat : 7965 (java) S 7956 7959 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80704106 28656443392 71364 33554432000 4194304 4196468 140731246279456 139924422883984 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7966] ppid=7956 vsize=27984808 memory=280693963818784 CPUtime=0 cores=0-7
/proc/7959/task/7966/stat : 7966 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80704106 28656443392 71364 33554432000 4194304 4196468 140731246279456 139924421831440 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7967] ppid=7956 vsize=27984808 memory=280693963818976 CPUtime=0 cores=0-7
/proc/7959/task/7967/stat : 7967 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80704106 28656443392 71364 33554432000 4194304 4196468 140731246279456 139924420778896 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7968] ppid=7956 vsize=27984808 memory=280693963819168 CPUtime=0 cores=0-7
/proc/7959/task/7968/stat : 7968 (java) S 7956 7959 7035 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80704106 28656443392 71364 33554432000 4194304 4196468 140731246279456 139924419726352 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7969] ppid=7956 vsize=27984808 memory=280693963819360 CPUtime=0 cores=0-7
/proc/7959/task/7969/stat : 7969 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80704106 28656443392 71364 33554432000 4194304 4196468 140731246279456 139924418673808 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7970] ppid=7956 vsize=27984808 memory=140346982113504 CPUtime=0 cores=0-7
/proc/7959/task/7970/stat : 7970 (java) S 7956 7959 7035 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 80704108 28656443392 71364 33554432000 4194304 4196468 140731246279456 139923128518640 139924606601858 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7971] ppid=7956 vsize=27984808 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/7959/task/7971/stat : 7971 (java) S 7956 7959 7035 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 80704108 28656443392 71364 33554432000 4194304 4196468 140731246279456 139922384085920 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7972] ppid=7956 vsize=27984808 memory=303993220499767607 CPUtime=0 cores=0-7
/proc/7959/task/7972/stat : 7972 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80704108 28656443392 71364 33554432000 4194304 4196468 140731246279456 139922115650544 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7973] ppid=7956 vsize=27984808 memory=15822183616219540 CPUtime=0 cores=0-7
/proc/7959/task/7973/stat : 7973 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80704111 28656443392 71364 33554432000 4194304 4196468 140731246279456 139921741142224 139924606609307 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7974] ppid=7956 vsize=27984808 memory=0 CPUtime=0.52 cores=0-7
/proc/7959/task/7974/stat : 7974 (java) S 7956 7959 7035 0 -1 1077944384 1205 0 0 0 51 1 0 0 20 0 24 0 80704111 28656443392 71364 33554432000 4194304 4196468 140731246279456 139923127466480 139924606601858 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7975] ppid=7956 vsize=27984808 memory=6656426216303648864 CPUtime=0.63 cores=0-7
/proc/7959/task/7975/stat : 7975 (java) S 7956 7959 7035 0 -1 1077944384 879 0 0 0 63 0 0 0 20 0 24 0 80704111 28656443392 71364 33554432000 4194304 4196468 140731246279456 139923126413936 139924606601858 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7976] ppid=7956 vsize=27984808 memory=0 CPUtime=0.61 cores=0-7
/proc/7959/task/7976/stat : 7976 (java) S 7956 7959 7035 0 -1 1077944384 1715 0 0 0 60 1 0 0 20 0 24 0 80704111 28656443392 71364 33554432000 4194304 4196468 140731246279456 139923125361392 139924606601858 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7977] ppid=7956 vsize=27984808 memory=0 CPUtime=0.89 cores=0-7
/proc/7959/task/7977/stat : 7977 (java) S 7956 7959 7035 0 -1 1077944384 3019 0 0 0 88 1 0 0 20 0 24 0 80704111 28656443392 71364 33554432000 4194304 4196468 140731246279456 139923124308848 139924606601858 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7978] ppid=7956 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7978/stat : 7978 (java) S 7956 7959 7035 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80704111 28656443392 71364 33554432000 4194304 4196468 140731246279456 139921243236576 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7979] ppid=7956 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7979/stat : 7979 (java) S 7956 7959 7035 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80704111 28656443392 71364 33554432000 4194304 4196468 140731246279456 139923055176112 139924606601858 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7981] ppid=7956 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7981/stat : 7981 (java) S 7956 7959 7035 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 80704286 28656443392 71364 33554432000 4194304 4196468 140731246279456 139923257169088 139924606615321 0 4 0 25189583 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7983] ppid=7956 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/7959/task/7983/stat : 7983 (java) S 7956 7959 7035 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 80704286 28656443392 71364 33554432000 4194304 4196468 140731246279456 139920572137136 139924606612637 0 4 0 25189583 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7984] ppid=7956 vsize=27984808 memory=280693964384928 CPUtime=0 cores=0-7
/proc/7959/task/7984/stat : 7984 (java) S 7956 7959 7035 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 80704286 28656443392 71364 33554432000 4194304 4196468 140731246279456 139920840572720 139924606612637 0 4 0 25189583 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
[pid=7959/tid=7985] ppid=7956 vsize=27984808 memory=6780 CPUtime=0 cores=0-7
/proc/7959/task/7985/stat : 7985 (java) S 7956 7959 7035 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 80704288 28656443392 71364 33554432000 4194304 4196468 140731246279456 139920303709856 139924606600917 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11120640 140731246285785 140731246286085 140731246286085 140731246288847 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 28609720 KiB
Current children cumulated memory: 325048 KiB

Child status: 0
Real time (s): 2.15386
CPU time (s): 6.41025
CPU user time (s): 6.2181
CPU system time (s): 0.192146
CPU usage (%): 297.616
Max. virtual memory (cumulated for all children) (KiB): 28609720
Max. memory (cumulated for all children) (KiB): 325048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.2181
system time used= 0.192146
maximum resident set size= 290956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36192
page faults= 0
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7375
involuntary context switches= 35


# summary of solver processes directly reported to runsolver:
#   pid: 7959
#   total CPU time (s): 6.41025
#   total CPU user time (s): 6.2181
#   total CPU system time (s): 0.192146

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042729 second user time and 0.065657 second system time

The end

Launcher Data

Begin job on node138 at 2018-07-26 20:56:49
IDJOB=4297016
IDBENCH=141123
IDSOLVER=2758
FILE ID=node138/4297016-1532631409
RUNJOBID= node138-1532623784-7062
PBS_JOBID= 21022023
Free space on /tmp= 53804 MiB

SOLVER NAME= scop order+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/StripPacking/StripPacking-C1P3_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-4297016-1532631409/watcher-4297016-1532631409 -o /tmp/evaluation-result-4297016-1532631409/solver-4297016-1532631409 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532623784-7062 --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-4297016-1532631409.xml

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

MD5SUM BENCH= 5b4e243b65627c7fc71624f53298a6f9
RANDOM SEED=1676073455

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        17541360 kB
MemAvailable:   31921360 kB
Buffers:          200308 kB
Cached:         14322808 kB
SwapCached:           44 kB
Active:          2430632 kB
Inactive:       12154132 kB
Active(anon):      11676 kB
Inactive(anon):    77300 kB
Active(file):    2418956 kB
Inactive(file): 12076832 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:              8496 kB
Writeback:             0 kB
AnonPages:         68316 kB
Mapped:            35916 kB
Shmem:             25164 kB
Slab:             340700 kB
SReclaimable:     312672 kB
SUnreclaim:        28028 kB
KernelStack:        3216 kB
PageTables:         5368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 53792 MiB
End job on node138 at 2018-07-26 20:56:52