Trace number 4394656

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 parallelWrong Opt.1459 411.211 55.2847

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-078.xml
MD5SUMb749a4e5de10f3f67b20d160b8ef335e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark659
Best CPU time to get the best result obtained on this benchmark2400.06
Satisfiable
(Un)Satisfiability was proved
Number of variables6161
Number of constraints3157
Number of domains155
Minimum domain size2
Maximum domain size155
Distribution of domain sizes[{"size":2,"count":3082},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":107,"count":1}, {"size":109,"count":1}, {"size":111,"count":1}, {"size":113,"count":1}, {"size":115,"count":1}, {"size":117,"count":1}, {"size":119,"count":1}, {"size":121,"count":1}, {"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}]
Minimum variable degree0
Maximum variable degree77
Distribution of variable degrees[{"degree":0,"count":2926},{"degree":2,"count":3157},{"degree":77,"count":78}]
Minimum constraint arity2
Maximum constraint arity78
Distribution of constraint arities[{"arity":2,"count":78},{"arity":3,"count":3004},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":54,"count":1}, {"arity":55,"count":1}, {"arity":56,"count":1}, {"arity":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}]
Number of extensional constraints0
Number of intensional constraints3080
Distribution of constraint types[{"type":"intension","count":3080},{"type":"sum","count":77}]
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-4394656-1568428922.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394656-1568428922.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.29	c parse instance...
12.06/3.36	c solve instance...
15.97/3.99	o 155155 
17.50/4.11	o 143451 
17.50/4.13	o 143155 
18.01/4.23	o 132651 
20.28/5.57	o 132355 
20.28/5.58	o 132067 
20.28/5.59	o 122723 
20.45/5.61	o 122411 
20.45/5.62	o 122123 
20.45/5.63	o 121859 
20.45/5.64	o 113635 
20.45/5.65	o 113307 
20.45/5.67	o 113019 
20.45/5.68	o 112739 
20.45/5.69	o 112499 
20.85/5.70	o 105355 
20.85/5.72	o 105011 
20.85/5.73	o 104707 
20.85/5.74	o 104427 
20.85/5.75	o 104171 
20.85/5.76	o 103955 
21.45/5.81	o 97851 
21.45/5.83	o 97491 
21.45/5.85	o 2803 
22.05/5.95	o 2795 
22.05/5.97	o 2603 
22.56/6.03	o 2491 
23.27/6.16	o 2467 
23.69/6.25	o 2419 
23.69/6.25	o 2363 
23.69/6.26	o 2315 
24.26/6.34	o 2267 
24.26/6.37	o 2171 
24.92/6.42	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (1975/1977)
24.92/6.42		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
24.92/6.42		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
24.92/6.42		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
24.92/6.42		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
24.92/6.42		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
24.92/6.42	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (1975/1977)
24.92/6.42		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
24.92/6.42		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
24.92/6.42		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
24.92/6.42		at org.chocosolver.solver.Solver.repair(Solver.java:443)
24.92/6.42		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
24.92/6.42		at org.chocosolver.solver.Solver.solve(Solver.java:262)
24.92/6.42		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
24.92/6.42		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
24.92/6.42		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
24.92/6.42		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
24.92/6.42		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
24.92/6.42		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
24.92/6.42		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
24.92/6.42		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
24.92/6.42		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
24.92/6.42		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
24.92/6.42	o 2155 
25.61/6.57	o 2019 
26.32/6.63	o 1955 
26.32/6.68	o 1907 
31.41/7.31	o 1891 
71.64/12.43	o 1595 
98.72/15.92	java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (0/3)
98.72/15.92		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
98.72/15.92		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
98.72/15.92		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
98.72/15.92		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
98.72/15.92		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
98.72/15.92	Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (0/3)
98.72/15.92		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201)
98.72/15.92		at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219)
98.72/15.92		at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90)
98.72/15.92		at org.chocosolver.solver.Solver.repair(Solver.java:443)
98.72/15.92		at org.chocosolver.solver.Solver.searchLoop(Solver.java:301)
98.72/15.92		at org.chocosolver.solver.Solver.solve(Solver.java:262)
98.72/15.92		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
98.72/15.92		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
98.72/15.92		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
98.72/15.92		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
98.72/15.92		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
98.72/15.92		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
98.72/15.92		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
98.72/15.92		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
98.72/15.92		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
98.72/15.92		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
98.72/15.92	o 1531 
410.80/55.23	java.util.concurrent.ExecutionException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision.
410.80/55.23		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006)
410.80/55.23		at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207)
410.80/55.23		at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162)
410.80/55.23		at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132)
410.80/55.23		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24)
410.80/55.23	Caused by: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision.
410.80/55.23		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
410.80/55.23		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
410.80/55.23		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
410.80/55.23		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
410.80/55.23		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:593)
410.80/55.23		at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1005)
410.80/55.23		... 4 more
410.80/55.24	Caused by: java.lang.UnsupportedOperationException: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision.
410.80/55.24		at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
410.80/55.24		at sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
410.80/55.24		at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
410.80/55.24		at java.lang.reflect.Constructor.newInstance(Constructor.java:423)
410.80/55.24		at java.util.concurrent.ForkJoinTask.getThrowableException(ForkJoinTask.java:593)
410.80/55.24		at java.util.concurrent.ForkJoinTask.reportException(ForkJoinTask.java:677)
410.80/55.24		at java.util.concurrent.ForkJoinTask.invoke(ForkJoinTask.java:735)
410.80/55.24		at java.util.stream.ForEachOps$ForEachOp.evaluateParallel(ForEachOps.java:160)
410.80/55.24		at java.util.stream.ForEachOps$ForEachOp$OfRef.evaluateParallel(ForEachOps.java:174)
410.80/55.24		at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:233)
410.80/55.24		at java.util.stream.ReferencePipeline.forEach(ReferencePipeline.java:418)
410.80/55.24		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:583)
410.80/55.24		at org.chocosolver.solver.ParallelPortfolio.lambda$solve$1(ParallelPortfolio.java:200)
410.80/55.24		at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)
410.80/55.24		at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)
410.80/55.24		at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)
410.80/55.24		at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)
410.80/55.24		at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)
410.80/55.24	Caused by: java.lang.UnsupportedOperationException: NogoodStoreFromRestarts can only deal with IntDecision.
410.80/55.24		at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.extractNogoodFromPath(NogoodFromRestarts.java:107)
410.80/55.24		at org.chocosolver.solver.search.loop.monitors.NogoodFromRestarts.beforeRestart(NogoodFromRestarts.java:65)
410.80/55.24		at org.chocosolver.solver.search.loop.monitors.SearchMonitorList.beforeRestart(SearchMonitorList.java:141)
410.80/55.24		at org.chocosolver.solver.Solver.restart(Solver.java:596)
410.80/55.24		at org.chocosolver.solver.search.loop.move.MoveRestart.restart(MoveRestart.java:135)
410.80/55.24		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:84)
410.80/55.24		at org.chocosolver.solver.search.loop.move.MoveRestart.extend(MoveRestart.java:82)
410.80/55.24		at org.chocosolver.solver.Solver.extend(Solver.java:421)
410.80/55.24		at org.chocosolver.solver.Solver.searchLoop(Solver.java:297)
410.80/55.24		at org.chocosolver.solver.Solver.solve(Solver.java:262)
410.80/55.24		at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202)
410.80/55.24		at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184)
410.80/55.24		at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
410.80/55.24		at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)
410.80/55.24		at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291)
410.80/55.24		at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731)
410.80/55.24		... 4 more
410.80/55.24	o 1459 
410.80/55.25	s OPTIMUM FOUND
410.80/55.25	v <instantiation>
410.80/55.25	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][66] y[0][67] y[0][68] y[0][69] y[0][70] y[0][71] y[0][72] y[0][73] y[0][74] y[0][75] y[0][76] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][66] y[1][67] y[1][68] y[1][69] y[1][70] y[1][71] y[1][72] y[1][73] y[1][74] y[1][75] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][66] y[2][67] y[2][68] y[2][69] y[2][70] y[2][71] y[2][72] y[2][73] y[2][74] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][66] y[3][67] y[3][68] y[3][69] y[3][70] y[3][71] y[3][72] y[3][73] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][66] y[4][67] y[4][68] y[4][69] y[4][70] y[4][71] y[4][72] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][66] y[5][67] y[5][68] y[5][69] y[5][70] y[5][71] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][66] y[6][67] y[6][68] y[6][69] y[6][70] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][66] y[7][67] y[7][68] y[7][69] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][66] y[8][67] y[8][68] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][66] y[9][67] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][66] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][60] y[12][61] y[12][62] y[12][63] y[12][64] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][60] y[13][61] y[13][62] y[13][63] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][60] y[14][61] y[14][62] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][60] y[15][61] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][60] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][50] y[23][51] y[23][52] y[23][53] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][50] y[24][51] y[24][52] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][50] y[25][51] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][50] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][40] y[33][41] y[33][42] y[33][43] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][40] y[34][41] y[34][42] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][40] y[35][41] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][40] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][30] y[43][31] y[43][32] y[43][33] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][30] y[44][31] y[44][32] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][30] y[45][31] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][30] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[50][0] y[50][1] y[50][2] y[50][3] y[50][4] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[51][0] y[51][1] y[51][2] y[51][3] y[51][4] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[52][0] y[52][1] y[52][2] y[52][3] y[52][4] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[53][0] y[53][1] y[53][2] y[53][3] y[53][4] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][20] y[53][21] y[53][22] y[53][23] y[54][0] y[54][1] y[54][2] y[54][3] y[54][4] y[54][5] y[54][6] y[54][7] y[54][8] y[54][9] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][20] y[54][21] y[54][22] y[55][0] y[55][1] y[55][2] y[55][3] y[55][4] y[55][5] y[55][6] y[55][7] y[55][8] y[55][9] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][20] y[55][21] y[56][0] y[56][1] y[56][2] y[56][3] y[56][4] y[56][5] y[56][6] y[56][7] y[56][8] y[56][9] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][20] y[57][0] y[57][1] y[57][2] y[57][3] y[57][4] y[57][5] y[57][6] y[57][7] y[57][8] y[57][9] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[58][0] y[58][1] y[58][2] y[58][3] y[58][4] y[58][5] y[58][6] y[58][7] y[58][8] y[58][9] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[59][0] y[59][1] y[59][2] y[59][3] y[59][4] y[59][5] y[59][6] y[59][7] y[59][8] y[59][9] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[60][0] y[60][1] y[60][2] y[60][3] y[60][4] y[60][5] y[60][6] y[60][7] y[60][8] y[60][9] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[61][0] y[61][1] y[61][2] y[61][3] y[61][4] y[61][5] y[61][6] y[61][7] y[61][8] y[61][9] y[61][10] y[61][11] y[61][12] y[61][13] y[61][14] y[61][15] y[62][0] y[62][1] y[62][2] y[62][3] y[62][4] y[62][5] y[62][6] y[62][7] y[62][8] y[62][9] y[62][10] y[62][11] y[62][12] y[62][13] y[62][14] y[63][0] y[63][1] y[63][2] y[63][3] y[63][4] y[63][5] y[63][6] y[63][7] y[63][8] y[63][9] y[63][10] y[63][11] y[63][12] y[63][13] y[64][0] y[64][1] y[64][2] y[64][3] y[64][4] y[64][5] y[64][6] y[64][7] y[64][8] y[64][9] y[64][10] y[64][11] y[64][12] y[65][0] y[65][1] y[65][2] y[65][3] y[65][4] y[65][5] y[65][6] y[65][7] y[65][8] y[65][9] y[65][10] y[65][11] y[66][0] y[66][1] y[66][2] y[66][3] y[66][4] y[66][5] y[66][6] y[66][7] y[66][8] y[66][9] y[66][10] y[67][0] y[67][1] y[67][2] y[67][3] y[67][4] y[67][5] y[67][6] y[67][7] y[67][8] y[67][9] y[68][0] y[68][1] y[68][2] y[68][3] y[68][4] y[68][5] y[68][6] y[68][7] y[68][8] y[69][0] y[69][1] y[69][2] y[69][3] y[69][4] y[69][5] y[69][6] y[69][7] y[70][0] y[70][1] y[70][2] y[70][3] y[70][4] y[70][5] y[70][6] y[71][0] y[71][1] y[71][2] y[71][3] y[71][4] y[71][5] y[72][0] y[72][1] y[72][2] y[72][3] y[72][4] y[73][0] y[73][1] y[73][2] y[73][3] y[74][0] y[74][1] y[74][2] y[75][0] y[75][1] y[76][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] </list>
410.80/55.25	v 	<values>-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 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 -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 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 -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 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 -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 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 -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 -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 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 -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 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 -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 -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 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 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 -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 -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 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 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 -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 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 -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 -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 -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 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 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 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 -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 -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 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 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 -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 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 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 -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 -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 -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 -5 0 -1 6 3 -4 5 -10 -3 2 -7 8 -7 2 -1 -4 -1 0 7 -4 -3 -12 5 -4 -3 -4 5 8 3 0 -1 8 -1 -8 -3 4 -5 0 1 -2 -5 -2 -3 6 -1 2 -1 2 -5 -2 9 -2 -7 -2 1 6 1 -2 -1 -6 -1 -6 3 -4 -3 6 1 0 -3 0 5 2 -1 0 -1 2 -1 25 0 1 36 9 16 25 100 9 4 49 64 49 4 1 16 1 0 49 16 9 144 25 16 9 16 25 64 9 0 1 64 1 64 9 16 25 0 1 4 25 4 9 36 1 4 1 4 25 4 81 4 49 4 1 36 1 4 1 36 1 36 9 16 9 36 1 0 9 0 25 4 1 0 1 4 1 </values>
410.80/55.25	v </instantiation>

