Trace number 4297251

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 5.08421 2.05953

General information on the benchmark

NameStripPacking/
StripPacking-C1P2_c18.xml
MD5SUMea26d3392de34cffb15676b0e6b531a1
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 benchmark5.01776
Satisfiable
(Un)Satisfiability was proved
Number of variables85
Number of constraints52
Number of domains13
Minimum domain size1
Maximum domain size20
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":49},{"size":20,"count":34}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":17},{"degree":2,"count":34},{"degree":3,"count":34}]
Minimum constraint arity2
Maximum constraint arity68
Distribution of constraint arities[{"arity":2,"count":34},{"arity":3,"count":17},{"arity":68,"count":1}]
Number of extensional constraints17
Number of intensional constraints34
Distribution of constraint types[{"type":"extension","count":17},{"type":"intension","count":34},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.65/0.52	
0.65/0.52	scop both+glucose-syrup (2018-07-07)
0.65/0.52	
0.65/0.55	c BEGIN-Prog: Thu Jul 26 20:56:18 CEST 2018
0.65/0.55	c PID: 5260
0.65/0.55	c IP: 172.20.3.106
0.65/0.55	c HOST: node106.alineos.net
0.65/0.56	c (0,0) Parsing Begin
1.33/0.98	c (0,0) Parsing End
1.33/0.98	c (0,0) CSP: 68 int (0 aux), 17 bool (0 aux), 52 ctr, max domain size 20
1.33/0.98	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.33/0.98	c (0,0) Constraint Name Generate Begin
1.33/0.99	c (0,0) Ctr:HOME/instance-4297251-1532631378.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num
1.33/0.99	c (0,0) Constraint Name Generate End
1.33/0.99	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.33/0.99	c (0,0) CSP to CSPinCNF Begin
1.55/1.07	c (0,0) translated 6 (10%) constraints
1.55/1.07	c (0,0) translated 11 (20%) constraints
1.55/1.08	c (0,0) translated 16 (30%) constraints
1.55/1.08	c (0,0) translated 21 (40%) constraints
1.55/1.09	c (0,0) translated 26 (50%) constraints
1.55/1.09	c (0,0) translated 32 (60%) constraints
1.70/1.18	c (0,0) translated 37 (70%) constraints
1.88/1.24	c (0,0) translated 42 (80%) constraints
1.88/1.28	c (0,0) translated 47 (90%) constraints
2.14/1.32	c (0,0) translated 52 (100%) constraints
2.43/1.47	c (0,0) STATISTICS1:HOME/instance-4297251-1532631378.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,149,411,40,20,4,3,40:12;38:48;36:160;34:200;32:30;30:62;16:30;15:2;2:32;1:2,20:198;19:198;18:330;17:264;16:66;15:66;2:1088;1:34,4:136;3:80;2:160;1:35,3:544;2:34;1:544;0:17,
2.43/1.47	c (0,0) ===========================================
2.43/1.47	c (0,0) Both Encoding selects:
2.43/1.47	c (0,0) Order
2.43/1.47	c (0,0) ===========================================
2.43/1.48	c (0,0) translated 42 (10%) constraints
2.43/1.49	c (0,0) translated 83 (20%) constraints
2.43/1.49	c (0,0) translated 124 (30%) constraints
2.43/1.49	c (0,0) translated 165 (40%) constraints
2.75/1.50	c (0,0) translated 206 (50%) constraints
2.75/1.50	c (0,0) translated 247 (60%) constraints
2.75/1.50	c (0,0) translated 288 (70%) constraints
2.75/1.51	c (0,0) translated 329 (80%) constraints
2.75/1.51	c (0,0) translated 370 (90%) constraints
2.75/1.52	c (0,0) translated 411 (100%) constraints
2.75/1.52	c (0,0) CSP to CSPinCNF End
2.75/1.52	c (0,0) CSP: 68 int (0 aux), 81 bool (64 aux), 411 ctr, max domain size 20
2.75/1.52	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.75/1.52	c (0,0) CSPinCNF Propagation Begin
2.75/1.59	c (1,1) 0 values, 16 unsatisfiable literals, and 3 valid clauses are removed
2.75/1.59	c (1,1) CSPinCNF Propagation End
2.75/1.59	c (1,1) CSP: 68 int (0 aux), 81 bool (64 aux), 408 ctr, max domain size 20
2.75/1.59	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB)
2.75/1.59	c (1,1) Simplify CSPinCNF Begin
3.12/1.65	c (1,1) Simplify CSPinCNF End
3.12/1.66	c (1,1) CSP: 68 int (0 aux), 625 bool (608 aux), 952 ctr, max domain size 20
3.12/1.66	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.12/1.66	c (1,1) Calculate Precise Domain Begin
3.12/1.66	c (1,1) 0 values are removed by re-calculation
3.12/1.66	c (1,1) Calculate Precise Domain End
3.12/1.66	c (1,1) CSP: 68 int (0 aux), 625 bool (608 aux), 952 ctr, max domain size 20
3.12/1.66	c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
3.12/1.66	c (1,1) CSPinCNF to SatSolver Begin
3.51/1.70	c (1,1) 96 (10 %) CSP clauses are encoded (1235 SAT variables, 639 SAT clauses)
3.51/1.71	c (1,1) 191 (20 %) CSP clauses are encoded (1235 SAT variables, 734 SAT clauses)
3.51/1.72	c (1,1) 286 (30 %) CSP clauses are encoded (1235 SAT variables, 1134 SAT clauses)
3.51/1.76	c (1,1) 381 (40 %) CSP clauses are encoded (1235 SAT variables, 3484 SAT clauses)
3.51/1.78	c (1,1) 476 (50 %) CSP clauses are encoded (1235 SAT variables, 5442 SAT clauses)
3.90/1.80	c (1,1) 572 (60 %) CSP clauses are encoded (1235 SAT variables, 7548 SAT clauses)
3.90/1.82	c (1,1) 667 (70 %) CSP clauses are encoded (1235 SAT variables, 9700 SAT clauses)
3.90/1.83	c (1,1) 762 (80 %) CSP clauses are encoded (1235 SAT variables, 11895 SAT clauses)
3.90/1.85	c (1,1) 857 (90 %) CSP clauses are encoded (1235 SAT variables, 13705 SAT clauses)
3.90/1.86	c (1,1) 952 (100 %) CSP clauses are encoded (1235 SAT variables, 15549 SAT clauses)
3.90/1.86	c (1,1) CSPinCNF to SatSolver End
3.90/1.86	c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
3.90/1.88	c (1,1) STATISTICS2:HOME/instance-4297251-1532631378.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,693,952,40,20,4,3,40:12;38:48;36:160;34:200;32:30;30:62;16:30;15:2;2:32,20:198;19:198;18:330;17:264;16:64;15:66;2:2176;1:32,4:136;3:64;2:720;1:32,3:544;2:32;1:1632,
3.90/1.88	c (1,1) SatSolver.solve Begin
3.90/1.88	c (1,1) 1235 bool, 15572 clause
3.90/1.88	c (1,1) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297251-1532631378.xml-scop-5260.cnf HOME/instance-4297251-1532631378.xml-scop-5260.cnf.out
4.34/1.99	c (1,0) c
4.34/1.99	c (1,0) c This is glucose-syrup 4.1 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
4.34/1.99	c (1,0) c
4.34/1.99	c (1,0) c WARNING: for repeatability, setting FPU to use double precision
4.34/1.99	c (1,0) c 8 solvers engines and 1 companion as a blackboard created.
4.34/1.99	c (1,0) c ========================================[ Problem Statistics ]===========================================
4.34/1.99	c (1,0) c |                                                                                                       |
4.34/1.99	c (1,0) c |  Number of variables:          1235                                                                   |
4.34/1.99	c (1,0) c |  Number of clauses:           15572                                                                   |
4.34/1.99	c (1,0) c |  Parse time:                   0.01 s                                                                 |
4.34/1.99	c (1,0) c |                                                                                                       |
4.34/1.99	c (1,0) c |  Eliminated clauses:           0.01 Mb                                                                |
4.34/1.99	c (1,0) c |  Simplification time:          0.02 s                                                                 |
4.34/1.99	c (1,0) c |                                                                                                       |
4.34/1.99	c (1,0) c |  Generating clones                                                                                    |
4.34/1.99	c (1,0) c |  all clones generated. Memory =  35.21Mb.                                                             |
4.34/1.99	c (1,0) c ========================================================================================================|
4.34/1.99	c (1,0) c last restart ## conflicts  :  50 88 
4.34/1.99	c (1,0) c Thread 0 is 100% pure glucose! First thread to finish! (SAT answer).
4.34/1.99	c (1,0) c Total Memory so far : 611.24Mb
4.34/1.99	c (1,0) c
4.34/1.99	c (1,0) c real time : 0.085264 s
4.34/1.99	c (1,0) c cpu time  : 0.33601 s
4.34/1.99	c (1,0) c
4.34/1.99	c (1,0) c
4.34/1.99	c (1,0) c
4.34/1.99	c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
4.34/1.99	c (1,0) c
4.34/1.99	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.34/1.99	c (1,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
4.34/1.99	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.34/1.99	c (1,0) c | Conflicts     |           13969 |       1255 |       2001 |       1028 |       2001 |       2512 |        780 |       2037 |       2355 |
4.34/1.99	c (1,0) c | Decisions     |           28020 |       3134 |       3878 |       1972 |       3878 |       5094 |       1433 |       3942 |       4689 |
4.34/1.99	c (1,0) c | Propagations  |          920361 |      79392 |     137016 |      68917 |     137016 |     148043 |      52352 |     139038 |     158587 |
4.34/1.99	c (1,0) c | Avg_Trail     |                 |        680 |        570 |        598 |        570 |        649 |        599 |        569 |        571 |
4.34/1.99	c (1,0) c | Avg_DL        |                 |         48 |         41 |         49 |         41 |         44 |         52 |         41 |         40 |
4.34/1.99	c (1,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.34/1.99	c (1,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.34/1.99	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.34/1.99	c (1,0) c | Exported      |              15 |          1 |          3 |          0 |          3 |          1 |          0 |          3 |          4 |
4.34/1.99	c (1,0) c | Imported      |              50 |         14 |          1 |          2 |          1 |          7 |         15 |          1 |          9 |
4.34/1.99	c (1,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.34/1.99	c (1,0) c | Purge         |              50 |         14 |          1 |          2 |          1 |          7 |         15 |          1 |          9 |
4.34/1.99	c (1,0) c | Promoted      |               1 |          0 |          0 |          0 |          0 |          1 |          0 |          0 |          0 |
4.34/1.99	c (1,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.34/1.99	c (1,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.34/1.99	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.34/1.99	c (1,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.34/1.99	c (1,0) c | Binaries      |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
4.34/1.99	c (1,0) c | Glues         |                 |          1 |          3 |          0 |          3 |          1 |          0 |          3 |          4 |
4.34/1.99	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.34/1.99	c (1,0) c | Orig_Seen     |            23 % |       3659 |       3890 |       2925 |       3890 |       4811 |       2421 |       3942 |       4333 |
4.34/1.99	c (1,0) c | Diff Orig seen|                 |      X     |        231 | -      734 |        231 |       1152 | -     1238 |        283 |        674 |
4.34/1.99	c (1,0) c | Hamming       |            27 % |      X     |        357 |        331 |        357 |        303 |        351 |        370 |        350 |
4.34/1.99	c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
4.34/1.99	c (1,0) 
4.34/1.99	c (1,0) s SATISFIABLE
4.34/2.00	c (1,1) SatSolver.solve End
4.34/2.00	c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
4.34/2.00	c (1,1) Show results Begin
4.99/2.01	c (1,1) h[0] = 1
4.99/2.01	c (1,1) h[1] = 5
4.99/2.01	c (1,1) h[2] = 9
4.99/2.01	c (1,1) h[3] = 5
4.99/2.01	c (1,1) h[4] = 9
4.99/2.01	c (1,1) h[5] = 1
4.99/2.01	c (1,1) h[6] = 5
4.99/2.01	c (1,1) h[7] = 4
4.99/2.01	c (1,1) h[8] = 5
4.99/2.01	c (1,1) h[9] = 2
4.99/2.01	c (1,1) h[10] = 9
4.99/2.01	c (1,1) h[11] = 3
4.99/2.01	c (1,1) h[12] = 2
4.99/2.01	c (1,1) h[13] = 4
4.99/2.01	c (1,1) h[14] = 4
4.99/2.01	c (1,1) h[15] = 6
4.99/2.01	c (1,1) h[16] = 7
4.99/2.01	c (1,1) r[0] = 0
4.99/2.01	c (1,1) r[1] = 0
4.99/2.01	c (1,1) r[2] = 1
4.99/2.01	c (1,1) r[3] = 0
4.99/2.01	c (1,1) r[4] = 0
4.99/2.01	c (1,1) r[5] = 1
4.99/2.01	c (1,1) r[6] = 1
4.99/2.01	c (1,1) r[7] = 1
4.99/2.01	c (1,1) r[8] = 0
4.99/2.01	c (1,1) r[9] = 0
4.99/2.01	c (1,1) r[10] = 1
4.99/2.01	c (1,1) r[11] = 1
4.99/2.01	c (1,1) r[12] = 1
4.99/2.01	c (1,1) r[13] = 0
4.99/2.01	c (1,1) r[14] = 0
4.99/2.01	c (1,1) r[15] = 0
4.99/2.01	c (1,1) r[16] = 1
4.99/2.01	c (1,1) w[0] = 4
4.99/2.01	c (1,1) w[1] = 4
4.99/2.01	c (1,1) w[2] = 4
4.99/2.01	c (1,1) w[3] = 3
4.99/2.01	c (1,1) w[4] = 3
4.99/2.01	c (1,1) w[5] = 4
4.99/2.01	c (1,1) w[6] = 3
4.99/2.01	c (1,1) w[7] = 1
4.99/2.01	c (1,1) w[8] = 5
4.99/2.01	c (1,1) w[9] = 7
4.99/2.01	c (1,1) w[10] = 3
4.99/2.01	c (1,1) w[11] = 13
4.99/2.01	c (1,1) w[12] = 8
4.99/2.01	c (1,1) w[13] = 15
4.99/2.01	c (1,1) w[14] = 5
4.99/2.01	c (1,1) w[15] = 10
4.99/2.01	c (1,1) w[16] = 2
4.99/2.01	c (1,1) x[0] = 13
4.99/2.02	c (1,1) x[1] = 7
4.99/2.02	c (1,1) x[2] = 0
4.99/2.02	c (1,1) x[3] = 11
4.99/2.02	c (1,1) x[4] = 4
4.99/2.02	c (1,1) x[5] = 13
4.99/2.02	c (1,1) x[6] = 14
4.99/2.02	c (1,1) x[7] = 17
4.99/2.02	c (1,1) x[8] = 0
4.99/2.02	c (1,1) x[9] = 0
4.99/2.02	c (1,1) x[10] = 17
4.99/2.02	c (1,1) x[11] = 5
4.99/2.02	c (1,1) x[12] = 5
4.99/2.02	c (1,1) x[13] = 0
4.99/2.02	c (1,1) x[14] = 15
4.99/2.02	c (1,1) x[15] = 7
4.99/2.02	c (1,1) x[16] = 18
4.99/2.02	c (1,1) y[0] = 8
4.99/2.02	c (1,1) y[1] = 9
4.99/2.02	c (1,1) y[2] = 11
4.99/2.02	c (1,1) y[3] = 9
4.99/2.02	c (1,1) y[4] = 11
4.99/2.02	c (1,1) y[5] = 7
4.99/2.02	c (1,1) y[6] = 9
4.99/2.02	c (1,1) y[7] = 7
4.99/2.02	c (1,1) y[8] = 4
4.99/2.02	c (1,1) y[9] = 9
4.99/2.02	c (1,1) y[10] = 11
4.99/2.02	c (1,1) y[11] = 4
4.99/2.02	c (1,1) y[12] = 7
4.99/2.02	c (1,1) y[13] = 0
4.99/2.02	c (1,1) y[14] = 0
4.99/2.02	c (1,1) y[15] = 14
4.99/2.02	c (1,1) y[16] = 4
4.99/2.02	s SATISFIABLE
4.99/2.02	v <instantiation>
4.99/2.02	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] x[16] 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] y[16] 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] w[16] 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] h[16] 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] r[16]</list>
4.99/2.02	v     <values>13 7 0 11 4 13 14 17 0 0 17 5 5 0 15 7 18 8 9 11 9 11 7 9 7 4 9 11 4 7 0 0 14 4 4 4 4 3 3 4 3 1 5 7 3 13 8 15 5 10 2 1 5 9 5 9 1 5 4 5 2 9 3 2 4 4 6 7 0 0 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1</values>
4.99/2.02	v </instantiation>
4.99/2.02	c (1,1) Show results End
4.99/2.02	c (1,1) Heap : 788 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
4.99/2.02	c (1,1) 0,0,0,1,1,1,1,1,1,STOP-AFTER(ALL)
4.99/2.02	c END-Prog: Thu Jul 26 20:56:20 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-4297251-1532631378/watcher-4297251-1532631378 -o /tmp/evaluation-result-4297251-1532631378/solver-4297251-1532631378 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532623785-4339 --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-4297251-1532631378.xml 

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

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


[startup+0.100137 s]*
/proc/loadavg: 8.04 8.71 8.71 2/198 5280
/proc/meminfo: memFree=8882780/32770624 swapFree=67108860/67108860
[pid=5260] ppid=5257 vsize=27312552 memory=110024 CPUtime=0.1 cores=0-7
/proc/5260/stat : 5260 (java) S 5257 5260 4312 0 -1 1077944320 6515 0 0 0 9 1 0 0 20 0 20 0 80700626 27968053248 27506 33554432000 4194304 4196468 140729203011184 140729202993728 139991493422839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
/proc/5260/statm: 6828138 27506 2750 1 0 6790598 0
[pid=5260/tid=5262] ppid=5257 vsize=27312552 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/5260/task/5262/stat : 5262 (java) R 5257 5260 4312 0 -1 4202560 4646 0 0 0 8 1 0 0 20 0 20 0 80700626 27968053248 27506 33554432000 4194304 4196468 140729203011184 139991465255040 139991477503326 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5263] ppid=5257 vsize=27312552 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5260/task/5263/stat : 5263 (java) S 5257 5260 4312 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700628 27968053248 27506 33554432000 4194304 4196468 140729203011184 139991497665168 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5264] ppid=5257 vsize=27312552 memory=140602190579328 CPUtime=0 cores=0-7
/proc/5260/task/5264/stat : 5264 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700628 27968053248 27506 33554432000 4194304 4196468 140729203011184 139991311821328 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5265] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5265/stat : 5265 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700628 27968053248 27506 33554432000 4194304 4196468 140729203011184 139991310768528 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5266] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5266/stat : 5266 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700628 27968053248 27506 33554432000 4194304 4196468 140729203011184 139991309715728 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5267] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5267/stat : 5267 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700628 27968053248 27506 33554432000 4194304 4196468 140729203011184 139991308663952 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5268] ppid=5257 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/5260/task/5268/stat : 5268 (java) S 5257 5260 4312 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700628 27968053248 27506 33554432000 4194304 4196468 140729203011184 139991307611152 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5269] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5269/stat : 5269 (java) S 5257 5260 4312 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700628 27968053248 27506 33554432000 4194304 4196468 140729203011184 139991306558352 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5270] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5270/stat : 5270 (java) S 5257 5260 4312 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700628 27968053248 27506 33554432000 4194304 4196468 140729203011184 139990909221648 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5271] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5271/stat : 5271 (java) S 5257 5260 4312 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700630 27968053248 27506 33554432000 4194304 4196468 140729203011184 139989612431728 139991493433986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5272] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5272/stat : 5272 (java) S 5257 5260 4312 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80700630 27968053248 27506 33554432000 4194304 4196468 140729203011184 139989425841184 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5273] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5273/stat : 5273 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700631 27968053248 27506 33554432000 4194304 4196468 140729203011184 139989157405552 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5274] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5274/stat : 5274 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700633 27968053248 27506 33554432000 4194304 4196468 140729203011184 139988782896976 139991493441435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5275] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5275/stat : 5275 (java) S 5257 5260 4312 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 80700633 27968053248 27506 33554432000 4194304 4196468 140729203011184 139989611379568 139991493433986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5276] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5276/stat : 5276 (java) S 5257 5260 4312 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700633 27968053248 27506 33554432000 4194304 4196468 140729203011184 139989610326768 139991493433986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5277] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5277/stat : 5277 (java) S 5257 5260 4312 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700633 27968053248 27506 33554432000 4194304 4196468 140729203011184 139989609273968 139991493433986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5278] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5278/stat : 5278 (java) S 5257 5260 4312 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 20 0 80700633 27968053248 27506 33554432000 4194304 4196468 140729203011184 139989608221168 139991493433986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5279] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5279/stat : 5279 (java) S 5257 5260 4312 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700633 27968053248 27506 33554432000 4194304 4196468 140729203011184 139988284992096 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5280] ppid=5257 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/5260/task/5280/stat : 5280 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700633 27968053248 27506 33554432000 4194304 4196468 140729203011184 139989607168560 139991493433986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 110024 KiB

