Trace number 4297250

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop both+glucose-syrup (2018-07-07)SAT 4.75927 1.96719

General information on the benchmark

NameStripPacking/
StripPacking-C1P1_c18.xml
MD5SUM889218b6c90316b766a017c27e87ee44
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 benchmark4.66562
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of constraints49
Number of domains18
Minimum domain size1
Maximum domain size20
Distribution of domain sizes[{"size":1,"count":4},{"size":2,"count":44},{"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 both+glucose-syrup (2018-07-07)
0.66/0.53	
0.66/0.55	c BEGIN-Prog: Thu Jul 26 21:21:53 CEST 2018
0.66/0.55	c PID: 5675
0.66/0.55	c IP: 172.20.3.106
0.66/0.55	c HOST: node106.alineos.net
0.66/0.56	c (0,0) Parsing Begin
1.37/0.95	c (0,0) Parsing End
1.37/0.96	c (0,0) CSP: 64 int (0 aux), 16 bool (0 aux), 49 ctr, max domain size 20
1.37/0.96	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.37/0.96	c (0,0) Constraint Name Generate Begin
1.37/0.96	c (0,0) Ctr:HOME/instance-4297250-1532632912.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.37/0.96	c (0,0) Constraint Name Generate End
1.37/0.96	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.37/0.96	c (0,0) CSP to CSPinCNF Begin
1.57/1.04	c (0,0) translated 5 (10%) constraints
1.57/1.05	c (0,0) translated 10 (20%) constraints
1.57/1.05	c (0,0) translated 15 (30%) constraints
1.57/1.06	c (0,0) translated 20 (40%) constraints
1.57/1.06	c (0,0) translated 25 (50%) constraints
1.57/1.06	c (0,0) translated 30 (60%) constraints
1.74/1.16	c (0,0) translated 35 (70%) constraints
1.93/1.20	c (0,0) translated 40 (80%) constraints
1.93/1.25	c (0,0) translated 45 (90%) constraints
1.93/1.27	c (0,0) translated 49 (100%) constraints
2.55/1.43	c (0,0) STATISTICS1:HOME/instance-4297250-1532632912.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,136,364,38,19,4,3,38:60;36:160;34:22;32:70;30:52;28:56;17:22;16:30;15:4;14:4;2:28;1:4,19:372;18:310;17:62;16:124;15:62;14:62;2:924;1:64,4:120;3:70;2:140;1:34,3:480;2:32;1:476;0:16,
2.55/1.43	c (0,0) ===========================================
2.55/1.43	c (0,0) Both Encoding selects:
2.55/1.43	c (0,0) Order
2.55/1.43	c (0,0) ===========================================
2.55/1.44	c (0,0) translated 37 (10%) constraints
2.55/1.44	c (0,0) translated 73 (20%) constraints
2.55/1.44	c (0,0) translated 110 (30%) constraints
2.55/1.45	c (0,0) translated 146 (40%) constraints
2.55/1.45	c (0,0) translated 182 (50%) constraints
2.55/1.45	c (0,0) translated 219 (60%) constraints
2.55/1.46	c (0,0) translated 255 (70%) constraints
2.55/1.46	c (0,0) translated 292 (80%) constraints
2.55/1.47	c (0,0) translated 328 (90%) constraints
2.55/1.47	c (0,0) translated 364 (100%) constraints
2.55/1.47	c (0,0) CSP to CSPinCNF End
2.55/1.47	c (0,0) CSP: 64 int (0 aux), 72 bool (56 aux), 364 ctr, max domain size 19
2.55/1.47	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.55/1.47	c (0,0) CSPinCNF Propagation Begin
2.87/1.53	c (1,0) 0 values, 14 unsatisfiable literals, and 6 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), 72 bool (56 aux), 358 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.60	c (1,1) Simplify CSPinCNF End
3.19/1.60	c (1,1) CSP: 64 int (0 aux), 552 bool (536 aux), 838 ctr, max domain size 19
3.19/1.60	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.19/1.60	c (1,1) Calculate Precise Domain Begin
3.19/1.60	c (1,1) 0 values are removed by re-calculation
3.19/1.60	c (1,1) Calculate Precise Domain End
3.19/1.60	c (1,1) CSP: 64 int (0 aux), 552 bool (536 aux), 838 ctr, max domain size 19
3.19/1.60	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.19/1.60	c (1,1) CSPinCNF to SatSolver Begin
3.19/1.64	c (1,1) 84 (10 %) CSP clauses are encoded (1112 SAT variables, 583 SAT clauses)
3.19/1.65	c (1,1) 168 (20 %) CSP clauses are encoded (1112 SAT variables, 667 SAT clauses)
3.19/1.66	c (1,1) 252 (30 %) CSP clauses are encoded (1112 SAT variables, 958 SAT clauses)
3.19/1.69	c (1,1) 336 (40 %) CSP clauses are encoded (1112 SAT variables, 2567 SAT clauses)
3.61/1.71	c (1,1) 419 (50 %) CSP clauses are encoded (1112 SAT variables, 3946 SAT clauses)
3.61/1.73	c (1,1) 503 (60 %) CSP clauses are encoded (1112 SAT variables, 5708 SAT clauses)
3.61/1.74	c (1,1) 587 (70 %) CSP clauses are encoded (1112 SAT variables, 7428 SAT clauses)
3.61/1.75	c (1,1) 671 (80 %) CSP clauses are encoded (1112 SAT variables, 9023 SAT clauses)
3.61/1.76	c (1,1) 755 (90 %) CSP clauses are encoded (1112 SAT variables, 10878 SAT clauses)
3.61/1.78	c (1,1) 838 (100 %) CSP clauses are encoded (1112 SAT variables, 12789 SAT clauses)
3.61/1.78	c (1,1) CSPinCNF to SatSolver End
3.61/1.78	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
4.05/1.80	c (1,1) STATISTICS2:HOME/instance-4297250-1532632912.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,616,838,38,19,4,3,38:60;36:160;34:22;32:70;30:52;28:56;17:22;16:30;15:4;14:4;2:28,19:372;18:310;17:60;16:122;15:62;14:62;2:1884;1:60,4:120;3:56;2:634;1:28,3:480;2:28;1:1436,
4.05/1.80	c (1,1) SatSolver.solve Begin
4.05/1.80	c (1,1) 1112 bool, 12816 clause
4.05/1.80	c (1,1) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297250-1532632912.xml-scop-5675.cnf HOME/instance-4297250-1532632912.xml-scop-5675.cnf.out
4.05/1.90	c (1,0) c
4.05/1.90	c (1,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
4.05/1.90	c (1,0) c
4.05/1.90	c (1,0) c WARNING: for repeatability, setting FPU to use double precision
4.05/1.90	c (1,0) c 8 solvers engines and 1 companion as a blackboard created.
4.05/1.90	c (1,0) c ========================================[ Problem Statistics ]===========================================
4.05/1.90	c (1,0) c |                                                                                                       |
4.05/1.90	c (1,0) c |  Number of variables:          1112                                                                   |
4.05/1.90	c (1,0) c |  Number of clauses:           12816                                                                   |
4.05/1.90	c (1,0) c |  Parse time:                   0.00 s                                                                 |
4.05/1.90	c (1,0) c |                                                                                                       |
4.05/1.90	c (1,0) c |  Eliminated clauses:           0.01 Mb                                                                |
4.05/1.90	c (1,0) c |  Simplification time:          0.01 s                                                                 |
4.05/1.90	c (1,0) c |                                                                                                       |
4.05/1.90	c (1,0) c |  Generating clones                                                                                    |
4.05/1.90	c (1,0) c |  all clones generated. Memory =  33.11Mb.                                                             |
4.05/1.90	c (1,0) c ========================================================================================================|
4.05/1.90	c (1,0) c last restart ## conflicts  :  644 84 
4.05/1.90	c (1,0) c Thread 4 is 100% pure glucose! First thread to finish! (SAT answer).
4.05/1.90	c (1,0) c Total Memory so far : 611.05Mb
4.05/1.90	c (1,0) c
4.05/1.90	c (1,0) c real time : 0.0747571 s
4.05/1.90	c (1,0) c cpu time  : 0.311673 s
4.05/1.90	c (1,0) c
4.05/1.90	c (1,0) c
4.05/1.90	c (1,0) c
4.05/1.90	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
4.05/1.90	c (1,0) c
4.05/1.90	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.05/1.90	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
4.05/1.90	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.05/1.90	c (1,0) c | Conflicts     |           13788 |       1683 |       1674 |       1832 |       1257 |       1409 |       2001 |       2001 |       1931 |
4.30/1.90	c (1,0) c | Decisions     |           33089 |       4151 |       4022 |       4405 |       3188 |       3211 |       4754 |       4754 |       4604 |
4.30/1.90	c (1,0) c | Propagations  |          869060 |     101580 |     107632 |     117951 |      77608 |      86692 |     127152 |     127152 |     123293 |
4.30/1.90	c (1,0) c | Avg_Trail     |                 |        610 |        523 |        524 |        532 |        553 |        524 |        524 |        524 |
4.30/1.90	c (1,0) c | Avg_DL        |                 |         51 |         39 |         40 |         40 |         36 |         40 |         40 |         40 |
4.30/1.90	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.30/1.90	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.30/1.90	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.30/1.90	c (1,0) c | Exported      |               2 |          2 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.30/1.90	c (1,0) c | Imported      |              11 |          0 |          2 |          2 |          0 |          1 |          2 |          2 |          2 |
4.30/1.90	c (1,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.30/1.90	c (1,0) c | Purge         |              11 |          0 |          2 |          2 |          0 |          1 |          2 |          2 |          2 |
4.30/1.90	c (1,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.30/1.90	c (1,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.30/1.90	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.30/1.90	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.30/1.90	c (1,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.30/1.90	c (1,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.30/1.90	c (1,0) c | Glues         |                 |          2 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.30/1.90	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.30/1.90	c (1,0) c | Orig_Seen     |            32 % |       4580 |       3986 |       4190 |       3616 |       3787 |       4435 |       4435 |       4340 |
4.30/1.90	c (1,0) c | Diff Orig seen|                 |        793 |        199 |        403 | -      171 |      X     |        648 |        648 |        553 |
4.30/1.90	c (1,0) c | Hamming       |            26 % |        289 |        304 |        305 |        283 |      X     |        303 |        303 |        295 |
4.30/1.90	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.30/1.90	c (1,0) 
4.30/1.90	c (1,0) s SATISFIABLE
4.30/1.90	c (1,1) SatSolver.solve End
4.30/1.90	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
4.30/1.90	c (1,1) Show results Begin
4.30/1.92	c (1,1) h[0] = 12
4.30/1.92	c (1,1) h[1] = 12
4.30/1.92	c (1,1) h[2] = 8
4.30/1.92	c (1,1) h[3] = 3
4.30/1.92	c (1,1) h[4] = 3
4.30/1.92	c (1,1) h[5] = 5
4.30/1.92	c (1,1) h[6] = 3
4.30/1.92	c (1,1) h[7] = 3
4.30/1.92	c (1,1) h[8] = 5
4.30/1.92	c (1,1) h[9] = 6
4.30/1.92	c (1,1) h[10] = 3
4.30/1.92	c (1,1) h[11] = 4
4.30/1.92	c (1,1) h[12] = 4
4.30/1.92	c (1,1) h[13] = 4
4.30/1.92	c (1,1) h[14] = 9
4.30/1.92	c (1,1) h[15] = 2
4.30/1.92	c (1,1) r[0] = 0
4.30/1.92	c (1,1) r[1] = 0
4.30/1.92	c (1,1) r[2] = 1
4.30/1.92	c (1,1) r[3] = 1
4.30/1.92	c (1,1) r[4] = 1
4.30/1.92	c (1,1) r[5] = 0
4.30/1.92	c (1,1) r[6] = 1
4.30/1.92	c (1,1) r[7] = 1
4.30/1.92	c (1,1) r[8] = 1
4.30/1.92	c (1,1) r[9] = 0
4.30/1.92	c (1,1) r[10] = 1
4.30/1.92	c (1,1) r[11] = 1
4.30/1.92	c (1,1) r[12] = 0
4.30/1.92	c (1,1) r[13] = 0
4.30/1.92	c (1,1) r[14] = 1
4.30/1.92	c (1,1) r[15] = 0
4.30/1.92	c (1,1) w[0] = 2
4.30/1.92	c (1,1) w[1] = 7
4.30/1.92	c (1,1) w[2] = 6
4.30/1.92	c (1,1) w[3] = 6
4.30/1.92	c (1,1) w[4] = 5
4.30/1.92	c (1,1) w[5] = 5
4.30/1.92	c (1,1) w[6] = 12
4.30/1.92	c (1,1) w[7] = 7
4.30/1.92	c (1,1) w[8] = 7
4.30/1.92	c (1,1) w[9] = 2
4.30/1.92	c (1,1) w[10] = 2
4.30/1.92	c (1,1) w[11] = 2
4.30/1.92	c (1,1) w[12] = 3
4.30/1.92	c (1,1) w[13] = 4
4.30/1.92	c (1,1) w[14] = 2
4.30/1.92	c (1,1) w[15] = 11
4.30/1.92	c (1,1) x[0] = 0
4.30/1.92	c (1,1) x[1] = 13
4.30/1.92	c (1,1) x[2] = 2
4.30/1.92	c (1,1) x[3] = 2
4.30/1.92	c (1,1) x[4] = 8
4.30/1.92	c (1,1) x[5] = 15
4.30/1.92	c (1,1) x[6] = 8
4.30/1.92	c (1,1) x[7] = 4
4.30/1.92	c (1,1) x[8] = 8
4.30/1.92	c (1,1) x[9] = 0
4.30/1.92	c (1,1) x[10] = 2
4.30/1.92	c (1,1) x[11] = 6
4.30/1.92	c (1,1) x[12] = 8
4.30/1.92	c (1,1) x[13] = 2
4.30/1.92	c (1,1) x[14] = 11
4.30/1.92	c (1,1) x[15] = 0
4.30/1.92	c (1,1) y[0] = 2
4.30/1.92	c (1,1) y[1] = 0
4.30/1.92	c (1,1) y[2] = 8
4.30/1.92	c (1,1) y[3] = 5
4.30/1.92	c (1,1) y[4] = 9
4.30/1.92	c (1,1) y[5] = 12
4.30/1.92	c (1,1) y[6] = 17
4.30/1.92	c (1,1) y[7] = 2
4.30/1.92	c (1,1) y[8] = 12
4.30/1.92	c (1,1) y[9] = 14
4.30/1.92	c (1,1) y[10] = 2
4.30/1.92	c (1,1) y[11] = 16
4.30/1.92	c (1,1) y[12] = 5
4.30/1.92	c (1,1) y[13] = 16
4.30/1.92	c (1,1) y[14] = 0
4.30/1.92	c (1,1) y[15] = 0
4.30/1.92	s SATISFIABLE
4.30/1.92	v <instantiation>
4.30/1.92	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>
4.30/1.92	v     <values>0 13 2 2 8 15 8 4 8 0 2 6 8 2 11 0 2 0 8 5 9 12 17 2 12 14 2 16 5 16 0 0 2 7 6 6 5 5 12 7 7 2 2 2 3 4 2 11 12 12 8 3 3 5 3 3 5 6 3 4 4 4 9 2 0 0 1 1 1 0 1 1 1 0 1 1 0 0 1 0</values>
4.30/1.92	v </instantiation>
4.30/1.92	c (1,1) Show results End
4.30/1.92	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
4.30/1.92	c (1,1) 0,0,0,1,1,1,1,1,1,STOP-AFTER(ALL)
4.30/1.92	c END-Prog: Thu Jul 26 21:21:54 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 (2370 MiB free)
  memory of node 1: 16384 MiB (6398 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297250-1532632912/watcher-4297250-1532632912 -o /tmp/evaluation-result-4297250-1532632912/solver-4297250-1532632912 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532632909-5558 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297250-1532632912.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=5675, runsolver pid=5672

[startup+0.100108 s]*
/proc/loadavg: 8.16 8.65 8.66 2/199 5695
/proc/meminfo: memFree=8884352/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=27312552 memory=108508 CPUtime=0.1 cores=0-7
/proc/5675/stat : 5675 (java) S 5672 5675 5531 0 -1 1077944320 6650 0 0 0 8 2 0 0 20 0 20 0 80854063 27968053248 27127 33554432000 4194304 4196468 140720675370384 140720675352928 140015780904695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
/proc/5675/statm: 6828138 27127 2747 1 0 6790598 0
[pid=5675/tid=5677] ppid=5672 vsize=27312552 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/5675/task/5677/stat : 5677 (java) R 5672 5675 5531 0 -1 4202560 4765 0 0 0 7 2 0 0 20 0 20 0 80854063 27968053248 27127 33554432000 4194304 4196468 140720675370384 140015752708896 140015764985182 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5678] ppid=5672 vsize=27312552 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5675/task/5678/stat : 5678 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 27127 33554432000 4194304 4196468 140720675370384 140015785147152 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5679] ppid=5672 vsize=27312552 memory=139777629582976 CPUtime=0 cores=0-7
/proc/5675/task/5679/stat : 5679 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 27127 33554432000 4194304 4196468 140720675370384 140015202630544 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5680] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5680/stat : 5680 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 27127 33554432000 4194304 4196468 140720675370384 140015201578000 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5681] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5681/stat : 5681 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 27127 33554432000 4194304 4196468 140720675370384 140015200525456 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5682] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5682/stat : 5682 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 27127 33554432000 4194304 4196468 140720675370384 140015199471888 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5683] ppid=5672 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/5675/task/5683/stat : 5683 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 27127 33554432000 4194304 4196468 140720675370384 140015198419344 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5684] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5684/stat : 5684 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 27127 33554432000 4194304 4196468 140720675370384 140015197366800 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5685] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5685/stat : 5685 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 27127 33554432000 4194304 4196468 140720675370384 140015196314256 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5686] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5686/stat : 5686 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854067 27968053248 27127 33554432000 4194304 4196468 140720675370384 140014034794992 140015780915842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5687] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5687/stat : 5687 (java) S 5672 5675 5531 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80854068 27968053248 27127 33554432000 4194304 4196468 140720675370384 140013719250336 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5688] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5688/stat : 5688 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854068 27968053248 27127 33554432000 4194304 4196468 140720675370384 140013450814960 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5689] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5689/stat : 5689 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854070 27968053248 27127 33554432000 4194304 4196468 140720675370384 140013076306640 140015780923291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5690] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5690/stat : 5690 (java) S 5672 5675 5531 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 80854070 27968053248 27127 33554432000 4194304 4196468 140720675370384 140014033741808 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5691] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5691/stat : 5691 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854070 27968053248 27127 33554432000 4194304 4196468 140720675370384 140014032689264 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5692] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5692/stat : 5692 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854070 27968053248 27127 33554432000 4194304 4196468 140720675370384 140014031636720 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5693] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5693/stat : 5693 (java) S 5672 5675 5531 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 20 0 80854070 27968053248 27127 33554432000 4194304 4196468 140720675370384 140014030584176 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5694] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5694/stat : 5694 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854071 27968053248 27127 33554432000 4194304 4196468 140720675370384 140012578400992 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5695] ppid=5672 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/5675/task/5695/stat : 5695 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854071 27968053248 27127 33554432000 4194304 4196468 140720675370384 140014029532080 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 108508 KiB

