Trace number 4304178

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 NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNGSAT (TO)5928 2520.12 2476.15

General information on the benchmark

NameNurseRostering/
NurseRostering-07_c18.xml
MD5SUM39ce033b713bdbb29423ae6f53deb82d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5606
Best CPU time to get the best result obtained on this benchmark2520.14
Satisfiable
(Un)Satisfiability was proved
Number of variables1112
Number of constraints2738
Number of domains16
Minimum domain size1
Maximum domain size29
Distribution of domain sizes[{"size":1,"count":40},{"size":2,"count":248},{"size":4,"count":560},{"size":5,"count":3},{"size":10,"count":9},{"size":21,"count":196},{"size":29,"count":56}]
Minimum variable degree2
Maximum variable degree25
Distribution of variable degrees[{"degree":2,"count":472},{"degree":3,"count":80},{"degree":12,"count":5},{"degree":13,"count":15},{"degree":14,"count":19},{"degree":15,"count":3},{"degree":16,"count":15},{"degree":17,"count":25},{"degree":18,"count":28},{"degree":19,"count":37},{"degree":20,"count":69},{"degree":21,"count":127},{"degree":22,"count":116},{"degree":23,"count":48},{"degree":24,"count":48},{"degree":25,"count":5}]
Minimum constraint arity2
Maximum constraint arity40
Distribution of constraint arities[{"arity":2,"count":1145},{"arity":3,"count":780},{"arity":4,"count":165},{"arity":6,"count":345},{"arity":7,"count":110},{"arity":21,"count":112},{"arity":29,"count":80},{"arity":40,"count":1}]
Number of extensional constraints652
Number of intensional constraints358
Distribution of constraint types[{"type":"extension","count":652},{"type":"intension","count":358},{"type":"regular","count":1040},{"type":"sum","count":40},{"type":"count","count":647},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.98/0.74	c Concrete v3.9.2.1532736233296 running
12.09/4.99	c 05:24:40.424 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 7917. 'extension(x[0][2]=[0‥3], 3) :: init: true :: relation: MDD 1446511153, 5 edges, 4 vertices, 3 tuples
12.09/4.99	c 05:24:40.428 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 7918. 'extension(3, x[2][2]=[0‥3]) :: init: true :: relation: MDD 1446511153, 5 edges, 4 vertices, 3 tuples
12.09/4.99	c 05:24:40.433 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 7942. 'extension(x[2][12]=[0‥3], 3) :: init: true :: relation: MDD 1552836537, 5 edges, 4 vertices, 3 tuples
12.09/5.00	c 05:24:40.435 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 7971. 'extension(x[2][18]=[0‥3], 3) :: init: true :: relation: MDD 1640244246, 5 edges, 4 vertices, 3 tuples
12.09/5.00	c 05:24:40.435 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 7972. 'extension(3, x[4][18]=[0‥3]) :: init: true :: relation: MDD 1640244246, 5 edges, 4 vertices, 3 tuples
12.43/5.01	c 05:24:40.446 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 7998. 'extension(3, x[5][12]=[0‥3]) :: init: true :: relation: MDD 1552836537, 5 edges, 4 vertices, 3 tuples
12.43/5.01	c 05:24:40.447 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8001. 'extension(3, 3) :: init: true :: relation: MDD 1552836537, 5 edges, 4 vertices, 3 tuples
12.43/5.02	c 05:24:40.452 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8028. 'extension(3, wk[2][0]=[0‥1]) :: init: true :: relation: MDD 666040998, 4 edges, 3 vertices, 3 tuples
12.43/5.02	c 05:24:40.452 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8029. 'extension(x[5][2]=[0‥3], 3) :: init: true :: relation: MDD 1446511153, 5 edges, 4 vertices, 3 tuples
12.43/5.02	c 05:24:40.453 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8030. 'extension(3, x[7][2]=[0‥3]) :: init: true :: relation: MDD 1446511153, 5 edges, 4 vertices, 3 tuples
12.43/5.02	c 05:24:40.456 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8059. 'extension(x[6][9]=[0‥3], 3) :: init: true :: relation: MDD 204844842, 5 edges, 4 vertices, 3 tuples
12.43/5.02	c 05:24:40.457 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8060. 'extension(3, x[8][9]=[0‥3]) :: init: true :: relation: MDD 204844842, 5 edges, 4 vertices, 3 tuples
12.43/5.02	c 05:24:40.459 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8089. 'extension(x[6][14]=[0‥3], 3) :: init: true :: relation: MDD 777113684, 5 edges, 4 vertices, 3 tuples
12.43/5.02	c 05:24:40.460 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8090. 'extension(3, x[8][14]=[0‥3]) :: init: true :: relation: MDD 777113684, 5 edges, 4 vertices, 3 tuples
12.43/5.02	c 05:24:40.463 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8121. 'extension(x[6][15]=[0‥3], 3) :: init: true :: relation: MDD 1081635795, 5 edges, 4 vertices, 3 tuples
12.43/5.02	c 05:24:40.463 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8122. 'extension(3, x[8][15]=[0‥3]) :: init: true :: relation: MDD 1081635795, 5 edges, 4 vertices, 3 tuples
12.43/5.03	c 05:24:40.465 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8150. 'extension(x[6][17]=[0‥3], 3) :: init: true :: relation: MDD 941453849, 5 edges, 4 vertices, 3 tuples
12.43/5.03	c 05:24:40.466 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8151. 'extension(3, x[8][17]=[0‥3]) :: init: true :: relation: MDD 941453849, 5 edges, 4 vertices, 3 tuples
12.43/5.03	c 05:24:40.468 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8179. 'extension(x[8][5]=[0‥3], 3) :: init: true :: relation: MDD 1825662118, 5 edges, 4 vertices, 3 tuples
12.43/5.03	c 05:24:40.469 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8209. 'extension(x[8][10]=[0‥3], 3) :: init: true :: relation: MDD 1196200241, 5 edges, 4 vertices, 3 tuples
12.43/5.03	c 05:24:40.469 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8210. 'extension(3, x[10][10]=[0‥3]) :: init: true :: relation: MDD 1196200241, 5 edges, 4 vertices, 3 tuples
12.43/5.03	c 05:24:40.472 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8241. 'extension(3, x[11][5]=[0‥3]) :: init: true :: relation: MDD 1825662118, 5 edges, 4 vertices, 3 tuples
12.43/5.03	c 05:24:40.473 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8244. 'extension(3, 3) :: init: true :: relation: MDD 1825662118, 5 edges, 4 vertices, 3 tuples
12.43/5.04	c 05:24:40.476 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8271. 'extension(x[10][1]=[0‥3], 3) :: init: true :: relation: MDD 1988664928, 5 edges, 4 vertices, 3 tuples
12.43/5.04	c 05:24:40.477 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8301. 'extension(x[10][8]=[0‥3], 3) :: init: true :: relation: MDD 1138845999, 5 edges, 4 vertices, 3 tuples
12.43/5.04	c 05:24:40.478 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8331. 'extension(3, wk[1][1]=[0‥1]) :: init: true :: relation: MDD 2056277810, 4 edges, 3 vertices, 3 tuples
12.43/5.04	c 05:24:40.479 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8332. 'extension(3, x[13][1]=[0‥3]) :: init: true :: relation: MDD 1988664928, 5 edges, 4 vertices, 3 tuples
12.43/5.04	c 05:24:40.479 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8335. 'extension(3, 3) :: init: true :: relation: MDD 1988664928, 5 edges, 4 vertices, 3 tuples
12.43/5.04	c 05:24:40.481 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8362. 'extension(3, wk[8][1]=[0‥1]) :: init: true :: relation: MDD 1056889967, 4 edges, 3 vertices, 3 tuples
12.43/5.04	c 05:24:40.482 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8363. 'extension(3, x[13][8]=[0‥3]) :: init: true :: relation: MDD 1138845999, 5 edges, 4 vertices, 3 tuples
12.43/5.04	c 05:24:40.483 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8366. 'extension(3, 3) :: init: true :: relation: MDD 1138845999, 5 edges, 4 vertices, 3 tuples
12.43/5.05	c 05:24:40.484 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8393. 'extension(3, wk[18][1]=[0‥1]) :: init: true :: relation: MDD 1818453711, 4 edges, 3 vertices, 3 tuples
12.43/5.05	c 05:24:40.485 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8394. 'extension(x[11][18]=[0‥3], 3) :: init: true :: relation: MDD 1640244246, 5 edges, 4 vertices, 3 tuples
12.43/5.05	c 05:24:40.486 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8395. 'extension(3, x[13][18]=[0‥3]) :: init: true :: relation: MDD 1640244246, 5 edges, 4 vertices, 3 tuples
12.43/5.05	c 05:24:40.488 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8423. 'extension(3, wk[4][1]=[0‥1]) :: init: true :: relation: MDD 48071225, 4 edges, 3 vertices, 3 tuples
12.43/5.05	c 05:24:40.488 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8424. 'extension(x[12][4]=[0‥3], 3) :: init: true :: relation: MDD 1172417096, 5 edges, 4 vertices, 3 tuples
12.43/5.05	c 05:24:40.490 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8454. 'extension(3, x[15][4]=[0‥3]) :: init: true :: relation: MDD 1172417096, 5 edges, 4 vertices, 3 tuples
12.43/5.05	c 05:24:40.491 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8457. 'extension(3, 3) :: init: true :: relation: MDD 1172417096, 5 edges, 4 vertices, 3 tuples
12.43/5.06	c 05:24:40.493 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8484. 'extension(x[13][7]=[0‥3], 3) :: init: true :: relation: MDD 485237151, 5 edges, 4 vertices, 3 tuples
12.43/5.06	c 05:24:40.493 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8485. 'extension(3, x[15][7]=[0‥3]) :: init: true :: relation: MDD 485237151, 5 edges, 4 vertices, 3 tuples
12.43/5.06	c 05:24:40.496 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8514. 'extension(x[14][0]=[0‥3], 3) :: init: true :: relation: MDD 1863557065, 5 edges, 4 vertices, 3 tuples
12.43/5.06	c 05:24:40.497 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8544. 'extension(x[14][9]=[0‥3], 3) :: init: true :: relation: MDD 204844842, 5 edges, 4 vertices, 3 tuples
12.43/5.06	c 05:24:40.497 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8545. 'extension(3, x[16][9]=[0‥3]) :: init: true :: relation: MDD 204844842, 5 edges, 4 vertices, 3 tuples
12.43/5.06	c 05:24:40.500 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8574. 'extension(3, x[17][0]=[0‥3]) :: init: true :: relation: MDD 1863557065, 5 edges, 4 vertices, 3 tuples
12.43/5.06	c 05:24:40.501 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8577. 'extension(3, 3) :: init: true :: relation: MDD 1863557065, 5 edges, 4 vertices, 3 tuples
12.43/5.06	c 05:24:40.503 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8604. 'extension(x[17][11]=[0‥3], 3) :: init: true :: relation: MDD 1018742990, 5 edges, 4 vertices, 3 tuples
12.43/5.06	c 05:24:40.504 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8636. 'extension(x[17][13]=[0‥3], 3) :: init: true :: relation: MDD 1007402143, 5 edges, 4 vertices, 3 tuples
12.43/5.07	c 05:24:40.505 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8668. 'extension(x[17][14]=[0‥3], 3) :: init: true :: relation: MDD 777113684, 5 edges, 4 vertices, 3 tuples
12.43/5.07	c 05:24:40.505 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8669. 'extension(3, x[19][14]=[0‥3]) :: init: true :: relation: MDD 777113684, 5 edges, 4 vertices, 3 tuples
12.43/5.07	c 05:24:40.508 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8700. 'extension(x[17][15]=[0‥3], 3) :: init: true :: relation: MDD 1081635795, 5 edges, 4 vertices, 3 tuples
12.43/5.07	c 05:24:40.509 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8701. 'extension(3, x[19][15]=[0‥3]) :: init: true :: relation: MDD 1081635795, 5 edges, 4 vertices, 3 tuples
12.43/5.07	c 05:24:40.511 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8729. 'extension(3, wk[11][2]=[0‥1]) :: init: true :: relation: MDD 688113407, 4 edges, 3 vertices, 3 tuples
12.43/5.07	c 05:24:40.511 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8730. 'extension(3, x[20][11]=[0‥3]) :: init: true :: relation: MDD 1018742990, 5 edges, 4 vertices, 3 tuples
12.43/5.07	c 05:24:40.512 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8733. 'extension(3, 3) :: init: true :: relation: MDD 1018742990, 5 edges, 4 vertices, 3 tuples
12.43/5.07	c 05:24:40.514 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8762. 'extension(3, wk[13][2]=[0‥1]) :: init: true :: relation: MDD 2030707995, 4 edges, 3 vertices, 3 tuples
12.43/5.08	c 05:24:40.515 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8763. 'extension(3, x[20][13]=[0‥3]) :: init: true :: relation: MDD 1007402143, 5 edges, 4 vertices, 3 tuples
12.43/5.08	c 05:24:40.515 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8766. 'extension(3, 3) :: init: true :: relation: MDD 1007402143, 5 edges, 4 vertices, 3 tuples
12.43/5.08	c 05:24:40.517 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8795. 'extension(3, wk[16][2]=[0‥1]) :: init: true :: relation: MDD 60187547, 4 edges, 3 vertices, 3 tuples
12.43/5.08	c 05:24:40.518 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8796. 'extension(x[18][16]=[0‥3], 3) :: init: true :: relation: MDD 1151772302, 5 edges, 4 vertices, 3 tuples
12.43/5.08	c 05:24:40.519 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8825. 'extension(3, wk[16][2]=[0‥1]) :: init: true :: relation: MDD 1649884294, 4 edges, 3 vertices, 3 tuples
12.43/5.08	c 05:24:40.519 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8826. 'extension(3, x[21][16]=[0‥3]) :: init: true :: relation: MDD 1151772302, 5 edges, 4 vertices, 3 tuples
12.43/5.08	c 05:24:40.520 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8829. 'extension(3, 3) :: init: true :: relation: MDD 1151772302, 5 edges, 4 vertices, 3 tuples
12.43/5.08	c 05:24:40.521 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8855. 'extension(x[20][3]=[0‥3], 3) :: init: true :: relation: MDD 674233333, 5 edges, 4 vertices, 3 tuples
12.43/5.08	c 05:24:40.523 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8885. 'extension(3, x[23][3]=[0‥3]) :: init: true :: relation: MDD 674233333, 5 edges, 4 vertices, 3 tuples
12.43/5.08	c 05:24:40.523 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8888. 'extension(3, 3) :: init: true :: relation: MDD 674233333, 5 edges, 4 vertices, 3 tuples
12.43/5.09	c 05:24:40.525 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8915. 'extension(x[22][7]=[0‥3], 3) :: init: true :: relation: MDD 485237151, 5 edges, 4 vertices, 3 tuples
12.43/5.09	c 05:24:40.526 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8916. 'extension(3, x[24][7]=[0‥3]) :: init: true :: relation: MDD 485237151, 5 edges, 4 vertices, 3 tuples
12.43/5.09	c 05:24:40.529 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8944. 'extension(x[23][17]=[0‥3], 3) :: init: true :: relation: MDD 941453849, 5 edges, 4 vertices, 3 tuples
12.43/5.09	c 05:24:40.529 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8945. 'extension(3, x[25][17]=[0‥3]) :: init: true :: relation: MDD 941453849, 5 edges, 4 vertices, 3 tuples
12.43/5.09	c 05:24:40.531 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8971. 'extension(x[24][10]=[0‥3], 3) :: init: true :: relation: MDD 1196200241, 5 edges, 4 vertices, 3 tuples
12.43/5.09	c 05:24:40.531 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8972. 'extension(3, x[26][10]=[0‥3]) :: init: true :: relation: MDD 1196200241, 5 edges, 4 vertices, 3 tuples
12.43/5.09	c 05:24:40.533 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8998. 'extension(x[24][19]=[0‥3], 3) :: init: true :: relation: MDD 1875025322, 5 edges, 4 vertices, 3 tuples
12.43/5.10	c 05:24:40.535 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9024. 'extension(3, wk[6][3]=[0‥1]) :: init: true :: relation: MDD 181613131, 4 edges, 3 vertices, 3 tuples
12.43/5.10	c 05:24:40.535 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9025. 'extension(x[25][6]=[0‥3], 3) :: init: true :: relation: MDD 730584984, 5 edges, 4 vertices, 3 tuples
12.43/5.10	c 05:24:40.536 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9050. 'extension(3, wk[19][3]=[0‥1]) :: init: true :: relation: MDD 1512822728, 4 edges, 3 vertices, 3 tuples
12.43/5.10	c 05:24:40.536 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9051. 'extension(3, x[27][19]=[0‥3]) :: init: true :: relation: MDD 1875025322, 5 edges, 4 vertices, 3 tuples
12.43/5.10	c 05:24:40.537 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9053. 'extension(3, 3) :: init: true :: relation: MDD 1875025322, 5 edges, 4 vertices, 3 tuples
12.43/5.10	c 05:24:40.538 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9075. 'extension(3, wk[6][3]=[0‥1]) :: init: true :: relation: MDD 27818833, 4 edges, 3 vertices, 3 tuples
12.43/5.10	c 05:24:40.538 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9076. 'extension(3, 3) :: init: true :: relation: MDD 730584984, 5 edges, 4 vertices, 3 tuples
12.43/5.10	c 05:24:40.539 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9077. 'extension(3, 3) :: init: true :: relation: MDD 951819642, 4 edges, 3 vertices, 3 tuples
12.76/5.12	c 05:24:40.558 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9372. 'extension(x[0][2]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.12	c 05:24:40.558 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9374. 'extension(x[2][2]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.13	c 05:24:40.559 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9386. 'extension(x[2][12]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.13	c 05:24:40.559 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9392. 'extension(x[2][18]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.13	c 05:24:40.559 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9394. 'extension(x[4][18]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.13	c 05:24:40.560 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9406. 'extension(x[5][12]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.13	c 05:24:40.561 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9422. 'extension(wk[2][0]=[0‥1]) :: init: true :: relation: Empty MDD
12.76/5.13	c 05:24:40.561 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9424. 'extension(x[5][2]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.13	c 05:24:40.561 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9426. 'extension(x[7][2]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.13	c 05:24:40.562 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9440. 'extension(x[6][9]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.13	c 05:24:40.562 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9442. 'extension(x[8][9]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.13	c 05:24:40.563 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9456. 'extension(x[6][14]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.13	c 05:24:40.563 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9458. 'extension(x[8][14]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.13	c 05:24:40.564 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9474. 'extension(x[6][15]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.565 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9476. 'extension(x[8][15]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.566 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9488. 'extension(x[6][17]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.566 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9490. 'extension(x[8][17]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.567 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9502. 'extension(x[8][5]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.567 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9508. 'extension(x[8][10]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.567 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9510. 'extension(x[10][10]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.568 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9526. 'extension(x[11][5]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.569 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9540. 'extension(x[10][1]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.569 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9546. 'extension(x[10][8]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.570 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9552. 'extension(wk[1][1]=[0‥1]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.570 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9554. 'extension(x[13][1]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.571 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9568. 'extension(wk[8][1]=[0‥1]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.571 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9570. 'extension(x[13][8]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.571 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9584. 'extension(wk[18][1]=[0‥1]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.572 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9586. 'extension(x[11][18]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.572 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9588. 'extension(x[13][18]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.573 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9600. 'extension(wk[4][1]=[0‥1]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.573 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9602. 'extension(x[12][4]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.573 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9608. 'extension(x[15][4]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.574 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9622. 'extension(x[13][7]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.574 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9624. 'extension(x[15][7]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.575 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9638. 'extension(x[14][0]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.576 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9644. 'extension(x[14][9]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.576 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9646. 'extension(x[16][9]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.577 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9660. 'extension(x[17][0]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.577 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9674. 'extension(x[17][11]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.578 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9680. 'extension(x[17][13]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.578 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9686. 'extension(x[17][14]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.578 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9688. 'extension(x[19][14]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.579 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9704. 'extension(x[17][15]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.579 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9706. 'extension(x[19][15]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.580 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9718. 'extension(wk[11][2]=[0‥1]) :: init: true :: relation: Empty MDD
12.76/5.14	c 05:24:40.580 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9720. 'extension(x[20][11]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.15	c 05:24:40.581 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9736. 'extension(wk[13][2]=[0‥1]) :: init: true :: relation: Empty MDD
12.76/5.15	c 05:24:40.582 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9738. 'extension(x[20][13]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.15	c 05:24:40.582 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9754. 'extension(wk[16][2]=[0‥1]) :: init: true :: relation: Empty MDD
12.76/5.15	c 05:24:40.583 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9756. 'extension(x[18][16]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.15	c 05:24:40.583 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9762. 'extension(wk[16][2]=[0‥1]) :: init: true :: relation: Empty MDD
12.76/5.15	c 05:24:40.583 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9764. 'extension(x[21][16]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.15	c 05:24:40.584 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9774. 'extension(x[20][3]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.15	c 05:24:40.584 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9780. 'extension(x[23][3]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.15	c 05:24:40.585 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9794. 'extension(x[22][7]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.15	c 05:24:40.585 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9796. 'extension(x[24][7]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.15	c 05:24:40.586 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9810. 'extension(x[23][17]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.15	c 05:24:40.586 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9812. 'extension(x[25][17]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.15	c 05:24:40.587 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9824. 'extension(x[24][10]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.15	c 05:24:40.587 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9826. 'extension(x[26][10]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.15	c 05:24:40.588 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9840. 'extension(x[24][19]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.15	c 05:24:40.588 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9846. 'extension(wk[6][3]=[0‥1]) :: init: true :: relation: Empty MDD
12.76/5.15	c 05:24:40.589 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9848. 'extension(x[25][6]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.15	c 05:24:40.589 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9854. 'extension(wk[19][3]=[0‥1]) :: init: true :: relation: Empty MDD
12.76/5.15	c 05:24:40.589 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9856. 'extension(x[27][19]=[0‥3]) :: init: true :: relation: Empty MDD
12.76/5.15	c 05:24:40.590 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 9864. 'extension(wk[6][3]=[0‥1]) :: init: true :: relation: Empty MDD
259.23/235.72	o 6425
259.51/235.88	o 6424
259.73/235.90	o 6324
259.73/235.99	o 6225
268.17/242.92	o 6224
2055.78/2012.97	o 6130
2092.19/2049.15	o 6129
2092.19/2049.16	o 6029
2227.02/2183.74	o 6028
2227.02/2183.75	o 5928
2520.07/2476.11	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.07/2476.11		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.07/2476.11		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.07/2476.11		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.07/2476.11		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.07/2476.11		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.07/2476.11		at concrete.IntervalDomain.filter(IntervalDomain.scala:81)
2520.07/2476.11		at concrete.IntervalDomain.filter(IntervalDomain.scala:7)
2520.07/2476.11		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.07/2476.11		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.07/2476.11		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.07/2476.11		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.07/2476.11		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.07/2476.11		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.07/2476.11		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.07/2476.11		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.07/2476.11		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.07/2476.11		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.07/2476.11		at scala.Option.map(Option.scala:146)
2520.07/2476.11		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.07/2476.11		at concrete.MAC.mac(MAC.scala:203)
2520.07/2476.11		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.07/2476.11		at scala.util.Try$.apply(Try.scala:209)
2520.07/2476.11		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.07/2476.11		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.07/2476.11		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.07/2476.11		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.07/2476.11		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.07/2476.11		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.07/2476.11		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.07/2476.11		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.07/2476.11		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.07/2476.11		at concrete.MAC.oneRun(MAC.scala:253)
2520.07/2476.11		at concrete.MAC.nextSolution(MAC.scala:272)
2520.07/2476.11		at concrete.MAC.nextSolution(MAC.scala:355)
2520.07/2476.11		at concrete.Solver.hasNext(Solver.scala:166)
2520.07/2476.11		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.07/2476.11		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.07/2476.11		at concrete.Solver.foreach(Solver.scala:68)
2520.07/2476.11		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.07/2476.11		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.07/2476.11		at scala.util.Success.map(Try.scala:209)
2520.07/2476.11		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.07/2476.11		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.07/2476.11		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.07/2476.11		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.07/2476.11		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.07/2476.11		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.07/2476.11		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.07/2476.11		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.07/2476.11		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.07/2476.11		at scala.collection.immutable.List.foreach(List.scala:389)
2520.07/2476.11		at scala.App.main(App.scala:76)
2520.07/2476.11		at scala.App.main$(App.scala:74)
2520.07/2476.11		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.07/2476.11		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.07/2476.12	v <instantiation cost="5928">
2520.07/2476.12	v       <list>
2520.07/2476.12	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[27][0] ds[27][1] ds[27][2] ds[27][3] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[17][0] wk[17][1] wk[17][2] wk[17][3] wk[18][0] wk[18][1] wk[18][2] wk[18][3] wk[19][0] wk[19][1] wk[19][2] wk[19][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cn[87] cn[88] cn[89] cn[90] cn[91] cn[92] cn[93] cn[94] cn[95] cn[96] cn[97] cn[98] cn[99] cn[100] cn[101] cn[102] cn[103] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[27] cf[28] cf[29] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cf[48] cf[49] cf[50] cf[51] cf[52] cf[53] cf[54] cf[55] cf[56] cf[57] cf[58] cf[59] cf[60] cf[61] cf[62] cf[63] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[27][0] cc[27][1] cc[27][2] cc[27][3]
2520.07/2476.12	v       </list>
2520.07/2476.12	v       <values>
2520.07/2476.12	v         1 3 3 0 3 2 0 2 1 3 0 3 0 1 3 2 0 3 3 3 1 3 3 0 1 2 0 2 1 1 0 3 1 2 0 3 3 3 3 3 1 0 1 0 1 2 0 2 3 1 1 3 3 2 0 3 3 3 1 3 1 0 2 0 1 3 0 2 3 1 3 0 3 2 1 2 1 2 3 3 3 0 2 0 1 3 0 2 1 1 3 0 3 2 1 3 1 3 3 1 3 0 3 3 1 3 3 3 1 3 3 0 0 3 3 3 1 3 1 3 3 1 3 3 3 3 3 3 1 3 0 0 0 3 3 3 1 0 3 3 1 3 3 3 3 0 0 3 1 3 0 1 0 3 3 3 3 3 3 3 1 3 0 3 1 2 0 0 1 3 0 2 0 3 3 1 3 3 3 1 1 1 0 3 2 3 3 0 3 3 3 3 0 3 0 3 0 1 3 1 3 1 0 0 2 3 3 3 3 0 3 3 1 3 0 3 3 1 1 1 3 3 3 0 2 0 0 3 3 0 3 3 3 0 0 1 3 1 3 1 0 3 3 3 3 2 0 0 3 0 0 3 3 0 1 3 3 3 3 3 0 3 1 3 3 2 0 0 3 0 0 3 3 0 1 3 3 3 3 3 0 0 1 3 3 3 3 3 3 0 0 1 3 0 1 3 3 3 3 1 3 0 1 3 0 3 3 3 0 3 0 1 3 0 3 3 3 3 1 1 3 0 2 3 0 0 3 3 0 3 1 2 1 1 3 3 3 3 1 3 0 0 2 0 1 2 3 1 0 1 1 2 1 3 3 3 3 3 1 3 0 0 3 0 2 2 0 1 0 1 3 3 1 3 3 3 1 2 1 3 0 3 3 0 3 3 0 1 0 3 3 3 3 3 0 1 3 3 1 0 3 3 0 0 3 3 3 1 3 3 3 3 3 3 0 1 3 3 3 3 3 3 0 3 0 0 3 1 3 0 0 3 3 3 0 1 3 2 3 3 1 0 0 3 1 0 0 3 1 2 0 2 3 3 1 1 3 2 3 3 1 1 0 0 2 0 0 3 1 2 0 2 0 0 1 3 3 3 1 3 1 3 0 0 2 0 0 1 1 3 0 2 0 0 1 3 1 3 3 3 3 3 3 0 2 0 0 1 1 3 3 2 1 0 3 1 1 3 3 3 3 1 3 0 3 3 3 3 3 0 3 2 1 0 3 3 3 3 3 3 3 1 3 0 3 3 3 3 3 0 3 2 1 0 3 3 3 0 3 1 6 10 0 12 10 6 0 12 8 4 4 12 16 0 0 12 3 8 7 10 8 0 8 12 16 0 0 12 4 7 5 12 5 11 0 12 8 6 2 12 13 3 0 12 4 3 9 12 8 8 0 12 10 2 4 12 8 8 0 12 0 7 2 19 2 7 0 19 2 3 4 19 0 9 0 19 1 8 0 19 5 3 3 9 4 5 3 8 4 6 3 7 4 5 5 6 4 6 3 7 3 4 0 13 4 3 0 13 4 3 0 13 5 5 2 8 5 4 1 10 4 5 1 10 6 3 1 10 6 1 1 12 6 2 1 11 5 4 0 11 5 4 0 11 4 4 2 10 4 6 3 7 5 5 3 7 6 3 0 11 3 2 0 15 6 2 1 11 5 5 3 7 7 5 3 5 7 5 2 6 4 5 2 9 3 2 1 14 4 3 1 12 0 1 1 0 1 0 0 1 0 1 1 0 0 0 1 1 1 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 1 1 0 1 1 0 0 1 1 0 1 1 1 1 0 1 0 1 1 0 0 0 3 0 0 0 0 0 3 3 0 1 0 0 0 0 1 1 1 1 3 3 0 0 0 0 0 0 0 0 1 0 0 0 0 2 2 2 0 0 3 0 0 0 0 0 3 3 3 2 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 2 0 0 2 0 0 0 3 0 3 3 3 0 0 0 0 2 2 0 0 0 1 2 2 0 2 3 3 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 0 0 2 2 3 3 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 300 0 0 0 100 2 0 0 0 1 0 0 0 4 0 1 100 1 0 100 0 300 0 0 400 200 0 0 200 200 0 1 100 0 0 2 0 100 0 2 0 100 0 0 200 0 0 2 200 100 0 0 300 100 0 0 100 100 0 1 200 200 0 1 1 0 0 0 1 1 0 1 0 0 0 0 300 200 0 300 100 200 0 0 100 0 0 1 0 100 0 3 0 0 0 2 0 100 0 0 0 0 0 1 0 100 0 100 400 100 0
2520.07/2476.12	v       </values>
2520.07/2476.12	v     </instantiation>
2520.07/2476.12	s SATISFIABLE

Verifier Data

OK	5928

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304178-1534044275/watcher-4304178-1534044275 -o /tmp/evaluation-result-4304178-1534044275/solver-4304178-1534044275 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534039308-11489 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=55375157 -superng HOME/instance-4304178-1534044275.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=12399, runsolver pid=12396

[startup+0.10181 s]*
/proc/loadavg: 1.33 1.26 1.37 2/206 12456
/proc/meminfo: memFree=23584744/32770624 swapFree=67108860/67108860
[pid=12399] ppid=12396 vsize=10005480 memory=18592 CPUtime=0.08 cores=1,3,5,7
/proc/12399/stat : 12399 (java) S 12396 12399 10336 0 -1 1077944320 4284 13008 0 0 1 0 4 3 20 0 6 0 221990677 10245611520 4648 33554432000 4194304 4196468 140721036409184 140721036391728 139685973257975 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
/proc/12399/statm: 2501370 4648 1932 1 0 2489808 0
[pid=12399/tid=12452] ppid=12396 vsize=10005480 memory=4279135703946986127 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12452/stat : 12452 (java) R 12396 12399 10336 0 -1 4202560 2087 13008 0 0 0 0 4 3 20 0 6 0 221990686 10245611520 4648 33554432000 4194304 4196468 140721036409184 139685945094736 139685958940467 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12453] ppid=12396 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12453/stat : 12453 (java) S 12396 12399 10336 0 -1 1077944384 1 13008 0 0 0 0 4 3 20 0 6 0 221990687 10245611520 4648 33554432000 4194304 4196468 140721036409184 139685977499920 139685973268181 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12454] ppid=12396 vsize=10005480 memory=139752569226880 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12454/stat : 12454 (java) S 12396 12399 10336 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 6 0 221990687 10245611520 4648 33554432000 4194304 4196468 140721036409184 139685832219024 139685973268181 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12455] ppid=12396 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12455/stat : 12455 (java) S 12396 12399 10336 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 6 0 221990687 10245611520 4648 33554432000 4194304 4196468 140721036409184 139685831166480 139685973268181 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12456] ppid=12396 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12456/stat : 12456 (java) S 12396 12399 10336 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 6 0 221990687 10245611520 4648 33554432000 4194304 4196468 140721036409184 139685830113936 139685973268181 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18592 KiB

[startup+0.209867 s]*
/proc/loadavg: 1.33 1.26 1.37 3/215 12465
/proc/meminfo: memFree=23564704/32770624 swapFree=67108860/67108860
[pid=12399] ppid=12396 vsize=10982744 memory=42484 CPUtime=0.25 cores=1,3,5,7
/proc/12399/stat : 12399 (java) S 12396 12399 10336 0 -1 1077944320 7359 13008 0 0 16 2 4 3 20 0 15 0 221990677 11246329856 10621 33554432000 4194304 4196468 140721036409184 140721036391728 139685973257975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
/proc/12399/statm: 2745686 10621 2953 1 0 2708109 0
[pid=12399/tid=12452] ppid=12396 vsize=10982744 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/12399/task/12452/stat : 12452 (java) R 12396 12399 10336 0 -1 4202560 3943 13008 0 0 10 1 4 3 20 0 15 0 221990686 11246329856 10687 33554432000 4194304 4196468 140721036409184 139685945050400 139685953533789 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12453] ppid=12396 vsize=10982744 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12453/stat : 12453 (java) S 12396 12399 10336 0 -1 1077944384 1 13008 0 0 0 0 4 3 20 0 15 0 221990687 11246329856 10687 33554432000 4194304 4196468 140721036409184 139685977499920 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12454] ppid=12396 vsize=10982744 memory=139752569226880 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12454/stat : 12454 (java) S 12396 12399 10336 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 15 0 221990687 11246329856 10687 33554432000 4194304 4196468 140721036409184 139685832219024 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12455] ppid=12396 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12455/stat : 12455 (java) S 12396 12399 10336 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 15 0 221990687 11246329856 10687 33554432000 4194304 4196468 140721036409184 139685831166480 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12456] ppid=12396 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12456/stat : 12456 (java) S 12396 12399 10336 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 15 0 221990687 11246329856 10687 33554432000 4194304 4196468 140721036409184 139685830113936 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12457] ppid=12396 vsize=10982744 memory=139752569226880 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12457/stat : 12457 (java) S 12396 12399 10336 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 15 0 221990689 11246329856 10687 33554432000 4194304 4196468 140721036409184 139685009508848 139685973269122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12458] ppid=12396 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12458/stat : 12458 (java) S 12396 12399 10336 0 -1 1077944384 13 13008 0 0 0 0 4 3 20 0 15 0 221990689 11246329856 10687 33554432000 4194304 4196468 140721036409184 139684818707872 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12459] ppid=12396 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12459/stat : 12459 (java) S 12396 12399 10336 0 -1 1077944384 1 13008 0 0 0 0 4 3 20 0 15 0 221990689 11246329856 10687 33554432000 4194304 4196468 140721036409184 139684617381360 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12460] ppid=12396 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12460/stat : 12460 (java) S 12396 12399 10336 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 221990692 11246329856 10753 33554432000 4194304 4196468 140721036409184 139684309981904 139685973276571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12461] ppid=12396 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12461/stat : 12461 (java) S 12396 12399 10336 0 -1 1077944384 424 13008 0 0 0 0 4 3 20 0 15 0 221990692 11246329856 10753 33554432000 4194304 4196468 140721036409184 139685008455664 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12462] ppid=12396 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12399/task/12462/stat : 12462 (java) S 12396 12399 10336 0 -1 1077944384 191 13008 0 0 1 0 4 3 20 0 15 0 221990692 11246329856 10753 33554432000 4194304 4196468 140721036409184 139685007403120 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12463] ppid=12396 vsize=10982744 memory=139752569226880 CPUtime=0.09 cores=1,3,5,7
/proc/12399/task/12463/stat : 12463 (java) S 12396 12399 10336 0 -1 1077944384 622 13008 0 0 2 0 4 3 20 0 15 0 221990692 11246329856 10753 33554432000 4194304 4196468 140721036409184 139685006350576 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12464] ppid=12396 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12464/stat : 12464 (java) S 12396 12399 10336 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 221990692 11246329856 10753 33554432000 4194304 4196468 140721036409184 139683879184992 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12465] ppid=12396 vsize=10982744 memory=139752569226880 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12465/stat : 12465 (java) S 12396 12399 10336 0 -1 1077944384 1 13008 0 0 0 0 4 3 20 0 15 0 221990692 11246329856 10753 33554432000 4194304 4196468 140721036409184 139685005298480 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42484 KiB

[startup+0.310199 s]*
/proc/loadavg: 1.33 1.26 1.37 3/215 12465
/proc/meminfo: memFree=23551928/32770624 swapFree=67108860/67108860
[pid=12399] ppid=12396 vsize=10983192 memory=55304 CPUtime=0.38 cores=1,3,5,7
/proc/12399/stat : 12399 (java) S 12396 12399 10336 0 -1 1077944320 10414 13008 0 0 28 3 4 3 20 0 15 0 221990677 11246788608 13826 33554432000 4194304 4196468 140721036409184 140721036391728 139685973257975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
/proc/12399/statm: 2745798 13826 3072 1 0 2708109 0
[pid=12399/tid=12452] ppid=12396 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/12399/task/12452/stat : 12452 (java) R 12396 12399 10336 0 -1 4202560 6931 13008 0 0 19 1 4 3 20 0 15 0 221990686 11246788608 13826 33554432000 4194304 4196468 140721036409184 139685945069984 139685958423614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12453] ppid=12396 vsize=10983192 memory=7084813469699035216 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12453/stat : 12453 (java) S 12396 12399 10336 0 -1 1077944384 1 13008 0 0 0 0 4 3 20 0 15 0 221990687 11246788608 13826 33554432000 4194304 4196468 140721036409184 139685977499920 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12454] ppid=12396 vsize=10983192 memory=2080 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12454/stat : 12454 (java) S 12396 12399 10336 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 15 0 221990687 11246788608 13826 33554432000 4194304 4196468 140721036409184 139685832219024 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12455] ppid=12396 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12455/stat : 12455 (java) S 12396 12399 10336 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 15 0 221990687 11246788608 13826 33554432000 4194304 4196468 140721036409184 139685831166480 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12456] ppid=12396 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12456/stat : 12456 (java) S 12396 12399 10336 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 15 0 221990687 11246788608 13826 33554432000 4194304 4196468 140721036409184 139685830113936 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12457] ppid=12396 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12457/stat : 12457 (java) S 12396 12399 10336 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 15 0 221990689 11246788608 13826 33554432000 4194304 4196468 140721036409184 139685009508848 139685973269122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12458] ppid=12396 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12458/stat : 12458 (java) S 12396 12399 10336 0 -1 1077944384 13 13008 0 0 0 0 4 3 20 0 15 0 221990689 11246788608 13826 33554432000 4194304 4196468 140721036409184 139684818707872 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12459] ppid=12396 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12459/stat : 12459 (java) S 12396 12399 10336 0 -1 1077944384 1 13008 0 0 0 0 4 3 20 0 15 0 221990689 11246788608 13826 33554432000 4194304 4196468 140721036409184 139684617381360 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12460] ppid=12396 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12460/stat : 12460 (java) S 12396 12399 10336 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 221990692 11246788608 13826 33554432000 4194304 4196468 140721036409184 139684309981904 139685973276571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12461] ppid=12396 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12399/task/12461/stat : 12461 (java) S 12396 12399 10336 0 -1 1077944384 426 13008 0 0 1 0 4 3 20 0 15 0 221990692 11246788608 13826 33554432000 4194304 4196468 140721036409184 139685008455664 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12462] ppid=12396 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12399/task/12462/stat : 12462 (java) S 12396 12399 10336 0 -1 1077944384 195 13008 0 0 1 0 4 3 20 0 15 0 221990692 11246788608 13826 33554432000 4194304 4196468 140721036409184 139685007403120 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12463] ppid=12396 vsize=10983192 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/12399/task/12463/stat : 12463 (java) S 12396 12399 10336 0 -1 1077944384 638 13008 0 0 4 0 4 3 20 0 15 0 221990692 11246788608 13826 33554432000 4194304 4196468 140721036409184 139685006350576 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12464] ppid=12396 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12464/stat : 12464 (java) S 12396 12399 10336 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 221990692 11246788608 13826 33554432000 4194304 4196468 140721036409184 139683879184992 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12465] ppid=12396 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12465/stat : 12465 (java) S 12396 12399 10336 0 -1 1077944384 1 13008 0 0 0 0 4 3 20 0 15 0 221990692 11246788608 13826 33554432000 4194304 4196468 140721036409184 139685005298480 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55304 KiB