[startup+0.209656 s]*
/proc/loadavg: 7.56 8.60 8.67 3/198 5280
/proc/meminfo: memFree=8866408/32770624 swapFree=67108860/67108860
[pid=5260] ppid=5257 vsize=27312552 memory=124416 CPUtime=0.24 cores=0-7
/proc/5260/stat : 5260 (java) S 5257 5260 4312 0 -1 1077944320 10307 0 0 0 22 2 0 0 20 0 20 0 80700626 27968053248 31104 33554432000 4194304 4196468 140729203011184 140729202993728 139991493422839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
/proc/5260/statm: 6828138 31104 2912 1 0 6790598 0
[pid=5260/tid=5262] ppid=5257 vsize=27312552 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/5260/task/5262/stat : 5262 (java) R 5257 5260 4312 0 -1 4202560 8213 0 0 0 18 2 0 0 20 0 20 0 80700626 27968053248 31104 33554432000 4194304 4196468 140729203011184 139991465250240 139991493434774 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5263] ppid=5257 vsize=27312552 memory=12918 CPUtime=0 cores=0-7
/proc/5260/task/5263/stat : 5263 (java) S 5257 5260 4312 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700628 27968053248 31104 33554432000 4194304 4196468 140729203011184 139991497665168 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5264] ppid=5257 vsize=27312552 memory=140602190584524 CPUtime=0 cores=0-7
/proc/5260/task/5264/stat : 5264 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700628 27968053248 31104 33554432000 4194304 4196468 140729203011184 139991311821328 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5265] ppid=5257 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/5260/task/5265/stat : 5265 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700628 27968053248 31104 33554432000 4194304 4196468 140729203011184 139991310768528 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5266] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5266/stat : 5266 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700628 27968053248 31104 33554432000 4194304 4196468 140729203011184 139991309715728 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5267] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5267/stat : 5267 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700628 27968053248 31104 33554432000 4194304 4196468 140729203011184 139991308663952 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5268] ppid=5257 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/5260/task/5268/stat : 5268 (java) S 5257 5260 4312 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700628 27968053248 31104 33554432000 4194304 4196468 140729203011184 139991307611152 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5269] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5269/stat : 5269 (java) S 5257 5260 4312 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700628 27968053248 31104 33554432000 4194304 4196468 140729203011184 139991306558352 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5270] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5270/stat : 5270 (java) S 5257 5260 4312 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700628 27968053248 31104 33554432000 4194304 4196468 140729203011184 139990909221648 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5271] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5271/stat : 5271 (java) S 5257 5260 4312 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700630 27968053248 31104 33554432000 4194304 4196468 140729203011184 139989612431728 139991493433986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5272] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5272/stat : 5272 (java) S 5257 5260 4312 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80700630 27968053248 31104 33554432000 4194304 4196468 140729203011184 139989425841184 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5273] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5273/stat : 5273 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700631 27968053248 31104 33554432000 4194304 4196468 140729203011184 139989157405552 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5274] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5274/stat : 5274 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700633 27968053248 31104 33554432000 4194304 4196468 140729203011184 139988782896976 139991493441435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5275] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5275/stat : 5275 (java) S 5257 5260 4312 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 20 0 80700633 27968053248 31104 33554432000 4194304 4196468 140729203011184 139989611379568 139991493433986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5276] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5276/stat : 5276 (java) S 5257 5260 4312 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 80700633 27968053248 31104 33554432000 4194304 4196468 140729203011184 139989610326768 139991493433986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5277] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5277/stat : 5277 (java) S 5257 5260 4312 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700633 27968053248 31104 33554432000 4194304 4196468 140729203011184 139989609273968 139991493433986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5278] ppid=5257 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/5260/task/5278/stat : 5278 (java) S 5257 5260 4312 0 -1 1077944384 287 0 0 0 2 0 0 0 20 0 20 0 80700633 27968053248 31104 33554432000 4194304 4196468 140729203011184 139989608221168 139991493433986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5279] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5279/stat : 5279 (java) S 5257 5260 4312 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700633 27968053248 31104 33554432000 4194304 4196468 140729203011184 139988284992096 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5280] ppid=5257 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/5260/task/5280/stat : 5280 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700633 27968053248 31104 33554432000 4194304 4196468 140729203011184 139989607168560 139991493433986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 124416 KiB