[startup+0.209809 s]*
/proc/loadavg: 8.16 8.65 8.66 4/199 5695
/proc/meminfo: memFree=8868264/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=27312552 memory=123396 CPUtime=0.24 cores=0-7
/proc/5675/stat : 5675 (java) S 5672 5675 5531 0 -1 1077944320 10559 0 0 0 21 3 0 0 20 0 20 0 80854063 27968053248 30849 33554432000 4194304 4196468 140720675370384 140720675352928 140015780904695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
/proc/5675/statm: 6828138 30849 2939 1 0 6790598 0
[pid=5675/tid=5677] ppid=5672 vsize=27312552 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/5675/task/5677/stat : 5677 (java) R 5672 5675 5531 0 -1 4202560 8440 0 0 0 17 2 0 0 20 0 20 0 80854063 27968053248 30849 33554432000 4194304 4196468 140720675370384 140015752727232 140015780916630 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5678] ppid=5672 vsize=27312552 memory=12918 CPUtime=0 cores=0-7
/proc/5675/task/5678/stat : 5678 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 30849 33554432000 4194304 4196468 140720675370384 140015785147152 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5679] ppid=5672 vsize=27312552 memory=139777629588700 CPUtime=0 cores=0-7
/proc/5675/task/5679/stat : 5679 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 30849 33554432000 4194304 4196468 140720675370384 140015202630544 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5680] ppid=5672 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/5675/task/5680/stat : 5680 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 30849 33554432000 4194304 4196468 140720675370384 140015201578000 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5681] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5681/stat : 5681 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 30849 33554432000 4194304 4196468 140720675370384 140015200525456 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5682] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5682/stat : 5682 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 30849 33554432000 4194304 4196468 140720675370384 140015199471888 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5683] ppid=5672 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/5675/task/5683/stat : 5683 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 30849 33554432000 4194304 4196468 140720675370384 140015198419344 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5684] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5684/stat : 5684 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 30849 33554432000 4194304 4196468 140720675370384 140015197366800 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5685] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5685/stat : 5685 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 30849 33554432000 4194304 4196468 140720675370384 140015196314256 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5686] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5686/stat : 5686 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854067 27968053248 30849 33554432000 4194304 4196468 140720675370384 140014034794992 140015780915842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5687] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5687/stat : 5687 (java) S 5672 5675 5531 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80854068 27968053248 30849 33554432000 4194304 4196468 140720675370384 140013719250336 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5688] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5688/stat : 5688 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854068 27968053248 30849 33554432000 4194304 4196468 140720675370384 140013450814960 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5689] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5689/stat : 5689 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854070 27968053248 30849 33554432000 4194304 4196468 140720675370384 140013076306640 140015780923291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5690] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5690/stat : 5690 (java) S 5672 5675 5531 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 20 0 80854070 27968053248 30849 33554432000 4194304 4196468 140720675370384 140014033741808 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5691] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5691/stat : 5691 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854070 27968053248 30849 33554432000 4194304 4196468 140720675370384 140014032689264 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5692] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5692/stat : 5692 (java) S 5672 5675 5531 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 80854070 27968053248 30849 33554432000 4194304 4196468 140720675370384 140014031636720 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5693] ppid=5672 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/5675/task/5693/stat : 5693 (java) S 5672 5675 5531 0 -1 1077944384 311 0 0 0 2 0 0 0 20 0 20 0 80854070 27968053248 30849 33554432000 4194304 4196468 140720675370384 140014030584176 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5694] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5694/stat : 5694 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854071 27968053248 30849 33554432000 4194304 4196468 140720675370384 140012578400992 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5695] ppid=5672 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/5675/task/5695/stat : 5695 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854071 27968053248 30849 33554432000 4194304 4196468 140720675370384 140014029532080 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 123396 KiB

