2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: choco-solver 5a (2017-07-05)	Wrong Opt.	17	16.555201	7.0197802

0.00/0.09	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4247037-1502091583.xml"  -tl '2400s' -p 4 -x 3
0.00/0.28	c [HOME/instance-4247037-1502091583.xml, -tl, 2400s, -p, 4, -x, 3]
0.00/0.34	c 4 solvers in parallel
0.00/0.41	c parse instance...
6.67/4.44	c solve instance...
8.16/4.81	o 20 
8.16/4.84	o 20 
8.91/5.04	o 19 
15.48/6.78	java.util.concurrent.ExecutionException: java.lang.ArrayIndexOutOfBoundsException
15.48/6.78		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
15.48/6.78		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:201)
15.48/6.78		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:184)
15.48/6.78		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:134)
15.48/6.78		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:25)
15.48/6.78	Caused by: java.lang.ArrayIndexOutOfBoundsException
15.48/6.78		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
15.48/6.78		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
15.48/6.78		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
15.48/6.78		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
15.48/6.78		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
15.48/6.78		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
15.48/6.78		... 4 more
15.48/6.78	Caused by: java.lang.ArrayIndexOutOfBoundsException
15.48/6.78		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
15.48/6.78		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
15.48/6.78		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
15.48/6.78		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
15.48/6.78		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
15.48/6.78		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
15.48/6.78		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
15.48/6.78		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
15.48/6.78		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
15.48/6.78		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
15.48/6.78		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
15.48/6.78		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
15.48/6.78		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$52(ParallelPortfolio.java:193)
15.48/6.78		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
15.48/6.78		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
15.48/6.78		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
15.48/6.78		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
15.48/6.78		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
15.48/6.78	Caused by: java.lang.ArrayIndexOutOfBoundsException: 51
15.48/6.78		at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.extractNogoodFromPath(NogoodFromRestarts.java:80)
15.48/6.78		at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.beforeRestart(NogoodFromRestarts.java:64)
15.48/6.78		at org.chocosolver.solver.search.loop.monitors.SearchMonitorList.beforeRestart(SearchMonitorList.java:140)
15.48/6.78		at org.chocosolver.solver.Solver.restart(Solver.java:588)
15.48/6.78		at org.chocosolver.solver.search.loop.move.MoveLNS.doRestart(MoveLNS.java:253)
15.48/6.78		at org.chocosolver.solver.search.loop.move.MoveLNS.repair(MoveLNS.java:183)
15.48/6.78		at org.chocosolver.solver.Solver.repair(Solver.java:446)
15.48/6.78		at org.chocosolver.solver.Solver.searchLoop(Solver.java:302)
15.48/6.78		at org.chocosolver.solver.Solver.solve(Solver.java:264)
15.48/6.78		at org.chocosolver.solver.ParallelPortfolio.lambda$null$51(ParallelPortfolio.java:195)
15.48/6.78		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
15.48/6.78		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
15.48/6.78		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
15.48/6.78		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
15.48/6.78		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
15.48/6.78		... 4 more
15.48/6.78	o 18 
16.14/7.00	java.util.concurrent.ExecutionException: java.lang.ArrayIndexOutOfBoundsException
16.14/7.00		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
16.14/7.00		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:201)
16.14/7.00		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:184)
16.14/7.00		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:134)
16.14/7.00		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:25)
16.14/7.00	Caused by: java.lang.ArrayIndexOutOfBoundsException
16.14/7.00		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
16.14/7.00		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
16.14/7.00		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
16.14/7.00		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
16.14/7.00		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
16.14/7.00		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
16.14/7.00		... 4 more
16.50/7.00	Caused by: java.lang.ArrayIndexOutOfBoundsException
16.50/7.00		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
16.50/7.00		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
16.50/7.00		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
16.50/7.00		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
16.50/7.00		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:598)
16.50/7.00		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
16.50/7.00		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
16.50/7.00		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
16.50/7.00		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
16.50/7.00		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
16.50/7.00		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
16.50/7.00		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
16.50/7.00		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$52(ParallelPortfolio.java:193)
16.50/7.00		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
16.50/7.00		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
16.50/7.00		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
16.50/7.00		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
16.50/7.00		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
16.50/7.00	Caused by: java.lang.ArrayIndexOutOfBoundsException: Array index out of range: 0
16.50/7.00		at gnu.trove.list.array.TIntArrayList.remove(TIntArrayList.java:405)
16.50/7.00		at gnu.trove.list.array.TIntArrayList.removeAt(TIntArrayList.java:396)
16.50/7.00		at gnu.trove.stack.array.TIntArrayStack.pop(TIntArrayStack.java:127)
16.50/7.00		at org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffInst.fixpoint(PropAllDiffInst.java:93)
16.50/7.00		at org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffInst.propagate(PropAllDiffInst.java:88)
16.50/7.00		at org.chocosolver.solver.propagation.hardcoded.SevenQueuesPropagatorEngine.propagate(SevenQueuesPropagatorEngine.java:201)
16.50/7.00		at org.chocosolver.solver.search.strategy.selectors.values.IntDomainBest.bound(IntDomainBest.java:101)
16.50/7.00		at org.chocosolver.solver.search.strategy.selectors.values.IntDomainBest.selectValue(IntDomainBest.java:70)
16.50/7.00		at org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg.computeDecision(DomOverWDeg.java:81)
16.50/7.00		at org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg.getDecision(DomOverWDeg.java:112)
16.50/7.00		at org.chocosolver.solver.search.strategy.strategy.LastConflict.getDecision(LastConflict.java:101)
16.50/7.00		at org.chocosolver.solver.search.loop.move.MoveBinaryDFS.extend(MoveBinaryDFS.java:61)
16.50/7.00		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:81)
16.50/7.00		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:81)
16.50/7.00		at org.chocosolver.solver.Solver.extend(Solver.java:429)
16.50/7.00		at org.chocosolver.solver.Solver.searchLoop(Solver.java:298)
16.50/7.00		at org.chocosolver.solver.Solver.solve(Solver.java:264)
16.50/7.00		at org.chocosolver.solver.ParallelPortfolio.lambda$null$51(ParallelPortfolio.java:195)
16.50/7.00		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
16.50/7.00		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
16.50/7.00		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
16.50/7.00		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
16.50/7.00		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
16.50/7.00		... 4 more
16.50/7.00	o 17 
16.50/7.01	s OPTIMUM FOUND
16.50/7.01	v <instantiation>
16.50/7.01	v 	<list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] min[0] min[1] min[2] min[3] min[4] min[5] min[6] min[7] min[8] min[9] min[10] min[11] min[12] min[13] min[14] min[15] min[16] min[17] min[18] min[19] max[0] max[1] max[2] max[3] max[4] max[5] max[6] max[7] max[8] max[9] max[10] max[11] max[12] max[13] max[14] max[15] max[16] max[17] max[18] max[19] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[0][30] o[0][31] o[0][32] o[0][33] o[0][34] o[0][35] o[0][36] o[0][37] o[0][38] o[0][39] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[1][30] o[1][31] o[1][32] o[1][33] o[1][34] o[1][35] o[1][36] o[1][37] o[1][38] o[1][39] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[2][30] o[2][31] o[2][32] o[2][33] o[2][34] o[2][35] o[2][36] o[2][37] o[2][38] o[2][39] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[3][30] o[3][31] o[3][32] o[3][33] o[3][34] o[3][35] o[3][36] o[3][37] o[3][38] o[3][39] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[4][30] o[4][31] o[4][32] o[4][33] o[4][34] o[4][35] o[4][36] o[4][37] o[4][38] o[4][39] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[5][30] o[5][31] o[5][32] o[5][33] o[5][34] o[5][35] o[5][36] o[5][37] o[5][38] o[5][39] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[6][30] o[6][31] o[6][32] o[6][33] o[6][34] o[6][35] o[6][36] o[6][37] o[6][38] o[6][39] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[7][30] o[7][31] o[7][32] o[7][33] o[7][34] o[7][35] o[7][36] o[7][37] o[7][38] o[7][39] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[8][30] o[8][31] o[8][32] o[8][33] o[8][34] o[8][35] o[8][36] o[8][37] o[8][38] o[8][39] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[9][30] o[9][31] o[9][32] o[9][33] o[9][34] o[9][35] o[9][36] o[9][37] o[9][38] o[9][39] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[10][30] o[10][31] o[10][32] o[10][33] o[10][34] o[10][35] o[10][36] o[10][37] o[10][38] o[10][39] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[11][30] o[11][31] o[11][32] o[11][33] o[11][34] o[11][35] o[11][36] o[11][37] o[11][38] o[11][39] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[12][30] o[12][31] o[12][32] o[12][33] o[12][34] o[12][35] o[12][36] o[12][37] o[12][38] o[12][39] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[13][30] o[13][31] o[13][32] o[13][33] o[13][34] o[13][35] o[13][36] o[13][37] o[13][38] o[13][39] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[14][30] o[14][31] o[14][32] o[14][33] o[14][34] o[14][35] o[14][36] o[14][37] o[14][38] o[14][39] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] o[15][30] o[15][31] o[15][32] o[15][33] o[15][34] o[15][35] o[15][36] o[15][37] o[15][38] o[15][39] o[16][0] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[16][15] o[16][16] o[16][17] o[16][18] o[16][19] o[16][20] o[16][21] o[16][22] o[16][23] o[16][24] o[16][25] o[16][26] o[16][27] o[16][28] o[16][29] o[16][30] o[16][31] o[16][32] o[16][33] o[16][34] o[16][35] o[16][36] o[16][37] o[16][38] o[16][39] o[17][0] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[17][15] o[17][16] o[17][17] o[17][18] o[17][19] o[17][20] o[17][21] o[17][22] o[17][23] o[17][24] o[17][25] o[17][26] o[17][27] o[17][28] o[17][29] o[17][30] o[17][31] o[17][32] o[17][33] o[17][34] o[17][35] o[17][36] o[17][37] o[17][38] o[17][39] o[18][0] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[18][15] o[18][16] o[18][17] o[18][18] o[18][19] o[18][20] o[18][21] o[18][22] o[18][23] o[18][24] o[18][25] o[18][26] o[18][27] o[18][28] o[18][29] o[18][30] o[18][31] o[18][32] o[18][33] o[18][34] o[18][35] o[18][36] o[18][37] o[18][38] o[18][39] o[19][0] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[19][15] o[19][16] o[19][17] o[19][18] o[19][19] o[19][20] o[19][21] o[19][22] o[19][23] o[19][24] o[19][25] o[19][26] o[19][27] o[19][28] o[19][29] o[19][30] o[19][31] o[19][32] o[19][33] o[19][34] o[19][35] o[19][36] o[19][37] o[19][38] o[19][39] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] so[20] so[21] so[22] so[23] so[24] so[25] so[26] so[27] so[28] so[29] so[30] so[31] so[32] so[33] so[34] so[35] so[36] so[37] so[38] so[39] </list>
16.50/7.01	v 	<values>0 2 3 4 5 6 7 8 9 10 11 12 13 14 19 21 25 26 27 28 20 15 16 22 17 23 18 24 1 29 30 31 32 33 34 35 36 37 38 39 0 0 0 0 2 3 4 5 1 7 1 9 1 11 1 13 14 19 21 25 38 39 38 39 38 39 20 24 18 29 30 31 32 33 34 35 36 37 38 39 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 4 8 9 10 11 12 12 13 13 14 14 15 15 16 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 16 15 14 13 12 11 10 9 8 4 </values>
16.50/7.01	v </instantiation>

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247037-1502091583/watcher-4247037-1502091583 -o /tmp/evaluation-result-4247037-1502091583/solver-4247037-1502091583 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502078046-15622 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1645057945 HOME/instance-4247037-1502091583.xml 