[startup+0.309294 s]*
/proc/loadavg: 7.56 8.60 8.67 2/198 5280
/proc/meminfo: memFree=8862872/32770624 swapFree=67108860/67108860
[pid=5260] ppid=5257 vsize=27312552 memory=127888 CPUtime=0.41 cores=0-7
/proc/5260/stat : 5260 (java) S 5257 5260 4312 0 -1 1077944320 10843 0 0 0 38 3 0 0 20 0 20 0 80700626 27968053248 31972 33554432000 4194304 4196468 140729203011184 140729202993728 139991493422839 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
/proc/5260/statm: 6828138 31972 2983 1 0 6790598 0
[pid=5260/tid=5262] ppid=5257 vsize=27312552 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5260/task/5262/stat : 5262 (java) R 5257 5260 4312 0 -1 4202560 8583 0 0 0 27 2 0 0 20 0 20 0 80700626 27968053248 31972 33554432000 4194304 4196468 140729203011184 139991465226992 139991477503326 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5263] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5263/stat : 5263 (java) S 5257 5260 4312 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700628 27968053248 31972 33554432000 4194304 4196468 140729203011184 139991497665168 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5264] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5264/stat : 5264 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700628 27968053248 31972 33554432000 4194304 4196468 140729203011184 139991311821328 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5265] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5265/stat : 5265 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700628 27968053248 31972 33554432000 4194304 4196468 140729203011184 139991310768528 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5266] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5266/stat : 5266 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700628 27968053248 31972 33554432000 4194304 4196468 140729203011184 139991309715728 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5267] ppid=5257 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/5260/task/5267/stat : 5267 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700628 27968053248 31972 33554432000 4194304 4196468 140729203011184 139991308663952 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5268] ppid=5257 vsize=27312552 memory=140602062762927 CPUtime=0 cores=0-7
/proc/5260/task/5268/stat : 5268 (java) S 5257 5260 4312 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700628 27968053248 31972 33554432000 4194304 4196468 140729203011184 139991307611152 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5269] ppid=5257 vsize=27312552 memory=140602062765232 CPUtime=0 cores=0-7
/proc/5260/task/5269/stat : 5269 (java) S 5257 5260 4312 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700628 27968053248 31972 33554432000 4194304 4196468 140729203011184 139991306558352 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5270] ppid=5257 vsize=27312552 memory=140602062767536 CPUtime=0 cores=0-7
/proc/5260/task/5270/stat : 5270 (java) S 5257 5260 4312 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700628 27968053248 31972 33554432000 4194304 4196468 140729203011184 139990909221648 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5271] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5271/stat : 5271 (java) S 5257 5260 4312 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700630 27968053248 31972 33554432000 4194304 4196468 140729203011184 139989612431728 139991493433986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5272] ppid=5257 vsize=27312552 memory=281204125542032 CPUtime=0 cores=0-7
/proc/5260/task/5272/stat : 5272 (java) S 5257 5260 4312 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80700630 27968053248 31972 33554432000 4194304 4196468 140729203011184 139989425841184 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5273] ppid=5257 vsize=27312552 memory=281204125548944 CPUtime=0 cores=0-7
/proc/5260/task/5273/stat : 5273 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700631 27968053248 31972 33554432000 4194304 4196468 140729203011184 139989157405552 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5274] ppid=5257 vsize=27312552 memory=281204125490096 CPUtime=0 cores=0-7
/proc/5260/task/5274/stat : 5274 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700633 27968053248 31972 33554432000 4194304 4196468 140729203011184 139988782896976 139991493441435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5275] ppid=5257 vsize=27312552 memory=281204125562768 CPUtime=0 cores=0-7
/proc/5260/task/5275/stat : 5275 (java) S 5257 5260 4312 0 -1 1077944384 345 0 0 0 0 0 0 0 20 0 20 0 80700633 27968053248 31972 33554432000 4194304 4196468 140729203011184 139989611379568 139991493433986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5276] ppid=5257 vsize=27312552 memory=281204125569680 CPUtime=0 cores=0-7
/proc/5260/task/5276/stat : 5276 (java) S 5257 5260 4312 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 20 0 80700633 27968053248 31972 33554432000 4194304 4196468 140729203011184 139989610326768 139991493433986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5277] ppid=5257 vsize=27312552 memory=281204125567376 CPUtime=0.01 cores=0-7
/proc/5260/task/5277/stat : 5277 (java) S 5257 5260 4312 0 -1 1077944384 115 0 0 0 1 0 0 0 20 0 20 0 80700633 27968053248 31972 33554432000 4194304 4196468 140729203011184 139989609273968 139991493433986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5278] ppid=5257 vsize=27312552 memory=281204125583984 CPUtime=0.07 cores=0-7
/proc/5260/task/5278/stat : 5278 (java) S 5257 5260 4312 0 -1 1077944384 309 0 0 0 7 0 0 0 20 0 20 0 80700633 27968053248 31972 33554432000 4194304 4196468 140729203011184 139989608221168 139991493433986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5279] ppid=5257 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5279/stat : 5279 (java) S 5257 5260 4312 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700633 27968053248 31972 33554432000 4194304 4196468 140729203011184 139988284992096 139991493433045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5280] ppid=5257 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/5260/task/5280/stat : 5280 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700633 27968053248 31972 33554432000 4194304 4196468 140729203011184 139989607168560 139991493433986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127888 KiB