[startup+0.309333 s]*
/proc/loadavg: 8.16 8.65 8.66 2/199 5695
/proc/meminfo: memFree=8864852/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=27312552 memory=127308 CPUtime=0.42 cores=0-7
/proc/5675/stat : 5675 (java) S 5672 5675 5531 0 -1 1077944320 11211 0 0 0 38 4 0 0 20 0 20 0 80854063 27968053248 31827 33554432000 4194304 4196468 140720675370384 140720675352928 140015780904695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
/proc/5675/statm: 6828138 31827 2975 1 0 6790598 0
[pid=5675/tid=5677] ppid=5672 vsize=27312552 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5675/task/5677/stat : 5677 (java) R 5672 5675 5531 0 -1 4202560 8884 0 0 0 26 3 0 0 20 0 20 0 80854063 27968053248 31827 33554432000 4194304 4196468 140720675370384 140015752708848 140015764985182 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5678] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5678/stat : 5678 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 31827 33554432000 4194304 4196468 140720675370384 140015785147152 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5679] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5679/stat : 5679 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 31827 33554432000 4194304 4196468 140720675370384 140015202630544 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5680] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5680/stat : 5680 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 31827 33554432000 4194304 4196468 140720675370384 140015201578000 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5681] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5681/stat : 5681 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 31827 33554432000 4194304 4196468 140720675370384 140015200525456 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5682] ppid=5672 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/5675/task/5682/stat : 5682 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 31827 33554432000 4194304 4196468 140720675370384 140015199471888 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5683] ppid=5672 vsize=27312552 memory=139777496150959 CPUtime=0 cores=0-7
/proc/5675/task/5683/stat : 5683 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 31827 33554432000 4194304 4196468 140720675370384 140015198419344 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5684] ppid=5672 vsize=27312552 memory=139777496153264 CPUtime=0 cores=0-7
/proc/5675/task/5684/stat : 5684 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 31827 33554432000 4194304 4196468 140720675370384 140015197366800 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5685] ppid=5672 vsize=27312552 memory=139777496155568 CPUtime=0 cores=0-7
/proc/5675/task/5685/stat : 5685 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 31827 33554432000 4194304 4196468 140720675370384 140015196314256 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5686] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5686/stat : 5686 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854067 27968053248 31827 33554432000 4194304 4196468 140720675370384 140014034794992 140015780915842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5687] ppid=5672 vsize=27312552 memory=279554992318096 CPUtime=0 cores=0-7
/proc/5675/task/5687/stat : 5687 (java) S 5672 5675 5531 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80854068 27968053248 31827 33554432000 4194304 4196468 140720675370384 140013719250336 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5688] ppid=5672 vsize=27312552 memory=279554992325008 CPUtime=0 cores=0-7
/proc/5675/task/5688/stat : 5688 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854068 27968053248 31827 33554432000 4194304 4196468 140720675370384 140013450814960 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5689] ppid=5672 vsize=27312552 memory=279554992266160 CPUtime=0 cores=0-7
/proc/5675/task/5689/stat : 5689 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854070 27968053248 31827 33554432000 4194304 4196468 140720675370384 140013076306640 140015780923291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5690] ppid=5672 vsize=27312552 memory=279554992338832 CPUtime=0.01 cores=0-7
/proc/5675/task/5690/stat : 5690 (java) S 5672 5675 5531 0 -1 1077944384 391 0 0 0 1 0 0 0 20 0 20 0 80854070 27968053248 31827 33554432000 4194304 4196468 140720675370384 140014033741808 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5691] ppid=5672 vsize=27312552 memory=279554992345744 CPUtime=0.01 cores=0-7
/proc/5675/task/5691/stat : 5691 (java) S 5672 5675 5531 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 20 0 80854070 27968053248 31827 33554432000 4194304 4196468 140720675370384 140014032689264 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5692] ppid=5672 vsize=27312552 memory=279554992343440 CPUtime=0.01 cores=0-7
/proc/5675/task/5692/stat : 5692 (java) S 5672 5675 5531 0 -1 1077944384 155 0 0 0 1 0 0 0 20 0 20 0 80854070 27968053248 31827 33554432000 4194304 4196468 140720675370384 140014031636720 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5693] ppid=5672 vsize=27312552 memory=279554992360048 CPUtime=0.07 cores=0-7
/proc/5675/task/5693/stat : 5693 (java) S 5672 5675 5531 0 -1 1077944384 352 0 0 0 7 0 0 0 20 0 20 0 80854070 27968053248 31827 33554432000 4194304 4196468 140720675370384 140014030584176 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5694] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5694/stat : 5694 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854071 27968053248 31827 33554432000 4194304 4196468 140720675370384 140012578400992 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5695] ppid=5672 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/5675/task/5695/stat : 5695 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854071 27968053248 31827 33554432000 4194304 4196468 140720675370384 140014029532080 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127308 KiB

