Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | SAT (TO) | 133 | 19921.3 | 2520.13 |
Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-14-a3.xml |
MD5SUM | a5381fa3d98671549d41a8d043d26ba4 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 134 |
Best CPU time to get the best result obtained on this benchmark | 2400.42 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 210 |
Number of constraints | 94 |
Number of domains | 2 |
Minimum domain size | 500 |
Maximum domain size | 501 |
Distribution of domain sizes | [{"size":500,"count":91},{"size":501,"count":14}] |
Minimum variable degree | 0 |
Maximum variable degree | 15 |
Distribution of variable degrees | [{"degree":0,"count":105},{"degree":2,"count":91},{"degree":14,"count":12},{"degree":15,"count":2}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 91 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":91},{"arity":14,"count":1},{"arity":91,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 92 |
Distribution of constraint types | [{"type":"intension","count":92},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394660-1568426237.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4394660-1568426237.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.68/0.76 c solve instance... 4.45/1.12 o 181 4.45/1.13 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (25/96) 4.45/1.13 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 4.45/1.13 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 4.45/1.13 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 4.45/1.13 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 4.45/1.13 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 4.45/1.13 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (25/96) 4.45/1.13 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 4.45/1.13 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 4.45/1.13 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 4.45/1.13 at org.chocosolver.solver.Solver.repair(Solver.java:443) 4.45/1.13 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 4.45/1.13 at org.chocosolver.solver.Solver.solve(Solver.java:262) 4.45/1.13 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 4.45/1.13 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 4.45/1.13 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 4.45/1.13 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 4.45/1.13 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 4.45/1.13 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 4.45/1.13 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 4.45/1.13 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 4.45/1.13 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 4.45/1.13 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 4.45/1.13 o 177 4.45/1.14 o 174 5.02/1.25 o 169 5.75/1.38 o 168 8.90/1.72 o 161 12.20/2.12 o 160 23.06/3.57 o 159 23.06/3.59 o 154 25.41/3.84 o 151 37.98/5.46 o 148 37.98/5.49 o 144 123.71/16.27 o 143 131.62/17.28 o 142 254.14/32.69 o 141 514.76/65.49 o 135 2636.55/344.12 o 134 11587.36/1470.85 o 133 19920.50/2520.09 s SATISFIABLE 19920.50/2520.09 v <instantiation> 19920.50/2520.09 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] 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[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[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[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[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[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[9][10] y[9][11] y[9][12] y[9][13] y[10][11] y[10][12] y[10][13] y[11][12] y[11][13] y[12][13] </list> 19920.50/2520.09 v <values>0 1 3 23 28 39 57 71 83 92 116 123 129 133 1 3 23 28 39 57 71 83 92 116 123 129 133 2 22 27 38 56 70 82 91 115 122 128 132 20 25 36 54 68 80 89 113 120 126 130 5 16 34 48 60 69 93 100 106 110 11 29 43 55 64 88 95 101 105 18 32 44 53 77 84 90 94 14 26 35 59 66 72 76 12 21 45 52 58 62 9 33 40 46 50 24 31 37 41 7 13 17 6 10 4 </values> 19920.50/2520.09 v </instantiation> 19920.50/2520.09 c Unexpected resolution interruption!
OK 133
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 (14085 MiB free) memory of node 1: 16384 MiB (14087 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394660-1568426237/watcher-4394660-1568426237 -o /tmp/evaluation-result-4394660-1568426237/solver-4394660-1568426237 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568426152-22892 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 73060045 HOME/instance-4394660-1568426237.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=23033, runsolver pid=23030 Current StackSize limit: 8192 KiB [startup+0.100152 s]* /proc/loadavg: 7.79 8.06 8.18 4/211 23054 /proc/meminfo: memFree=28831308/32770624 swapFree=66998528/67108860 [pid=23033] ppid=23030 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23033/stat : 23033 (xcsp3-exec) S 23030 23033 22865 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418892556 115843072 364 33554432000 4194304 5098028 140728875103632 140728875101736 140090430423676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13533184 140728875111287 140728875111529 140728875111529 140728875114442 0 /proc/23033/statm: 28282 364 305 221 0 87 0 [pid=23035] ppid=23033 vsize=28227388 memory=30096 CPUtime=0.13 cores=0-7 /proc/23035/stat : 23035 (java) S 23033 23033 22865 0 -1 1077944320 5485 0 0 0 11 2 0 0 20 0 20 0 418892556 28904845312 7524 33554432000 4194304 4196468 140734896927872 140734896910416 139952850271991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 /proc/23035/statm: 7056847 7524 3121 1 0 7019032 0 [pid=23035/tid=23036] ppid=23033 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/23035/task/23036/stat : 23036 (java) R 23033 23033 22865 0 -1 4202560 3395 0 0 0 8 1 0 0 20 0 20 0 418892556 28904845312 7524 33554432000 4194304 4196468 140734896927872 139952854503648 139952850283926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23037] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23037/stat : 23037 (java) S 23033 23033 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 7524 33554432000 4194304 4196468 140734896927872 139952802892560 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23038] ppid=23033 vsize=28227388 memory=3619119853219755680 CPUtime=0 cores=0-7 /proc/23035/task/23038/stat : 23038 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 7524 33554432000 4194304 4196468 140734896927872 139952801840016 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23039] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23039/stat : 23039 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 7524 33554432000 4194304 4196468 140734896927872 139952800787472 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23040] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23040/stat : 23040 (java) S 23033 23033 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 7524 33554432000 4194304 4196468 140734896927872 139952799734928 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23041] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23041/stat : 23041 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 7524 33554432000 4194304 4196468 140734896927872 139952798681360 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23042] ppid=23033 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/23035/task/23042/stat : 23042 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 7524 33554432000 4194304 4196468 140734896927872 139952797628816 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23043] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23043/stat : 23043 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 7524 33554432000 4194304 4196468 140734896927872 139952796576272 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23044] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23044/stat : 23044 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 7524 33554432000 4194304 4196468 140734896927872 139952795523728 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23045] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23045/stat : 23045 (java) S 23033 23033 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892559 28904845312 7524 33554432000 4194304 4196468 140734896927872 139951380441584 139952850283138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23046] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23046/stat : 23046 (java) S 23033 23033 22865 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418892559 28904845312 7524 33554432000 4194304 4196468 140734896927872 139951379387808 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23047] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23047/stat : 23047 (java) S 23033 23033 22865 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418892559 28904845312 7524 33554432000 4194304 4196468 140734896927872 139951378335216 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23048] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23048/stat : 23048 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892562 28904845312 7524 33554432000 4194304 4196468 140734896927872 139951377283792 139952850290587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23049] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23049/stat : 23049 (java) S 23033 23033 22865 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 418892562 28904845312 7524 33554432000 4194304 4196468 140734896927872 139951376230384 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23050] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23050/stat : 23050 (java) R 23033 23033 22865 0 -1 4202560 122 0 0 0 0 0 0 0 20 0 20 0 418892562 28904845312 7524 33554432000 4194304 4196468 140734896927872 139951308007536 139952850283138 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23051] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23051/stat : 23051 (java) S 23033 23033 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892562 28904845312 7524 33554432000 4194304 4196468 140734896927872 139951306954992 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23052] ppid=23033 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/23035/task/23052/stat : 23052 (java) R 23033 23033 22865 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 20 0 418892562 28904845312 7524 33554432000 4194304 4196468 140734896927872 139951305902448 139952842509118 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23053] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23053/stat : 23053 (java) S 23033 23033 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892562 28904845312 7524 33554432000 4194304 4196468 140734896927872 139951304850144 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23054] ppid=23033 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/23035/task/23054/stat : 23054 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892562 28904845312 7524 33554432000 4194304 4196468 140734896927872 139951303797680 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31552 KiB [startup+0.210792 s]* /proc/loadavg: 7.79 8.06 8.18 3/211 23054 /proc/meminfo: memFree=28818416/32770624 swapFree=66998528/67108860 [pid=23033] ppid=23030 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23033/stat : 23033 (xcsp3-exec) S 23030 23033 22865 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418892556 115843072 364 33554432000 4194304 5098028 140728875103632 140728875101736 140090430423676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13533184 140728875111287 140728875111529 140728875111529 140728875114442 0 /proc/23033/statm: 28282 364 305 221 0 87 0 [pid=23035] ppid=23033 vsize=28227388 memory=41584 CPUtime=0.33 cores=0-7 /proc/23035/stat : 23035 (java) S 23033 23033 22865 0 -1 1077944320 9090 0 0 0 30 3 0 0 20 0 20 0 418892556 28904845312 10396 33554432000 4194304 4196468 140734896927872 140734896910416 139952850271991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 /proc/23035/statm: 7056847 10396 3297 1 0 7019032 0 [pid=23035/tid=23036] ppid=23033 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/23035/task/23036/stat : 23036 (java) R 23033 23033 22865 0 -1 4202560 6208 0 0 0 17 2 0 0 20 0 20 0 418892556 28904845312 10396 33554432000 4194304 4196468 140734896927872 139952854506688 139952850283926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23037] ppid=23033 vsize=28227388 memory=288230596134830447 CPUtime=0 cores=0-7 /proc/23035/task/23037/stat : 23037 (java) S 23033 23033 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 10396 33554432000 4194304 4196468 140734896927872 139952802892560 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23038] ppid=23033 vsize=28227388 memory=139791268422955 CPUtime=0 cores=0-7 /proc/23035/task/23038/stat : 23038 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 10396 33554432000 4194304 4196468 140734896927872 139952801840016 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23039] ppid=23033 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/23035/task/23039/stat : 23039 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 10396 33554432000 4194304 4196468 140734896927872 139952800787472 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23040] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23040/stat : 23040 (java) S 23033 23033 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 10396 33554432000 4194304 4196468 140734896927872 139952799734928 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23041] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23041/stat : 23041 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 10396 33554432000 4194304 4196468 140734896927872 139952798681360 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23042] ppid=23033 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/23035/task/23042/stat : 23042 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 10396 33554432000 4194304 4196468 140734896927872 139952797628816 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23043] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23043/stat : 23043 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 10396 33554432000 4194304 4196468 140734896927872 139952796576272 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23044] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23044/stat : 23044 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28904845312 10396 33554432000 4194304 4196468 140734896927872 139952795523728 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23045] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23045/stat : 23045 (java) S 23033 23033 22865 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418892559 28904845312 10396 33554432000 4194304 4196468 140734896927872 139951380441584 139952850283138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23046] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23046/stat : 23046 (java) S 23033 23033 22865 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418892559 28904845312 10396 33554432000 4194304 4196468 140734896927872 139951379387808 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23047] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23047/stat : 23047 (java) S 23033 23033 22865 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418892559 28904845312 10396 33554432000 4194304 4196468 140734896927872 139951378335216 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23048] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23048/stat : 23048 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892562 28904845312 10396 33554432000 4194304 4196468 140734896927872 139951377283792 139952850290587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23049] ppid=23033 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/23035/task/23049/stat : 23049 (java) S 23033 23033 22865 0 -1 1077944384 541 0 0 0 1 0 0 0 20 0 20 0 418892562 28904845312 10396 33554432000 4194304 4196468 140734896927872 139951376230384 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23050] ppid=23033 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/23035/task/23050/stat : 23050 (java) S 23033 23033 22865 0 -1 1077944384 251 0 0 0 2 0 0 0 20 0 20 0 418892562 28904845312 10396 33554432000 4194304 4196468 140734896927872 139951308007536 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23051] ppid=23033 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/23035/task/23051/stat : 23051 (java) S 23033 23033 22865 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 20 0 418892562 28904845312 10396 33554432000 4194304 4196468 140734896927872 139951306954992 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23052] ppid=23033 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7 /proc/23035/task/23052/stat : 23052 (java) R 23033 23033 22865 0 -1 4202560 734 0 0 0 8 0 0 0 20 0 20 0 418892562 28904845312 10396 33554432000 4194304 4196468 140734896927872 139951305902256 139952850283926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23053] ppid=23033 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23053/stat : 23053 (java) S 23033 23033 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892562 28904845312 10396 33554432000 4194304 4196468 140734896927872 139951304850144 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23054] ppid=23033 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/23035/task/23054/stat : 23054 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892562 28904845312 10396 33554432000 4194304 4196468 140734896927872 139951303797680 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 43040 KiB [startup+0.311282 s]* /proc/loadavg: 7.79 8.06 8.18 3/211 23054 /proc/meminfo: memFree=28812520/32770624 swapFree=66998528/67108860 [pid=23033] ppid=23030 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23033/stat : 23033 (xcsp3-exec) S 23030 23033 22865 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418892556 115843072 364 33554432000 4194304 5098028 140728875103632 140728875101736 140090430423676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13533184 140728875111287 140728875111529 140728875111529 140728875114442 0 /proc/23033/statm: 28282 364 305 221 0 87 0 [pid=23035] ppid=23033 vsize=28231644 memory=50336 CPUtime=0.52 cores=0-7 /proc/23035/stat : 23035 (java) S 23033 23033 22865 0 -1 1077944320 10442 0 0 0 48 4 0 0 20 0 20 0 418892556 28909203456 12584 33554432000 4194304 4196468 140734896927872 140734896910416 139952850271991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 /proc/23035/statm: 7057911 12584 3339 1 0 7019032 0 [pid=23035/tid=23036] ppid=23033 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/23035/task/23036/stat : 23036 (java) R 23033 23033 22865 0 -1 4202560 7353 0 0 0 26 3 0 0 20 0 20 0 418892556 28909203456 12584 33554432000 4194304 4196468 140734896927872 139952854507320 139952834352478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23037] ppid=23033 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23037/stat : 23037 (java) S 23033 23033 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892557 28909203456 12584 33554432000 4194304 4196468 140734896927872 139952802892560 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23038] ppid=23033 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23038/stat : 23038 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28909203456 12584 33554432000 4194304 4196468 140734896927872 139952801840016 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23039] ppid=23033 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23039/stat : 23039 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28909203456 12584 33554432000 4194304 4196468 140734896927872 139952800787472 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23040] ppid=23033 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23040/stat : 23040 (java) S 23033 23033 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892557 28909203456 12584 33554432000 4194304 4196468 140734896927872 139952799734928 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23041] ppid=23033 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23041/stat : 23041 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28909203456 12590 33554432000 4194304 4196468 140734896927872 139952798681360 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23042] ppid=23033 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23042/stat : 23042 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28909203456 12590 33554432000 4194304 4196468 140734896927872 139952797628816 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23043] ppid=23033 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23043/stat : 23043 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28909203456 12590 33554432000 4194304 4196468 140734896927872 139952796576272 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23044] ppid=23033 vsize=28231644 memory=6872598998417432672 CPUtime=0 cores=0-7 /proc/23035/task/23044/stat : 23044 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28909203456 12590 33554432000 4194304 4196468 140734896927872 139952795523728 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23045] ppid=23033 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23045/stat : 23045 (java) S 23033 23033 22865 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418892559 28909203456 12590 33554432000 4194304 4196468 140734896927872 139951380441584 139952850283138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23046] ppid=23033 vsize=28231644 memory=279582238514560 CPUtime=0 cores=0-7 /proc/23035/task/23046/stat : 23046 (java) S 23033 23033 22865 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418892559 28909203456 12590 33554432000 4194304 4196468 140734896927872 139951379387808 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23047] ppid=23033 vsize=28231644 memory=279582238519168 CPUtime=0 cores=0-7 /proc/23035/task/23047/stat : 23047 (java) S 23033 23033 22865 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418892559 28909203456 12590 33554432000 4194304 4196468 140734896927872 139951378335216 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23048] ppid=23033 vsize=28231644 memory=279582238523776 CPUtime=0 cores=0-7 /proc/23035/task/23048/stat : 23048 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892562 28909203456 12590 33554432000 4194304 4196468 140734896927872 139951377283792 139952850290587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23049] ppid=23033 vsize=28231644 memory=279582238528384 CPUtime=0.01 cores=0-7 /proc/23035/task/23049/stat : 23049 (java) S 23033 23033 22865 0 -1 1077944384 549 0 0 0 1 0 0 0 20 0 20 0 418892562 28909203456 12590 33554432000 4194304 4196468 140734896927872 139951376230384 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23050] ppid=23033 vsize=28231644 memory=279582238532992 CPUtime=0.04 cores=0-7 /proc/23035/task/23050/stat : 23050 (java) R 23033 23033 22865 0 -1 4202560 343 0 0 0 4 0 0 0 20 0 20 0 418892562 28909203456 12590 33554432000 4194304 4196468 140734896927872 139951307988552 139952835201367 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23051] ppid=23033 vsize=28231644 memory=279582238537600 CPUtime=0.02 cores=0-7 /proc/23035/task/23051/stat : 23051 (java) S 23033 23033 22865 0 -1 1077944384 61 0 0 0 2 0 0 0 20 0 20 0 418892562 28909203456 12590 33554432000 4194304 4196468 140734896927872 139951306954992 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23052] ppid=23033 vsize=28231644 memory=279582238542208 CPUtime=0.12 cores=0-7 /proc/23035/task/23052/stat : 23052 (java) S 23033 23033 22865 0 -1 1077944384 828 0 0 0 12 0 0 0 20 0 20 0 418892562 28909203456 12590 33554432000 4194304 4196468 140734896927872 139951305902448 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23053] ppid=23033 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23053/stat : 23053 (java) S 23033 23033 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418892562 28909203456 12590 33554432000 4194304 4196468 140734896927872 139951304850144 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23054] ppid=23033 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/23035/task/23054/stat : 23054 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892562 28909203456 12590 33554432000 4194304 4196468 140734896927872 139951303797680 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51792 KiB [startup+0.700953 s] /proc/loadavg: 7.79 8.06 8.18 4/211 23054 /proc/meminfo: memFree=28793796/32770624 swapFree=66998528/67108860 [pid=23033] ppid=23030 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23033/stat : 23033 (xcsp3-exec) S 23030 23033 22865 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418892556 115843072 364 33554432000 4194304 5098028 140728875103632 140728875101736 140090430423676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13533184 140728875111287 140728875111529 140728875111529 140728875114442 0 /proc/23033/statm: 28282 364 305 221 0 87 0 [pid=23035] ppid=23033 vsize=28233768 memory=89568 CPUtime=1.68 cores=0-7 /proc/23035/stat : 23035 (java) S 23033 23033 22865 0 -1 1077944320 15103 0 0 0 160 8 0 0 20 0 20 0 418892556 28911378432 22392 33554432000 4194304 4196468 140734896927872 140734896910416 139952850271991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 /proc/23035/statm: 7058442 22392 3450 1 0 7019544 0 [pid=23035/tid=23036] ppid=23033 vsize=28233768 memory=4580 CPUtime=0.68 cores=0-7 /proc/23035/task/23036/stat : 23036 (java) R 23033 23033 22865 0 -1 4202560 8796 0 0 0 63 5 0 0 20 0 20 0 418892556 28911378432 22392 33554432000 4194304 4196468 140734896927872 139952854509632 139952470100532 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23037] ppid=23033 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23037/stat : 23037 (java) S 23033 23033 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418892557 28911378432 22392 33554432000 4194304 4196468 140734896927872 139952802892560 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23038] ppid=23033 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/23035/task/23038/stat : 23038 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28911378432 22392 33554432000 4194304 4196468 140734896927872 139952801840016 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23039] ppid=23033 vsize=28233768 memory=1204 CPUtime=0 cores=0-7 /proc/23035/task/23039/stat : 23039 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418892557 28911378432 22392 33554432000 4194304 4196468 140734896927872 139952800787472 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 ################ # More data... # ################ [pid=23035/tid=23342] ppid=23033 vsize=28769356 memory=1395180 CPUtime=957.24 cores=0-7 /proc/23035/task/23342/stat : 23342 (java) R 23033 23033 22865 0 -1 4202560 23732 0 0 0 95709 15 0 0 20 0 28 0 419039641 29459820544 348795 33554432000 4194304 4196468 140734896927872 139951287464360 139952478016187 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 Current children cumulated CPU time: 19302.2 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 1396636 KiB [startup+2502.3 s] /proc/loadavg: 8.18 8.29 8.27 9/219 23416 /proc/meminfo: memFree=27451368/32770624 swapFree=66998528/67108860 [pid=23033] ppid=23030 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23033/stat : 23033 (xcsp3-exec) S 23030 23033 22865 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418892556 115843072 364 33554432000 4194304 5098028 140728875103632 140728875101736 140090430423676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13533184 140728875111287 140728875111529 140728875111529 140728875114442 0 /proc/23033/statm: 28282 364 305 221 0 87 0 [pid=23035] ppid=23033 vsize=28769356 memory=1406596 CPUtime=19779.7 cores=0-7 /proc/23035/stat : 23035 (java) S 23033 23033 22865 0 -1 1077944320 1520341 0 0 0 1976478 1494 0 0 20 0 28 0 418892556 29459820544 351649 33554432000 4194304 4196468 140734896927872 140734896910416 139952850271991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 /proc/23035/statm: 7192339 351649 3556 1 0 7153441 0 [pid=23035/tid=23036] ppid=23033 vsize=28769356 memory=1406596 CPUtime=0.77 cores=0-7 /proc/23035/task/23036/stat : 23036 (java) S 23033 23033 22865 0 -1 1077944384 9549 0 0 0 72 5 0 0 20 0 28 0 418892556 29459820544 351649 33554432000 4194304 4196468 140734896927872 139952854512768 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23037] ppid=23033 vsize=28769356 memory=1408980 CPUtime=15.63 cores=0-7 /proc/23035/task/23037/stat : 23037 (java) S 23033 23033 22865 0 -1 1077944384 40922 0 0 0 1491 72 0 0 20 0 28 0 418892557 29459820544 351649 33554432000 4194304 4196468 140734896927872 139952802892560 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23038] ppid=23033 vsize=28769356 memory=1404364 CPUtime=15.65 cores=0-7 /proc/23035/task/23038/stat : 23038 (java) S 23033 23033 22865 0 -1 1077944384 37276 0 0 0 1493 72 0 0 20 0 28 0 418892557 29459820544 351649 33554432000 4194304 4196468 140734896927872 139952801840016 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23039] ppid=23033 vsize=28769356 memory=1406596 CPUtime=15.46 cores=0-7 /proc/23035/task/23039/stat : 23039 (java) S 23033 23033 22865 0 -1 1077944384 37601 0 0 0 1475 71 0 0 20 0 28 0 418892557 29459820544 351649 33554432000 4194304 4196468 140734896927872 139952800787472 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23040] ppid=23033 vsize=28769356 memory=1456 CPUtime=15.61 cores=0-7 /proc/23035/task/23040/stat : 23040 (java) S 23033 23033 22865 0 -1 1077944384 42963 0 0 0 1492 69 0 0 20 0 28 0 418892557 29459820544 351649 33554432000 4194304 4196468 140734896927872 139952799734928 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23041] ppid=23033 vsize=28769356 memory=0 CPUtime=15.65 cores=0-7 /proc/23035/task/23041/stat : 23041 (java) S 23033 23033 22865 0 -1 1077944384 39811 0 0 0 1500 65 0 0 20 0 28 0 418892557 29459820544 351649 33554432000 4194304 4196468 140734896927872 139952798681360 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23042] ppid=23033 vsize=28769356 memory=7738148875401719097 CPUtime=15.6 cores=0-7 /proc/23035/task/23042/stat : 23042 (java) S 23033 23033 22865 0 -1 1077944384 41893 0 0 0 1489 71 0 0 20 0 28 0 418892557 29459820544 351649 33554432000 4194304 4196468 140734896927872 139952797628816 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23043] ppid=23033 vsize=28769356 memory=3624 CPUtime=15.56 cores=0-7 /proc/23035/task/23043/stat : 23043 (java) S 23033 23033 22865 0 -1 1077944384 40154 0 0 0 1489 67 0 0 20 0 28 0 418892557 29459820544 351649 33554432000 4194304 4196468 140734896927872 139952796576272 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23044] ppid=23033 vsize=28769356 memory=41168 CPUtime=15.67 cores=0-7 /proc/23035/task/23044/stat : 23044 (java) S 23033 23033 22865 0 -1 1077944384 46547 0 0 0 1495 72 0 0 20 0 28 0 418892557 29459820544 351649 33554432000 4194304 4196468 140734896927872 139952795523728 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23045] ppid=23033 vsize=28769356 memory=1456 CPUtime=8.76 cores=0-7 /proc/23035/task/23045/stat : 23045 (java) S 23033 23033 22865 0 -1 1077944384 185019 0 0 0 449 427 0 0 20 0 28 0 418892559 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951380441584 139952850283138 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23046] ppid=23033 vsize=28769356 memory=1395180 CPUtime=0 cores=0-7 /proc/23035/task/23046/stat : 23046 (java) S 23033 23033 22865 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 418892559 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951379387872 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23047] ppid=23033 vsize=28769356 memory=1416168 CPUtime=0 cores=0-7 /proc/23035/task/23047/stat : 23047 (java) S 23033 23033 22865 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 418892559 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951378335216 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23048] ppid=23033 vsize=28769356 memory=988 CPUtime=0 cores=0-7 /proc/23035/task/23048/stat : 23048 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418892562 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951377283792 139952850290587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23049] ppid=23033 vsize=28769356 memory=1456 CPUtime=3.72 cores=0-7 /proc/23035/task/23049/stat : 23049 (java) S 23033 23033 22865 0 -1 1077944384 21347 0 0 0 368 4 0 0 20 0 28 0 418892562 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951376230384 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23050] ppid=23033 vsize=28769356 memory=1456 CPUtime=3.89 cores=0-7 /proc/23035/task/23050/stat : 23050 (java) S 23033 23033 22865 0 -1 1077944384 25951 0 0 0 384 5 0 0 20 0 28 0 418892562 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951308007536 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23051] ppid=23033 vsize=28769356 memory=1456 CPUtime=3.91 cores=0-7 /proc/23035/task/23051/stat : 23051 (java) S 23033 23033 22865 0 -1 1077944384 22614 0 0 0 387 4 0 0 20 0 28 0 418892562 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951306954992 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23052] ppid=23033 vsize=28769356 memory=1410600 CPUtime=1.31 cores=0-7 /proc/23035/task/23052/stat : 23052 (java) S 23033 23033 22865 0 -1 1077944384 18856 0 0 0 127 4 0 0 20 0 28 0 418892562 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951305902448 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23053] ppid=23033 vsize=28769356 memory=14068 CPUtime=0 cores=0-7 /proc/23035/task/23053/stat : 23053 (java) S 23033 23033 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418892562 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951304850144 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23054] ppid=23033 vsize=28769356 memory=1456 CPUtime=0.73 cores=0-7 /proc/23035/task/23054/stat : 23054 (java) S 23033 23033 22865 0 -1 1077944384 6554 0 0 0 40 33 0 0 20 0 28 0 418892562 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951303797680 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23335] ppid=23033 vsize=28769356 memory=1413600 CPUtime=1018.52 cores=0-7 /proc/23035/task/23335/stat : 23335 (java) R 23033 23033 22865 0 -1 4202560 13937 0 0 0 101840 12 0 0 20 0 28 0 419039641 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951286411160 139952473412420 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23336] ppid=23033 vsize=28769356 memory=16100368647981698 CPUtime=1017.97 cores=0-7 /proc/23035/task/23336/stat : 23336 (java) R 23033 23033 22865 0 -1 4202560 11545 0 0 0 101785 12 0 0 20 0 28 0 419039641 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951285359832 139952471869825 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23337] ppid=23033 vsize=28769356 memory=1456 CPUtime=1016.34 cores=0-7 /proc/23035/task/23337/stat : 23337 (java) R 23033 23033 22865 0 -1 4202560 78064 0 0 0 101559 75 0 0 20 0 28 0 419039641 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951289569112 139952471811451 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23338] ppid=23033 vsize=28769356 memory=1413600 CPUtime=1015.49 cores=0-7 /proc/23035/task/23338/stat : 23338 (java) R 23033 23033 22865 0 -1 4202560 91298 0 0 0 101501 48 0 0 20 0 28 0 419039641 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951288519248 139952474222494 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23339] ppid=23033 vsize=28769356 memory=1416168 CPUtime=1015.03 cores=0-7 /proc/23035/task/23339/stat : 23339 (java) R 23033 23033 22865 0 -1 4202560 30472 0 0 0 101486 17 0 0 20 0 28 0 419039641 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951291674376 139952471869976 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23340] ppid=23033 vsize=28769356 memory=1456 CPUtime=1017.89 cores=0-7 /proc/23035/task/23340/stat : 23340 (java) R 23033 23033 22865 0 -1 4202560 50252 0 0 0 101753 36 0 0 20 0 28 0 419039641 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951290621696 139952477515965 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23341] ppid=23033 vsize=28769356 memory=22504 CPUtime=1016.58 cores=0-7 /proc/23035/task/23341/stat : 23341 (java) R 23033 23033 22865 0 -1 4202560 33229 0 0 0 101638 20 0 0 20 0 28 0 419039641 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951292727320 139952471869780 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23342] ppid=23033 vsize=28769356 memory=14068 CPUtime=1016.66 cores=0-7 /proc/23035/task/23342/stat : 23342 (java) R 23033 23033 22865 0 -1 4202560 23789 0 0 0 101651 15 0 0 20 0 28 0 419039641 29459820544 351649 33554432000 4194304 4196468 140734896927872 139951287464056 139952472215049 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 Current children cumulated CPU time: 19779.7 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 1408052 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.20 8.29 8.27 9/219 23417 /proc/meminfo: memFree=27468648/32770624 swapFree=66998528/67108860 [pid=23033] ppid=23030 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23033/stat : 23033 (xcsp3-exec) S 23030 23033 22865 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418892556 115843072 364 33554432000 4194304 5098028 140728875103632 140728875101736 140090430423676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13533184 140728875111287 140728875111529 140728875111529 140728875114442 0 /proc/23033/statm: 28282 364 305 221 0 87 0 [pid=23035] ppid=23033 vsize=28769356 memory=1390200 CPUtime=19920.5 cores=0-7 /proc/23035/stat : 23035 (java) S 23033 23033 22865 0 -1 1077944320 1522751 0 0 0 1990552 1498 0 0 20 0 28 0 418892556 29459820544 347550 33554432000 4194304 4196468 140734896927872 140734896910416 139952850271991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 /proc/23035/statm: 7192339 347550 3556 1 0 7153441 0 [pid=23035/tid=23036] ppid=23033 vsize=28769356 memory=8317482817917895235 CPUtime=0.77 cores=0-7 /proc/23035/task/23036/stat : 23036 (java) S 23033 23033 22865 0 -1 1077944384 9549 0 0 0 72 5 0 0 20 0 28 0 418892556 29459820544 347550 33554432000 4194304 4196468 140734896927872 139952854512768 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23037] ppid=23033 vsize=28769356 memory=1412 CPUtime=15.69 cores=0-7 /proc/23035/task/23037/stat : 23037 (java) S 23033 23033 22865 0 -1 1077944384 40952 0 0 0 1497 72 0 0 20 0 28 0 418892557 29459820544 347550 33554432000 4194304 4196468 140734896927872 139952802892560 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23038] ppid=23033 vsize=28769356 memory=1456 CPUtime=15.71 cores=0-7 /proc/23035/task/23038/stat : 23038 (java) S 23033 23033 22865 0 -1 1077944384 37361 0 0 0 1499 72 0 0 20 0 28 0 418892557 29459820544 347550 33554432000 4194304 4196468 140734896927872 139952801840016 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23039] ppid=23033 vsize=28769356 memory=1394292 CPUtime=15.52 cores=0-7 /proc/23035/task/23039/stat : 23039 (java) S 23033 23033 22865 0 -1 1077944384 37910 0 0 0 1481 71 0 0 20 0 28 0 418892557 29459820544 347550 33554432000 4194304 4196468 140734896927872 139952800787472 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23040] ppid=23033 vsize=28769356 memory=920 CPUtime=15.68 cores=0-7 /proc/23035/task/23040/stat : 23040 (java) S 23033 23033 22865 0 -1 1077944384 43086 0 0 0 1499 69 0 0 20 0 28 0 418892557 29459820544 347550 33554432000 4194304 4196468 140734896927872 139952799734928 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23041] ppid=23033 vsize=28769356 memory=279582240240752 CPUtime=15.71 cores=0-7 /proc/23035/task/23041/stat : 23041 (java) S 23033 23033 22865 0 -1 1077944384 39819 0 0 0 1506 65 0 0 20 0 28 0 418892557 29459820544 347550 33554432000 4194304 4196468 140734896927872 139952798681360 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23042] ppid=23033 vsize=28769356 memory=101110643690218 CPUtime=15.67 cores=0-7 /proc/23035/task/23042/stat : 23042 (java) S 23033 23033 22865 0 -1 1077944384 42148 0 0 0 1495 72 0 0 20 0 28 0 418892557 29459820544 347550 33554432000 4194304 4196468 140734896927872 139952797628816 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23043] ppid=23033 vsize=28769356 memory=101110643690218 CPUtime=15.61 cores=0-7 /proc/23035/task/23043/stat : 23043 (java) S 23033 23033 22865 0 -1 1077944384 40421 0 0 0 1494 67 0 0 20 0 28 0 418892557 29459820544 347550 33554432000 4194304 4196468 140734896927872 139952796576272 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23044] ppid=23033 vsize=28769356 memory=101110643690218 CPUtime=15.72 cores=0-7 /proc/23035/task/23044/stat : 23044 (java) S 23033 23033 22865 0 -1 1077944384 46609 0 0 0 1500 72 0 0 20 0 28 0 418892557 29459820544 347550 33554432000 4194304 4196468 140734896927872 139952795523728 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23045] ppid=23033 vsize=28769356 memory=101110643690218 CPUtime=8.81 cores=0-7 /proc/23035/task/23045/stat : 23045 (java) S 23033 23033 22865 0 -1 1077944384 185221 0 0 0 451 430 0 0 20 0 28 0 418892559 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951380441584 139952850283138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23046] ppid=23033 vsize=28769356 memory=101110643690218 CPUtime=0 cores=0-7 /proc/23035/task/23046/stat : 23046 (java) S 23033 23033 22865 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 418892559 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951379387872 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23047] ppid=23033 vsize=28769356 memory=101110643690218 CPUtime=0 cores=0-7 /proc/23035/task/23047/stat : 23047 (java) S 23033 23033 22865 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 418892559 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951378335216 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23048] ppid=23033 vsize=28769356 memory=101110643689962 CPUtime=0 cores=0-7 /proc/23035/task/23048/stat : 23048 (java) S 23033 23033 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418892562 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951377283792 139952850290587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23049] ppid=23033 vsize=28769356 memory=279582239580384 CPUtime=3.72 cores=0-7 /proc/23035/task/23049/stat : 23049 (java) S 23033 23033 22865 0 -1 1077944384 21349 0 0 0 368 4 0 0 20 0 28 0 418892562 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951376230384 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23050] ppid=23033 vsize=28769356 memory=3624 CPUtime=3.89 cores=0-7 /proc/23035/task/23050/stat : 23050 (java) S 23033 23033 22865 0 -1 1077944384 25953 0 0 0 384 5 0 0 20 0 28 0 418892562 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951308007536 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23051] ppid=23033 vsize=28769356 memory=2828 CPUtime=3.91 cores=0-7 /proc/23035/task/23051/stat : 23051 (java) S 23033 23033 22865 0 -1 1077944384 22616 0 0 0 387 4 0 0 20 0 28 0 418892562 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951306954992 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23052] ppid=23033 vsize=28769356 memory=780 CPUtime=1.31 cores=0-7 /proc/23035/task/23052/stat : 23052 (java) S 23033 23033 22865 0 -1 1077944384 18858 0 0 0 127 4 0 0 20 0 28 0 418892562 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951305902448 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23053] ppid=23033 vsize=28769356 memory=620 CPUtime=0 cores=0-7 /proc/23035/task/23053/stat : 23053 (java) S 23033 23033 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418892562 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951304850144 139952850282197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23054] ppid=23033 vsize=28769356 memory=1712 CPUtime=0.74 cores=0-7 /proc/23035/task/23054/stat : 23054 (java) S 23033 23033 22865 0 -1 1077944384 6565 0 0 0 40 34 0 0 20 0 28 0 418892562 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951303797680 139952850283138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23335] ppid=23033 vsize=28769356 memory=1052 CPUtime=1036.09 cores=0-7 /proc/23035/task/23335/stat : 23335 (java) R 23033 23033 22865 0 -1 4202560 13995 0 0 0 103597 12 0 0 20 0 28 0 419039641 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951286410600 139952473572681 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23336] ppid=23033 vsize=28769356 memory=5908 CPUtime=1035.49 cores=0-7 /proc/23035/task/23336/stat : 23336 (java) R 23033 23033 22865 0 -1 4202560 11606 0 0 0 103537 12 0 0 20 0 28 0 419039641 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951285359208 139952473412636 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23337] ppid=23033 vsize=28769356 memory=3624 CPUtime=1033.92 cores=0-7 /proc/23035/task/23337/stat : 23337 (java) R 23033 23033 22865 0 -1 4202560 78078 0 0 0 103317 75 0 0 20 0 28 0 419039641 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951289569112 139952471812015 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23338] ppid=23033 vsize=28769356 memory=41168 CPUtime=1032.93 cores=0-7 /proc/23035/task/23338/stat : 23338 (java) R 23033 23033 22865 0 -1 4202560 91909 0 0 0 103244 49 0 0 20 0 28 0 419039641 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951288516568 139952474222579 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23339] ppid=23033 vsize=28769356 memory=988 CPUtime=1032.45 cores=0-7 /proc/23035/task/23339/stat : 23339 (java) R 23033 23033 22865 0 -1 4202560 30542 0 0 0 103228 17 0 0 20 0 28 0 419039641 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951291674344 139952477276574 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23340] ppid=23033 vsize=28769356 memory=2024 CPUtime=1035.49 cores=0-7 /proc/23035/task/23340/stat : 23340 (java) R 23033 23033 22865 0 -1 4202560 50329 0 0 0 103513 36 0 0 20 0 28 0 419039641 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951290621696 139952477515916 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23341] ppid=23033 vsize=28769356 memory=1428 CPUtime=1034.11 cores=0-7 /proc/23035/task/23341/stat : 23341 (java) R 23033 23033 22865 0 -1 4202560 33301 0 0 0 103391 20 0 0 20 0 28 0 419039641 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951292727928 139952474222464 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 [pid=23035/tid=23342] ppid=23033 vsize=28769356 memory=3704 CPUtime=1034.23 cores=0-7 /proc/23035/task/23342/stat : 23342 (java) R 23033 23033 22865 0 -1 4202560 23876 0 0 0 103408 15 0 0 20 0 28 0 419039641 29459820544 347550 33554432000 4194304 4196468 140734896927872 139951287466416 139952473574365 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 32464896 140734896931818 140734896931990 140734896931990 140734896934863 0 Current children cumulated CPU time: 19920.5 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 1391656 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.05 s] # the end of solver process 23033 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000793 s, system=0.001587 s [startup+2520.13 s] # the end of solver process 23035 was just reported to runsolver # cumulated CPU time of all completed processes: user=19906.3 s, system=15.0078 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2520.13 CPU time (s): 19921.3 CPU user time (s): 19906.3 CPU system time (s): 15.0078 CPU usage (%): 790.489 Max. virtual memory (cumulated for all children) (KiB): 28884136 Max. memory (cumulated for all children) (KiB): 1426352 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19906.3 system time used= 15.0078 maximum resident set size= 1427468 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1523587 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3600 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 197381 involuntary context switches= 244834 # summary of solver processes directly reported to runsolver: # pid: 23033,23035 # total CPU time (s): 19921.3 # total CPU user time (s): 19906.3 # total CPU system time (s): 15.0078 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 23.4891 second user time and 28.1502 second system time The end
Begin job on node127 at 2019-09-14 03:56:37 IDJOB=4394660 IDBENCH=126210 IDSOLVER=2843 FILE ID=node127/4394660-1568426237 RUNJOBID= node127-1568426152-22892 PBS_JOBID= 21702286 Free space on /tmp= 61308 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-14-a3.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-4394660-1568426237/watcher-4394660-1568426237 -o /tmp/evaluation-result-4394660-1568426237/solver-4394660-1568426237 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568426152-22892 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 73060045 HOME/instance-4394660-1568426237.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a5381fa3d98671549d41a8d043d26ba4 RANDOM SEED=73060045 node127.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.55 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.55 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.55 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.55 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: 28848712 kB MemAvailable: 31872088 kB Buffers: 182460 kB Cached: 3107428 kB SwapCached: 6772 kB Active: 1903344 kB Inactive: 1398160 kB Active(anon): 4784 kB Inactive(anon): 48308 kB Active(file): 1898560 kB Inactive(file): 1349852 kB Unevictable: 109300 kB Mlocked: 109300 kB SwapTotal: 67108860 kB SwapFree: 66998528 kB Dirty: 26176 kB Writeback: 4 kB AnonPages: 115108 kB Mapped: 44324 kB Shmem: 32700 kB Slab: 211544 kB SReclaimable: 181600 kB SUnreclaim: 29944 kB KernelStack: 3360 kB PageTables: 5976 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498088 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 61284 MiB End job on node127 at 2019-09-14 04:38:37