[startup+0.700783 s]
/proc/loadavg: 7.56 8.60 8.67 2/198 5280
/proc/meminfo: memFree=8839264/32770624 swapFree=67108860/67108860
[pid=5260] ppid=5257 vsize=27320948 memory=164972 CPUtime=0.97 cores=0-7
/proc/5260/stat : 5260 (java) S 5257 5260 4312 0 -1 1077944320 17819 0 0 0 92 5 0 0 20 0 20 0 80700626 27976650752 41243 33554432000 4194304 4196468 140729203011184 140729202993728 139991493422839 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
/proc/5260/statm: 6830237 41243 3110 1 0 6791622 0
[pid=5260/tid=5262] ppid=5257 vsize=27320948 memory=0 CPUtime=0.65 cores=0-7
/proc/5260/task/5262/stat : 5262 (java) R 5257 5260 4312 0 -1 4202560 15092 0 0 0 62 3 0 0 20 0 20 0 80700626 27976650752 41243 33554432000 4194304 4196468 140729203011184 139991465254752 139991477503326 0 4 0 25189583 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5263] ppid=5257 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5263/stat : 5263 (java) S 5257 5260 4312 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700628 27976650752 41243 33554432000 4194304 4196468 140729203011184 139991497665168 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5264] ppid=5257 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5264/stat : 5264 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700628 27976650752 41243 33554432000 4194304 4196468 140729203011184 139991311821328 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5265] ppid=5257 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5265/stat : 5265 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700628 27976650752 41243 33554432000 4194304 4196468 140729203011184 139991310768528 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5266] ppid=5257 vsize=27320948 memory=5668 CPUtime=0 cores=0-7
/proc/5260/task/5266/stat : 5266 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700628 27976650752 41243 33554432000 4194304 4196468 140729203011184 139991309715728 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5267] ppid=5257 vsize=27320948 memory=4616 CPUtime=0 cores=0-7
/proc/5260/task/5267/stat : 5267 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700628 27976650752 41243 33554432000 4194304 4196468 140729203011184 139991308663952 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5268] ppid=5257 vsize=27320948 memory=14076 CPUtime=0 cores=0-7
/proc/5260/task/5268/stat : 5268 (java) S 5257 5260 4312 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700628 27976650752 41243 33554432000 4194304 4196468 140729203011184 139991307611152 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5269] ppid=5257 vsize=27320948 memory=1204 CPUtime=0 cores=0-7
/proc/5260/task/5269/stat : 5269 (java) S 5257 5260 4312 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700628 27976650752 41243 33554432000 4194304 4196468 140729203011184 139991306558352 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5270] ppid=5257 vsize=27320948 memory=15872 CPUtime=0 cores=0-7
/proc/5260/task/5270/stat : 5270 (java) S 5257 5260 4312 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700628 27976650752 41243 33554432000 4194304 4196468 140729203011184 139990909221648 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5271] ppid=5257 vsize=27320948 memory=4008 CPUtime=0 cores=0-7
/proc/5260/task/5271/stat : 5271 (java) S 5257 5260 4312 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 80700630 27976650752 41243 33554432000 4194304 4196468 140729203011184 139989612431728 139991493433986 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0

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

Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 27320948 KiB
Current children cumulated memory: 164972 KiB

