Trace number 4394623

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
choco-solver 2019-06-14 parallelSAT (TO)1106 16485.6 2520.11

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-P-n40-k5.xml
MD5SUMaadfd6ed706e08b9468e37c047f4c189
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark514
Best CPU time to get the best result obtained on this benchmark2400.04
Satisfiable
(Un)Satisfiability was proved
Number of variables1640
Number of constraints1599
Number of domains3
Minimum domain size1
Maximum domain size141
Distribution of domain sizes[{"size":1,"count":40},{"size":2,"count":1560},{"size":141,"count":39}]
Minimum variable degree0
Maximum variable degree77
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":40},{"degree":2,"count":78},{"degree":4,"count":1482},{"degree":77,"count":39}]
Minimum constraint arity1
Maximum constraint arity39
Distribution of constraint arities[{"arity":1,"count":39},{"arity":3,"count":1482},{"arity":39,"count":78}]
Number of extensional constraints0
Number of intensional constraints39
Distribution of constraint types[{"type":"intension","count":39},{"type":"sum","count":1482},{"type":"count","count":78}]
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.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394623-1568424664.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394623-1568424664.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
4.04/1.30	c solve instance...
15.36/3.15	o 1347 
15.36/3.17	o 1341 
15.36/3.17	o 1338 
15.36/3.18	o 1306 
15.36/3.19	o 1287 
15.36/3.20	o 1284 
15.93/3.24	o 1272 
15.93/3.24	o 1250 
15.93/3.25	o 1241 
15.93/3.26	o 1240 
15.93/3.27	o 1235 
15.93/3.27	o 1230 
21.41/3.98	o 1228 
30.39/5.86	o 1169 
30.39/5.88	o 1166 
30.72/5.95	o 1156 
65.58/10.36	o 1155 
5130.87/889.34	o 1154 
5629.80/996.67	o 1143 
5629.80/996.68	o 1139 
5630.04/996.70	o 1128 
5630.04/996.71	o 1124 
10844.06/1678.44	o 1117 
10844.06/1678.45	o 1116 
14404.63/2207.33	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (329/337)
14404.63/2207.33		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
14404.63/2207.33		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
14404.63/2207.33		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
14404.63/2207.33		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
14404.63/2207.33		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
14405.03/2207.43	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (329/337)
14405.03/2207.43		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
14405.03/2207.43		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
14405.03/2207.43		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
14405.03/2207.43		at org.chocosolver.solver.Solver.repair(Solver.java:443)
14405.03/2207.43		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
14405.03/2207.43		at org.chocosolver.solver.Solver.solve(Solver.java:262)
14405.03/2207.43		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
14405.03/2207.43		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
14405.03/2207.43		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
14405.03/2207.43		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
14405.03/2207.43		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
14405.03/2207.43		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
14405.03/2207.43		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
14405.03/2207.43		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
14405.03/2207.43		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
14405.03/2207.43		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
14405.31/2207.56	o 1111 
14507.63/2232.79	java.util.concurrent.ExecutionException: java.lang.ArrayIndexOutOfBoundsException
14507.63/2232.79		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
14507.63/2232.79		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
14507.63/2232.79		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
14507.63/2232.79		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
14507.63/2232.79		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
14507.63/2232.79	Caused by: java.lang.ArrayIndexOutOfBoundsException
14507.63/2232.79		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
14507.63/2232.79		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
14507.63/2232.79		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
14507.63/2232.79		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
14507.63/2232.79		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
14507.63/2232.79		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
14507.63/2232.79		... 4 more
14508.31/2232.92	Caused by: java.lang.ArrayIndexOutOfBoundsException
14508.31/2232.92		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
14508.31/2232.92		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
14508.31/2232.92		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
14508.31/2232.92		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
14508.31/2232.92		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
14508.31/2232.92		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
14508.31/2232.92		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
14508.31/2232.92		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
14508.31/2232.92		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
14508.31/2232.92		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
14508.31/2232.92		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
14508.31/2232.92		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
14508.31/2232.92		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
14508.31/2232.92		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
14508.31/2232.92		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
14508.31/2232.92		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
14508.31/2232.92		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
14508.31/2232.92		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
14508.64/2233.05	Caused by: java.lang.ArrayIndexOutOfBoundsException: -1
14508.64/2233.05		at org.chocosolver.solver.propagation.PropagationEngine$DynPropagators.add(PropagationEngine.java:457)
14508.64/2233.05		at org.chocosolver.solver.propagation.PropagationEngine$DynPropagators.addOrUpdate(PropagationEngine.java:474)
14508.64/2233.05		at org.chocosolver.solver.propagation.PropagationEngine.propagateOnBacktrack(PropagationEngine.java:401)
14508.64/2233.05		at org.chocosolver.solver.constraints.Propagator.forcePropagationOnBacktrack(Propagator.java:566)
14508.64/2233.05		at org.chocosolver.sat.PropNogoods.addLearnt(PropNogoods.java:543)
14508.64/2233.05		at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.extractNogoodFromPath(NogoodFromRestarts.java:88)
14508.64/2233.05		at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.beforeRestart(NogoodFromRestarts.java:65)
14508.64/2233.05		at org.chocosolver.solver.search.loop.monitors.SearchMonitorList.beforeRestart(SearchMonitorList.java:141)
14508.64/2233.05		at org.chocosolver.solver.Solver.restart(Solver.java:596)
14508.64/2233.05		at org.chocosolver.solver.search.loop.move.MoveRestart.restart(MoveRestart.java:135)
14508.64/2233.05		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:84)
14508.64/2233.05		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
14508.64/2233.05		at org.chocosolver.solver.Solver.extend(Solver.java:421)
14508.64/2233.05		at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
14508.64/2233.05		at org.chocosolver.solver.Solver.solve(Solver.java:262)
14508.64/2233.05		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
14508.64/2233.05		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
14508.64/2233.05		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
14508.64/2233.05		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
14508.64/2233.05		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
14508.64/2233.05		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
14508.64/2233.05		... 4 more
14508.64/2233.05	o 1106 
16485.33/2520.01	s SATISFIABLE
16485.33/2520.01	v <instantiation>
16485.33/2520.01	v 	<list>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[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] 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[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] 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[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] 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[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] 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[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] 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[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] 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[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] 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[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] 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[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] 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[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] 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[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] 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[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] 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[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] 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[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] 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[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] 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[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] 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[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] 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[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] 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[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] 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[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] 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[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] 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[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] 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[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] 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[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] 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[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] 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[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] 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[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] 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] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] </list>
16485.33/2520.01	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 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 0 0 1 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 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 0 0 0 1 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 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 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 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 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 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 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 0 1 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 0 1 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 0 65 54 48 116 85 139 64 64 107 96 45 114 105 58 126 83 3 41 37 111 8 91 24 124 28 82 32 68 117 67 75 83 26 93 17 71 114 108 140 </values>
16485.33/2520.01	v </instantiation>
16485.33/2520.01	c Unexpected resolution interruption!