pid=20871
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 8.44 8.37 7.67 6/203 20874
/proc/meminfo: memFree=31125324/32770624 swapFree=0/373588
[pid=20874] ppid=20871 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/20874/stat : 20874 (runsolver) D 20871 20874 2911 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 108811432 24240128 107 18446744073709551615 4194304 4338465 140730882950368 140730882948008 140108659065559 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 22880256 140730882953302 140730882953801 140730882953801 140730882957258 0
/proc/20874/statm: 5918 107 54 36 0 2156 0

[startup+0.100099 s]
/proc/loadavg: 8.44 8.37 7.67 6/203 20874
/proc/meminfo: memFree=31125324/32770624 swapFree=0/373588
[pid=20874] ppid=20871 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20874/stat : 20874 (xcsp3-exec) S 20871 20874 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108811432 9740288 345 18446744073709551615 4194304 5098028 140730234450912 140730234449016 139737626530428 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 27676672 140730234454424 140730234454634 140730234454634 140730234458091 0
/proc/20874/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200241 s]
/proc/loadavg: 8.44 8.37 7.67 6/203 20874
/proc/meminfo: memFree=31125324/32770624 swapFree=0/373588
[pid=20874] ppid=20871 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20874/stat : 20874 (xcsp3-exec) S 20871 20874 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108811432 9740288 345 18446744073709551615 4194304 5098028 140730234450912 140730234449016 139737626530428 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 27676672 140730234454424 140730234454634 140730234454634 140730234458091 0
/proc/20874/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300243 s]
/proc/loadavg: 8.44 8.37 7.67 6/203 20874
/proc/meminfo: memFree=31125324/32770624 swapFree=0/373588
[pid=20874] ppid=20871 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20874/stat : 20874 (xcsp3-exec) S 20871 20874 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108811432 9740288 345 18446744073709551615 4194304 5098028 140730234450912 140730234449016 139737626530428 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 27676672 140730234454424 140730234454634 140730234454634 140730234458091 0
/proc/20874/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700215 s]
/proc/loadavg: 8.44 8.37 7.67 6/203 20874
/proc/meminfo: memFree=31125324/32770624 swapFree=0/373588
[pid=20874] ppid=20871 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20874/stat : 20874 (xcsp3-exec) S 20871 20874 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108811432 9740288 345 18446744073709551615 4194304 5098028 140730234450912 140730234449016 139737626530428 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 27676672 140730234454424 140730234454634 140730234454634 140730234458091 0
/proc/20874/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50066 s]
/proc/loadavg: 8.44 8.37 7.67 7/219 20890
/proc/meminfo: memFree=30985356/32770624 swapFree=0/373608
[pid=20874] ppid=20871 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20874/stat : 20874 (xcsp3-exec) S 20871 20874 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108811432 9740288 345 18446744073709551615 4194304 5098028 140730234450912 140730234449016 139737626530428 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 27676672 140730234454424 140730234454634 140730234454634 140730234458091 0
/proc/20874/statm: 2378 345 289 221 0 87 0
[pid=20876] ppid=20874 vsize=12919328 CPUtime=2.62 cores=1,3,5,7
/proc/20876/stat : 20876 (java) S 20874 20874 2911 0 -1 1077944320 18732 0 0 0 255 7 0 0 20 0 15 0 108811442 13229391872 49641 18446744073709551615 4194304 4196468 140720622892640 140720622875184 140646340452087 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
/proc/20876/statm: 3229832 49641 3210 1 0 3218124 0
[pid=20876/tid=20877] ppid=20874 vsize=12919328 CPUtime=1.17 cores=1,3,5,7
/proc/20876/task/20877/stat : 20877 (java) R 20874 20874 2911 0 -1 4202560 9355 0 0 0 112 5 0 0 20 0 15 0 108811442 13229391872 49641 18446744073709551615 4194304 4196468 140720622892640 140646344689584 140645973062784 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20878] ppid=20874 vsize=12919328 CPUtime=0.01 cores=1,3,5,7
/proc/20876/task/20878/stat : 20878 (java) S 20874 20874 2911 0 -1 1077944384 375 0 0 0 1 0 0 0 20 0 15 0 108811443 13229391872 49641 18446744073709551615 4194304 4196468 140720622892640 140646297418384 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20879] ppid=20874 vsize=12919328 CPUtime=0.01 cores=1,3,5,7
/proc/20876/task/20879/stat : 20879 (java) S 20874 20874 2911 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 15 0 108811443 13229391872 49641 18446744073709551615 4194304 4196468 140720622892640 140646296365584 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20880] ppid=20874 vsize=12919328 CPUtime=0.01 cores=1,3,5,7
/proc/20876/task/20880/stat : 20880 (java) S 20874 20874 2911 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 15 0 108811443 13229391872 49641 18446744073709551615 4194304 4196468 140720622892640 140646295312784 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20881] ppid=20874 vsize=12919328 CPUtime=0.01 cores=1,3,5,7
/proc/20876/task/20881/stat : 20881 (java) S 20874 20874 2911 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 15 0 108811443 13229391872 49641 18446744073709551615 4194304 4196468 140720622892640 140646294259984 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20882] ppid=20874 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20882/stat : 20882 (java) S 20874 20874 2911 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 108811444 13229391872 49641 18446744073709551615 4194304 4196468 140720622892640 140645891672944 140646340463234 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20883] ppid=20874 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20883/stat : 20883 (java) S 20874 20874 2911 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 108811445 13229391872 49641 18446744073709551615 4194304 4196468 140720622892640 140645890618912 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20884] ppid=20874 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20884/stat : 20884 (java) S 20874 20874 2911 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 108811445 13229391872 49641 18446744073709551615 4194304 4196468 140720622892640 140645889566064 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20885] ppid=20874 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20885/stat : 20885 (java) S 20874 20874 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108811447 13229391872 49641 18446744073709551615 4194304 4196468 140720622892640 140645888514384 140646340470683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20886] ppid=20874 vsize=12919328 CPUtime=0.48 cores=1,3,5,7
/proc/20876/task/20886/stat : 20886 (java) S 20874 20874 2911 0 -1 1077944384 1741 0 0 0 48 0 0 0 20 0 15 0 108811447 13229391872 49641 18446744073709551615 4194304 4196468 140720622892640 140645887461744 140646340463234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20887] ppid=20874 vsize=12919328 CPUtime=0.47 cores=1,3,5,7
/proc/20876/task/20887/stat : 20887 (java) S 20874 20874 2911 0 -1 1077944384 1713 0 0 0 47 0 0 0 20 0 15 0 108811447 13229391872 49641 18446744073709551615 4194304 4196468 140720622892640 140645886408944 140646340463234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20888] ppid=20874 vsize=12919328 CPUtime=0.4 cores=1,3,5,7
/proc/20876/task/20888/stat : 20888 (java) S 20874 20874 2911 0 -1 1077944384 3422 0 0 0 40 0 0 0 20 0 15 0 108811447 13229391872 49641 18446744073709551615 4194304 4196468 140720622892640 140645817641072 140646340463234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20889] ppid=20874 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20889/stat : 20889 (java) S 20874 20874 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108811447 13229391872 49641 18446744073709551615 4194304 4196468 140720622892640 140645816588512 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20890] ppid=20874 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20890/stat : 20890 (java) S 20874 20874 2911 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 108811453 13229391872 49641 18446744073709551615 4194304 4196468 140720622892640 140645815536816 140646340463234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 12928840