[startup+1.50081 s]
/proc/loadavg: 7.56 8.60 8.67 2/198 5280
/proc/meminfo: memFree=8811952/32770624 swapFree=67108860/67108860
[pid=5260] ppid=5257 vsize=27325044 memory=211056 CPUtime=2.75 cores=0-7
/proc/5260/stat : 5260 (java) S 5257 5260 4312 0 -1 1077944320 22157 0 0 0 265 10 0 0 20 0 20 0 80700626 27980845056 52764 33554432000 4194304 4196468 140729203011184 140729202993728 139991493422839 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
/proc/5260/statm: 6831261 52764 3198 1 0 6792646 0
[pid=5260/tid=5262] ppid=5257 vsize=27325044 memory=0 CPUtime=1.45 cores=0-7
/proc/5260/task/5262/stat : 5262 (java) R 5257 5260 4312 0 -1 4202560 16629 0 0 0 140 5 0 0 20 0 20 0 80700626 27980845056 52764 33554432000 4194304 4196468 140729203011184 139991465257968 139990993754624 0 4 0 25189583 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5263] ppid=5257 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5263/stat : 5263 (java) S 5257 5260 4312 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700628 27980845056 52764 33554432000 4194304 4196468 140729203011184 139991497665168 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5264] ppid=5257 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5264/stat : 5264 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700628 27980845056 52764 33554432000 4194304 4196468 140729203011184 139991311821328 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5265] ppid=5257 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5265/stat : 5265 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700628 27980845056 52764 33554432000 4194304 4196468 140729203011184 139991310768528 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5266] ppid=5257 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5266/stat : 5266 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700628 27980845056 52764 33554432000 4194304 4196468 140729203011184 139991309715728 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5267] ppid=5257 vsize=27325044 memory=281204126024048 CPUtime=0 cores=0-7
/proc/5260/task/5267/stat : 5267 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700628 27980845056 52764 33554432000 4194304 4196468 140729203011184 139991308663952 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5268] ppid=5257 vsize=27325044 memory=24764781429738 CPUtime=0 cores=0-7
/proc/5260/task/5268/stat : 5268 (java) S 5257 5260 4312 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700628 27980845056 52764 33554432000 4194304 4196468 140729203011184 139991307611152 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5269] ppid=5257 vsize=27325044 memory=24764781429738 CPUtime=0 cores=0-7
/proc/5260/task/5269/stat : 5269 (java) S 5257 5260 4312 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700628 27980845056 52764 33554432000 4194304 4196468 140729203011184 139991306558352 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5270] ppid=5257 vsize=27325044 memory=2110952670123924 CPUtime=0 cores=0-7
/proc/5260/task/5270/stat : 5270 (java) S 5257 5260 4312 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700628 27980845056 52764 33554432000 4194304 4196468 140729203011184 139990909221648 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5271] ppid=5257 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5271/stat : 5271 (java) S 5257 5260 4312 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 80700630 27980845056 52764 33554432000 4194304 4196468 140729203011184 139989612431728 139991493433986 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5272] ppid=5257 vsize=27325044 memory=5668 CPUtime=0 cores=0-7
/proc/5260/task/5272/stat : 5272 (java) S 5257 5260 4312 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80700630 27980845056 52764 33554432000 4194304 4196468 140729203011184 139989425841184 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5273] ppid=5257 vsize=27325044 memory=4616 CPUtime=0 cores=0-7
/proc/5260/task/5273/stat : 5273 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700631 27980845056 52764 33554432000 4194304 4196468 140729203011184 139989157405552 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5274] ppid=5257 vsize=27325044 memory=14076 CPUtime=0 cores=0-7
/proc/5260/task/5274/stat : 5274 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700633 27980845056 52764 33554432000 4194304 4196468 140729203011184 139988782896976 139991493441435 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5275] ppid=5257 vsize=27325044 memory=1204 CPUtime=0.19 cores=0-7
/proc/5260/task/5275/stat : 5275 (java) R 5257 5260 4312 0 -1 4202560 632 0 0 0 17 2 0 0 20 0 20 0 80700633 27980845056 52764 33554432000 4194304 4196468 140729203011184 139989611368160 139991473078304 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5276] ppid=5257 vsize=27325044 memory=15872 CPUtime=0.22 cores=0-7
/proc/5260/task/5276/stat : 5276 (java) R 5257 5260 4312 0 -1 4202560 487 0 0 0 21 1 0 0 20 0 20 0 80700633 27980845056 52764 33554432000 4194304 4196468 140729203011184 139989610314656 139991472677927 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5277] ppid=5257 vsize=27325044 memory=4008 CPUtime=0.22 cores=0-7
/proc/5260/task/5277/stat : 5277 (java) R 5257 5260 4312 0 -1 4202560 514 0 0 0 21 1 0 0 20 0 20 0 80700633 27980845056 52764 33554432000 4194304 4196468 140729203011184 139989609261040 139991493444186 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5278] ppid=5257 vsize=27325044 memory=18460 CPUtime=0.65 cores=0-7
/proc/5260/task/5278/stat : 5278 (java) R 5257 5260 4312 0 -1 4202560 2549 0 0 0 65 0 0 0 20 0 20 0 80700633 27980845056 52764 33554432000 4194304 4196468 140729203011184 139989608218960 139991474832989 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5279] ppid=5257 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5279/stat : 5279 (java) S 5257 5260 4312 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700633 27980845056 52764 33554432000 4194304 4196468 140729203011184 139988284992096 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5280] ppid=5257 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5280/stat : 5280 (java) S 5257 5260 4312 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700633 27980845056 52764 33554432000 4194304 4196468 140729203011184 139989607168560 139991493433986 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 27325044 KiB
Current children cumulated memory: 211056 KiB