Verifier Data 

OK	1459

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394656-1568428922/watcher-4394656-1568428922 -o /tmp/evaluation-result-4394656-1568428922/solver-4394656-1568428922 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568425676-7549 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 103829922 HOME/instance-4394656-1568428922.xml 

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

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

solver pid=8945, runsolver pid=8942

[startup+0.100163 s]*
/proc/loadavg: 6.81 7.57 7.76 2/213 8966
/proc/meminfo: memFree=24277660/32770624 swapFree=67108848/67108860
[pid=8945] ppid=8942 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8945/stat : 8945 (xcsp3-exec) S 8942 8945 7522 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418829562 115843072 363 33554432000 4194304 5098028 140733663208304 140733663206408 140014222750332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26361856 140733663212406 140733663212649 140733663212649 140733663215562 0
/proc/8945/statm: 28282 363 304 221 0 87 0
[pid=8947] ppid=8945 vsize=28227388 memory=29896 CPUtime=0.12 cores=0-7
/proc/8947/stat : 8947 (java) S 8945 8945 7522 0 -1 1077944320 5952 0 0 0 11 1 0 0 20 0 20 0 418829563 28904845312 7474 33554432000 4194304 4196468 140730217395824 140730217378368 140435886976759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
/proc/8947/statm: 7056847 7474 3114 1 0 7019032 0
[pid=8947/tid=8948] ppid=8945 vsize=28227388 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/8947/task/8948/stat : 8948 (java) R 8945 8945 7522 0 -1 4202560 3860 0 0 0 8 0 0 0 20 0 20 0 418829563 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435891210032 140435886988694 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8949] ppid=8945 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8947/task/8949/stat : 8949 (java) S 8945 8945 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435839597328 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8950] ppid=8945 vsize=28227388 memory=140249180673664 CPUtime=0 cores=0-7
/proc/8947/task/8950/stat : 8950 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435838544784 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8951] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8951/stat : 8951 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435837492240 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8952] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8952/stat : 8952 (java) S 8945 8945 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435836439696 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8953] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8953/stat : 8953 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435835386128 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8954] ppid=8945 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/8947/task/8954/stat : 8954 (java) S 8945 8945 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435433314704 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8955] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8955/stat : 8955 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435432262160 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8956] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8956/stat : 8956 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435431209616 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8957] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8957/stat : 8957 (java) S 8945 8945 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418829565 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435003300336 140435886987906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8958] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8958/stat : 8958 (java) S 8945 8945 7522 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418829566 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435002246560 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8959] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8959/stat : 8959 (java) S 8945 8945 7522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418829566 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435001193968 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8960] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8960/stat : 8960 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829568 28904845312 7474 33554432000 4194304 4196468 140730217395824 140435000142544 140435886995355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8961] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8961/stat : 8961 (java) S 8945 8945 7522 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 418829568 28904845312 7474 33554432000 4194304 4196468 140730217395824 140434999089136 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8962] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8962/stat : 8962 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829568 28904845312 7474 33554432000 4194304 4196468 140730217395824 140434998036592 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8963] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8963/stat : 8963 (java) S 8945 8945 7522 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 418829568 28904845312 7474 33554432000 4194304 4196468 140730217395824 140434996984048 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8964] ppid=8945 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/8947/task/8964/stat : 8964 (java) R 8945 8945 7522 0 -1 4202560 347 0 0 0 1 0 0 0 20 0 20 0 418829568 28904845312 7474 33554432000 4194304 4196468 140730217395824 140434995931504 140435865497687 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8965] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8965/stat : 8965 (java) S 8945 8945 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418829569 28904845312 7474 33554432000 4194304 4196468 140730217395824 140434994879200 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8966] ppid=8945 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/8947/task/8966/stat : 8966 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829569 28904845312 7474 33554432000 4194304 4196468 140730217395824 140434993826736 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31348 KiB