[startup+3.10065 s]
/proc/loadavg: 8.44 8.37 7.67 6/219 20890
/proc/meminfo: memFree=30893400/32770624 swapFree=0/373612
[pid=20874] ppid=20871 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20874/stat : 20874 (xcsp3-exec) S 20871 20874 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108811432 9740288 345 18446744073709551615 4194304 5098028 140730234450912 140730234449016 139737626530428 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 27676672 140730234454424 140730234454634 140730234454634 140730234458091 0
/proc/20874/statm: 2378 345 289 221 0 87 0
[pid=20876] ppid=20874 vsize=12919328 CPUtime=4.98 cores=1,3,5,7
/proc/20876/stat : 20876 (java) S 20874 20874 2911 0 -1 1077944320 24301 0 0 0 485 13 0 0 20 0 15 0 108811442 13229391872 70820 18446744073709551615 4194304 4196468 140720622892640 140720622875184 140646340452087 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
/proc/20876/statm: 3229832 70820 3223 1 0 3218124 0
[pid=20876/tid=20877] ppid=20874 vsize=12919328 CPUtime=2.73 cores=1,3,5,7
/proc/20876/task/20877/stat : 20877 (java) R 20874 20874 2911 0 -1 4202560 10338 0 0 0 267 6 0 0 20 0 15 0 108811442 13229391872 70820 18446744073709551615 4194304 4196468 140720622892640 140646344686048 140645973062814 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20878] ppid=20874 vsize=12919328 CPUtime=0.02 cores=1,3,5,7
/proc/20876/task/20878/stat : 20878 (java) S 20874 20874 2911 0 -1 1077944384 392 0 0 0 2 0 0 0 20 0 15 0 108811443 13229391872 70820 18446744073709551615 4194304 4196468 140720622892640 140646297418384 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20879] ppid=20874 vsize=12919328 CPUtime=0.04 cores=1,3,5,7
/proc/20876/task/20879/stat : 20879 (java) S 20874 20874 2911 0 -1 1077944384 134 0 0 0 3 1 0 0 20 0 15 0 108811443 13229391872 70820 18446744073709551615 4194304 4196468 140720622892640 140646296365584 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20880] ppid=20874 vsize=12919328 CPUtime=0.02 cores=1,3,5,7
/proc/20876/task/20880/stat : 20880 (java) S 20874 20874 2911 0 -1 1077944384 107 0 0 0 2 0 0 0 20 0 15 0 108811443 13229391872 70820 18446744073709551615 4194304 4196468 140720622892640 140646295312784 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20881] ppid=20874 vsize=12919328 CPUtime=0.04 cores=1,3,5,7
/proc/20876/task/20881/stat : 20881 (java) S 20874 20874 2911 0 -1 1077944384 308 0 0 0 3 1 0 0 20 0 15 0 108811443 13229391872 70820 18446744073709551615 4194304 4196468 140720622892640 140646294259984 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20882] ppid=20874 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20882/stat : 20882 (java) S 20874 20874 2911 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 15 0 108811444 13229391872 70820 18446744073709551615 4194304 4196468 140720622892640 140645891672944 140646340463234 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20883] ppid=20874 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20883/stat : 20883 (java) S 20874 20874 2911 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 108811445 13229391872 70820 18446744073709551615 4194304 4196468 140720622892640 140645890618976 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20884] ppid=20874 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20884/stat : 20884 (java) S 20874 20874 2911 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 108811445 13229391872 70820 18446744073709551615 4194304 4196468 140720622892640 140645889566080 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20885] ppid=20874 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20885/stat : 20885 (java) S 20874 20874 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108811447 13229391872 70820 18446744073709551615 4194304 4196468 140720622892640 140645888514384 140646340470683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20886] ppid=20874 vsize=12919328 CPUtime=0.81 cores=1,3,5,7
/proc/20876/task/20886/stat : 20886 (java) S 20874 20874 2911 0 -1 1077944384 3616 0 0 0 80 1 0 0 20 0 15 0 108811447 13229391872 70820 18446744073709551615 4194304 4196468 140720622892640 140645887461744 140646340463234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20887] ppid=20874 vsize=12919328 CPUtime=0.72 cores=1,3,5,7
/proc/20876/task/20887/stat : 20887 (java) S 20874 20874 2911 0 -1 1077944384 3166 0 0 0 72 0 0 0 20 0 15 0 108811447 13229391872 70820 18446744073709551615 4194304 4196468 140720622892640 140645886408944 140646340463234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20888] ppid=20874 vsize=12919328 CPUtime=0.52 cores=1,3,5,7
/proc/20876/task/20888/stat : 20888 (java) S 20874 20874 2911 0 -1 1077944384 4597 0 0 0 51 1 0 0 20 0 15 0 108811447 13229391872 70820 18446744073709551615 4194304 4196468 140720622892640 140645817641072 140646340463234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20889] ppid=20874 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20889/stat : 20889 (java) S 20874 20874 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108811447 13229391872 70820 18446744073709551615 4194304 4196468 140720622892640 140645816588512 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20890] ppid=20874 vsize=12919328 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20890/stat : 20890 (java) S 20874 20874 2911 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 108811453 13229391872 70820 18446744073709551615 4194304 4196468 140720622892640 140645815536816 140646340463234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
Current children cumulated CPU time (s) 4.98
Current children cumulated vsize (KiB) 12928840