Verifier Data 

OK	1106

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394623-1568424664/watcher-4394623-1568424664 -o /tmp/evaluation-result-4394623-1568424664/solver-4394623-1568424664 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568417114-13946 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1533698599 HOME/instance-4394623-1568424664.xml 

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

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


[startup+0.100152 s]*
/proc/loadavg: 7.71 7.74 7.85 2/212 15269
/proc/meminfo: memFree=30940344/32770624 swapFree=66947420/67108860
[pid=15248] ppid=15245 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15248/stat : 15248 (xcsp3-exec) S 15245 15248 13919 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418408306 115843072 363 33554432000 4194304 5098028 140733897735792 140733897733896 139768128000636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35246080 140733897737077 140733897737321 140733897737321 140733897740234 0
/proc/15248/statm: 28282 363 305 221 0 87 0
[pid=15250] ppid=15248 vsize=28227388 memory=28948 CPUtime=0.12 cores=0-7
/proc/15250/stat : 15250 (java) S 15248 15248 13919 0 -1 1077944320 5708 0 0 0 11 1 0 0 20 0 20 0 418408307 28904845312 7237 33554432000 4194304 4196468 140729693161440 140729693143984 140195565055735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
/proc/15250/statm: 7056847 7237 3120 1 0 7019032 0
[pid=15250/tid=15251] ppid=15248 vsize=28227388 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/15250/task/15251/stat : 15251 (java) R 15248 15248 13919 0 -1 4202560 3621 0 0 0 8 1 0 0 20 0 20 0 418408307 28904845312 7237 33554432000 4194304 4196468 140729693161440 140195569278208 140195565067670 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15252] ppid=15248 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/15250/task/15252/stat : 15252 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 7237 33554432000 4194304 4196468 140729693161440 140195116473232 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15253] ppid=15248 vsize=28227388 memory=140578181052032 CPUtime=0 cores=0-7
/proc/15250/task/15253/stat : 15253 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 7237 33554432000 4194304 4196468 140729693161440 140195115420432 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15254] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15254/stat : 15254 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 7237 33554432000 4194304 4196468 140729693161440 140195114368144 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15255] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15255/stat : 15255 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 7237 33554432000 4194304 4196468 140729693161440 140195113315344 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15256] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15256/stat : 15256 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 7237 33554432000 4194304 4196468 140729693161440 140195112262032 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15257] ppid=15248 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/15250/task/15257/stat : 15257 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 7237 33554432000 4194304 4196468 140729693161440 140195111209232 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15258] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15258/stat : 15258 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 7237 33554432000 4194304 4196468 140729693161440 140195110156944 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15259] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15259/stat : 15259 (java) S 15248 15248 13919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 7237 33554432000 4194304 4196468 140729693161440 140195109104144 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15260] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15260/stat : 15260 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408309 28904845312 7237 33554432000 4194304 4196468 140729693161440 140194163407472 140195565066882 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15261] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15261/stat : 15261 (java) S 15248 15248 13919 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418408310 28904845312 7237 33554432000 4194304 4196468 140729693161440 140194162353440 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15262] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15262/stat : 15262 (java) S 15248 15248 13919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418408310 28904845312 7237 33554432000 4194304 4196468 140729693161440 140194161301104 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15263] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15263/stat : 15263 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408312 28904845312 7237 33554432000 4194304 4196468 140729693161440 140194160249424 140195565074331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15264] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15264/stat : 15264 (java) S 15248 15248 13919 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 418408312 28904845312 7237 33554432000 4194304 4196468 140729693161440 140194159196272 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15265] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15265/stat : 15265 (java) R 15248 15248 13919 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 418408312 28904845312 7237 33554432000 4194304 4196468 140729693161440 140194158143472 140195565066882 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15266] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15266/stat : 15266 (java) S 15248 15248 13919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418408312 28904845312 7237 33554432000 4194304 4196468 140729693161440 140194157091184 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15267] ppid=15248 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/15250/task/15267/stat : 15267 (java) R 15248 15248 13919 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 20 0 418408312 28904845312 7237 33554432000 4194304 4196468 140729693161440 140194156038384 140195565067670 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15268] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15268/stat : 15268 (java) S 15248 15248 13919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418408313 28904845312 7237 33554432000 4194304 4196468 140729693161440 140194154986336 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15269] ppid=15248 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/15250/task/15269/stat : 15269 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408313 28904845312 7237 33554432000 4194304 4196468 140729693161440 140194153933616 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30400 KiB