[startup+0.210259 s]*
/proc/loadavg: 6.81 7.57 7.76 2/213 8966
/proc/meminfo: memFree=24266520/32770624 swapFree=67108848/67108860
[pid=8945] ppid=8942 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8945/stat : 8945 (xcsp3-exec) S 8942 8945 7522 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418829562 115843072 363 33554432000 4194304 5098028 140733663208304 140733663206408 140014222750332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26361856 140733663212406 140733663212649 140733663212649 140733663215562 0
/proc/8945/statm: 28282 363 304 221 0 87 0
[pid=8947] ppid=8945 vsize=28227388 memory=40260 CPUtime=0.34 cores=0-7
/proc/8947/stat : 8947 (java) S 8945 8945 7522 0 -1 1077944320 9371 0 0 0 31 3 0 0 20 0 20 0 418829563 28904845312 10065 33554432000 4194304 4196468 140730217395824 140730217378368 140435886976759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
/proc/8947/statm: 7056847 10065 3244 1 0 7019032 0
[pid=8947/tid=8948] ppid=8945 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/8947/task/8948/stat : 8948 (java) R 8945 8945 7522 0 -1 4202560 6621 0 0 0 18 1 0 0 20 0 20 0 418829563 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435891210880 140435886998106 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8949] ppid=8945 vsize=28227388 memory=342 CPUtime=0 cores=0-7
/proc/8947/task/8949/stat : 8949 (java) S 8945 8945 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435839597328 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8950] ppid=8945 vsize=28227388 memory=140249180682863 CPUtime=0 cores=0-7
/proc/8947/task/8950/stat : 8950 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435838544784 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8951] ppid=8945 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/8947/task/8951/stat : 8951 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435837492240 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8952] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8952/stat : 8952 (java) S 8945 8945 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435836439696 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8953] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8953/stat : 8953 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435835386128 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8954] ppid=8945 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/8947/task/8954/stat : 8954 (java) S 8945 8945 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435433314704 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8955] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8955/stat : 8955 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435432262160 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8956] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8956/stat : 8956 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435431209616 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8957] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8957/stat : 8957 (java) S 8945 8945 7522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418829565 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435003300336 140435886987906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8958] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8958/stat : 8958 (java) S 8945 8945 7522 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418829566 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435002246560 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8959] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8959/stat : 8959 (java) S 8945 8945 7522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418829566 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435001193968 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8960] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8960/stat : 8960 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829568 28904845312 10065 33554432000 4194304 4196468 140730217395824 140435000142544 140435886995355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8961] ppid=8945 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/8947/task/8961/stat : 8961 (java) S 8945 8945 7522 0 -1 1077944384 386 0 0 0 1 0 0 0 20 0 20 0 418829568 28904845312 10065 33554432000 4194304 4196468 140730217395824 140434999089136 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8962] ppid=8945 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/8947/task/8962/stat : 8962 (java) S 8945 8945 7522 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 20 0 418829568 28904845312 10065 33554432000 4194304 4196468 140730217395824 140434998036592 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8963] ppid=8945 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/8947/task/8963/stat : 8963 (java) S 8945 8945 7522 0 -1 1077944384 180 0 0 0 1 0 0 0 20 0 20 0 418829568 28904845312 10065 33554432000 4194304 4196468 140730217395824 140434996984048 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8964] ppid=8945 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/8947/task/8964/stat : 8964 (java) R 8945 8945 7522 0 -1 4202560 769 0 0 0 7 0 0 0 20 0 20 0 418829568 28904845312 10065 33554432000 4194304 4196468 140730217395824 140434995931504 140435886988694 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8965] ppid=8945 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8965/stat : 8965 (java) S 8945 8945 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418829569 28904845312 10065 33554432000 4194304 4196468 140730217395824 140434994879200 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8966] ppid=8945 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/8947/task/8966/stat : 8966 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829569 28904845312 10065 33554432000 4194304 4196468 140730217395824 140434993826736 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 41712 KiB