[startup+6.30252 s]
/proc/loadavg: 8.16 8.31 7.66 11/223 20906
/proc/meminfo: memFree=30691852/32770624 swapFree=0/373612
[pid=20874] ppid=20871 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20874/stat : 20874 (xcsp3-exec) S 20871 20874 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108811432 9740288 345 18446744073709551615 4194304 5098028 140730234450912 140730234449016 139737626530428 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 27676672 140730234454424 140730234454634 140730234454634 140730234458091 0
/proc/20874/statm: 2378 345 289 221 0 87 0
[pid=20876] ppid=20874 vsize=13252148 CPUtime=14.09 cores=1,3,5,7
/proc/20876/stat : 20876 (java) S 20874 20874 2911 0 -1 1077944320 28561 0 0 0 1384 25 0 0 20 0 19 0 108811442 13570199552 112584 18446744073709551615 4194304 4196468 140720622892640 140720622875184 140646340452087 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
/proc/20876/statm: 3313037 112584 3254 1 0 3301329 0
[pid=20876/tid=20877] ppid=20874 vsize=13252148 CPUtime=4.01 cores=1,3,5,7
/proc/20876/task/20877/stat : 20877 (java) S 20874 20874 2911 0 -1 1077944384 10523 0 0 0 394 7 0 0 20 0 19 0 108811442 13570199552 112584 18446744073709551615 4194304 4196468 140720622892640 140646344692864 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20878] ppid=20874 vsize=13252148 CPUtime=0.09 cores=1,3,5,7
/proc/20876/task/20878/stat : 20878 (java) S 20874 20874 2911 0 -1 1077944384 455 0 0 0 7 2 0 0 20 0 19 0 108811443 13570199552 112584 18446744073709551615 4194304 4196468 140720622892640 140646297418384 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20879] ppid=20874 vsize=13252148 CPUtime=0.11 cores=1,3,5,7
/proc/20876/task/20879/stat : 20879 (java) S 20874 20874 2911 0 -1 1077944384 193 0 0 0 8 3 0 0 20 0 19 0 108811443 13570199552 112584 18446744073709551615 4194304 4196468 140720622892640 140646296365584 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20880] ppid=20874 vsize=13252148 CPUtime=0.09 cores=1,3,5,7
/proc/20876/task/20880/stat : 20880 (java) S 20874 20874 2911 0 -1 1077944384 170 0 0 0 7 2 0 0 20 0 19 0 108811443 13570199552 112584 18446744073709551615 4194304 4196468 140720622892640 140646295312784 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20881] ppid=20874 vsize=13252148 CPUtime=0.11 cores=1,3,5,7
/proc/20876/task/20881/stat : 20881 (java) S 20874 20874 2911 0 -1 1077944384 359 0 0 0 8 3 0 0 20 0 19 0 108811443 13570199552 112584 18446744073709551615 4194304 4196468 140720622892640 140646294259984 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20882] ppid=20874 vsize=13252148 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20882/stat : 20882 (java) S 20874 20874 2911 0 -1 1077944384 404 0 0 0 0 0 0 0 20 0 19 0 108811444 13570199552 112584 18446744073709551615 4194304 4196468 140720622892640 140645891672944 140646340463234 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20883] ppid=20874 vsize=13252148 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20883/stat : 20883 (java) S 20874 20874 2911 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 108811445 13570199552 112584 18446744073709551615 4194304 4196468 140720622892640 140645890618976 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20884] ppid=20874 vsize=13252148 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20884/stat : 20884 (java) S 20874 20874 2911 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 108811445 13570199552 112584 18446744073709551615 4194304 4196468 140720622892640 140645889566080 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20885] ppid=20874 vsize=13252148 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20885/stat : 20885 (java) S 20874 20874 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108811447 13570199552 112584 18446744073709551615 4194304 4196468 140720622892640 140645888514384 140646340470683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20886] ppid=20874 vsize=13252148 CPUtime=2.46 cores=1,3,5,7
/proc/20876/task/20886/stat : 20886 (java) R 20874 20874 2911 0 -1 4202560 4733 0 0 0 245 1 0 0 20 0 19 0 108811447 13570199552 112584 18446744073709551615 4194304 4196468 140720622892640 140645887462040 140646323838800 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20887] ppid=20874 vsize=13252148 CPUtime=2.17 cores=1,3,5,7
/proc/20876/task/20887/stat : 20887 (java) R 20874 20874 2911 0 -1 1077944384 4709 0 0 0 217 0 0 0 20 0 19 0 108811447 13570199552 112584 18446744073709551615 4194304 4196468 140720622892640 140645886408944 140646340463234 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20888] ppid=20874 vsize=13252148 CPUtime=0.81 cores=1,3,5,7
/proc/20876/task/20888/stat : 20888 (java) S 20874 20874 2911 0 -1 1077944384 5102 0 0 0 80 1 0 0 20 0 19 0 108811447 13570199552 112584 18446744073709551615 4194304 4196468 140720622892640 140645817641072 140646340463234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20889] ppid=20874 vsize=13252148 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20889/stat : 20889 (java) S 20874 20874 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108811447 13570199552 112584 18446744073709551615 4194304 4196468 140720622892640 140645816588512 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20890] ppid=20874 vsize=13252148 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20890/stat : 20890 (java) S 20874 20874 2911 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 108811453 13570199552 112584 18446744073709551615 4194304 4196468 140720622892640 140645815536816 140646340463234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20903] ppid=20874 vsize=13252148 CPUtime=0.82 cores=1,3,5,7
/proc/20876/task/20903/stat : 20903 (java) R 20874 20874 2911 0 -1 4202560 49 0 0 0 82 0 0 0 20 0 19 0 108811936 13570199552 112584 18446744073709551615 4194304 4196468 140720622892640 140645803810024 140645975933257 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20904] ppid=20874 vsize=13252148 CPUtime=1 cores=1,3,5,7
/proc/20876/task/20904/stat : 20904 (java) R 20874 20874 2911 0 -1 4202560 52 0 0 0 100 0 0 0 20 0 19 0 108811937 13570199552 112584 18446744073709551615 4194304 4196468 140720622892640 140645806969160 140645975862475 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20905] ppid=20874 vsize=13252148 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20905/stat : 20905 (java) S 20874 20874 2911 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 108811937 13570199552 112584 18446744073709551615 4194304 4196468 140720622892640 140645808026320 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20906] ppid=20874 vsize=13252148 CPUtime=1.07 cores=1,3,5,7
/proc/20876/task/20906/stat : 20906 (java) R 20874 20874 2911 0 -1 4202560 24 0 0 0 107 0 0 0 20 0 19 0 108811937 13570199552 112584 18446744073709551615 4194304 4196468 140720622892640 140645804863256 140645975934439 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
Current children cumulated CPU time (s) 14.09
Current children cumulated vsize (KiB) 13261660

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20876 sig 9
??? kill 20874 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40155 s]
/proc/loadavg: 8.16 8.31 7.66 11/223 20906
/proc/meminfo: memFree=30691852/32770624 swapFree=0/373612
[pid=20874] ppid=20871 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20874/stat : 20874 (xcsp3-exec) S 20871 20874 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108811432 9740288 345 18446744073709551615 4194304 5098028 140730234450912 140730234449016 139737626530428 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 27676672 140730234454424 140730234454634 140730234454634 140730234458091 0
/proc/20874/statm: 2378 345 289 221 0 87 0
[pid=20876] ppid=20874 vsize=13252148 CPUtime=14.44 cores=1,3,5,7
/proc/20876/stat : 20876 (java) S 20874 20874 2911 0 -1 1077944320 28599 0 0 0 1419 25 0 0 20 0 19 0 108811442 13570199552 112606 18446744073709551615 4194304 4196468 140720622892640 140720622875184 140646340452087 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
/proc/20876/statm: 3313037 112606 3255 1 0 3301329 0
[pid=20876/tid=20877] ppid=20874 vsize=13252148 CPUtime=4.01 cores=1,3,5,7
/proc/20876/task/20877/stat : 20877 (java) S 20874 20874 2911 0 -1 1077944384 10523 0 0 0 394 7 0 0 20 0 19 0 108811442 13570199552 112606 18446744073709551615 4194304 4196468 140720622892640 140646344692864 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20878] ppid=20874 vsize=13252148 CPUtime=0.09 cores=1,3,5,7
/proc/20876/task/20878/stat : 20878 (java) S 20874 20874 2911 0 -1 1077944384 455 0 0 0 7 2 0 0 20 0 19 0 108811443 13570199552 112606 18446744073709551615 4194304 4196468 140720622892640 140646297418384 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20879] ppid=20874 vsize=13252148 CPUtime=0.11 cores=1,3,5,7
/proc/20876/task/20879/stat : 20879 (java) S 20874 20874 2911 0 -1 1077944384 193 0 0 0 8 3 0 0 20 0 19 0 108811443 13570199552 112606 18446744073709551615 4194304 4196468 140720622892640 140646296365584 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20880] ppid=20874 vsize=13252148 CPUtime=0.09 cores=1,3,5,7
/proc/20876/task/20880/stat : 20880 (java) S 20874 20874 2911 0 -1 1077944384 170 0 0 0 7 2 0 0 20 0 19 0 108811443 13570199552 112606 18446744073709551615 4194304 4196468 140720622892640 140646295312784 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20881] ppid=20874 vsize=13252148 CPUtime=0.11 cores=1,3,5,7
/proc/20876/task/20881/stat : 20881 (java) S 20874 20874 2911 0 -1 1077944384 359 0 0 0 8 3 0 0 20 0 19 0 108811443 13570199552 112606 18446744073709551615 4194304 4196468 140720622892640 140646294259984 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20882] ppid=20874 vsize=13252148 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20882/stat : 20882 (java) S 20874 20874 2911 0 -1 1077944384 404 0 0 0 0 0 0 0 20 0 19 0 108811444 13570199552 112606 18446744073709551615 4194304 4196468 140720622892640 140645891672944 140646340463234 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20883] ppid=20874 vsize=13252148 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20883/stat : 20883 (java) S 20874 20874 2911 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 108811445 13570199552 112606 18446744073709551615 4194304 4196468 140720622892640 140645890618976 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20884] ppid=20874 vsize=13252148 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20884/stat : 20884 (java) S 20874 20874 2911 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 108811445 13570199552 112606 18446744073709551615 4194304 4196468 140720622892640 140645889566080 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20885] ppid=20874 vsize=13252148 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20885/stat : 20885 (java) S 20874 20874 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108811447 13570199552 112606 18446744073709551615 4194304 4196468 140720622892640 140645888514384 140646340470683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20886] ppid=20874 vsize=13252148 CPUtime=2.48 cores=1,3,5,7
/proc/20876/task/20886/stat : 20886 (java) S 20874 20874 2911 0 -1 1077944384 4742 0 0 0 247 1 0 0 20 0 19 0 108811447 13570199552 112606 18446744073709551615 4194304 4196468 140720622892640 140645887461744 140646340463234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20887] ppid=20874 vsize=13252148 CPUtime=2.18 cores=1,3,5,7
/proc/20876/task/20887/stat : 20887 (java) S 20874 20874 2911 0 -1 1077944384 4712 0 0 0 218 0 0 0 20 0 19 0 108811447 13570199552 112606 18446744073709551615 4194304 4196468 140720622892640 140645886408944 140646340463234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20888] ppid=20874 vsize=13252148 CPUtime=0.82 cores=1,3,5,7
/proc/20876/task/20888/stat : 20888 (java) S 20874 20874 2911 0 -1 1077944384 5109 0 0 0 81 1 0 0 20 0 19 0 108811447 13570199552 112606 18446744073709551615 4194304 4196468 140720622892640 140645817641072 140646340463234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20889] ppid=20874 vsize=13252148 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20889/stat : 20889 (java) S 20874 20874 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108811447 13570199552 112606 18446744073709551615 4194304 4196468 140720622892640 140645816588512 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20890] ppid=20874 vsize=13252148 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20890/stat : 20890 (java) S 20874 20874 2911 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 108811453 13570199552 112606 18446744073709551615 4194304 4196468 140720622892640 140645815536816 140646340463234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20903] ppid=20874 vsize=13252148 CPUtime=0.92 cores=1,3,5,7
/proc/20876/task/20903/stat : 20903 (java) R 20874 20874 2911 0 -1 4202560 50 0 0 0 92 0 0 0 20 0 19 0 108811936 13570199552 112606 18446744073709551615 4194304 4196468 140720622892640 140645803810328 140645975637540 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20904] ppid=20874 vsize=13252148 CPUtime=1.09 cores=1,3,5,7
/proc/20876/task/20904/stat : 20904 (java) R 20874 20874 2911 0 -1 4202560 62 0 0 0 109 0 0 0 20 0 19 0 108811937 13570199552 112606 18446744073709551615 4194304 4196468 140720622892640 140645806970760 140645975637561 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20905] ppid=20874 vsize=13252148 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20905/stat : 20905 (java) S 20874 20874 2911 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 108811937 13570199552 112606 18446744073709551615 4194304 4196468 140720622892640 140645808026320 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20906] ppid=20874 vsize=13252148 CPUtime=1.17 cores=1,3,5,7
/proc/20876/task/20906/stat : 20906 (java) R 20874 20874 2911 0 -1 4202560 31 0 0 0 117 0 0 0 20 0 19 0 108811937 13570199552 112606 18446744073709551615 4194304 4196468 140720622892640 140645804863256 140645975934571 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
Current children cumulated CPU time (s) 14.44
Current children cumulated vsize (KiB) 13261660