[startup+0.210442 s]*
/proc/loadavg: 7.71 7.74 7.85 3/212 15269
/proc/meminfo: memFree=30927116/32770624 swapFree=66947420/67108860
[pid=15248] ppid=15245 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15248/stat : 15248 (xcsp3-exec) S 15245 15248 13919 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418408306 115843072 363 33554432000 4194304 5098028 140733897735792 140733897733896 139768128000636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35246080 140733897737077 140733897737321 140733897737321 140733897740234 0
/proc/15248/statm: 28282 363 305 221 0 87 0
[pid=15250] ppid=15248 vsize=28227388 memory=41044 CPUtime=0.34 cores=0-7
/proc/15250/stat : 15250 (java) S 15248 15248 13919 0 -1 1077944320 9506 0 0 0 31 3 0 0 20 0 20 0 418408307 28904845312 10261 33554432000 4194304 4196468 140729693161440 140729693143984 140195565055735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
/proc/15250/statm: 7056847 10261 3271 1 0 7019032 0
[pid=15250/tid=15251] ppid=15248 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/15250/task/15251/stat : 15251 (java) R 15248 15248 13919 0 -1 4202560 6645 0 0 0 17 2 0 0 20 0 20 0 418408307 28904845312 10261 33554432000 4194304 4196468 140729693161440 140195569289616 140195565067670 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15252] ppid=15248 vsize=28227388 memory=328 CPUtime=0 cores=0-7
/proc/15250/task/15252/stat : 15252 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 10261 33554432000 4194304 4196468 140729693161440 140195116473232 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15253] ppid=15248 vsize=28227388 memory=140578181067043 CPUtime=0 cores=0-7
/proc/15250/task/15253/stat : 15253 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 10261 33554432000 4194304 4196468 140729693161440 140195115420432 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15254] ppid=15248 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/15250/task/15254/stat : 15254 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 10261 33554432000 4194304 4196468 140729693161440 140195114368144 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15255] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15255/stat : 15255 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 10261 33554432000 4194304 4196468 140729693161440 140195113315344 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15256] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15256/stat : 15256 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 10261 33554432000 4194304 4196468 140729693161440 140195112262032 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15257] ppid=15248 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/15250/task/15257/stat : 15257 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 10261 33554432000 4194304 4196468 140729693161440 140195111209232 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15258] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15258/stat : 15258 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 10261 33554432000 4194304 4196468 140729693161440 140195110156944 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15259] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15259/stat : 15259 (java) S 15248 15248 13919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418408308 28904845312 10261 33554432000 4194304 4196468 140729693161440 140195109104144 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15260] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15260/stat : 15260 (java) S 15248 15248 13919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418408309 28904845312 10261 33554432000 4194304 4196468 140729693161440 140194163407472 140195565066882 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15261] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15261/stat : 15261 (java) S 15248 15248 13919 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418408310 28904845312 10261 33554432000 4194304 4196468 140729693161440 140194162353440 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15262] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15262/stat : 15262 (java) S 15248 15248 13919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418408310 28904845312 10261 33554432000 4194304 4196468 140729693161440 140194161301104 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15263] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15263/stat : 15263 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408312 28904845312 10261 33554432000 4194304 4196468 140729693161440 140194160249424 140195565074331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15264] ppid=15248 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/15250/task/15264/stat : 15264 (java) S 15248 15248 13919 0 -1 1077944384 538 0 0 0 2 0 0 0 20 0 20 0 418408312 28904845312 10261 33554432000 4194304 4196468 140729693161440 140194159196272 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15265] ppid=15248 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/15250/task/15265/stat : 15265 (java) S 15248 15248 13919 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 20 0 418408312 28904845312 10261 33554432000 4194304 4196468 140729693161440 140194158143472 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15266] ppid=15248 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/15250/task/15266/stat : 15266 (java) S 15248 15248 13919 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 20 0 418408312 28904845312 10261 33554432000 4194304 4196468 140729693161440 140194157091184 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15267] ppid=15248 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/15250/task/15267/stat : 15267 (java) S 15248 15248 13919 0 -1 1077944384 803 0 0 0 8 0 0 0 20 0 20 0 418408312 28904845312 10261 33554432000 4194304 4196468 140729693161440 140194156038384 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15268] ppid=15248 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15268/stat : 15268 (java) S 15248 15248 13919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418408313 28904845312 10261 33554432000 4194304 4196468 140729693161440 140194154986336 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15269] ppid=15248 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/15250/task/15269/stat : 15269 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408313 28904845312 10261 33554432000 4194304 4196468 140729693161440 140194153933616 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42496 KiB