[startup+0.30964 s]*
/proc/loadavg: 6.81 7.57 7.76 4/213 8966
/proc/meminfo: memFree=24259868/32770624 swapFree=67108848/67108860
[pid=8945] ppid=8942 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8945/stat : 8945 (xcsp3-exec) S 8942 8945 7522 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418829562 115843072 363 33554432000 4194304 5098028 140733663208304 140733663206408 140014222750332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26361856 140733663212406 140733663212649 140733663212649 140733663215562 0
/proc/8945/statm: 28282 363 304 221 0 87 0
[pid=8947] ppid=8945 vsize=28231644 memory=49752 CPUtime=0.52 cores=0-7
/proc/8947/stat : 8947 (java) S 8945 8945 7522 0 -1 1077944320 10784 0 0 0 49 3 0 0 20 0 20 0 418829563 28909203456 12438 33554432000 4194304 4196468 140730217395824 140730217378368 140435886976759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
/proc/8947/statm: 7057911 12438 3347 1 0 7019032 0
[pid=8947/tid=8948] ppid=8945 vsize=28231644 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/8947/task/8948/stat : 8948 (java) R 8945 8945 7522 0 -1 4202560 7720 0 0 0 28 2 0 0 20 0 20 0 418829563 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435891207872 140435886998685 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8949] ppid=8945 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8949/stat : 8949 (java) S 8945 8945 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418829564 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435839597328 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8950] ppid=8945 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8950/stat : 8950 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435838544784 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8951] ppid=8945 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8951/stat : 8951 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435837492240 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8952] ppid=8945 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8952/stat : 8952 (java) S 8945 8945 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418829564 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435836439696 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8953] ppid=8945 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8953/stat : 8953 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435835386128 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8954] ppid=8945 vsize=28231644 memory=140249070135983 CPUtime=0 cores=0-7
/proc/8947/task/8954/stat : 8954 (java) S 8945 8945 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418829564 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435433314704 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8955] ppid=8945 vsize=28231644 memory=140249070138288 CPUtime=0 cores=0-7
/proc/8947/task/8955/stat : 8955 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435432262160 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8956] ppid=8945 vsize=28231644 memory=140249070140592 CPUtime=0 cores=0-7
/proc/8947/task/8956/stat : 8956 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435431209616 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8957] ppid=8945 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8957/stat : 8957 (java) S 8945 8945 7522 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418829565 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435003300336 140435886987906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8958] ppid=8945 vsize=28231644 memory=280498140295056 CPUtime=0 cores=0-7
/proc/8947/task/8958/stat : 8958 (java) S 8945 8945 7522 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418829566 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435002246560 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8959] ppid=8945 vsize=28231644 memory=280498140292752 CPUtime=0 cores=0-7
/proc/8947/task/8959/stat : 8959 (java) S 8945 8945 7522 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418829566 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435001193968 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8960] ppid=8945 vsize=28231644 memory=280498140299664 CPUtime=0 cores=0-7
/proc/8947/task/8960/stat : 8960 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829568 28909203456 12438 33554432000 4194304 4196468 140730217395824 140435000142544 140435886995355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8961] ppid=8945 vsize=28231644 memory=280498140240944 CPUtime=0.02 cores=0-7
/proc/8947/task/8961/stat : 8961 (java) S 8945 8945 7522 0 -1 1077944384 397 0 0 0 2 0 0 0 20 0 20 0 418829568 28909203456 12438 33554432000 4194304 4196468 140730217395824 140434999089136 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8962] ppid=8945 vsize=28231644 memory=280498140313488 CPUtime=0.04 cores=0-7
/proc/8947/task/8962/stat : 8962 (java) R 8945 8945 7522 0 -1 4202560 223 0 0 0 4 0 0 0 20 0 20 0 418829568 28909203456 12438 33554432000 4194304 4196468 140730217395824 140434998036592 140435866632432 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8963] ppid=8945 vsize=28231644 memory=280498140320400 CPUtime=0.02 cores=0-7
/proc/8947/task/8963/stat : 8963 (java) S 8945 8945 7522 0 -1 1077944384 197 0 0 0 2 0 0 0 20 0 20 0 418829568 28909203456 12438 33554432000 4194304 4196468 140730217395824 140434996984048 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8964] ppid=8945 vsize=28231644 memory=280498140318096 CPUtime=0.12 cores=0-7
/proc/8947/task/8964/stat : 8964 (java) S 8945 8945 7522 0 -1 1077944384 948 0 0 0 12 0 0 0 20 0 20 0 418829568 28909203456 12438 33554432000 4194304 4196468 140730217395824 140434995931504 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8965] ppid=8945 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8965/stat : 8965 (java) S 8945 8945 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418829569 28909203456 12438 33554432000 4194304 4196468 140730217395824 140434994879200 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8966] ppid=8945 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/8947/task/8966/stat : 8966 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829569 28909203456 12438 33554432000 4194304 4196468 140730217395824 140434993826736 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51204 KiB