[startup+6.80077 s]
/proc/loadavg: 8.16 8.31 7.66 8/223 20906
/proc/meminfo: memFree=30686520/32770624 swapFree=0/373616
[pid=20874] ppid=20871 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20874/stat : 20874 (xcsp3-exec) S 20871 20874 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108811432 9740288 345 18446744073709551615 4194304 5098028 140730234450912 140730234449016 139737626530428 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 27676672 140730234454424 140730234454634 140730234454634 140730234458091 0
/proc/20874/statm: 2378 345 289 221 0 87 0
[pid=20876] ppid=20874 vsize=13385276 CPUtime=15.78 cores=1,3,5,7
/proc/20876/stat : 20876 (java) S 20874 20874 2911 0 -1 1077944320 28705 0 0 0 1552 26 0 0 20 0 22 0 108811442 13706522624 112668 18446744073709551615 4194304 4196468 140720622892640 140720622875184 140646340452087 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
/proc/20876/statm: 3346319 112668 3257 1 0 3334611 0
[pid=20876/tid=20877] ppid=20874 vsize=13385276 CPUtime=4.02 cores=1,3,5,7
/proc/20876/task/20877/stat : 20877 (java) S 20874 20874 2911 0 -1 1077944384 10537 0 0 0 395 7 0 0 20 0 22 0 108811442 13706522624 112668 18446744073709551615 4194304 4196468 140720622892640 140646344692864 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20878] ppid=20874 vsize=13385276 CPUtime=0.09 cores=1,3,5,7
/proc/20876/task/20878/stat : 20878 (java) S 20874 20874 2911 0 -1 1077944384 455 0 0 0 7 2 0 0 20 0 22 0 108811443 13706522624 112668 18446744073709551615 4194304 4196468 140720622892640 140646297418384 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20879] ppid=20874 vsize=13385276 CPUtime=0.11 cores=1,3,5,7
/proc/20876/task/20879/stat : 20879 (java) S 20874 20874 2911 0 -1 1077944384 193 0 0 0 8 3 0 0 20 0 22 0 108811443 13706522624 112668 18446744073709551615 4194304 4196468 140720622892640 140646296365584 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20880] ppid=20874 vsize=13385276 CPUtime=0.09 cores=1,3,5,7
/proc/20876/task/20880/stat : 20880 (java) S 20874 20874 2911 0 -1 1077944384 170 0 0 0 7 2 0 0 20 0 22 0 108811443 13706522624 112668 18446744073709551615 4194304 4196468 140720622892640 140646295312784 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20881] ppid=20874 vsize=13385276 CPUtime=0.11 cores=1,3,5,7
/proc/20876/task/20881/stat : 20881 (java) S 20874 20874 2911 0 -1 1077944384 359 0 0 0 8 3 0 0 20 0 22 0 108811443 13706522624 112668 18446744073709551615 4194304 4196468 140720622892640 140646294259984 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20882] ppid=20874 vsize=13385276 CPUtime=0.01 cores=1,3,5,7
/proc/20876/task/20882/stat : 20882 (java) R 20874 20874 2911 0 -1 4202560 405 0 0 0 1 0 0 0 20 0 22 0 108811444 13706522624 112668 18446744073709551615 4194304 4196468 140720622892640 140645891672944 140646333080295 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20883] ppid=20874 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20883/stat : 20883 (java) S 20874 20874 2911 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 22 0 108811445 13706522624 112668 18446744073709551615 4194304 4196468 140720622892640 140645890618976 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20884] ppid=20874 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20884/stat : 20884 (java) S 20874 20874 2911 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 22 0 108811445 13706522624 112668 18446744073709551615 4194304 4196468 140720622892640 140645889566080 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20885] ppid=20874 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20885/stat : 20885 (java) S 20874 20874 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 108811447 13706522624 112668 18446744073709551615 4194304 4196468 140720622892640 140645888514384 140646340470683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20886] ppid=20874 vsize=13385276 CPUtime=2.55 cores=1,3,5,7
/proc/20876/task/20886/stat : 20886 (java) R 20874 20874 2911 0 -1 4202560 4760 0 0 0 254 1 0 0 20 0 22 0 108811447 13706522624 112668 18446744073709551615 4194304 4196468 140720622892640 140645887461744 140646321973293 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20887] ppid=20874 vsize=13385276 CPUtime=2.25 cores=1,3,5,7
/proc/20876/task/20887/stat : 20887 (java) S 20874 20874 2911 0 -1 1077944384 4721 0 0 0 224 1 0 0 20 0 22 0 108811447 13706522624 112668 18446744073709551615 4194304 4196468 140720622892640 140645886408704 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20888] ppid=20874 vsize=13385276 CPUtime=0.84 cores=1,3,5,7
/proc/20876/task/20888/stat : 20888 (java) S 20874 20874 2911 0 -1 1077944384 5125 0 0 0 83 1 0 0 20 0 22 0 108811447 13706522624 112668 18446744073709551615 4194304 4196468 140720622892640 140645817641072 140646340463234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20889] ppid=20874 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20889/stat : 20889 (java) S 20874 20874 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 108811447 13706522624 112668 18446744073709551615 4194304 4196468 140720622892640 140645816588512 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20890] ppid=20874 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20890/stat : 20890 (java) S 20874 20874 2911 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 22 0 108811453 13706522624 112668 18446744073709551615 4194304 4196468 140720622892640 140645815536816 140646340463234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20903] ppid=20874 vsize=13385276 CPUtime=1.3 cores=1,3,5,7
/proc/20876/task/20903/stat : 20903 (java) S 20874 20874 2911 0 -1 1077944384 51 0 0 0 130 0 0 0 20 0 22 0 108811936 13706522624 112668 18446744073709551615 4194304 4196468 140720622892640 140645803816160 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20905] ppid=20874 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20905/stat : 20905 (java) S 20874 20874 2911 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 22 0 108811937 13706522624 112668 18446744073709551615 4194304 4196468 140720622892640 140645808026592 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20906] ppid=20874 vsize=13385276 CPUtime=1.56 cores=1,3,5,7
/proc/20876/task/20906/stat : 20906 (java) R 20874 20874 2911 0 -1 4202560 31 0 0 0 156 0 0 0 20 0 22 0 108811937 13706522624 112668 18446744073709551615 4194304 4196468 140720622892640 140645804863304 140645975934352 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
Current children cumulated CPU time (s) 15.78
Current children cumulated vsize (KiB) 13394788