[startup+0.700798 s]
/proc/loadavg: 8.16 8.65 8.66 2/199 5695
/proc/meminfo: memFree=8840296/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=27320948 memory=165968 CPUtime=0.99 cores=0-7
/proc/5675/stat : 5675 (java) S 5672 5675 5531 0 -1 1077944320 18512 0 0 0 93 6 0 0 20 0 20 0 80854063 27976650752 41492 33554432000 4194304 4196468 140720675370384 140720675352928 140015780904695 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
/proc/5675/statm: 6830237 41492 3167 1 0 6791622 0
[pid=5675/tid=5677] ppid=5672 vsize=27320948 memory=0 CPUtime=0.67 cores=0-7
/proc/5675/task/5677/stat : 5677 (java) R 5672 5675 5531 0 -1 4202560 15662 0 0 0 62 5 0 0 20 0 20 0 80854063 27976650752 41492 33554432000 4194304 4196468 140720675370384 140015752732688 140015764948325 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5678] ppid=5672 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5678/stat : 5678 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27976650752 41492 33554432000 4194304 4196468 140720675370384 140015785147152 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5679] ppid=5672 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5679/stat : 5679 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27976650752 41492 33554432000 4194304 4196468 140720675370384 140015202630544 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5680] ppid=5672 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5680/stat : 5680 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27976650752 41492 33554432000 4194304 4196468 140720675370384 140015201578000 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5681] ppid=5672 vsize=27320948 memory=5668 CPUtime=0 cores=0-7
/proc/5675/task/5681/stat : 5681 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854066 27976650752 41492 33554432000 4194304 4196468 140720675370384 140015200525456 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5682] ppid=5672 vsize=27320948 memory=4616 CPUtime=0 cores=0-7
/proc/5675/task/5682/stat : 5682 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27976650752 41492 33554432000 4194304 4196468 140720675370384 140015199471888 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5683] ppid=5672 vsize=27320948 memory=14076 CPUtime=0 cores=0-7
/proc/5675/task/5683/stat : 5683 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27976650752 41492 33554432000 4194304 4196468 140720675370384 140015198419344 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5684] ppid=5672 vsize=27320948 memory=1204 CPUtime=0 cores=0-7
/proc/5675/task/5684/stat : 5684 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27976650752 41492 33554432000 4194304 4196468 140720675370384 140015197366800 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5685] ppid=5672 vsize=27320948 memory=15872 CPUtime=0 cores=0-7
/proc/5675/task/5685/stat : 5685 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27976650752 41492 33554432000 4194304 4196468 140720675370384 140015196314256 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5686] ppid=5672 vsize=27320948 memory=4008 CPUtime=0 cores=0-7
/proc/5675/task/5686/stat : 5686 (java) S 5672 5675 5531 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 80854067 27976650752 41492 33554432000 4194304 4196468 140720675370384 140014034794992 140015780915842 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0

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