[startup+0.700936 s]
/proc/loadavg: 6.81 7.57 7.76 4/213 8966
/proc/meminfo: memFree=24229916/32770624 swapFree=67108848/67108860
[pid=8945] ppid=8942 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8945/stat : 8945 (xcsp3-exec) S 8942 8945 7522 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418829562 115843072 363 33554432000 4194304 5098028 140733663208304 140733663206408 140014222750332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26361856 140733663212406 140733663212649 140733663212649 140733663215562 0
/proc/8945/statm: 28282 363 304 221 0 87 0
[pid=8947] ppid=8945 vsize=28233768 memory=110812 CPUtime=2.07 cores=0-7
/proc/8947/stat : 8947 (java) S 8945 8945 7522 0 -1 1077944320 15976 0 0 0 202 5 0 0 20 0 20 0 418829563 28911378432 27703 33554432000 4194304 4196468 140730217395824 140730217378368 140435886976759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
/proc/8947/statm: 7058442 27703 3455 1 0 7019544 0
[pid=8947/tid=8948] ppid=8945 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7
/proc/8947/task/8948/stat : 8948 (java) R 8945 8945 7522 0 -1 4202560 8694 0 0 0 65 3 0 0 20 0 20 0 418829563 28911378432 27703 33554432000 4194304 4196468 140730217395824 140435891212272 140435886998106 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8949] ppid=8945 vsize=28233768 memory=140249070347120 CPUtime=0 cores=0-7
/proc/8947/task/8949/stat : 8949 (java) S 8945 8945 7522 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418829564 28911378432 27703 33554432000 4194304 4196468 140730217395824 140435839597328 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8950] ppid=8945 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/8947/task/8950/stat : 8950 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28911378432 27703 33554432000 4194304 4196468 140730217395824 140435838544784 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8951] ppid=8945 vsize=28233768 memory=7180 CPUtime=0 cores=0-7
/proc/8947/task/8951/stat : 8951 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418829564 28911378432 27703 33554432000 4194304 4196468 140730217395824 140435837492240 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0

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

[pid=8947/tid=9286] ppid=8945 vsize=28834892 memory=7378128086720603752 CPUtime=40.19 cores=0-7
/proc/8947/task/9286/stat : 9286 (java) R 8945 8945 7522 0 -1 4202560 1085 0 0 0 4017 2 0 0 20 0 29 0 418830806 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434982518640 140435530321332 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9287] ppid=8945 vsize=28834892 memory=7811327984369296208 CPUtime=36.81 cores=0-7
/proc/8947/task/9287/stat : 9287 (java) R 8945 8945 7522 0 -1 4202560 1874 0 0 0 3681 0 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434977254312 140435530606266 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9288] ppid=8945 vsize=28834892 memory=7813020119963361872 CPUtime=37.33 cores=0-7
/proc/8947/task/9288/stat : 9288 (java) R 8945 8945 7522 0 -1 4202560 723 0 0 0 3733 0 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434976203176 140435520971183 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9289] ppid=8945 vsize=28834892 memory=6371583469937780065 CPUtime=37.37 cores=0-7
/proc/8947/task/9289/stat : 9289 (java) R 8945 8945 7522 0 -1 4202560 10468 0 0 0 3713 24 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434978310088 140435528652999 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9290] ppid=8945 vsize=28834892 memory=-7175753904026764170 CPUtime=37.34 cores=0-7
/proc/8947/task/9290/stat : 9290 (java) R 8945 8945 7522 0 -1 4202560 10310 0 0 0 3664 70 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434981465704 140435518058159 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9291] ppid=8945 vsize=28834892 memory=7811324651474868587 CPUtime=36.81 cores=0-7
/proc/8947/task/9291/stat : 9291 (java) R 8945 8945 7522 0 -1 4202560 1255 0 0 0 3680 1 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434980413576 140435527005599 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9292] ppid=8945 vsize=28834892 memory=7810482442898725231 CPUtime=37.1 cores=0-7
/proc/8947/task/9292/stat : 9292 (java) R 8945 8945 7522 0 -1 4202560 735 0 0 0 3710 0 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434979360776 140435530321376 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9293] ppid=8945 vsize=28834892 memory=7164495116489746533 CPUtime=37.29 cores=0-7
/proc/8947/task/9293/stat : 9293 (java) R 8945 8945 7522 0 -1 4202560 1696 0 0 0 3728 1 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434975150224 140435528042503 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9294] ppid=8945 vsize=28834892 memory=1452 CPUtime=1.69 cores=0-7
/proc/8947/task/9294/stat : 9294 (java) S 8945 8945 7522 0 -1 1077944384 263 0 0 0 169 0 0 0 20 0 29 0 418831157 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434974102944 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
Current children cumulated CPU time: 404.42 s
Current children cumulated vsize: 28948020 KiB
Current children cumulated memory: 3813156 KiB