[startup+0.311084 s]*
/proc/loadavg: 7.71 7.74 7.85 4/212 15269
/proc/meminfo: memFree=30919836/32770624 swapFree=66947420/67108860
[pid=15248] ppid=15245 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15248/stat : 15248 (xcsp3-exec) S 15245 15248 13919 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418408306 115843072 363 33554432000 4194304 5098028 140733897735792 140733897733896 139768128000636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35246080 140733897737077 140733897737321 140733897737321 140733897740234 0
/proc/15248/statm: 28282 363 305 221 0 87 0
[pid=15250] ppid=15248 vsize=28231644 memory=50344 CPUtime=0.53 cores=0-7
/proc/15250/stat : 15250 (java) S 15248 15248 13919 0 -1 1077944320 10937 0 0 0 49 4 0 0 20 0 20 0 418408307 28909203456 12586 33554432000 4194304 4196468 140729693161440 140729693143984 140195565055735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
/proc/15250/statm: 7057911 12586 3365 1 0 7019032 0
[pid=15250/tid=15251] ppid=15248 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/15250/task/15251/stat : 15251 (java) R 15248 15248 13919 0 -1 4202560 7817 0 0 0 27 3 0 0 20 0 20 0 418408307 28909203456 12586 33554432000 4194304 4196468 140729693161440 140195569289504 140195549136222 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15252] ppid=15248 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15252/stat : 15252 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408308 28909203456 12586 33554432000 4194304 4196468 140729693161440 140195116473232 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15253] ppid=15248 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15253/stat : 15253 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408308 28909203456 12586 33554432000 4194304 4196468 140729693161440 140195115420432 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15254] ppid=15248 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15254/stat : 15254 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28909203456 12586 33554432000 4194304 4196468 140729693161440 140195114368144 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15255] ppid=15248 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15255/stat : 15255 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28909203456 12586 33554432000 4194304 4196468 140729693161440 140195113315344 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15256] ppid=15248 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15256/stat : 15256 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28909203456 12586 33554432000 4194304 4196468 140729693161440 140195112262032 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15257] ppid=15248 vsize=28231644 memory=140578037787311 CPUtime=0 cores=0-7
/proc/15250/task/15257/stat : 15257 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28909203456 12586 33554432000 4194304 4196468 140729693161440 140195111209232 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15258] ppid=15248 vsize=28231644 memory=140578037789616 CPUtime=0 cores=0-7
/proc/15250/task/15258/stat : 15258 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28909203456 12586 33554432000 4194304 4196468 140729693161440 140195110156944 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15259] ppid=15248 vsize=28231644 memory=140578037791920 CPUtime=0 cores=0-7
/proc/15250/task/15259/stat : 15259 (java) S 15248 15248 13919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418408308 28909203456 12586 33554432000 4194304 4196468 140729693161440 140195109104144 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15260] ppid=15248 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15260/stat : 15260 (java) S 15248 15248 13919 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418408309 28909203456 12586 33554432000 4194304 4196468 140729693161440 140194163407472 140195565066882 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15261] ppid=15248 vsize=28231644 memory=281156075597712 CPUtime=0 cores=0-7
/proc/15250/task/15261/stat : 15261 (java) S 15248 15248 13919 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418408310 28909203456 12586 33554432000 4194304 4196468 140729693161440 140194162353440 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15262] ppid=15248 vsize=28231644 memory=281156075595408 CPUtime=0 cores=0-7
/proc/15250/task/15262/stat : 15262 (java) S 15248 15248 13919 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418408310 28909203456 12586 33554432000 4194304 4196468 140729693161440 140194161301104 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15263] ppid=15248 vsize=28231644 memory=281156075602320 CPUtime=0 cores=0-7
/proc/15250/task/15263/stat : 15263 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408312 28909203456 12586 33554432000 4194304 4196468 140729693161440 140194160249424 140195565074331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15264] ppid=15248 vsize=28231644 memory=281156075543600 CPUtime=0.03 cores=0-7
/proc/15250/task/15264/stat : 15264 (java) S 15248 15248 13919 0 -1 1077944384 544 0 0 0 3 0 0 0 20 0 20 0 418408312 28909203456 12586 33554432000 4194304 4196468 140729693161440 140194159196272 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15265] ppid=15248 vsize=28231644 memory=281156075616144 CPUtime=0.03 cores=0-7
/proc/15250/task/15265/stat : 15265 (java) R 15248 15248 13919 0 -1 4202560 312 0 0 0 3 0 0 0 20 0 20 0 418408312 28909203456 12586 33554432000 4194304 4196468 140729693161440 140194158133856 140195550179305 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15266] ppid=15248 vsize=28231644 memory=281156075623056 CPUtime=0.02 cores=0-7
/proc/15250/task/15266/stat : 15266 (java) S 15248 15248 13919 0 -1 1077944384 76 0 0 0 2 0 0 0 20 0 20 0 418408312 28909203456 12586 33554432000 4194304 4196468 140729693161440 140194157091184 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15267] ppid=15248 vsize=28231644 memory=281156075620752 CPUtime=0.12 cores=0-7
/proc/15250/task/15267/stat : 15267 (java) S 15248 15248 13919 0 -1 1077944384 883 0 0 0 12 0 0 0 20 0 20 0 418408312 28909203456 12586 33554432000 4194304 4196468 140729693161440 140194156038384 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15268] ppid=15248 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15268/stat : 15268 (java) S 15248 15248 13919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418408313 28909203456 12586 33554432000 4194304 4196468 140729693161440 140194154986336 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15269] ppid=15248 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/15250/task/15269/stat : 15269 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408313 28909203456 12586 33554432000 4194304 4196468 140729693161440 140194153933616 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51796 KiB

[startup+0.700933 s]
/proc/loadavg: 7.71 7.74 7.85 4/212 15269
/proc/meminfo: memFree=30898668/32770624 swapFree=66947420/67108860
[pid=15248] ppid=15245 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15248/stat : 15248 (xcsp3-exec) S 15245 15248 13919 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418408306 115843072 363 33554432000 4194304 5098028 140733897735792 140733897733896 139768128000636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35246080 140733897737077 140733897737321 140733897737321 140733897740234 0
/proc/15248/statm: 28282 363 305 221 0 87 0
[pid=15250] ppid=15248 vsize=28233768 memory=96244 CPUtime=1.99 cores=0-7
/proc/15250/stat : 15250 (java) S 15248 15248 13919 0 -1 1077944320 16257 0 0 0 192 7 0 0 20 0 20 0 418408307 28911378432 24061 33554432000 4194304 4196468 140729693161440 140729693143984 140195565055735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
/proc/15250/statm: 7058442 24061 3453 1 0 7019544 0
[pid=15250/tid=15251] ppid=15248 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7
/proc/15250/task/15251/stat : 15251 (java) R 15248 15248 13919 0 -1 4202560 9215 0 0 0 63 4 0 0 20 0 20 0 418408307 28911378432 24061 33554432000 4194304 4196468 140729693161440 140195569293296 140195203282815 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15252] ppid=15248 vsize=28233768 memory=140578037998448 CPUtime=0 cores=0-7
/proc/15250/task/15252/stat : 15252 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408308 28911378432 24061 33554432000 4194304 4196468 140729693161440 140195116473232 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15253] ppid=15248 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/15250/task/15253/stat : 15253 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418408308 28911378432 24061 33554432000 4194304 4196468 140729693161440 140195115420432 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15254] ppid=15248 vsize=28233768 memory=1200 CPUtime=0 cores=0-7
/proc/15250/task/15254/stat : 15254 (java) S 15248 15248 13919 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418408308 28911378432 24061 33554432000 4194304 4196468 140729693161440 140195114368144 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0

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