[startup+2.05948 s]
# the end of solver process 5260 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.92844 s, system=0.155772 s

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

[startup+1.60093 s]
/proc/loadavg: 7.56 8.60 8.67 2/198 5280
/proc/meminfo: memFree=8811952/32770624 swapFree=67108860/67108860
[pid=5260] ppid=5257 vsize=27325044 memory=220908 CPUtime=3.12 cores=0-7
/proc/5260/stat : 5260 (java) S 5257 5260 4312 0 -1 1077944320 22541 0 0 0 302 10 0 0 20 0 20 0 80700626 27980845056 55227 33554432000 4194304 4196468 140729203011184 140729202993728 139991493422839 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
/proc/5260/statm: 6831261 55227 3200 1 0 6792646 0
[pid=5260/tid=5262] ppid=5257 vsize=27325044 memory=0 CPUtime=1.55 cores=0-7
/proc/5260/task/5262/stat : 5262 (java) R 5257 5260 4312 0 -1 4202560 16677 0 0 0 150 5 0 0 20 0 20 0 80700626 27980845056 55227 33554432000 4194304 4196468 140729203011184 139991465258784 139991493444186 0 4 0 25189583 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5263] ppid=5257 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5263/stat : 5263 (java) S 5257 5260 4312 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700628 27980845056 55227 33554432000 4194304 4196468 140729203011184 139991497665168 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5264] ppid=5257 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5264/stat : 5264 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700628 27980845056 55227 33554432000 4194304 4196468 140729203011184 139991311821328 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5265] ppid=5257 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5265/stat : 5265 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700628 27980845056 55227 33554432000 4194304 4196468 140729203011184 139991310768528 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5266] ppid=5257 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5266/stat : 5266 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700628 27980845056 55227 33554432000 4194304 4196468 140729203011184 139991309715728 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5267] ppid=5257 vsize=27325044 memory=4140 CPUtime=0 cores=0-7
/proc/5260/task/5267/stat : 5267 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700628 27980845056 55227 33554432000 4194304 4196468 140729203011184 139991308663952 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5268] ppid=5257 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5268/stat : 5268 (java) S 5257 5260 4312 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700628 27980845056 55227 33554432000 4194304 4196468 140729203011184 139991307611152 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5269] ppid=5257 vsize=27325044 memory=140602062976448 CPUtime=0 cores=0-7
/proc/5260/task/5269/stat : 5269 (java) S 5257 5260 4312 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700628 27980845056 55227 33554432000 4194304 4196468 140729203011184 139991306558352 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5270] ppid=5257 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5270/stat : 5270 (java) S 5257 5260 4312 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700628 27980845056 55227 33554432000 4194304 4196468 140729203011184 139990909221648 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5271] ppid=5257 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5271/stat : 5271 (java) S 5257 5260 4312 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 80700630 27980845056 55227 33554432000 4194304 4196468 140729203011184 139989612431728 139991493433986 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5272] ppid=5257 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5272/stat : 5272 (java) S 5257 5260 4312 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80700630 27980845056 55227 33554432000 4194304 4196468 140729203011184 139989425841184 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5273] ppid=5257 vsize=27325044 memory=16041702853560 CPUtime=0 cores=0-7
/proc/5260/task/5273/stat : 5273 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700631 27980845056 55227 33554432000 4194304 4196468 140729203011184 139989157405552 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5274] ppid=5257 vsize=27325044 memory=288230583166042425 CPUtime=0 cores=0-7
/proc/5260/task/5274/stat : 5274 (java) S 5257 5260 4312 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80700633 27980845056 55227 33554432000 4194304 4196468 140729203011184 139988782896976 139991493441435 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5275] ppid=5257 vsize=27325044 memory=15541808151136668 CPUtime=0.26 cores=0-7
/proc/5260/task/5275/stat : 5275 (java) R 5257 5260 4312 0 -1 4202560 770 0 0 0 24 2 0 0 20 0 20 0 80700633 27980845056 55227 33554432000 4194304 4196468 140729203011184 139989611364320 139991493444186 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5276] ppid=5257 vsize=27325044 memory=0 CPUtime=0.27 cores=0-7
/proc/5260/task/5276/stat : 5276 (java) R 5257 5260 4312 0 -1 4202560 512 0 0 0 26 1 0 0 20 0 20 0 80700633 27980845056 55227 33554432000 4194304 4196468 140729203011184 139989610309360 139991479454727 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5277] ppid=5257 vsize=27325044 memory=0 CPUtime=0.28 cores=0-7
/proc/5260/task/5277/stat : 5277 (java) R 5257 5260 4312 0 -1 4202560 546 0 0 0 27 1 0 0 20 0 20 0 80700633 27980845056 55227 33554432000 4194304 4196468 140729203011184 139989609257600 139991493444186 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5278] ppid=5257 vsize=27325044 memory=0 CPUtime=0.72 cores=0-7
/proc/5260/task/5278/stat : 5278 (java) R 5257 5260 4312 0 -1 4202560 2689 0 0 0 72 0 0 0 20 0 20 0 80700633 27980845056 55227 33554432000 4194304 4196468 140729203011184 139989608221168 139991493444186 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5279] ppid=5257 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5279/stat : 5279 (java) S 5257 5260 4312 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80700633 27980845056 55227 33554432000 4194304 4196468 140729203011184 139988284992096 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5280] ppid=5257 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/5260/task/5280/stat : 5280 (java) S 5257 5260 4312 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80700633 27980845056 55227 33554432000 4194304 4196468 140729203011184 139989607168560 139991493433986 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
Current children cumulated CPU time: 3.12 s
Current children cumulated vsize: 27325044 KiB
Current children cumulated memory: 220908 KiB