[startup+0.700793 s]
/proc/loadavg: 1.33 1.26 1.37 4/215 12465
/proc/meminfo: memFree=23540640/32770624 swapFree=67108860/67108860
[pid=12399] ppid=12396 vsize=10983192 memory=88740 CPUtime=0.98 cores=1,3,5,7
/proc/12399/stat : 12399 (java) S 12396 12399 10336 0 -1 1077944320 16784 13008 0 0 87 4 4 3 20 0 15 0 221990677 11246788608 22185 33554432000 4194304 4196468 140721036409184 140721036391728 139685973257975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
/proc/12399/statm: 2745798 22185 3238 1 0 2708109 0
[pid=12399/tid=12452] ppid=12396 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/12399/task/12452/stat : 12452 (java) R 12396 12399 10336 0 -1 4202560 12246 13008 0 0 55 3 4 3 20 0 15 0 221990686 11246788608 22185 33554432000 4194304 4196468 140721036409184 139685945078800 139685973279901 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12453] ppid=12396 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12453/stat : 12453 (java) S 12396 12399 10336 0 -1 1077944384 1 13008 0 0 0 0 4 3 20 0 15 0 221990687 11246788608 22185 33554432000 4194304 4196468 140721036409184 139685977499920 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12454] ppid=12396 vsize=10983192 memory=3712 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12454/stat : 12454 (java) S 12396 12399 10336 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 15 0 221990687 11246788608 22185 33554432000 4194304 4196468 140721036409184 139685832219024 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12455] ppid=12396 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12455/stat : 12455 (java) S 12396 12399 10336 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 15 0 221990687 11246788608 22185 33554432000 4194304 4196468 140721036409184 139685831166480 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12456] ppid=12396 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12456/stat : 12456 (java) S 12396 12399 10336 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 15 0 221990687 11246788608 22185 33554432000 4194304 4196468 140721036409184 139685830113936 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12457] ppid=12396 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12457/stat : 12457 (java) S 12396 12399 10336 0 -1 1077944384 5 13008 0 0 0 0 4 3 20 0 15 0 221990689 11246788608 22185 33554432000 4194304 4196468 140721036409184 139685009508848 139685973269122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12458] ppid=12396 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12458/stat : 12458 (java) S 12396 12399 10336 0 -1 1077944384 13 13008 0 0 0 0 4 3 20 0 15 0 221990689 11246788608 22185 33554432000 4194304 4196468 140721036409184 139684818707872 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12459] ppid=12396 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12459/stat : 12459 (java) S 12396 12399 10336 0 -1 1077944384 1 13008 0 0 0 0 4 3 20 0 15 0 221990689 11246788608 22185 33554432000 4194304 4196468 140721036409184 139684617381360 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12460] ppid=12396 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12460/stat : 12460 (java) S 12396 12399 10336 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 221990692 11246788608 22185 33554432000 4194304 4196468 140721036409184 139684309981904 139685973276571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12461] ppid=12396 vsize=10983192 memory=13252 CPUtime=0.14 cores=1,3,5,7
/proc/12399/task/12461/stat : 12461 (java) S 12396 12399 10336 0 -1 1077944384 813 13008 0 0 7 0 4 3 20 0 15 0 221990692 11246788608 22185 33554432000 4194304 4196468 140721036409184 139685008455664 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12462] ppid=12396 vsize=10983192 memory=15460 CPUtime=0.16 cores=1,3,5,7
/proc/12399/task/12462/stat : 12462 (java) S 12396 12399 10336 0 -1 1077944384 767 13008 0 0 9 0 4 3 20 0 15 0 221990692 11246788608 22185 33554432000 4194304 4196468 140721036409184 139685007403120 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12463] ppid=12396 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/12399/task/12463/stat : 12463 (java) R 12396 12399 10336 0 -1 4202560 731 13008 0 0 13 0 4 3 20 0 15 0 221990692 11246788608 22185 33554432000 4194304 4196468 140721036409184 139685006350576 139685957338462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12464] ppid=12396 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12464/stat : 12464 (java) S 12396 12399 10336 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 221990692 11246788608 22185 33554432000 4194304 4196468 140721036409184 139683879184992 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12465] ppid=12396 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12465/stat : 12465 (java) S 12396 12399 10336 0 -1 1077944384 1 13008 0 0 0 0 4 3 20 0 15 0 221990692 11246788608 22185 33554432000 4194304 4196468 140721036409184 139685005298480 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88740 KiB