Current children cumulated memory: 1472728 KiB

[startup+2502.3 s]
/proc/loadavg: 6.93 6.87 6.87 8/222 15693
/proc/meminfo: memFree=29513088/32770624 swapFree=66947516/67108860
[pid=15248] ppid=15245 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15248/stat : 15248 (xcsp3-exec) S 15245 15248 13919 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418408306 115843072 363 33554432000 4194304 5098028 140733897735792 140733897733896 139768128000636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35246080 140733897737077 140733897737321 140733897737321 140733897740234 0
/proc/15248/statm: 28282 363 305 221 0 87 0
[pid=15250] ppid=15248 vsize=28901456 memory=1454100 CPUtime=16362.4 cores=0-7
/proc/15250/stat : 15250 (java) S 15248 15248 13919 0 -1 1077944320 981143 0 0 0 1630673 5568 0 0 20 0 29 0 418408307 29595090944 363525 33554432000 4194304 4196468 140729693161440 140729693143984 140195565055735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
/proc/15250/statm: 7225364 363525 3563 1 0 7186466 0
[pid=15250/tid=15251] ppid=15248 vsize=28901456 memory=1469660 CPUtime=1.35 cores=0-7
/proc/15250/task/15251/stat : 15251 (java) S 15248 15248 13919 0 -1 1077944384 12286 0 0 0 128 7 0 0 20 0 29 0 418408307 29595090944 363525 33554432000 4194304 4196468 140729693161440 140195569296512 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15252] ppid=15248 vsize=28901456 memory=1412176 CPUtime=10.5 cores=0-7
/proc/15250/task/15252/stat : 15252 (java) S 15248 15248 13919 0 -1 1077944384 33783 0 0 0 982 68 0 0 20 0 29 0 418408308 29595090944 363525 33554432000 4194304 4196468 140729693161440 140195116473232 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15253] ppid=15248 vsize=28901456 memory=1414808 CPUtime=10.6 cores=0-7
/proc/15250/task/15253/stat : 15253 (java) S 15248 15248 13919 0 -1 1077944384 33299 0 0 0 989 71 0 0 20 0 29 0 418408308 29595090944 363525 33554432000 4194304 4196468 140729693161440 140195115420432 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15254] ppid=15248 vsize=28901456 memory=288230574492221466 CPUtime=10.63 cores=0-7
/proc/15250/task/15254/stat : 15254 (java) S 15248 15248 13919 0 -1 1077944384 39966 0 0 0 995 68 0 0 20 0 29 0 418408308 29595090944 363525 33554432000 4194304 4196468 140729693161440 140195114368144 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15255] ppid=15248 vsize=28901456 memory=1452 CPUtime=10.5 cores=0-7
/proc/15250/task/15255/stat : 15255 (java) S 15248 15248 13919 0 -1 1077944384 37019 0 0 0 979 71 0 0 20 0 29 0 418408308 29595090944 363525 33554432000 4194304 4196468 140729693161440 140195113315344 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15256] ppid=15248 vsize=28901456 memory=1452 CPUtime=10.53 cores=0-7
/proc/15250/task/15256/stat : 15256 (java) S 15248 15248 13919 0 -1 1077944384 39151 0 0 0 983 70 0 0 20 0 29 0 418408308 29595090944 363525 33554432000 4194304 4196468 140729693161440 140195112262032 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15257] ppid=15248 vsize=28901456 memory=-3622645143214314312 CPUtime=10.54 cores=0-7
/proc/15250/task/15257/stat : 15257 (java) S 15248 15248 13919 0 -1 1077944384 36564 0 0 0 988 66 0 0 20 0 29 0 418408308 29595090944 363525 33554432000 4194304 4196468 140729693161440 140195111209232 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15258] ppid=15248 vsize=28901456 memory=1157000 CPUtime=10.47 cores=0-7
/proc/15250/task/15258/stat : 15258 (java) S 15248 15248 13919 0 -1 1077944384 37925 0 0 0 979 68 0 0 20 0 29 0 418408308 29595090944 363525 33554432000 4194304 4196468 140729693161440 140195110156944 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15259] ppid=15248 vsize=28901456 memory=1452 CPUtime=10.52 cores=0-7
/proc/15250/task/15259/stat : 15259 (java) S 15248 15248 13919 0 -1 1077944384 39989 0 0 0 980 72 0 0 20 0 29 0 418408308 29595090944 363525 33554432000 4194304 4196468 140729693161440 140195109104144 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15260] ppid=15248 vsize=28901456 memory=1476836 CPUtime=65.41 cores=0-7
/proc/15250/task/15260/stat : 15260 (java) S 15248 15248 13919 0 -1 1077944384 131327 0 0 0 2181 4360 0 0 20 0 29 0 418408309 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194163407472 140195565066882 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15261] ppid=15248 vsize=28901456 memory=-7751062316387021378 CPUtime=0 cores=0-7
/proc/15250/task/15261/stat : 15261 (java) S 15248 15248 13919 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 29 0 418408310 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194162353504 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15262] ppid=15248 vsize=28901456 memory=924 CPUtime=0 cores=0-7
/proc/15250/task/15262/stat : 15262 (java) S 15248 15248 13919 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 29 0 418408310 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194161301120 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15263] ppid=15248 vsize=28901456 memory=992 CPUtime=0 cores=0-7
/proc/15250/task/15263/stat : 15263 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 418408312 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194160249424 140195565074331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15264] ppid=15248 vsize=28901456 memory=2044 CPUtime=4.5 cores=0-7
/proc/15250/task/15264/stat : 15264 (java) S 15248 15248 13919 0 -1 1077944384 27777 0 0 0 445 5 0 0 20 0 29 0 418408312 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194159196272 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 40 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15265] ppid=15248 vsize=28901456 memory=1428 CPUtime=4.86 cores=0-7
/proc/15250/task/15265/stat : 15265 (java) S 15248 15248 13919 0 -1 1077944384 31718 0 0 0 482 4 0 0 20 0 29 0 418408312 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194158143472 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15266] ppid=15248 vsize=28901456 memory=1552 CPUtime=5.21 cores=0-7
/proc/15250/task/15266/stat : 15266 (java) S 15248 15248 13919 0 -1 1077944384 29039 0 0 0 516 5 0 0 20 0 29 0 418408312 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194157091184 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15267] ppid=15248 vsize=28901456 memory=1040 CPUtime=1.52 cores=0-7
/proc/15250/task/15267/stat : 15267 (java) S 15248 15248 13919 0 -1 1077944384 30718 0 0 0 148 4 0 0 20 0 29 0 418408312 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194156038384 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 41 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15268] ppid=15248 vsize=28901456 memory=4136 CPUtime=0 cores=0-7
/proc/15250/task/15268/stat : 15268 (java) S 15248 15248 13919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 418408313 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194154986336 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15269] ppid=15248 vsize=28901456 memory=992 CPUtime=1.19 cores=0-7
/proc/15250/task/15269/stat : 15269 (java) S 15248 15248 13919 0 -1 1077944384 6768 0 0 0 62 57 0 0 20 0 29 0 418408313 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194153933616 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15657] ppid=15248 vsize=28901456 memory=2044 CPUtime=291.67 cores=0-7
/proc/15250/task/15657/stat : 15657 (java) R 15248 15248 13919 0 -1 4202560 3772 0 0 0 29160 7 0 0 20 0 29 0 418629076 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194138417824 140195201506576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15662] ppid=15248 vsize=28901456 memory=1428 CPUtime=259.82 cores=0-7
/proc/15250/task/15662/stat : 15662 (java) R 15248 15248 13919 0 -1 4202560 1851 0 0 0 25980 2 0 0 20 0 29 0 418631612 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194140520024 140195212427529 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15663] ppid=15248 vsize=28901456 memory=11624 CPUtime=259.82 cores=0-7
/proc/15250/task/15663/stat : 15663 (java) R 15248 15248 13919 0 -1 4202560 1801 0 0 0 25981 1 0 0 20 0 29 0 418631625 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194139468856 140195208434102 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15664] ppid=15248 vsize=28901456 memory=740 CPUtime=259.32 cores=0-7
/proc/15250/task/15664/stat : 15664 (java) R 15248 15248 13919 0 -1 4202560 22791 0 0 0 25917 15 0 0 20 0 29 0 418631639 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194133150408 140195207211877 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15665] ppid=15248 vsize=28901456 memory=1056 CPUtime=260.05 cores=0-7
/proc/15250/task/15665/stat : 15665 (java) R 15248 15248 13919 0 -1 4202560 16432 0 0 0 25990 15 0 0 20 0 29 0 418631639 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194134203968 140195201506327 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15666] ppid=15248 vsize=28901456 memory=1552 CPUtime=259.89 cores=0-7
/proc/15250/task/15666/stat : 15666 (java) R 15248 15248 13919 0 -1 4202560 7520 0 0 0 25982 7 0 0 20 0 29 0 418631639 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194135257272 140195201506120 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15667] ppid=15248 vsize=28901456 memory=1040 CPUtime=2.01 cores=0-7
/proc/15250/task/15667/stat : 15667 (java) S 15248 15248 13919 0 -1 1077944384 382 0 0 0 201 0 0 0 20 0 29 0 418631639 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194141578128 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15668] ppid=15248 vsize=28901456 memory=4136 CPUtime=259.61 cores=0-7
/proc/15250/task/15668/stat : 15668 (java) R 15248 15248 13919 0 -1 4202560 1471 0 0 0 25960 1 0 0 20 0 29 0 418631639 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194137363384 140195206688464 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15669] ppid=15248 vsize=28901456 memory=2120 CPUtime=0.01 cores=0-7
/proc/15250/task/15669/stat : 15669 (java) S 15248 15248 13919 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 29 0 418631639 29595090944 363525 33554432000 4194304 4196468 140729693161440 140194136315024 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
Current children cumulated CPU time: 16362.4 s
Current children cumulated vsize: 29014584 KiB
Current children cumulated memory: 1455552 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 6.95 6.88 6.87 8/221 15693
/proc/meminfo: memFree=29504960/32770624 swapFree=66947516/67108860
[pid=15248] ppid=15245 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15248/stat : 15248 (xcsp3-exec) S 15245 15248 13919 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418408306 115843072 363 33554432000 4194304 5098028 140733897735792 140733897733896 139768128000636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35246080 140733897737077 140733897737321 140733897737321 140733897740234 0
/proc/15248/statm: 28282 363 305 221 0 87 0
[pid=15250] ppid=15248 vsize=28901456 memory=1462316 CPUtime=16485.3 cores=0-7
/proc/15250/stat : 15250 (java) S 15248 15248 13919 0 -1 1077944320 982336 0 0 0 1642950 5583 0 0 20 0 29 0 418408307 29595090944 365579 33554432000 4194304 4196468 140729693161440 140729693143984 140195565055735 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
/proc/15250/statm: 7225364 365579 3563 1 0 7186466 0
[pid=15250/tid=15251] ppid=15248 vsize=28901456 memory=8317482817917895235 CPUtime=1.35 cores=0-7
/proc/15250/task/15251/stat : 15251 (java) S 15248 15248 13919 0 -1 1077944384 12286 0 0 0 128 7 0 0 20 0 29 0 418408307 29595090944 365579 33554432000 4194304 4196468 140729693161440 140195569296512 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15252] ppid=15248 vsize=28901456 memory=4872558044660077418 CPUtime=10.54 cores=0-7
/proc/15250/task/15252/stat : 15252 (java) S 15248 15248 13919 0 -1 1077944384 33786 0 0 0 986 68 0 0 20 0 29 0 418408308 29595090944 365579 33554432000 4194304 4196468 140729693161440 140195116473232 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15253] ppid=15248 vsize=28901456 memory=7375041667453183332 CPUtime=10.63 cores=0-7
/proc/15250/task/15253/stat : 15253 (java) S 15248 15248 13919 0 -1 1077944384 33301 0 0 0 992 71 0 0 20 0 29 0 418408308 29595090944 365579 33554432000 4194304 4196468 140729693161440 140195115420432 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15254] ppid=15248 vsize=28901456 memory=-9001727377965541479 CPUtime=10.66 cores=0-7
/proc/15250/task/15254/stat : 15254 (java) S 15248 15248 13919 0 -1 1077944384 39973 0 0 0 998 68 0 0 20 0 29 0 418408308 29595090944 365579 33554432000 4194304 4196468 140729693161440 140195114368144 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15255] ppid=15248 vsize=28901456 memory=6944613755328037015 CPUtime=10.53 cores=0-7
/proc/15250/task/15255/stat : 15255 (java) S 15248 15248 13919 0 -1 1077944384 37026 0 0 0 982 71 0 0 20 0 29 0 418408308 29595090944 365579 33554432000 4194304 4196468 140729693161440 140195113315344 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15256] ppid=15248 vsize=28901456 memory=7100839861499107429 CPUtime=10.56 cores=0-7
/proc/15250/task/15256/stat : 15256 (java) S 15248 15248 13919 0 -1 1077944384 39155 0 0 0 986 70 0 0 20 0 29 0 418408308 29595090944 365579 33554432000 4194304 4196468 140729693161440 140195112262032 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15257] ppid=15248 vsize=28901456 memory=281156075389168 CPUtime=10.58 cores=0-7
/proc/15250/task/15257/stat : 15257 (java) S 15248 15248 13919 0 -1 1077944384 36568 0 0 0 992 66 0 0 20 0 29 0 418408308 29595090944 365579 33554432000 4194304 4196468 140729693161440 140195111209232 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15258] ppid=15248 vsize=28901456 memory=1452 CPUtime=10.5 cores=0-7
/proc/15250/task/15258/stat : 15258 (java) S 15248 15248 13919 0 -1 1077944384 37929 0 0 0 982 68 0 0 20 0 29 0 418408308 29595090944 365579 33554432000 4194304 4196468 140729693161440 140195110156944 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15259] ppid=15248 vsize=28901456 memory=1462316 CPUtime=10.54 cores=0-7
/proc/15250/task/15259/stat : 15259 (java) S 15248 15248 13919 0 -1 1077944384 39990 0 0 0 982 72 0 0 20 0 29 0 418408308 29595090944 365579 33554432000 4194304 4196468 140729693161440 140195109104144 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15260] ppid=15248 vsize=28901456 memory=3612 CPUtime=65.62 cores=0-7
/proc/15250/task/15260/stat : 15260 (java) S 15248 15248 13919 0 -1 1077944384 131344 0 0 0 2189 4373 0 0 20 0 29 0 418408309 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194163407472 140195565066882 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15261] ppid=15248 vsize=28901456 memory=22344 CPUtime=0 cores=0-7
/proc/15250/task/15261/stat : 15261 (java) S 15248 15248 13919 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 29 0 418408310 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194162353504 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15262] ppid=15248 vsize=28901456 memory=992 CPUtime=0 cores=0-7
/proc/15250/task/15262/stat : 15262 (java) S 15248 15248 13919 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 29 0 418408310 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194161301120 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15263] ppid=15248 vsize=28901456 memory=2044 CPUtime=0 cores=0-7
/proc/15250/task/15263/stat : 15263 (java) S 15248 15248 13919 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 418408312 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194160249424 140195565074331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15264] ppid=15248 vsize=28901456 memory=1428 CPUtime=4.5 cores=0-7
/proc/15250/task/15264/stat : 15264 (java) S 15248 15248 13919 0 -1 1077944384 27777 0 0 0 445 5 0 0 20 0 29 0 418408312 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194159196272 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 40 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15265] ppid=15248 vsize=28901456 memory=11624 CPUtime=4.86 cores=0-7
/proc/15250/task/15265/stat : 15265 (java) S 15248 15248 13919 0 -1 1077944384 31718 0 0 0 482 4 0 0 20 0 29 0 418408312 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194158143472 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15266] ppid=15248 vsize=28901456 memory=740 CPUtime=5.21 cores=0-7
/proc/15250/task/15266/stat : 15266 (java) S 15248 15248 13919 0 -1 1077944384 29039 0 0 0 516 5 0 0 20 0 29 0 418408312 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194157091184 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15267] ppid=15248 vsize=28901456 memory=1056 CPUtime=1.52 cores=0-7
/proc/15250/task/15267/stat : 15267 (java) S 15248 15248 13919 0 -1 1077944384 30718 0 0 0 148 4 0 0 20 0 29 0 418408312 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194156038384 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 41 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15268] ppid=15248 vsize=28901456 memory=1552 CPUtime=0 cores=0-7
/proc/15250/task/15268/stat : 15268 (java) S 15248 15248 13919 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 418408313 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194154986336 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15269] ppid=15248 vsize=28901456 memory=1040 CPUtime=1.19 cores=0-7
/proc/15250/task/15269/stat : 15269 (java) S 15248 15248 13919 0 -1 1077944384 6770 0 0 0 62 57 0 0 20 0 29 0 418408313 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194153933616 140195565066882 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15657] ppid=15248 vsize=28901456 memory=4136 CPUtime=309.33 cores=0-7
/proc/15250/task/15657/stat : 15657 (java) R 15248 15248 13919 0 -1 4202560 3776 0 0 0 30926 7 0 0 20 0 29 0 418629076 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194138414768 140195201506572 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15662] ppid=15248 vsize=28901456 memory=780 CPUtime=277.27 cores=0-7
/proc/15250/task/15662/stat : 15662 (java) R 15248 15248 13919 0 -1 4202560 1860 0 0 0 27725 2 0 0 20 0 29 0 418631612 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194140520520 140195205688960 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15663] ppid=15248 vsize=28901456 memory=2832 CPUtime=277.29 cores=0-7
/proc/15250/task/15663/stat : 15663 (java) R 15248 15248 13919 0 -1 4202560 1802 0 0 0 27728 1 0 0 20 0 29 0 418631625 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194139468904 140195207176543 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15664] ppid=15248 vsize=28901456 memory=1720 CPUtime=276.78 cores=0-7
/proc/15250/task/15664/stat : 15664 (java) R 15248 15248 13919 0 -1 4202560 22813 0 0 0 27663 15 0 0 20 0 29 0 418631639 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194133151720 140195198739608 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15665] ppid=15248 vsize=28901456 memory=1200 CPUtime=277.51 cores=0-7
/proc/15250/task/15665/stat : 15665 (java) R 15248 15248 13919 0 -1 4202560 17533 0 0 0 27736 15 0 0 20 0 29 0 418631639 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194134204216 140195205688960 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15666] ppid=15248 vsize=28901456 memory=3612 CPUtime=277.35 cores=0-7
/proc/15250/task/15666/stat : 15666 (java) R 15248 15248 13919 0 -1 4202560 7521 0 0 0 27728 7 0 0 20 0 29 0 418631639 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194135260064 140195199555100 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15667] ppid=15248 vsize=28901456 memory=22344 CPUtime=2.01 cores=0-7
/proc/15250/task/15667/stat : 15667 (java) S 15248 15248 13919 0 -1 1077944384 382 0 0 0 201 0 0 0 20 0 29 0 418631639 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194141578128 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15668] ppid=15248 vsize=28901456 memory=992 CPUtime=277.08 cores=0-7
/proc/15250/task/15668/stat : 15668 (java) R 15248 15248 13919 0 -1 4202560 1475 0 0 0 27707 1 0 0 20 0 29 0 418631639 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194137363384 140195208330071 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
[pid=15250/tid=15669] ppid=15248 vsize=28901456 memory=1462316 CPUtime=0.01 cores=0-7
/proc/15250/task/15669/stat : 15669 (java) S 15248 15248 13919 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 29 0 418631639 29595090944 365579 33554432000 4194304 4196468 140729693161440 140194136315024 140195565065941 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21102592 140729693168618 140729693168790 140729693168790 140729693171663 0
Current children cumulated CPU time: 16485.3 s
Current children cumulated vsize: 29014584 KiB
Current children cumulated memory: 1463768 KiB

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