[startup+54.8017 s]
/proc/loadavg: 7.83 7.75 7.81 9/221 9297
/proc/meminfo: memFree=20489384/32770624 swapFree=67108848/67108860
[pid=8945] ppid=8942 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8945/stat : 8945 (xcsp3-exec) S 8942 8945 7522 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418829562 115843072 363 33554432000 4194304 5098028 140733663208304 140733663206408 140014222750332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26361856 140733663212406 140733663212649 140733663212649 140733663215562 0
/proc/8945/statm: 28282 363 304 221 0 87 0
[pid=8947] ppid=8945 vsize=28834892 memory=3811704 CPUtime=407.61 cores=0-7
/proc/8947/stat : 8947 (java) S 8945 8945 7522 0 -1 1077944320 231684 0 0 0 40377 384 0 0 20 0 29 0 418829563 29526929408 952926 33554432000 4194304 4196468 140730217395824 140730217378368 140435886976759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
/proc/8947/statm: 7208723 952926 3568 1 0 7169825 0
[pid=8947/tid=8948] ppid=8945 vsize=28834892 memory=8100119102542603367 CPUtime=3.25 cores=0-7
/proc/8947/task/8948/stat : 8948 (java) S 8945 8945 7522 0 -1 1077944384 12925 0 0 0 315 10 0 0 20 0 29 0 418829563 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435891217536 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8949] ppid=8945 vsize=28834892 memory=7523088803483381611 CPUtime=0.89 cores=0-7
/proc/8947/task/8949/stat : 8949 (java) S 8945 8945 7522 0 -1 1077944384 834 0 0 0 69 20 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435839597328 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8950] ppid=8945 vsize=28834892 memory=7812166894612010863 CPUtime=0.86 cores=0-7
/proc/8947/task/8950/stat : 8950 (java) S 8945 8945 7522 0 -1 1077944384 652 0 0 0 66 20 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435838544784 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8951] ppid=8945 vsize=28834892 memory=7306075981684895078 CPUtime=0.9 cores=0-7
/proc/8947/task/8951/stat : 8951 (java) S 8945 8945 7522 0 -1 1077944384 1132 0 0 0 70 20 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435837492240 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8952] ppid=8945 vsize=28834892 memory=288230574492221466 CPUtime=0.91 cores=0-7
/proc/8947/task/8952/stat : 8952 (java) S 8945 8945 7522 0 -1 1077944384 1238 0 0 0 70 21 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435836439696 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8953] ppid=8945 vsize=28834892 memory=288230596050944315 CPUtime=0.83 cores=0-7
/proc/8947/task/8953/stat : 8953 (java) S 8945 8945 7522 0 -1 1077944384 840 0 0 0 64 19 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435835386128 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8954] ppid=8945 vsize=28834892 memory=15544015764327050 CPUtime=0.85 cores=0-7
/proc/8947/task/8954/stat : 8954 (java) S 8945 8945 7522 0 -1 1077944384 1036 0 0 0 66 19 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435433314704 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8955] ppid=8945 vsize=28834892 memory=7180 CPUtime=0.89 cores=0-7
/proc/8947/task/8955/stat : 8955 (java) S 8945 8945 7522 0 -1 1077944384 1846 0 0 0 67 22 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435432262160 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8956] ppid=8945 vsize=28834892 memory=1100 CPUtime=0.89 cores=0-7
/proc/8947/task/8956/stat : 8956 (java) S 8945 8945 7522 0 -1 1077944384 902 0 0 0 68 21 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435431209616 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8957] ppid=8945 vsize=28834892 memory=15208 CPUtime=0.16 cores=0-7
/proc/8947/task/8957/stat : 8957 (java) S 8945 8945 7522 0 -1 1077944384 8130 0 0 0 12 4 0 0 20 0 29 0 418829565 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435003300336 140435886987906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8958] ppid=8945 vsize=28834892 memory=24880 CPUtime=0 cores=0-7
/proc/8947/task/8958/stat : 8958 (java) S 8945 8945 7522 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 29 0 418829566 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435002246624 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8959] ppid=8945 vsize=28834892 memory=140249071312033 CPUtime=0 cores=0-7
/proc/8947/task/8959/stat : 8959 (java) S 8945 8945 7522 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 29 0 418829566 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435001193984 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8960] ppid=8945 vsize=28834892 memory=5776200955640963136 CPUtime=0 cores=0-7
/proc/8947/task/8960/stat : 8960 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 418829568 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435000142544 140435886995355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8961] ppid=8945 vsize=28834892 memory=4638778398332698726 CPUtime=8.7 cores=0-7
/proc/8947/task/8961/stat : 8961 (java) S 8945 8945 7522 0 -1 1077944384 46646 0 0 0 860 10 0 0 20 0 29 0 418829568 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434999089136 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8962] ppid=8945 vsize=28834892 memory=3476022724170256788 CPUtime=8.46 cores=0-7
/proc/8947/task/8962/stat : 8962 (java) S 8945 8945 7522 0 -1 1077944384 39880 0 0 0 838 8 0 0 20 0 29 0 418829568 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434998036592 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8963] ppid=8945 vsize=28834892 memory=7674596114781855808 CPUtime=8.26 cores=0-7
/proc/8947/task/8963/stat : 8963 (java) S 8945 8945 7522 0 -1 1077944384 41583 0 0 0 819 7 0 0 20 0 29 0 418829568 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434996984048 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8964] ppid=8945 vsize=28834892 memory=4207095701905760320 CPUtime=1.67 cores=0-7
/proc/8947/task/8964/stat : 8964 (java) S 8945 8945 7522 0 -1 1077944384 18092 0 0 0 163 4 0 0 20 0 29 0 418829568 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434995931504 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8965] ppid=8945 vsize=28834892 memory=6498740855180902496 CPUtime=0 cores=0-7
/proc/8947/task/8965/stat : 8965 (java) S 8945 8945 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 418829569 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434994879200 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8966] ppid=8945 vsize=28834892 memory=8112282956445269571 CPUtime=0.03 cores=0-7
/proc/8947/task/8966/stat : 8966 (java) S 8945 8945 7522 0 -1 1077944384 3014 0 0 0 0 3 0 0 20 0 29 0 418829569 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434993826736 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9286] ppid=8945 vsize=28834892 memory=8196 CPUtime=40.59 cores=0-7
/proc/8947/task/9286/stat : 9286 (java) R 8945 8945 7522 0 -1 4202560 1085 0 0 0 4057 2 0 0 20 0 29 0 418830806 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434982518640 140435530321313 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9287] ppid=8945 vsize=28834892 memory=0 CPUtime=37.2 cores=0-7
/proc/8947/task/9287/stat : 9287 (java) R 8945 8945 7522 0 -1 4202560 1876 0 0 0 3720 0 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434977254312 140435530606245 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9288] ppid=8945 vsize=28834892 memory=0 CPUtime=37.73 cores=0-7
/proc/8947/task/9288/stat : 9288 (java) R 8945 8945 7522 0 -1 4202560 723 0 0 0 3773 0 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434976203176 140435521406224 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9289] ppid=8945 vsize=28834892 memory=0 CPUtime=37.77 cores=0-7
/proc/8947/task/9289/stat : 9289 (java) R 8945 8945 7522 0 -1 4202560 10489 0 0 0 3752 25 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434978310088 140435526108954 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9290] ppid=8945 vsize=28834892 memory=280496933040017 CPUtime=37.74 cores=0-7
/proc/8947/task/9290/stat : 9290 (java) R 8945 8945 7522 0 -1 4202560 10349 0 0 0 3704 70 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434981465704 140435519502976 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9291] ppid=8945 vsize=28834892 memory=31356350842106267 CPUtime=37.2 cores=0-7
/proc/8947/task/9291/stat : 9291 (java) R 8945 8945 7522 0 -1 4202560 1255 0 0 0 3719 1 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434980413576 140435520358343 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9292] ppid=8945 vsize=28834892 memory=10849 CPUtime=37.5 cores=0-7
/proc/8947/task/9292/stat : 9292 (java) R 8945 8945 7522 0 -1 4202560 735 0 0 0 3750 0 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434979360776 140435517465271 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9293] ppid=8945 vsize=28834892 memory=0 CPUtime=37.69 cores=0-7
/proc/8947/task/9293/stat : 9293 (java) R 8945 8945 7522 0 -1 4202560 1696 0 0 0 3768 1 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434975150224 140435528042577 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9294] ppid=8945 vsize=28834892 memory=0 CPUtime=1.69 cores=0-7
/proc/8947/task/9294/stat : 9294 (java) S 8945 8945 7522 0 -1 1077944384 263 0 0 0 169 0 0 0 20 0 29 0 418831157 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434974102944 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
Current children cumulated CPU time: 407.61 s
Current children cumulated vsize: 28948020 KiB
Current children cumulated memory: 3813156 KiB