[startup+1.50081 s]
/proc/loadavg: 1.33 1.26 1.37 4/215 12465
/proc/meminfo: memFree=23493692/32770624 swapFree=67108860/67108860
[pid=12399] ppid=12396 vsize=10996044 memory=164036 CPUtime=2.95 cores=1,3,5,7
/proc/12399/stat : 12399 (java) S 12396 12399 10336 0 -1 1077944320 25695 13008 0 0 280 8 4 3 20 0 15 0 221990677 11259949056 41009 33554432000 4194304 4196468 140721036409184 140721036391728 139685973257975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
/proc/12399/statm: 2749011 41009 3450 1 0 2710669 0
[pid=12399/tid=12452] ppid=12396 vsize=10996044 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/12399/task/12452/stat : 12452 (java) R 12396 12399 10336 0 -1 4202560 16940 13008 0 0 132 6 4 3 20 0 15 0 221990686 11259949056 41009 33554432000 4194304 4196468 140721036409184 139685945080128 139685958953097 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12453] ppid=12396 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12453/stat : 12453 (java) S 12396 12399 10336 0 -1 1077944384 1 13008 0 0 0 0 4 3 20 0 15 0 221990687 11259949056 41009 33554432000 4194304 4196468 140721036409184 139685977499920 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12454] ppid=12396 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12454/stat : 12454 (java) S 12396 12399 10336 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 15 0 221990687 11259949056 41009 33554432000 4194304 4196468 140721036409184 139685832219024 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12455] ppid=12396 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12455/stat : 12455 (java) S 12396 12399 10336 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 15 0 221990687 11259949056 41009 33554432000 4194304 4196468 140721036409184 139685831166480 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12456] ppid=12396 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12456/stat : 12456 (java) S 12396 12399 10336 0 -1 1077944384 2 13008 0 0 0 0 4 3 20 0 15 0 221990687 11259949056 41009 33554432000 4194304 4196468 140721036409184 139685830113936 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12457] ppid=12396 vsize=10996044 memory=-7965959130280075168 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12457/stat : 12457 (java) S 12396 12399 10336 0 -1 1077944384 13 13008 0 0 0 0 4 3 20 0 15 0 221990689 11259949056 41009 33554432000 4194304 4196468 140721036409184 139685009508848 139685973269122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12458] ppid=12396 vsize=10996044 memory=279504928975104 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12458/stat : 12458 (java) S 12396 12399 10336 0 -1 1077944384 13 13008 0 0 0 0 4 3 20 0 15 0 221990689 11259949056 41009 33554432000 4194304 4196468 140721036409184 139684818707872 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12459] ppid=12396 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12459/stat : 12459 (java) S 12396 12399 10336 0 -1 1077944384 1 13008 0 0 0 0 4 3 20 0 15 0 221990689 11259949056 41009 33554432000 4194304 4196468 140721036409184 139684617381360 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12460] ppid=12396 vsize=10996044 memory=1828 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12460/stat : 12460 (java) S 12396 12399 10336 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 221990692 11259949056 41009 33554432000 4194304 4196468 140721036409184 139684309981904 139685973276571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12461] ppid=12396 vsize=10996044 memory=1120 CPUtime=0.53 cores=1,3,5,7
/proc/12399/task/12461/stat : 12461 (java) S 12396 12399 10336 0 -1 1077944384 2471 13008 0 0 46 0 4 3 20 0 15 0 221990692 11259949056 41009 33554432000 4194304 4196468 140721036409184 139685008455664 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12462] ppid=12396 vsize=10996044 memory=6116 CPUtime=0.59 cores=1,3,5,7
/proc/12399/task/12462/stat : 12462 (java) S 12396 12399 10336 0 -1 1077944384 2271 13008 0 0 52 0 4 3 20 0 15 0 221990692 11259949056 41009 33554432000 4194304 4196468 140721036409184 139685007403120 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12463] ppid=12396 vsize=10996044 memory=1724 CPUtime=0.54 cores=1,3,5,7
/proc/12399/task/12463/stat : 12463 (java) S 12396 12399 10336 0 -1 1077944384 1778 13008 0 0 47 0 4 3 20 0 15 0 221990692 11259949056 41009 33554432000 4194304 4196468 140721036409184 139685006350576 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12464] ppid=12396 vsize=10996044 memory=4004 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12464/stat : 12464 (java) S 12396 12399 10336 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 221990692 11259949056 41009 33554432000 4194304 4196468 140721036409184 139683879184992 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12465] ppid=12396 vsize=10996044 memory=3516 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12465/stat : 12465 (java) S 12396 12399 10336 0 -1 1077944384 1 13008 0 0 0 0 4 3 20 0 15 0 221990692 11259949056 41009 33554432000 4194304 4196468 140721036409184 139685005298480 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 10996044 KiB

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