[pid=5675/tid=5694] ppid=5672 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5694/stat : 5694 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854071 27980845056 53442 33554432000 4194304 4196468 140720675370384 140012578400992 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5695] ppid=5672 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5695/stat : 5695 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854071 27980845056 53442 33554432000 4194304 4196468 140720675370384 140014029532080 140015780915842 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 27325044 KiB
Current children cumulated memory: 213724 KiB

[startup+1.96714 s]
# the end of solver process 5675 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.60488 s, system=0.154389 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1.601 s]
/proc/loadavg: 8.16 8.65 8.66 3/199 5695
/proc/meminfo: memFree=8811264/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=27325044 memory=224732 CPUtime=3.19 cores=0-7
/proc/5675/stat : 5675 (java) S 5672 5675 5531 0 -1 1077944320 22997 0 0 0 308 11 0 0 20 0 20 0 80854063 27980845056 56183 33554432000 4194304 4196468 140720675370384 140720675352928 140015780904695 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
/proc/5675/statm: 6831261 56183 3200 1 0 6792646 0
[pid=5675/tid=5677] ppid=5672 vsize=27325044 memory=0 CPUtime=1.56 cores=0-7
/proc/5675/task/5677/stat : 5677 (java) R 5672 5675 5531 0 -1 4202560 17111 0 0 0 150 6 0 0 20 0 20 0 80854063 27980845056 56183 33554432000 4194304 4196468 140720675370384 140015752735872 140015279615767 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5678] ppid=5672 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5678/stat : 5678 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27980845056 56183 33554432000 4194304 4196468 140720675370384 140015785147152 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5679] ppid=5672 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5679/stat : 5679 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27980845056 56183 33554432000 4194304 4196468 140720675370384 140015202630544 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5680] ppid=5672 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5680/stat : 5680 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27980845056 56183 33554432000 4194304 4196468 140720675370384 140015201578000 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5681] ppid=5672 vsize=27325044 memory=4140 CPUtime=0 cores=0-7
/proc/5675/task/5681/stat : 5681 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854066 27980845056 56183 33554432000 4194304 4196468 140720675370384 140015200525456 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5682] ppid=5672 vsize=27325044 memory=23868 CPUtime=0 cores=0-7
/proc/5675/task/5682/stat : 5682 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27980845056 56183 33554432000 4194304 4196468 140720675370384 140015199471888 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5683] ppid=5672 vsize=27325044 memory=6425271076021 CPUtime=0 cores=0-7
/proc/5675/task/5683/stat : 5683 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27980845056 56183 33554432000 4194304 4196468 140720675370384 140015198419344 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5684] ppid=5672 vsize=27325044 memory=288230583166042425 CPUtime=0 cores=0-7
/proc/5675/task/5684/stat : 5684 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27980845056 56183 33554432000 4194304 4196468 140720675370384 140015197366800 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5685] ppid=5672 vsize=27325044 memory=16104758104558012 CPUtime=0 cores=0-7
/proc/5675/task/5685/stat : 5685 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27980845056 56183 33554432000 4194304 4196468 140720675370384 140015196314256 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5686] ppid=5672 vsize=27325044 memory=792 CPUtime=0 cores=0-7
/proc/5675/task/5686/stat : 5686 (java) S 5672 5675 5531 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 80854067 27980845056 56183 33554432000 4194304 4196468 140720675370384 140014034794992 140015780915842 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5687] ppid=5672 vsize=27325044 memory=1228 CPUtime=0 cores=0-7
/proc/5675/task/5687/stat : 5687 (java) S 5672 5675 5531 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80854068 27980845056 56183 33554432000 4194304 4196468 140720675370384 140013719250336 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5688] ppid=5672 vsize=27325044 memory=8552 CPUtime=0 cores=0-7
/proc/5675/task/5688/stat : 5688 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854068 27980845056 56183 33554432000 4194304 4196468 140720675370384 140013450814960 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5689] ppid=5672 vsize=27325044 memory=1444 CPUtime=0 cores=0-7
/proc/5675/task/5689/stat : 5689 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854070 27980845056 56183 33554432000 4194304 4196468 140720675370384 140013076306640 140015780923291 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5690] ppid=5672 vsize=27325044 memory=20036 CPUtime=0.27 cores=0-7
/proc/5675/task/5690/stat : 5690 (java) R 5672 5675 5531 0 -1 4202560 679 0 0 0 26 1 0 0 20 0 20 0 80854070 27980845056 56183 33554432000 4194304 4196468 140720675370384 140014033730512 140015760741058 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5691] ppid=5672 vsize=27325044 memory=6944656592455359580 CPUtime=0.3 cores=0-7
/proc/5675/task/5691/stat : 5691 (java) R 5672 5675 5531 0 -1 4202560 564 0 0 0 30 0 0 0 20 0 20 0 80854070 27980845056 56183 33554432000 4194304 4196468 140720675370384 140014032676848 140015758652143 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5692] ppid=5672 vsize=27325044 memory=6944656592455359580 CPUtime=0.25 cores=0-7
/proc/5675/task/5692/stat : 5692 (java) R 5672 5675 5531 0 -1 4202560 517 0 0 0 25 0 0 0 20 0 20 0 80854070 27980845056 56183 33554432000 4194304 4196468 140720675370384 140014031622672 140015764405115 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5693] ppid=5672 vsize=27325044 memory=6944656592455360604 CPUtime=0.74 cores=0-7
/proc/5675/task/5693/stat : 5693 (java) R 5672 5675 5531 0 -1 4202560 2780 0 0 0 74 0 0 0 20 0 20 0 80854070 27980845056 56183 33554432000 4194304 4196468 140720675370384 140014030584176 140015774004395 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5694] ppid=5672 vsize=27325044 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/5675/task/5694/stat : 5694 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854071 27980845056 56183 33554432000 4194304 4196468 140720675370384 140012578400992 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5695] ppid=5672 vsize=27325044 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/5675/task/5695/stat : 5695 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854071 27980845056 56183 33554432000 4194304 4196468 140720675370384 140014029532080 140015780915842 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
Current children cumulated CPU time: 3.19 s
Current children cumulated vsize: 27325044 KiB
Current children cumulated memory: 224732 KiB