[startup+2520.02 s]
# the end of solver process 15248 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001251 s, system=0.001251 s

[startup+2520.11 s]
# the end of solver process 15250 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=16429.7 s, system=55.8976 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 2520.11
CPU time (s): 16485.6
CPU user time (s): 16429.7
CPU system time (s): 55.8976
CPU usage (%): 654.161
Max. virtual memory (cumulated for all children) (KiB): 29014584
Max. memory (cumulated for all children) (KiB): 2861352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16429.7
system time used= 55.8976
maximum resident set size= 2861948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 983037
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115990
involuntary context switches= 133893


# summary of solver processes directly reported to runsolver:
#   pid: 15248,15250
#   total CPU time (s): 16485.6
#   total CPU user time (s): 16429.7
#   total CPU system time (s): 55.8976

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.7669 second user time and 29.7661 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-14 03:30:21
IDJOB=4394623
IDBENCH=124389
IDSOLVER=2843
FILE ID=node117/4394623-1568424664
RUNJOBID= node117-1568417114-13946
PBS_JOBID= 21702269
Free space on /tmp= 61184 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-P-n40-k5.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394623-1568424664/watcher-4394623-1568424664 -o /tmp/evaluation-result-4394623-1568424664/solver-4394623-1568424664 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568417114-13946 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1533698599 HOME/instance-4394623-1568424664.xml

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

MD5SUM BENCH= aadfd6ed706e08b9468e37c047f4c189
RANDOM SEED=1533698599

node117.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.75
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.75
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.75
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.75
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:        30957496 kB
MemAvailable:   31868780 kB
Buffers:          136776 kB
Cached:          1042864 kB
SwapCached:        51348 kB
Active:           768160 kB
Inactive:         464800 kB
Active(anon):      18380 kB
Inactive(anon):    58620 kB
Active(file):     749780 kB
Inactive(file):   406180 kB
Unevictable:      110108 kB
Mlocked:          110108 kB
SwapTotal:      67108860 kB
SwapFree:       66947420 kB
Dirty:             26284 kB
Writeback:            28 kB
AnonPages:        113032 kB
Mapped:            33324 kB
Shmem:             15344 kB
Slab:             170476 kB
SReclaimable:     142316 kB
SUnreclaim:        28160 kB
KernelStack:        3376 kB
PageTables:         5456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61160 MiB
End job on node117 at 2019-09-14 04:12:22