/proc/12399/task/12452/stat : 12452 (java) R 12396 12399 10336 0 -1 4202560 197769 13008 0 0 237522 79 4 3 20 0 15 0 221990686 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685945093440 139685528497363 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12453] ppid=12396 vsize=11082080 memory=6791534058613427641 CPUtime=4.47 cores=1,3,5,7
/proc/12399/task/12453/stat : 12453 (java) S 12396 12399 10336 0 -1 1077944384 24539 13008 0 0 395 45 4 3 20 0 15 0 221990687 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685977499920 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12454] ppid=12396 vsize=11082080 memory=3360308 CPUtime=4.48 cores=1,3,5,7
/proc/12399/task/12454/stat : 12454 (java) S 12396 12399 10336 0 -1 1077944384 21464 13008 0 0 394 47 4 3 20 0 15 0 221990687 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685832219024 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12455] ppid=12396 vsize=11082080 memory=3354164 CPUtime=4.49 cores=1,3,5,7
/proc/12399/task/12455/stat : 12455 (java) S 12396 12399 10336 0 -1 1077944384 17981 13008 0 0 397 45 4 3 20 0 15 0 221990687 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685831166480 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12456] ppid=12396 vsize=11082080 memory=3354164 CPUtime=4.48 cores=1,3,5,7
/proc/12399/task/12456/stat : 12456 (java) S 12396 12399 10336 0 -1 1077944384 24283 13008 0 0 394 47 4 3 20 0 15 0 221990687 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685830113936 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12457] ppid=12396 vsize=11082080 memory=3354164 CPUtime=1.27 cores=1,3,5,7
/proc/12399/task/12457/stat : 12457 (java) S 12396 12399 10336 0 -1 1077944384 26187 13008 0 0 104 16 4 3 20 0 15 0 221990689 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685009508848 139685973269122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12458] ppid=12396 vsize=11082080 memory=3354164 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12458/stat : 12458 (java) S 12396 12399 10336 0 -1 1077944384 17 13008 0 0 0 0 4 3 20 0 15 0 221990689 11348049920 840077 33554432000 4194304 4196468 140721036409184 139684818707936 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12459] ppid=12396 vsize=11082080 memory=3360308 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12459/stat : 12459 (java) S 12396 12399 10336 0 -1 1077944384 6 13008 0 0 0 0 4 3 20 0 15 0 221990689 11348049920 840077 33554432000 4194304 4196468 140721036409184 139684617381376 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12460] ppid=12396 vsize=11082080 memory=3360308 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12460/stat : 12460 (java) S 12396 12399 10336 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 221990692 11348049920 840077 33554432000 4194304 4196468 140721036409184 139684309981904 139685973276571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12461] ppid=12396 vsize=11082080 memory=3360308 CPUtime=12.74 cores=1,3,5,7
/proc/12399/task/12461/stat : 12461 (java) S 12396 12399 10336 0 -1 1077944384 78034 13008 0 0 1256 11 4 3 20 0 15 0 221990692 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685008455664 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12462] ppid=12396 vsize=11082080 memory=2337 CPUtime=12.59 cores=1,3,5,7
/proc/12399/task/12462/stat : 12462 (java) S 12396 12399 10336 0 -1 1077944384 74562 13008 0 0 1244 8 4 3 20 0 15 0 221990692 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685007403120 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12463] ppid=12396 vsize=11082080 memory=3360308 CPUtime=4.77 cores=1,3,5,7
/proc/12399/task/12463/stat : 12463 (java) S 12396 12399 10336 0 -1 1077944384 69073 13008 0 0 460 10 4 3 20 0 15 0 221990692 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685006350576 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12464] ppid=12396 vsize=11082080 memory=3360308 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12464/stat : 12464 (java) S 12396 12399 10336 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 221990692 11348049920 840077 33554432000 4194304 4196468 140721036409184 139683879184992 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12465] ppid=12396 vsize=11082080 memory=3360308 CPUtime=1.29 cores=1,3,5,7
/proc/12399/task/12465/stat : 12465 (java) S 12396 12399 10336 0 -1 1077944384 1379 13008 0 0 56 66 4 3 20 0 15 0 221990692 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685005298480 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
Current children cumulated CPU time: 2426.14 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3360308 KiB