[startup+1.80213 s]
/proc/loadavg: 8.16 8.65 8.66 3/199 5695
/proc/meminfo: memFree=8811264/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=27327160 memory=267472 CPUtime=4.05 cores=0-7
/proc/5675/stat : 5675 (java) S 5672 5675 5531 0 -1 1077944320 24477 0 0 0 393 12 0 0 20 0 20 0 80854063 27983011840 66868 33554432000 4194304 4196468 140720675370384 140720675352928 140015780904695 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
/proc/5675/statm: 6831790 66868 3218 1 0 6792646 0
[pid=5675/tid=5677] ppid=5672 vsize=27327160 memory=8112282956445269571 CPUtime=1.76 cores=0-7
/proc/5675/task/5677/stat : 5677 (java) R 5672 5675 5531 0 -1 4202560 17370 0 0 0 169 7 0 0 20 0 20 0 80854063 27983011840 66868 33554432000 4194304 4196468 140720675370384 140015752742368 140015280671103 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5678] ppid=5672 vsize=27327160 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5678/stat : 5678 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27983011840 66868 33554432000 4194304 4196468 140720675370384 140015785147152 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5679] ppid=5672 vsize=27327160 memory=4580 CPUtime=0 cores=0-7
/proc/5675/task/5679/stat : 5679 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27983011840 66868 33554432000 4194304 4196468 140720675370384 140015202630544 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5680] ppid=5672 vsize=27327160 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5680/stat : 5680 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27983011840 66868 33554432000 4194304 4196468 140720675370384 140015201578000 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5681] ppid=5672 vsize=27327160 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/5675/task/5681/stat : 5681 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854066 27983011840 66868 33554432000 4194304 4196468 140720675370384 140015200525456 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5682] ppid=5672 vsize=27327160 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/5675/task/5682/stat : 5682 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27983011840 66868 33554432000 4194304 4196468 140720675370384 140015199471888 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5683] ppid=5672 vsize=27327160 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5683/stat : 5683 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27983011840 66868 33554432000 4194304 4196468 140720675370384 140015198419344 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5684] ppid=5672 vsize=27327160 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/5675/task/5684/stat : 5684 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27983011840 66868 33554432000 4194304 4196468 140720675370384 140015197366800 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5685] ppid=5672 vsize=27327160 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/5675/task/5685/stat : 5685 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27983011840 66868 33554432000 4194304 4196468 140720675370384 140015196314256 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5686] ppid=5672 vsize=27327160 memory=9126232286719478932 CPUtime=0 cores=0-7
/proc/5675/task/5686/stat : 5686 (java) S 5672 5675 5531 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 80854067 27983011840 66868 33554432000 4194304 4196468 140720675370384 140014034794992 140015780915842 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5687] ppid=5672 vsize=27327160 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/5675/task/5687/stat : 5687 (java) S 5672 5675 5531 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80854068 27983011840 66868 33554432000 4194304 4196468 140720675370384 140013719250336 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5688] ppid=5672 vsize=27327160 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/5675/task/5688/stat : 5688 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854068 27983011840 66868 33554432000 4194304 4196468 140720675370384 140013450814960 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5689] ppid=5672 vsize=27327160 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/5675/task/5689/stat : 5689 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854070 27983011840 66868 33554432000 4194304 4196468 140720675370384 140013076306640 140015780923291 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5690] ppid=5672 vsize=27327160 memory=3475195960817247586 CPUtime=0.45 cores=0-7
/proc/5675/task/5690/stat : 5690 (java) R 5672 5675 5531 0 -1 4202560 926 0 0 0 44 1 0 0 20 0 20 0 80854070 27983011840 66868 33554432000 4194304 4196468 140720675370384 140014033731072 140015780916630 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5691] ppid=5672 vsize=27327160 memory=-7027409196973593448 CPUtime=0.49 cores=0-7
/proc/5675/task/5691/stat : 5691 (java) R 5672 5675 5531 0 -1 4202560 771 0 0 0 49 0 0 0 20 0 20 0 80854070 27983011840 66868 33554432000 4194304 4196468 140720675370384 140014032677968 140015762435793 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5692] ppid=5672 vsize=27327160 memory=-7522837583129502606 CPUtime=0.43 cores=0-7
/proc/5675/task/5692/stat : 5692 (java) R 5672 5675 5531 0 -1 4202560 1074 0 0 0 43 0 0 0 20 0 20 0 80854070 27983011840 66868 33554432000 4194304 4196468 140720675370384 140014031628672 140015764401483 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5693] ppid=5672 vsize=27327160 memory=1399103955520229747 CPUtime=0.85 cores=0-7
/proc/5675/task/5693/stat : 5693 (java) R 5672 5675 5531 0 -1 4202560 2990 0 0 0 85 0 0 0 20 0 20 0 80854070 27983011840 66868 33554432000 4194304 4196468 140720675370384 140014030584304 140015780926042 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5694] ppid=5672 vsize=27327160 memory=-7233780906022726806 CPUtime=0 cores=0-7
/proc/5675/task/5694/stat : 5694 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854071 27983011840 66868 33554432000 4194304 4196468 140720675370384 140012578400992 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5695] ppid=5672 vsize=27327160 memory=14904 CPUtime=0 cores=0-7
/proc/5675/task/5695/stat : 5695 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854071 27983011840 66868 33554432000 4194304 4196468 140720675370384 140014029532080 140015780915842 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
Current children cumulated CPU time: 4.05 s
Current children cumulated vsize: 27327160 KiB
Current children cumulated memory: 267472 KiB