[startup+55.2017 s]
/proc/loadavg: 7.83 7.75 7.81 9/221 9297
/proc/meminfo: memFree=20489384/32770624 swapFree=67108848/67108860
[pid=8945] ppid=8942 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/8945/stat : 8945 (xcsp3-exec) S 8942 8945 7522 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 418829562 115843072 363 33554432000 4194304 5098028 140733663208304 140733663206408 140014222750332 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26361856 140733663212406 140733663212649 140733663212649 140733663215562 0
/proc/8945/statm: 28282 363 304 221 0 87 0
[pid=8947] ppid=8945 vsize=28834892 memory=3811704 CPUtime=410.8 cores=0-7
/proc/8947/stat : 8947 (java) S 8945 8945 7522 0 -1 1077944320 231742 0 0 0 40696 384 0 0 20 0 29 0 418829563 29526929408 952926 33554432000 4194304 4196468 140730217395824 140730217378368 140435886976759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
/proc/8947/statm: 7208723 952926 3568 1 0 7169825 0
[pid=8947/tid=8948] ppid=8945 vsize=28834892 memory=2322080816985816679 CPUtime=3.25 cores=0-7
/proc/8947/task/8948/stat : 8948 (java) S 8945 8945 7522 0 -1 1077944384 12925 0 0 0 315 10 0 0 20 0 29 0 418829563 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435891217536 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8949] ppid=8945 vsize=28834892 memory=8112282956445269571 CPUtime=0.89 cores=0-7
/proc/8947/task/8949/stat : 8949 (java) S 8945 8945 7522 0 -1 1077944384 834 0 0 0 69 20 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435839597328 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8950] ppid=8945 vsize=28834892 memory=1228 CPUtime=0.86 cores=0-7
/proc/8947/task/8950/stat : 8950 (java) S 8945 8945 7522 0 -1 1077944384 652 0 0 0 66 20 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435838544784 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8951] ppid=8945 vsize=28834892 memory=2352 CPUtime=0.9 cores=0-7
/proc/8947/task/8951/stat : 8951 (java) S 8945 8945 7522 0 -1 1077944384 1132 0 0 0 70 20 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435837492240 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8952] ppid=8945 vsize=28834892 memory=1792 CPUtime=0.91 cores=0-7
/proc/8947/task/8952/stat : 8952 (java) S 8945 8945 7522 0 -1 1077944384 1238 0 0 0 70 21 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435836439696 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8953] ppid=8945 vsize=28834892 memory=8612 CPUtime=0.83 cores=0-7
/proc/8947/task/8953/stat : 8953 (java) S 8945 8945 7522 0 -1 1077944384 840 0 0 0 64 19 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435835386128 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8954] ppid=8945 vsize=28834892 memory=1192 CPUtime=0.85 cores=0-7
/proc/8947/task/8954/stat : 8954 (java) S 8945 8945 7522 0 -1 1077944384 1036 0 0 0 66 19 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435433314704 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8955] ppid=8945 vsize=28834892 memory=5536 CPUtime=0.89 cores=0-7
/proc/8947/task/8955/stat : 8955 (java) S 8945 8945 7522 0 -1 1077944384 1846 0 0 0 67 22 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435432262160 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8956] ppid=8945 vsize=28834892 memory=1452 CPUtime=0.89 cores=0-7
/proc/8947/task/8956/stat : 8956 (java) S 8945 8945 7522 0 -1 1077944384 902 0 0 0 68 21 0 0 20 0 29 0 418829564 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435431209616 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8957] ppid=8945 vsize=28834892 memory=3811704 CPUtime=0.16 cores=0-7
/proc/8947/task/8957/stat : 8957 (java) S 8945 8945 7522 0 -1 1077944384 8130 0 0 0 12 4 0 0 20 0 29 0 418829565 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435003300336 140435886987906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8958] ppid=8945 vsize=28834892 memory=1228 CPUtime=0 cores=0-7
/proc/8947/task/8958/stat : 8958 (java) S 8945 8945 7522 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 29 0 418829566 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435002246624 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8959] ppid=8945 vsize=28834892 memory=2352 CPUtime=0 cores=0-7
/proc/8947/task/8959/stat : 8959 (java) S 8945 8945 7522 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 29 0 418829566 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435001193984 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8960] ppid=8945 vsize=28834892 memory=1792 CPUtime=0 cores=0-7
/proc/8947/task/8960/stat : 8960 (java) S 8945 8945 7522 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 29 0 418829568 29526929408 952926 33554432000 4194304 4196468 140730217395824 140435000142544 140435886995355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8961] ppid=8945 vsize=28834892 memory=8612 CPUtime=8.7 cores=0-7
/proc/8947/task/8961/stat : 8961 (java) S 8945 8945 7522 0 -1 1077944384 46646 0 0 0 860 10 0 0 20 0 29 0 418829568 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434999089136 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8962] ppid=8945 vsize=28834892 memory=1192 CPUtime=8.46 cores=0-7
/proc/8947/task/8962/stat : 8962 (java) S 8945 8945 7522 0 -1 1077944384 39880 0 0 0 838 8 0 0 20 0 29 0 418829568 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434998036592 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8963] ppid=8945 vsize=28834892 memory=5536 CPUtime=8.26 cores=0-7
/proc/8947/task/8963/stat : 8963 (java) S 8945 8945 7522 0 -1 1077944384 41583 0 0 0 819 7 0 0 20 0 29 0 418829568 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434996984048 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8964] ppid=8945 vsize=28834892 memory=4540 CPUtime=1.67 cores=0-7
/proc/8947/task/8964/stat : 8964 (java) S 8945 8945 7522 0 -1 1077944384 18092 0 0 0 163 4 0 0 20 0 29 0 418829568 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434995931504 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8965] ppid=8945 vsize=28834892 memory=752 CPUtime=0 cores=0-7
/proc/8947/task/8965/stat : 8965 (java) S 8945 8945 7522 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 29 0 418829569 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434994879200 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=8966] ppid=8945 vsize=28834892 memory=1636 CPUtime=0.03 cores=0-7
/proc/8947/task/8966/stat : 8966 (java) S 8945 8945 7522 0 -1 1077944384 3014 0 0 0 0 3 0 0 20 0 29 0 418829569 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434993826736 140435886987906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9286] ppid=8945 vsize=28834892 memory=812 CPUtime=40.99 cores=0-7
/proc/8947/task/9286/stat : 9286 (java) R 8945 8945 7522 0 -1 4202560 1085 0 0 0 4097 2 0 0 20 0 29 0 418830806 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434982518640 140435530321406 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9287] ppid=8945 vsize=28834892 memory=1840 CPUtime=37.6 cores=0-7
/proc/8947/task/9287/stat : 9287 (java) R 8945 8945 7522 0 -1 4202560 1876 0 0 0 3760 0 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434977254312 140435528042503 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9288] ppid=8945 vsize=28834892 memory=1384 CPUtime=38.13 cores=0-7
/proc/8947/task/9288/stat : 9288 (java) R 8945 8945 7522 0 -1 4202560 723 0 0 0 3813 0 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434976203176 140435520971218 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9289] ppid=8945 vsize=28834892 memory=7180 CPUtime=38.18 cores=0-7
/proc/8947/task/9289/stat : 9289 (java) R 8945 8945 7522 0 -1 4202560 10515 0 0 0 3792 26 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434978310088 140435528652994 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9290] ppid=8945 vsize=28834892 memory=1100 CPUtime=38.14 cores=0-7
/proc/8947/task/9290/stat : 9290 (java) R 8945 8945 7522 0 -1 4202560 10381 0 0 0 3744 70 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434981465704 140435519075872 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9291] ppid=8945 vsize=28834892 memory=15208 CPUtime=37.6 cores=0-7
/proc/8947/task/9291/stat : 9291 (java) R 8945 8945 7522 0 -1 4202560 1255 0 0 0 3759 1 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434980413576 140435520358182 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9292] ppid=8945 vsize=28834892 memory=24880 CPUtime=37.89 cores=0-7
/proc/8947/task/9292/stat : 9292 (java) R 8945 8945 7522 0 -1 4202560 735 0 0 0 3789 0 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434979360776 140435520358485 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9293] ppid=8945 vsize=28834892 memory=4048 CPUtime=38.09 cores=0-7
/proc/8947/task/9293/stat : 9293 (java) R 8945 8945 7522 0 -1 4202560 1696 0 0 0 3808 1 0 0 20 0 29 0 418831156 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434975150224 140435520200094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
[pid=8947/tid=9294] ppid=8945 vsize=28834892 memory=14288 CPUtime=1.69 cores=0-7
/proc/8947/task/9294/stat : 9294 (java) S 8945 8945 7522 0 -1 1077944384 263 0 0 0 169 0 0 0 20 0 29 0 418831157 29526929408 952926 33554432000 4194304 4196468 140730217395824 140434974102944 140435886986965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23728128 140730217399274 140730217399446 140730217399446 140730217402319 0
Current children cumulated CPU time: 410.8 s
Current children cumulated vsize: 28948020 KiB
Current children cumulated memory: 3813156 KiB