[startup+2442.3 s]
/proc/loadavg: 1.57 1.58 1.53 3/215 12692
/proc/meminfo: memFree=20142032/32770624 swapFree=67108860/67108860
[pid=12399] ppid=12396 vsize=11082080 memory=3360308 CPUtime=2486.22 cores=1,3,5,7
/proc/12399/stat : 12399 (java) S 12396 12399 10336 0 -1 1077944320 541031 13008 0 0 248260 355 4 3 20 0 15 0 221990677 11348049920 840077 33554432000 4194304 4196468 140721036409184 140721036391728 139685973257975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
/proc/12399/statm: 2770520 840077 3536 1 0 2732173 0
[pid=12399/tid=12452] ppid=12396 vsize=11082080 memory=3360308 CPUtime=2436.05 cores=1,3,5,7
/proc/12399/task/12452/stat : 12452 (java) R 12396 12399 10336 0 -1 4202560 200429 13008 0 0 243519 79 4 3 20 0 15 0 221990686 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685945093376 139685531337242 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12453] ppid=12396 vsize=11082080 memory=3360308 CPUtime=4.49 cores=1,3,5,7
/proc/12399/task/12453/stat : 12453 (java) S 12396 12399 10336 0 -1 1077944384 24618 13008 0 0 397 45 4 3 20 0 15 0 221990687 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685977499920 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12454] ppid=12396 vsize=11082080 memory=3360308 CPUtime=4.49 cores=1,3,5,7
/proc/12399/task/12454/stat : 12454 (java) S 12396 12399 10336 0 -1 1077944384 21682 13008 0 0 395 47 4 3 20 0 15 0 221990687 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685832219024 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12455] ppid=12396 vsize=11082080 memory=3360308 CPUtime=4.51 cores=1,3,5,7
/proc/12399/task/12455/stat : 12455 (java) S 12396 12399 10336 0 -1 1077944384 18236 13008 0 0 399 45 4 3 20 0 15 0 221990687 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685831166480 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12456] ppid=12396 vsize=11082080 memory=3360308 CPUtime=4.49 cores=1,3,5,7
/proc/12399/task/12456/stat : 12456 (java) S 12396 12399 10336 0 -1 1077944384 24383 13008 0 0 395 47 4 3 20 0 15 0 221990687 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685830113936 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12457] ppid=12396 vsize=11082080 memory=3360308 CPUtime=1.28 cores=1,3,5,7
/proc/12399/task/12457/stat : 12457 (java) S 12396 12399 10336 0 -1 1077944384 26385 13008 0 0 105 16 4 3 20 0 15 0 221990689 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685009508848 139685973269122 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12458] ppid=12396 vsize=11082080 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12458/stat : 12458 (java) S 12396 12399 10336 0 -1 1077944384 17 13008 0 0 0 0 4 3 20 0 15 0 221990689 11348049920 840077 33554432000 4194304 4196468 140721036409184 139684818707936 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12459] ppid=12396 vsize=11082080 memory=3360308 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12459/stat : 12459 (java) S 12396 12399 10336 0 -1 1077944384 6 13008 0 0 0 0 4 3 20 0 15 0 221990689 11348049920 840077 33554432000 4194304 4196468 140721036409184 139684617381376 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12460] ppid=12396 vsize=11082080 memory=1288 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12460/stat : 12460 (java) S 12396 12399 10336 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 221990692 11348049920 840077 33554432000 4194304 4196468 140721036409184 139684309981904 139685973276571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12461] ppid=12396 vsize=11082080 memory=1088 CPUtime=12.74 cores=1,3,5,7
/proc/12399/task/12461/stat : 12461 (java) S 12396 12399 10336 0 -1 1077944384 78036 13008 0 0 1256 11 4 3 20 0 15 0 221990692 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685008455664 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12462] ppid=12396 vsize=11082080 memory=3360308 CPUtime=12.59 cores=1,3,5,7
/proc/12399/task/12462/stat : 12462 (java) S 12396 12399 10336 0 -1 1077944384 74564 13008 0 0 1244 8 4 3 20 0 15 0 221990692 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685007403120 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12463] ppid=12396 vsize=11082080 memory=60432 CPUtime=4.77 cores=1,3,5,7
/proc/12399/task/12463/stat : 12463 (java) S 12396 12399 10336 0 -1 1077944384 69076 13008 0 0 460 10 4 3 20 0 15 0 221990692 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685006350576 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12464] ppid=12396 vsize=11082080 memory=3360308 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12464/stat : 12464 (java) S 12396 12399 10336 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 221990692 11348049920 840077 33554432000 4194304 4196468 140721036409184 139683879184992 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12465] ppid=12396 vsize=11082080 memory=3360308 CPUtime=1.32 cores=1,3,5,7
/proc/12399/task/12465/stat : 12465 (java) S 12396 12399 10336 0 -1 1077944384 1399 13008 0 0 58 67 4 3 20 0 15 0 221990692 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685005298480 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
Current children cumulated CPU time: 2486.22 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3360308 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2476.11 s]
/proc/loadavg: 1.59 1.58 1.53 4/215 12820
/proc/meminfo: memFree=20782628/32770624 swapFree=67108860/67108860
[pid=12399] ppid=12396 vsize=11082080 memory=3360308 CPUtime=2520.07 cores=1,3,5,7
/proc/12399/stat : 12399 (java) S 12396 12399 10336 0 -1 1077944320 543695 13008 0 0 251644 356 4 3 20 0 15 0 221990677 11348049920 840077 33554432000 4194304 4196468 140721036409184 140721036391728 139685973257975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
/proc/12399/statm: 2770520 840077 3536 1 0 2732173 0
[pid=12399/tid=12452] ppid=12396 vsize=11082080 memory=3360308 CPUtime=2469.86 cores=1,3,5,7
/proc/12399/task/12452/stat : 12452 (java) R 12396 12399 10336 0 -1 4202560 202195 13008 0 0 246899 80 4 3 20 0 15 0 221990686 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685945093248 139685521302805 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12453] ppid=12396 vsize=11082080 memory=3360308 CPUtime=4.49 cores=1,3,5,7
/proc/12399/task/12453/stat : 12453 (java) S 12396 12399 10336 0 -1 1077944384 24806 13008 0 0 397 45 4 3 20 0 15 0 221990687 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685977499920 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12454] ppid=12396 vsize=11082080 memory=3360308 CPUtime=4.5 cores=1,3,5,7
/proc/12399/task/12454/stat : 12454 (java) S 12396 12399 10336 0 -1 1077944384 21945 13008 0 0 396 47 4 3 20 0 15 0 221990687 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685832219024 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12455] ppid=12396 vsize=11082080 memory=3360308 CPUtime=4.52 cores=1,3,5,7
/proc/12399/task/12455/stat : 12455 (java) S 12396 12399 10336 0 -1 1077944384 18274 13008 0 0 400 45 4 3 20 0 15 0 221990687 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685831166480 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12456] ppid=12396 vsize=11082080 memory=3360308 CPUtime=4.5 cores=1,3,5,7
/proc/12399/task/12456/stat : 12456 (java) S 12396 12399 10336 0 -1 1077944384 24580 13008 0 0 396 47 4 3 20 0 15 0 221990687 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685830113936 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12457] ppid=12396 vsize=11082080 memory=3360308 CPUtime=1.28 cores=1,3,5,7
/proc/12399/task/12457/stat : 12457 (java) S 12396 12399 10336 0 -1 1077944384 26572 13008 0 0 105 16 4 3 20 0 15 0 221990689 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685009508848 139685973269122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12458] ppid=12396 vsize=11082080 memory=3354024 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12458/stat : 12458 (java) S 12396 12399 10336 0 -1 1077944384 17 13008 0 0 0 0 4 3 20 0 15 0 221990689 11348049920 840077 33554432000 4194304 4196468 140721036409184 139684818707936 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12459] ppid=12396 vsize=11082080 memory=3360308 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12459/stat : 12459 (java) S 12396 12399 10336 0 -1 1077944384 6 13008 0 0 0 0 4 3 20 0 15 0 221990689 11348049920 840077 33554432000 4194304 4196468 140721036409184 139684617381376 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12460] ppid=12396 vsize=11082080 memory=3360308 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12460/stat : 12460 (java) S 12396 12399 10336 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 221990692 11348049920 840077 33554432000 4194304 4196468 140721036409184 139684309981904 139685973276571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12461] ppid=12396 vsize=11082080 memory=3360308 CPUtime=12.74 cores=1,3,5,7
/proc/12399/task/12461/stat : 12461 (java) S 12396 12399 10336 0 -1 1077944384 78038 13008 0 0 1256 11 4 3 20 0 15 0 221990692 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685008455664 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12462] ppid=12396 vsize=11082080 memory=3360308 CPUtime=12.59 cores=1,3,5,7
/proc/12399/task/12462/stat : 12462 (java) S 12396 12399 10336 0 -1 1077944384 74566 13008 0 0 1244 8 4 3 20 0 15 0 221990692 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685007403120 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12463] ppid=12396 vsize=11082080 memory=3360308 CPUtime=4.77 cores=1,3,5,7
/proc/12399/task/12463/stat : 12463 (java) S 12396 12399 10336 0 -1 1077944384 69079 13008 0 0 460 10 4 3 20 0 15 0 221990692 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685006350576 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12464] ppid=12396 vsize=11082080 memory=288230574492221466 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12464/stat : 12464 (java) S 12396 12399 10336 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 221990692 11348049920 840077 33554432000 4194304 4196468 140721036409184 139683879184992 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12465] ppid=12396 vsize=11082080 memory=288230596050944315 CPUtime=1.35 cores=1,3,5,7
/proc/12399/task/12465/stat : 12465 (java) S 12396 12399 10336 0 -1 1077944384 1417 13008 0 0 59 69 4 3 20 0 15 0 221990692 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685005298480 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3360308 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2476.15 s]
# the end of solver process 12399 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.51 s, system=3.61761 s

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