[startup+1.90085 s]
/proc/loadavg: 8.16 8.65 8.66 3/199 5695
/proc/meminfo: memFree=8811264/32770624 swapFree=67108860/67108860
[pid=5675] ppid=5672 vsize=27984808 memory=284588 CPUtime=4.3 cores=0-7
/proc/5675/stat : 5675 (java) S 5672 5675 5531 0 -1 1077944320 25249 0 0 0 418 12 0 0 20 0 24 0 80854063 28656443392 71147 33554432000 4194304 4196468 140720675370384 140720675352928 140015780904695 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
/proc/5675/statm: 6996202 71147 3222 1 0 6957058 0
[pid=5675/tid=5677] ppid=5672 vsize=27984808 memory=0 CPUtime=1.83 cores=0-7
/proc/5675/task/5677/stat : 5677 (java) S 5672 5675 5531 0 -1 1077944384 17719 0 0 0 175 8 0 0 20 0 24 0 80854063 28656443392 71147 33554432000 4194304 4196468 140720675370384 140015752743936 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5678] ppid=5672 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5678/stat : 5678 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80854066 28656443392 71147 33554432000 4194304 4196468 140720675370384 140015785147152 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5679] ppid=5672 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5679/stat : 5679 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80854066 28656443392 71147 33554432000 4194304 4196468 140720675370384 140015202630544 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5680] ppid=5672 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5680/stat : 5680 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80854066 28656443392 71147 33554432000 4194304 4196468 140720675370384 140015201578000 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5681] ppid=5672 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5681/stat : 5681 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80854066 28656443392 71147 33554432000 4194304 4196468 140720675370384 140015200525456 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5682] ppid=5672 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5682/stat : 5682 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80854066 28656443392 71147 33554432000 4194304 4196468 140720675370384 140015199471888 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5683] ppid=5672 vsize=27984808 memory=0 CPUtime=0 cores=0-7
/proc/5675/task/5683/stat : 5683 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80854066 28656443392 71147 33554432000 4194304 4196468 140720675370384 140015198419344 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5684] ppid=5672 vsize=27984808 memory=139781924550271 CPUtime=0 cores=0-7
/proc/5675/task/5684/stat : 5684 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80854066 28656443392 71147 33554432000 4194304 4196468 140720675370384 140015197366800 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5685] ppid=5672 vsize=27984808 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/5675/task/5685/stat : 5685 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80854066 28656443392 71147 33554432000 4194304 4196468 140720675370384 140015196314256 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5686] ppid=5672 vsize=27984808 memory=6944652177228980320 CPUtime=0.32 cores=0-7
/proc/5675/task/5686/stat : 5686 (java) S 5672 5675 5531 0 -1 1077944384 5 4773 0 0 0 0 31 1 20 0 24 0 80854067 28656443392 71147 33554432000 4194304 4196468 140720675370384 140014034794992 140015780915842 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5687] ppid=5672 vsize=27984808 memory=6944656591801717405 CPUtime=0.32 cores=0-7
/proc/5675/task/5687/stat : 5687 (java) S 5672 5675 5531 0 -1 1077944384 13 4773 0 0 0 0 31 1 20 0 24 0 80854068 28656443392 71147 33554432000 4194304 4196468 140720675370384 140013719250336 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5688] ppid=5672 vsize=27984808 memory=7682475212697334586 CPUtime=0.32 cores=0-7
/proc/5675/task/5688/stat : 5688 (java) S 5672 5675 5531 0 -1 1077944384 1 4773 0 0 0 0 31 1 20 0 24 0 80854068 28656443392 71147 33554432000 4194304 4196468 140720675370384 140013450814960 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5689] ppid=5672 vsize=27984808 memory=6944613755328037012 CPUtime=0.32 cores=0-7
/proc/5675/task/5689/stat : 5689 (java) S 5672 5675 5531 0 -1 1077944384 1 4773 0 0 0 0 31 1 20 0 24 0 80854070 28656443392 71147 33554432000 4194304 4196468 140720675370384 140013076306640 140015780923291 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5690] ppid=5672 vsize=27984808 memory=206116 CPUtime=0.8 cores=0-7
/proc/5675/task/5690/stat : 5690 (java) S 5672 5675 5531 0 -1 1077944384 942 4773 0 0 47 1 31 1 20 0 24 0 80854070 28656443392 71147 33554432000 4194304 4196468 140720675370384 140014033741808 140015780915842 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5691] ppid=5672 vsize=27984808 memory=279554992279968 CPUtime=0.84 cores=0-7
/proc/5675/task/5691/stat : 5691 (java) S 5672 5675 5531 0 -1 1077944384 778 4773 0 0 52 0 31 1 20 0 24 0 80854070 28656443392 71147 33554432000 4194304 4196468 140720675370384 140014032689264 140015780915842 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5692] ppid=5672 vsize=27984808 memory=6656426216303648864 CPUtime=0.85 cores=0-7
/proc/5675/task/5692/stat : 5692 (java) R 5672 5675 5531 0 -1 4202560 1368 4773 0 0 53 0 31 1 20 0 24 0 80854070 28656443392 71147 33554432000 4194304 4196468 140720675370384 140014031628672 140015780918559 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5693] ppid=5672 vsize=27984808 memory=279554992476864 CPUtime=1.2 cores=0-7
/proc/5675/task/5693/stat : 5693 (java) R 5672 5675 5531 0 -1 4202560 3046 4773 0 0 88 0 31 1 20 0 24 0 80854070 28656443392 71147 33554432000 4194304 4196468 140720675370384 140014030584176 140015780916630 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5694] ppid=5672 vsize=27984808 memory=279554992477056 CPUtime=0.32 cores=0-7
/proc/5675/task/5694/stat : 5694 (java) S 5672 5675 5531 0 -1 1077944384 3 4773 0 0 0 0 31 1 20 0 24 0 80854071 28656443392 71147 33554432000 4194304 4196468 140720675370384 140012578400992 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
[pid=5675/tid=5695] ppid=5672 vsize=27984808 memory=279554992477248 CPUtime=0.32 cores=0-7
/proc/5675/task/5695/stat : 5695 (java) S 5672 5675 5531 0 -1 1077944384 1 4773 0 0 0 0 31 1 20 0 24 0 80854071 28656443392 71147 33554432000 4194304 4196468 140720675370384 140014029532080 140015780915842 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0
Current children cumulated CPU time: 4.3 s
Current children cumulated vsize: 27984808 KiB
Current children cumulated memory: 284588 KiB