Child status: 0
Real time (s): 55.2847
CPU time (s): 411.211
CPU user time (s): 407.333
CPU system time (s): 3.8778
CPU usage (%): 743.806
Max. virtual memory (cumulated for all children) (KiB): 28948020
Max. memory (cumulated for all children) (KiB): 3813156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 407.333
system time used= 3.8778
maximum resident set size= 3812016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233002
page faults= 0
swaps= 0
block input operations= 0
block output operations= 248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11942
involuntary context switches= 7074


# summary of solver processes directly reported to runsolver:
#   pid: 8945
#   total CPU time (s): 411.211
#   total CPU user time (s): 407.333
#   total CPU system time (s): 3.8778

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.481718 second user time and 0.729775 second system time

The end

Launcher Data 

Begin job on node143 at 2019-09-14 04:41:21
IDJOB=4394656
IDBENCH=127075
IDSOLVER=2843
FILE ID=node143/4394656-1568428922
RUNJOBID= node143-1568425676-7549
PBS_JOBID= 21702285
Free space on /tmp= 59272 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-078.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-4394656-1568428922/watcher-4394656-1568428922 -o /tmp/evaluation-result-4394656-1568428922/solver-4394656-1568428922 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568425676-7549 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 103829922 HOME/instance-4394656-1568428922.xml

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

MD5SUM BENCH= b749a4e5de10f3f67b20d160b8ef335e
RANDOM SEED=103829922

node143.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.73
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.73
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.73
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.73
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:        24293268 kB
MemAvailable:   31753588 kB
Buffers:          204268 kB
Cached:          7545592 kB
SwapCached:            8 kB
Active:          2147696 kB
Inactive:        5653708 kB
Active(anon):       5904 kB
Inactive(anon):   145040 kB
Active(file):    2141792 kB
Inactive(file):  5508668 kB
Unevictable:      107260 kB
Mlocked:          107260 kB
SwapTotal:      67108860 kB
SwapFree:       67108848 kB
Dirty:             26192 kB
Writeback:             0 kB
AnonPages:        158136 kB
Mapped:            48192 kB
Shmem:             90756 kB
Slab:             267336 kB
SReclaimable:     238320 kB
SUnreclaim:        29016 kB
KernelStack:        3456 kB
PageTables:         5768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     499344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 59248 MiB
End job on node143 at 2019-09-14 04:42:16