[startup+2476.11 s]
/proc/loadavg: 1.59 1.58 1.53 4/215 12820
/proc/meminfo: memFree=20782628/32770624 swapFree=67108860/67108860
[pid=12399] ppid=12396 vsize=11082080 memory=3360308 CPUtime=2520.07 cores=1,3,5,7
/proc/12399/stat : 12399 (java) S 12396 12399 10336 0 -1 1077944320 543695 13008 0 0 251644 356 4 3 20 0 15 0 221990677 11348049920 840077 33554432000 4194304 4196468 140721036409184 140721036391728 139685973257975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
/proc/12399/statm: 2770520 840077 3536 1 0 2732173 0
[pid=12399/tid=12452] ppid=12396 vsize=11082080 memory=3360308 CPUtime=2469.86 cores=1,3,5,7
/proc/12399/task/12452/stat : 12452 (java) R 12396 12399 10336 0 -1 4202560 202195 13008 0 0 246899 80 4 3 20 0 15 0 221990686 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685945093248 139685521302805 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12453] ppid=12396 vsize=11082080 memory=3360308 CPUtime=4.49 cores=1,3,5,7
/proc/12399/task/12453/stat : 12453 (java) S 12396 12399 10336 0 -1 1077944384 24806 13008 0 0 397 45 4 3 20 0 15 0 221990687 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685977499920 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12454] ppid=12396 vsize=11082080 memory=3360308 CPUtime=4.5 cores=1,3,5,7
/proc/12399/task/12454/stat : 12454 (java) S 12396 12399 10336 0 -1 1077944384 21945 13008 0 0 396 47 4 3 20 0 15 0 221990687 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685832219024 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12455] ppid=12396 vsize=11082080 memory=3360308 CPUtime=4.52 cores=1,3,5,7
/proc/12399/task/12455/stat : 12455 (java) S 12396 12399 10336 0 -1 1077944384 18274 13008 0 0 400 45 4 3 20 0 15 0 221990687 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685831166480 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12456] ppid=12396 vsize=11082080 memory=3360308 CPUtime=4.5 cores=1,3,5,7
/proc/12399/task/12456/stat : 12456 (java) S 12396 12399 10336 0 -1 1077944384 24580 13008 0 0 396 47 4 3 20 0 15 0 221990687 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685830113936 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12457] ppid=12396 vsize=11082080 memory=3360308 CPUtime=1.28 cores=1,3,5,7
/proc/12399/task/12457/stat : 12457 (java) S 12396 12399 10336 0 -1 1077944384 26572 13008 0 0 105 16 4 3 20 0 15 0 221990689 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685009508848 139685973269122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12458] ppid=12396 vsize=11082080 memory=3354024 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12458/stat : 12458 (java) S 12396 12399 10336 0 -1 1077944384 17 13008 0 0 0 0 4 3 20 0 15 0 221990689 11348049920 840077 33554432000 4194304 4196468 140721036409184 139684818707936 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12459] ppid=12396 vsize=11082080 memory=3360308 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12459/stat : 12459 (java) S 12396 12399 10336 0 -1 1077944384 6 13008 0 0 0 0 4 3 20 0 15 0 221990689 11348049920 840077 33554432000 4194304 4196468 140721036409184 139684617381376 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12460] ppid=12396 vsize=11082080 memory=3360308 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12460/stat : 12460 (java) S 12396 12399 10336 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 221990692 11348049920 840077 33554432000 4194304 4196468 140721036409184 139684309981904 139685973276571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12461] ppid=12396 vsize=11082080 memory=3360308 CPUtime=12.74 cores=1,3,5,7
/proc/12399/task/12461/stat : 12461 (java) S 12396 12399 10336 0 -1 1077944384 78038 13008 0 0 1256 11 4 3 20 0 15 0 221990692 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685008455664 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12462] ppid=12396 vsize=11082080 memory=3360308 CPUtime=12.59 cores=1,3,5,7
/proc/12399/task/12462/stat : 12462 (java) S 12396 12399 10336 0 -1 1077944384 74566 13008 0 0 1244 8 4 3 20 0 15 0 221990692 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685007403120 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12463] ppid=12396 vsize=11082080 memory=3360308 CPUtime=4.77 cores=1,3,5,7
/proc/12399/task/12463/stat : 12463 (java) S 12396 12399 10336 0 -1 1077944384 69079 13008 0 0 460 10 4 3 20 0 15 0 221990692 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685006350576 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12464] ppid=12396 vsize=11082080 memory=288230574492221466 CPUtime=0.07 cores=1,3,5,7
/proc/12399/task/12464/stat : 12464 (java) S 12396 12399 10336 0 -1 1077944384 3 13008 0 0 0 0 4 3 20 0 15 0 221990692 11348049920 840077 33554432000 4194304 4196468 140721036409184 139683879184992 139685973268181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
[pid=12399/tid=12465] ppid=12396 vsize=11082080 memory=288230596050944315 CPUtime=1.35 cores=1,3,5,7
/proc/12399/task/12465/stat : 12465 (java) S 12396 12399 10336 0 -1 1077944384 1417 13008 0 0 59 69 4 3 20 0 15 0 221990692 11348049920 840077 33554432000 4194304 4196468 140721036409184 139685005298480 139685973269122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8945664 140721036413541 140721036416348 140721036416348 140721036419023 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3360308 KiB