[startup+2.00076 s]*
/proc/loadavg: 7.56 8.60 8.67 4/200 5294
/proc/meminfo: memFree=8695612/32770624 swapFree=67108860/67108860
[pid=5260] ppid=5257 vsize=27853732 memory=299100 CPUtime=4.99 cores=0-7
/proc/5260/stat : 5260 (java) S 5257 5260 4312 0 -1 1077944320 25293 4139 0 0 453 12 33 1 20 0 22 0 80700626 28522221568 74775 33554432000 4194304 4196468 140729203011184 140729202993728 139991493422839 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
/proc/5260/statm: 6963433 74775 3222 1 0 6924289 0
[pid=5260/tid=5262] ppid=5257 vsize=27853732 memory=0 CPUtime=2.24 cores=0-7
/proc/5260/task/5262/stat : 5262 (java) R 5257 5260 4312 0 -1 4202560 17321 4139 0 0 184 6 33 1 20 0 22 0 80700626 28522221568 74775 33554432000 4194304 4196468 140729203011184 139991465258320 139990987262391 0 4 0 25189583 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5263] ppid=5257 vsize=27853732 memory=9136 CPUtime=0.34 cores=0-7
/proc/5260/task/5263/stat : 5263 (java) S 5257 5260 4312 0 -1 1077944384 3 4139 0 0 0 0 33 1 20 0 22 0 80700628 28522221568 74775 33554432000 4194304 4196468 140729203011184 139991497665168 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5264] ppid=5257 vsize=27853732 memory=140602190579328 CPUtime=0.34 cores=0-7
/proc/5260/task/5264/stat : 5264 (java) S 5257 5260 4312 0 -1 1077944384 1 4139 0 0 0 0 33 1 20 0 22 0 80700628 28522221568 74775 33554432000 4194304 4196468 140729203011184 139991311821328 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5265] ppid=5257 vsize=27853732 memory=-1 CPUtime=0.34 cores=0-7
/proc/5260/task/5265/stat : 5265 (java) S 5257 5260 4312 0 -1 1077944384 1 4139 0 0 0 0 33 1 20 0 22 0 80700628 28522221568 74775 33554432000 4194304 4196468 140729203011184 139991310768528 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5266] ppid=5257 vsize=27853732 memory=281204125817184 CPUtime=0.34 cores=0-7
/proc/5260/task/5266/stat : 5266 (java) S 5257 5260 4312 0 -1 1077944384 1 4139 0 0 0 0 33 1 20 0 22 0 80700628 28522221568 74775 33554432000 4194304 4196468 140729203011184 139991309715728 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5267] ppid=5257 vsize=27853732 memory=0 CPUtime=0.34 cores=0-7
/proc/5260/task/5267/stat : 5267 (java) S 5257 5260 4312 0 -1 1077944384 1 4139 0 0 0 0 33 1 20 0 22 0 80700628 28522221568 74775 33554432000 4194304 4196468 140729203011184 139991308663952 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5268] ppid=5257 vsize=27853732 memory=-1 CPUtime=0.34 cores=0-7
/proc/5260/task/5268/stat : 5268 (java) S 5257 5260 4312 0 -1 1077944384 2 4139 0 0 0 0 33 1 20 0 22 0 80700628 28522221568 74775 33554432000 4194304 4196468 140729203011184 139991307611152 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5269] ppid=5257 vsize=27853732 memory=0 CPUtime=0.34 cores=0-7
/proc/5260/task/5269/stat : 5269 (java) S 5257 5260 4312 0 -1 1077944384 2 4139 0 0 0 0 33 1 20 0 22 0 80700628 28522221568 74775 33554432000 4194304 4196468 140729203011184 139991306558352 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5270] ppid=5257 vsize=27853732 memory=0 CPUtime=0.34 cores=0-7
/proc/5260/task/5270/stat : 5270 (java) S 5257 5260 4312 0 -1 1077944384 3 4139 0 0 0 0 33 1 20 0 22 0 80700628 28522221568 74775 33554432000 4194304 4196468 140729203011184 139990909221648 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5271] ppid=5257 vsize=27853732 memory=0 CPUtime=0.34 cores=0-7
/proc/5260/task/5271/stat : 5271 (java) S 5257 5260 4312 0 -1 1077944384 5 4139 0 0 0 0 33 1 20 0 22 0 80700630 28522221568 74775 33554432000 4194304 4196468 140729203011184 139989612431728 139991493433986 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5272] ppid=5257 vsize=27853732 memory=281204126203248 CPUtime=0.34 cores=0-7
/proc/5260/task/5272/stat : 5272 (java) S 5257 5260 4312 0 -1 1077944384 13 4139 0 0 0 0 33 1 20 0 22 0 80700630 28522221568 74775 33554432000 4194304 4196468 140729203011184 139989425841184 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5273] ppid=5257 vsize=27853732 memory=1 CPUtime=0.34 cores=0-7
/proc/5260/task/5273/stat : 5273 (java) S 5257 5260 4312 0 -1 1077944384 1 4139 0 0 0 0 33 1 20 0 22 0 80700631 28522221568 74775 33554432000 4194304 4196468 140729203011184 139989157405552 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5274] ppid=5257 vsize=27853732 memory=-7736760167014052212 CPUtime=0.34 cores=0-7
/proc/5260/task/5274/stat : 5274 (java) S 5257 5260 4312 0 -1 1077944384 1 4139 0 0 0 0 33 1 20 0 22 0 80700633 28522221568 74775 33554432000 4194304 4196468 140729203011184 139988782896976 139991493441435 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5275] ppid=5257 vsize=27853732 memory=7300728970739542608 CPUtime=0.98 cores=0-7
/proc/5260/task/5275/stat : 5275 (java) R 5257 5260 4312 0 -1 4202560 1865 4139 0 0 62 2 33 1 20 0 22 0 80700633 28522221568 74775 33554432000 4194304 4196468 140729203011184 139989611365592 139991474947736 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5276] ppid=5257 vsize=27853732 memory=-8817073721047302083 CPUtime=0.89 cores=0-7
/proc/5260/task/5276/stat : 5276 (java) R 5257 5260 4312 0 -1 4202560 855 4139 0 0 54 1 33 1 20 0 22 0 80700633 28522221568 74775 33554432000 4194304 4196468 140729203011184 139989610316688 139991471018999 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5277] ppid=5257 vsize=27853732 memory=-7668917182949848256 CPUtime=0.94 cores=0-7
/proc/5260/task/5277/stat : 5277 (java) S 5257 5260 4312 0 -1 1077944384 828 4139 0 0 59 1 33 1 20 0 22 0 80700633 28522221568 74775 33554432000 4194304 4196468 140729203011184 139989609273968 139991493433986 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5278] ppid=5257 vsize=27853732 memory=-7384994748284246687 CPUtime=1.24 cores=0-7
/proc/5260/task/5278/stat : 5278 (java) R 5257 5260 4312 0 -1 4202560 3017 4139 0 0 90 0 33 1 20 0 22 0 80700633 28522221568 74775 33554432000 4194304 4196468 140729203011184 139989608221168 139991472551330 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5279] ppid=5257 vsize=27853732 memory=7234319696884687199 CPUtime=0.34 cores=0-7
/proc/5260/task/5279/stat : 5279 (java) S 5257 5260 4312 0 -1 1077944384 3 4139 0 0 0 0 33 1 20 0 22 0 80700633 28522221568 74775 33554432000 4194304 4196468 140729203011184 139988284992096 139991493433045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5280] ppid=5257 vsize=27853732 memory=3471202396320837679 CPUtime=0.34 cores=0-7
/proc/5260/task/5280/stat : 5280 (java) S 5257 5260 4312 0 -1 1077944384 2 4139 0 0 0 0 33 1 20 0 22 0 80700633 28522221568 74775 33554432000 4194304 4196468 140729203011184 139989607168560 139991493433986 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5282] ppid=5257 vsize=27853732 memory=3472328296227418159 CPUtime=0.34 cores=0-7
/proc/5260/task/5282/stat : 5282 (java) S 5257 5260 4312 0 -1 1077944384 25 4139 0 0 0 0 33 1 20 0 22 0 80700816 28522221568 74775 33554432000 4194304 4196468 140729203011184 139991305179408 139991493433986 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
[pid=5260/tid=5286] ppid=5257 vsize=27853732 memory=6944656592455360604 CPUtime=0.34 cores=0-7
/proc/5260/task/5286/stat : 5286 (java) S 5257 5260 4312 0 -1 1077944384 7 4139 0 0 0 0 33 1 20 0 22 0 80700818 28522221568 74775 33554432000 4194304 4196468 140729203011184 139987345466672 139991493433986 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15945728 140729203012570 140729203012869 140729203012869 140729203015631 0
Current children cumulated CPU time: 4.99 s
Current children cumulated vsize: 27853732 KiB
Current children cumulated memory: 299100 KiB