[startup+7.00156 s]
/proc/loadavg: 8.16 8.31 7.66 8/223 20906
/proc/meminfo: memFree=30686520/32770624 swapFree=0/373616
[pid=20874] ppid=20871 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20874/stat : 20874 (xcsp3-exec) S 20871 20874 2911 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 108811432 9740288 345 18446744073709551615 4194304 5098028 140730234450912 140730234449016 139737626530428 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 27676672 140730234454424 140730234454634 140730234454634 140730234458091 0
/proc/20874/statm: 2378 345 289 221 0 87 0
[pid=20876] ppid=20874 vsize=13385276 CPUtime=16.5 cores=1,3,5,7
/proc/20876/stat : 20876 (java) S 20874 20874 2911 0 -1 1077944320 28774 0 0 0 1624 26 0 0 20 0 20 0 108811442 13706522624 112687 18446744073709551615 4194304 4196468 140720622892640 140720622875184 140646340452087 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
/proc/20876/statm: 3346319 112687 3257 1 0 3334611 0
[pid=20876/tid=20877] ppid=20874 vsize=13385276 CPUtime=4.02 cores=1,3,5,7
/proc/20876/task/20877/stat : 20877 (java) R 20874 20874 2911 0 -1 4202560 10537 0 0 0 395 7 0 0 20 0 20 0 108811442 13706522624 112687 18446744073709551615 4194304 4196468 140720622892640 140646344692864 140646340473917 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20878] ppid=20874 vsize=13385276 CPUtime=0.09 cores=1,3,5,7
/proc/20876/task/20878/stat : 20878 (java) S 20874 20874 2911 0 -1 1077944384 455 0 0 0 7 2 0 0 20 0 20 0 108811443 13706522624 112687 18446744073709551615 4194304 4196468 140720622892640 140646297418384 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20879] ppid=20874 vsize=13385276 CPUtime=0.11 cores=1,3,5,7
/proc/20876/task/20879/stat : 20879 (java) S 20874 20874 2911 0 -1 1077944384 193 0 0 0 8 3 0 0 20 0 20 0 108811443 13706522624 112687 18446744073709551615 4194304 4196468 140720622892640 140646296365584 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20880] ppid=20874 vsize=13385276 CPUtime=0.09 cores=1,3,5,7
/proc/20876/task/20880/stat : 20880 (java) S 20874 20874 2911 0 -1 1077944384 170 0 0 0 7 2 0 0 20 0 20 0 108811443 13706522624 112687 18446744073709551615 4194304 4196468 140720622892640 140646295312784 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20881] ppid=20874 vsize=13385276 CPUtime=0.11 cores=1,3,5,7
/proc/20876/task/20881/stat : 20881 (java) S 20874 20874 2911 0 -1 1077944384 359 0 0 0 8 3 0 0 20 0 20 0 108811443 13706522624 112687 18446744073709551615 4194304 4196468 140720622892640 140646294259984 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20882] ppid=20874 vsize=13385276 CPUtime=0.01 cores=1,3,5,7
/proc/20876/task/20882/stat : 20882 (java) S 20874 20874 2911 0 -1 1077944384 405 0 0 0 1 0 0 0 20 0 20 0 108811444 13706522624 112687 18446744073709551615 4194304 4196468 140720622892640 140645891672944 140646340463234 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20883] ppid=20874 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20883/stat : 20883 (java) S 20874 20874 2911 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 108811445 13706522624 112687 18446744073709551615 4194304 4196468 140720622892640 140645890618976 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20884] ppid=20874 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20884/stat : 20884 (java) S 20874 20874 2911 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 108811445 13706522624 112687 18446744073709551615 4194304 4196468 140720622892640 140645889566080 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20885] ppid=20874 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20885/stat : 20885 (java) S 20874 20874 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108811447 13706522624 112687 18446744073709551615 4194304 4196468 140720622892640 140645888514384 140646340470683 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20886] ppid=20874 vsize=13385276 CPUtime=2.62 cores=1,3,5,7
/proc/20876/task/20886/stat : 20886 (java) R 20874 20874 2911 0 -1 1077944384 4769 0 0 0 261 1 0 0 20 0 20 0 108811447 13706522624 112687 18446744073709551615 4194304 4196468 140720622892640 140645887461744 140646340463234 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20887] ppid=20874 vsize=13385276 CPUtime=2.3 cores=1,3,5,7
/proc/20876/task/20887/stat : 20887 (java) S 20874 20874 2911 0 -1 1077944384 4733 0 0 0 229 1 0 0 20 0 20 0 108811447 13706522624 112687 18446744073709551615 4194304 4196468 140720622892640 140645886408944 140646340463234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20888] ppid=20874 vsize=13385276 CPUtime=0.85 cores=1,3,5,7
/proc/20876/task/20888/stat : 20888 (java) R 20874 20874 2911 0 -1 4202560 5127 0 0 0 84 1 0 0 20 0 20 0 108811447 13706522624 112687 18446744073709551615 4194304 4196468 140720622892640 140645817641072 140646324532574 0 4 1 16800974 0 0 0 -1 5 0 0 15 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20889] ppid=20874 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20889/stat : 20889 (java) S 20874 20874 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108811447 13706522624 112687 18446744073709551615 4194304 4196468 140720622892640 140645816588512 140646340462293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20890] ppid=20874 vsize=13385276 CPUtime=0 cores=1,3,5,7
/proc/20876/task/20890/stat : 20890 (java) S 20874 20874 2911 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 108811453 13706522624 112687 18446744073709551615 4194304 4196468 140720622892640 140645815536816 140646340463234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
[pid=20876/tid=20906] ppid=20874 vsize=13385276 CPUtime=1.76 cores=1,3,5,7
/proc/20876/task/20906/stat : 20906 (java) R 20874 20874 2911 0 -1 4202560 31 0 0 0 176 0 0 0 20 0 20 0 108811937 13706522624 112687 18446744073709551615 4194304 4196468 140720622892640 140645804863224 140645975637275 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25100288 140720622895574 140720622895750 140720622895750 140720622899151 0
Current children cumulated CPU time (s) 16.5
Current children cumulated vsize (KiB) 13394788