Child status: 143
Real time (s): 2476.15
CPU time (s): 2520.12
CPU user time (s): 2516.51
CPU system time (s): 3.61761
CPU usage (%): 101.776
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 3360308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.51
system time used= 3.61761
maximum resident set size= 3362712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 558260
page faults= 0
swaps= 0
block input operations= 32
block output operations= 3088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 88252
involuntary context switches= 2409


# summary of solver processes directly reported to runsolver:
#   pid: 12399
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2516.51
#   total CPU system time (s): 3.61761

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1103 second user time and 22.7389 second system time

The end

Launcher Data

Begin job on node107 at 2018-08-12 05:24:35
IDJOB=4304178
IDBENCH=141052
IDSOLVER=2781
FILE ID=node107/4304178-1534044275
RUNJOBID= node107-1534039308-11489
PBS_JOBID= 21036970
Free space on /tmp= 39308 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/NurseRostering/NurseRostering-07_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304178-1534044275/watcher-4304178-1534044275 -o /tmp/evaluation-result-4304178-1534044275/solver-4304178-1534044275 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534039308-11489 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=55375157 -superng HOME/instance-4304178-1534044275.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 39ce033b713bdbb29423ae6f53deb82d
RANDOM SEED=55375157

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
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:        23593284 kB
MemAvailable:   30705972 kB
Buffers:          184340 kB
Cached:          7120252 kB
SwapCached:            0 kB
Active:          4877864 kB
Inactive:        3676432 kB
Active(anon):    1198780 kB
Inactive(anon):   103432 kB
Active(file):    3679084 kB
Inactive(file):  3573000 kB
Unevictable:        6976 kB
Mlocked:            6976 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26732 kB
Writeback:             0 kB
AnonPages:       1256696 kB
Mapped:            64732 kB
Shmem:             49804 kB
Slab:             317392 kB
SReclaimable:     289064 kB
SUnreclaim:        28328 kB
KernelStack:        3488 kB
PageTables:         8064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2334440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1095680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 39280 MiB
End job on node107 at 2018-08-12 06:05:51