Child status: 0
Real time (s): 2.05953
CPU time (s): 5.08421
CPU user time (s): 4.92844
CPU system time (s): 0.155772
CPU usage (%): 246.863
Max. virtual memory (cumulated for all children) (KiB): 27853732
Max. memory (cumulated for all children) (KiB): 299100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.92844
system time used= 0.155772
maximum resident set size= 306700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30220
page faults= 0
swaps= 0
block input operations= 0
block output operations= 640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7287
involuntary context switches= 21


# summary of solver processes directly reported to runsolver:
#   pid: 5260
#   total CPU time (s): 5.08421
#   total CPU user time (s): 4.92844
#   total CPU system time (s): 0.155772

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042237 second user time and 0.057991 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-26 20:56:18
IDJOB=4297251
IDBENCH=141122
IDSOLVER=2759
FILE ID=node106/4297251-1532631378
RUNJOBID= node106-1532623785-4339
PBS_JOBID= 21022030
Free space on /tmp= 46168 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/StripPacking/StripPacking-C1P2_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-4297251-1532631378/watcher-4297251-1532631378 -o /tmp/evaluation-result-4297251-1532631378/solver-4297251-1532631378 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532623785-4339 --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-4297251-1532631378.xml

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

MD5SUM BENCH= ea26d3392de34cffb15676b0e6b531a1
RANDOM SEED=1676073455

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:         8979840 kB
MemAvailable:   31923140 kB
Buffers:          241400 kB
Cached:         22601328 kB
SwapCached:            0 kB
Active:          2992188 kB
Inactive:       19908120 kB
Active(anon):      35028 kB
Inactive(anon):    50636 kB
Active(file):    2957160 kB
Inactive(file): 19857484 kB
Unevictable:        6944 kB
Mlocked:            6944 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8784 kB
Writeback:             0 kB
AnonPages:         71916 kB
Mapped:            40724 kB
Shmem:             25228 kB
Slab:             584424 kB
SReclaimable:     557116 kB
SUnreclaim:        27308 kB
KernelStack:        3520 kB
PageTables:         5564 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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 20:56:20