Child status: 0
Real time (s): 7.01978
CPU time (s): 16.5552
CPU user time (s): 16.282
CPU system time (s): 0.273245
CPU usage (%): 235.837
Max. virtual memory (cumulated for all children) (KiB): 13394788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.282
system time used= 0.273245
maximum resident set size= 451808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29444
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3219
involuntary context switches= 462

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040002 second user time and 0.046669 second system time

The end

Name	OpenStacks/ OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml
MD5SUM	ca3b02115b63c058d23855e217e5f7b7
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	13
Best CPU time to get the best result obtained on this benchmark	2400.0701
Satisfiable
(Un)Satisfiability was proved
Number of variables	920
Number of constraints	881
Number of domains	3
Minimum domain size	2
Maximum domain size	41
Distribution of domain sizes	[{"size":2,"count":800},{"size":40,"count":80},{"size":41,"count":40}]
Minimum variable degree	2
Maximum variable degree	41
Distribution of variable degrees	[{"degree":2,"count":840},{"degree":9,"count":40},{"degree":41,"count":40}]
Minimum constraint arity	3
Maximum constraint arity	40
Distribution of constraint arities	[{"arity":3,"count":800},{"arity":9,"count":40},{"arity":21,"count":40},{"arity":40,"count":1}]
Number of extensional constraints	800
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":800},{"type":"allDifferent","count":1},{"type":"sum","count":40},{"type":"minimum","count":20},{"type":"maximum","count":20}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4247037

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data