Child status: 0
Real time (s): 1.96719
CPU time (s): 4.75927
CPU user time (s): 4.60488
CPU system time (s): 0.154389
CPU usage (%): 241.933
Max. virtual memory (cumulated for all children) (KiB): 27984808
Max. memory (cumulated for all children) (KiB): 284588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.60488
system time used= 0.154389
maximum resident set size= 291584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31156
page faults= 0
swaps= 0
block input operations= 0
block output operations= 496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7435
involuntary context switches= 19


# summary of solver processes directly reported to runsolver:
#   pid: 5675
#   total CPU time (s): 4.75927
#   total CPU user time (s): 4.60488
#   total CPU system time (s): 0.154389

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039834 second user time and 0.051785 second system time

The end

Launcher Data

Begin job on node106 at 2018-07-26 21:21:52
IDJOB=4297250
IDBENCH=141128
IDSOLVER=2759
FILE ID=node106/4297250-1532632912
RUNJOBID= node106-1532632909-5558
PBS_JOBID= 21022173
Free space on /tmp= 46168 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/StripPacking/StripPacking-C1P1_c18.xml
COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -both -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297250-1532632912/watcher-4297250-1532632912 -o /tmp/evaluation-result-4297250-1532632912/solver-4297250-1532632912 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532632909-5558 --watchdog 2580  java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297250-1532632912.xml

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

MD5SUM BENCH= 889218b6c90316b766a017c27e87ee44
RANDOM SEED=1714905562

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         8979384 kB
MemAvailable:   31922820 kB
Buffers:          241636 kB
Cached:         22601456 kB
SwapCached:            0 kB
Active:          2991672 kB
Inactive:       19907968 kB
Active(anon):      34316 kB
Inactive(anon):    50636 kB
Active(file):    2957356 kB
Inactive(file): 19857332 kB
Unevictable:        6944 kB
Mlocked:            6944 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8296 kB
Writeback:             0 kB
AnonPages:         63388 kB
Mapped:            40716 kB
Shmem:             25228 kB
Slab:             584076 kB
SReclaimable:     557208 kB
SUnreclaim:        26868 kB
KernelStack:        3232 kB
PageTables:         5136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 46160 MiB
End job on node106 at 2018-07-26 21:21:54