Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | SAT (TO) | 135 | 2000.48 | 252.027 |
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-4407520-1569347082.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407520-1569347082.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.68/0.77 c solve instance... 3.81/1.08 o 500 4.49/1.18 o 181 4.49/1.18 o 177 4.49/1.19 o 174 5.84/1.34 o 169 5.84/1.39 o 168 9.71/1.88 o 161 12.87/2.23 o 160 20.80/3.29 o 157 22.34/3.46 o 154 23.97/3.64 o 151 32.65/4.77 o 148 33.38/4.81 o 144 121.64/15.96 o 143 129.59/17.00 o 142 259.48/33.22 o 141 539.83/68.49 o 135 2000.40/252.01 s SATISFIABLE 2000.40/252.01 v <instantiation> 2000.40/252.01 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> 2000.40/252.01 v <values>0 1 3 7 18 39 51 73 82 98 108 122 127 135 1 3 7 18 39 51 73 82 98 108 122 127 135 2 6 17 38 50 72 81 97 107 121 126 134 4 15 36 48 70 79 95 105 119 124 132 11 32 44 66 75 91 101 115 120 128 21 33 55 64 80 90 104 109 117 12 34 43 59 69 83 88 96 22 31 47 57 71 76 84 9 25 35 49 54 62 16 26 40 45 53 10 24 29 37 14 19 27 5 13 8 </values> 2000.40/252.01 v </instantiation> 2000.40/252.01 c Unexpected resolution interruption!
OK 135
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 (10790 MiB free) memory of node 1: 16384 MiB (14132 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407520-1569347082/watcher-4407520-1569347082 -o /tmp/evaluation-result-4407520-1569347082/solver-4407520-1569347082 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1396051300 HOME/instance-4407520-1569347082.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=10474, runsolver pid=10471 Current StackSize limit: 8192 KiB [startup+0.10011 s]* /proc/loadavg: 7.53 8.00 8.10 2/212 10495 /proc/meminfo: memFree=25503724/32770624 swapFree=67002564/67108860 [pid=10474] ppid=10471 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10474/stat : 10474 (xcsp3-exec) S 10471 10474 5615 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510869733 115843072 362 33554432000 4194304 5098028 140723398034272 140723398032376 140613607129724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24735744 140723398038395 140723398038638 140723398038638 140723398041546 0 /proc/10474/statm: 28282 362 304 221 0 87 0 [pid=10476] ppid=10474 vsize=28227396 memory=30196 CPUtime=0.12 cores=0-7 /proc/10476/stat : 10476 (java) S 10474 10474 5615 0 -1 1077944320 5518 0 0 0 11 1 0 0 20 0 20 0 510869733 28904853504 7549 33554432000 4194304 4196468 140724932516608 140724932499152 140445738225399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 /proc/10476/statm: 7056849 7549 3118 1 0 7019032 0 [pid=10476/tid=10477] ppid=10474 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/10476/task/10477/stat : 10477 (java) R 10474 10474 5615 0 -1 4202560 3427 0 0 0 8 0 0 0 20 0 20 0 510869734 28904853504 7549 33554432000 4194304 4196468 140724932516608 140445742458192 140445375967941 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10478] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10478/stat : 10478 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 7549 33554432000 4194304 4196468 140724932516608 140445289978512 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10479] ppid=10474 vsize=28227396 memory=13992506087401112 CPUtime=0 cores=0-7 /proc/10476/task/10479/stat : 10479 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 7549 33554432000 4194304 4196468 140724932516608 140445288925712 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10480] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10480/stat : 10480 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 7549 33554432000 4194304 4196468 140724932516608 140445287872912 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10481] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10481/stat : 10481 (java) S 10474 10474 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 7549 33554432000 4194304 4196468 140724932516608 140445286820112 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10482] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10482/stat : 10482 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 7549 33554432000 4194304 4196468 140724932516608 140445285768336 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10483] ppid=10474 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10476/task/10483/stat : 10483 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 7549 33554432000 4194304 4196468 140724932516608 140445284715536 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10484] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10484/stat : 10484 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 7549 33554432000 4194304 4196468 140724932516608 140445283662736 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10485] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10485/stat : 10485 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 7549 33554432000 4194304 4196468 140724932516608 140445282609936 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10486] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10486/stat : 10486 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869736 28904853504 7549 33554432000 4194304 4196468 140724932516608 140444387641712 140445738236546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10487] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10487/stat : 10487 (java) S 10474 10474 5615 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510869736 28904853504 7549 33554432000 4194304 4196468 140724932516608 140444386587680 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10488] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10488/stat : 10488 (java) S 10474 10474 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510869737 28904853504 7549 33554432000 4194304 4196468 140724932516608 140444385534832 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10489] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10489/stat : 10489 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869739 28904853504 7549 33554432000 4194304 4196468 140724932516608 140444384483152 140445738243995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10490] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10490/stat : 10490 (java) S 10474 10474 5615 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 510869739 28904853504 7549 33554432000 4194304 4196468 140724932516608 140444383431536 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10491] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10491/stat : 10491 (java) S 10474 10474 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510869739 28904853504 7549 33554432000 4194304 4196468 140724932516608 140444382378736 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10492] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10492/stat : 10492 (java) S 10474 10474 5615 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 510869739 28904853504 7549 33554432000 4194304 4196468 140724932516608 140444381325936 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10493] ppid=10474 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/10476/task/10493/stat : 10493 (java) R 10474 10474 5615 0 -1 4202560 354 0 0 0 1 0 0 0 20 0 20 0 510869739 28904853504 7549 33554432000 4194304 4196468 140724932516608 140444380273136 140445738237334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10494] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10494/stat : 10494 (java) S 10474 10474 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510869739 28904853504 7549 33554432000 4194304 4196468 140724932516608 140444379220576 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10495] ppid=10474 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10476/task/10495/stat : 10495 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869740 28904853504 7549 33554432000 4194304 4196468 140724932516608 140444378167856 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31644 KiB [startup+0.210363 s]* /proc/loadavg: 7.53 8.00 8.10 2/212 10495 /proc/meminfo: memFree=25490996/32770624 swapFree=67002564/67108860 [pid=10474] ppid=10471 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10474/stat : 10474 (xcsp3-exec) S 10471 10474 5615 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510869733 115843072 362 33554432000 4194304 5098028 140723398034272 140723398032376 140613607129724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24735744 140723398038395 140723398038638 140723398038638 140723398041546 0 /proc/10474/statm: 28282 362 304 221 0 87 0 [pid=10476] ppid=10474 vsize=28227396 memory=40572 CPUtime=0.33 cores=0-7 /proc/10476/stat : 10476 (java) S 10474 10474 5615 0 -1 1077944320 8921 0 0 0 30 3 0 0 20 0 20 0 510869733 28904853504 10143 33554432000 4194304 4196468 140724932516608 140724932499152 140445738225399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 /proc/10476/statm: 7056849 10143 3253 1 0 7019032 0 [pid=10476/tid=10477] ppid=10474 vsize=28227396 memory=8316850467074736180 CPUtime=0.2 cores=0-7 /proc/10476/task/10477/stat : 10477 (java) R 10474 10474 5615 0 -1 4202560 6193 0 0 0 18 2 0 0 20 0 20 0 510869734 28904853504 10143 33554432000 4194304 4196468 140724932516608 140445742456624 140445738237334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10478] ppid=10474 vsize=28227396 memory=14976 CPUtime=0 cores=0-7 /proc/10476/task/10478/stat : 10478 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 10143 33554432000 4194304 4196468 140724932516608 140445289978512 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10479] ppid=10474 vsize=28227396 memory=140638617571353 CPUtime=0 cores=0-7 /proc/10476/task/10479/stat : 10479 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 10143 33554432000 4194304 4196468 140724932516608 140445288925712 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10480] ppid=10474 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10476/task/10480/stat : 10480 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 10143 33554432000 4194304 4196468 140724932516608 140445287872912 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10481] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10481/stat : 10481 (java) S 10474 10474 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 10143 33554432000 4194304 4196468 140724932516608 140445286820112 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10482] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10482/stat : 10482 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 10143 33554432000 4194304 4196468 140724932516608 140445285768336 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10483] ppid=10474 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10476/task/10483/stat : 10483 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 10143 33554432000 4194304 4196468 140724932516608 140445284715536 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10484] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10484/stat : 10484 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 10143 33554432000 4194304 4196468 140724932516608 140445283662736 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10485] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10485/stat : 10485 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28904853504 10143 33554432000 4194304 4196468 140724932516608 140445282609936 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10486] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10486/stat : 10486 (java) S 10474 10474 5615 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510869736 28904853504 10143 33554432000 4194304 4196468 140724932516608 140444387641712 140445738236546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10487] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10487/stat : 10487 (java) S 10474 10474 5615 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510869736 28904853504 10143 33554432000 4194304 4196468 140724932516608 140444386587680 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10488] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10488/stat : 10488 (java) S 10474 10474 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510869737 28904853504 10143 33554432000 4194304 4196468 140724932516608 140444385534832 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10489] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10489/stat : 10489 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869739 28904853504 10143 33554432000 4194304 4196468 140724932516608 140444384483152 140445738243995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10490] ppid=10474 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/10476/task/10490/stat : 10490 (java) S 10474 10474 5615 0 -1 1077944384 430 0 0 0 2 0 0 0 20 0 20 0 510869739 28904853504 10143 33554432000 4194304 4196468 140724932516608 140444383431536 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10491] ppid=10474 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/10476/task/10491/stat : 10491 (java) S 10474 10474 5615 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 20 0 510869739 28904853504 10143 33554432000 4194304 4196468 140724932516608 140444382378736 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10492] ppid=10474 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10476/task/10492/stat : 10492 (java) S 10474 10474 5615 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 20 0 510869739 28904853504 10143 33554432000 4194304 4196468 140724932516608 140444381325936 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10493] ppid=10474 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/10476/task/10493/stat : 10493 (java) R 10474 10474 5615 0 -1 4202560 769 0 0 0 7 0 0 0 20 0 20 0 510869739 28904853504 10143 33554432000 4194304 4196468 140724932516608 140444380273136 140445731409535 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10494] ppid=10474 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10494/stat : 10494 (java) S 10474 10474 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510869739 28904853504 10143 33554432000 4194304 4196468 140724932516608 140444379220576 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10495] ppid=10474 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/10476/task/10495/stat : 10495 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869740 28904853504 10143 33554432000 4194304 4196468 140724932516608 140444378167856 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42020 KiB [startup+0.309752 s]* /proc/loadavg: 7.53 8.00 8.10 5/212 10495 /proc/meminfo: memFree=25484592/32770624 swapFree=67002564/67108860 [pid=10474] ppid=10471 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10474/stat : 10474 (xcsp3-exec) S 10471 10474 5615 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510869733 115843072 362 33554432000 4194304 5098028 140723398034272 140723398032376 140613607129724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24735744 140723398038395 140723398038638 140723398038638 140723398041546 0 /proc/10474/statm: 28282 362 304 221 0 87 0 [pid=10476] ppid=10474 vsize=28231652 memory=49864 CPUtime=0.52 cores=0-7 /proc/10476/stat : 10476 (java) S 10474 10474 5615 0 -1 1077944320 10302 0 0 0 48 4 0 0 20 0 20 0 510869733 28909211648 12466 33554432000 4194304 4196468 140724932516608 140724932499152 140445738225399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 /proc/10476/statm: 7057913 12466 3365 1 0 7019032 0 [pid=10476/tid=10477] ppid=10474 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/10476/task/10477/stat : 10477 (java) R 10474 10474 5615 0 -1 4202560 7265 0 0 0 27 2 0 0 20 0 20 0 510869734 28909211648 12466 33554432000 4194304 4196468 140724932516608 140445742459632 140445722305886 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10478] ppid=10474 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10478/stat : 10478 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28909211648 12466 33554432000 4194304 4196468 140724932516608 140445289978512 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10479] ppid=10474 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10479/stat : 10479 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869734 28909211648 12466 33554432000 4194304 4196468 140724932516608 140445288925712 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10480] ppid=10474 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10480/stat : 10480 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869734 28909211648 12466 33554432000 4194304 4196468 140724932516608 140445287872912 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10481] ppid=10474 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10481/stat : 10481 (java) S 10474 10474 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510869734 28909211648 12466 33554432000 4194304 4196468 140724932516608 140445286820112 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10482] ppid=10474 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10482/stat : 10482 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869734 28909211648 12494 33554432000 4194304 4196468 140724932516608 140445285768336 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10483] ppid=10474 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10483/stat : 10483 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28909211648 12494 33554432000 4194304 4196468 140724932516608 140445284715536 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10484] ppid=10474 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10484/stat : 10484 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28909211648 12494 33554432000 4194304 4196468 140724932516608 140445283662736 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10485] ppid=10474 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10485/stat : 10485 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28909211648 12494 33554432000 4194304 4196468 140724932516608 140445282609936 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10486] ppid=10474 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10486/stat : 10486 (java) S 10474 10474 5615 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510869736 28909211648 12494 33554432000 4194304 4196468 140724932516608 140444387641712 140445738236546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10487] ppid=10474 vsize=28231652 memory=281277005766016 CPUtime=0 cores=0-7 /proc/10476/task/10487/stat : 10487 (java) S 10474 10474 5615 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510869736 28909211648 12494 33554432000 4194304 4196468 140724932516608 140444386587680 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10488] ppid=10474 vsize=28231652 memory=281277005770624 CPUtime=0 cores=0-7 /proc/10476/task/10488/stat : 10488 (java) S 10474 10474 5615 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510869737 28909211648 12494 33554432000 4194304 4196468 140724932516608 140444385534832 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10489] ppid=10474 vsize=28231652 memory=281277005775232 CPUtime=0 cores=0-7 /proc/10476/task/10489/stat : 10489 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869739 28909211648 12494 33554432000 4194304 4196468 140724932516608 140444384483152 140445738243995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10490] ppid=10474 vsize=28231652 memory=281277005779840 CPUtime=0.03 cores=0-7 /proc/10476/task/10490/stat : 10490 (java) R 10474 10474 5615 0 -1 4202560 505 0 0 0 3 0 0 0 20 0 20 0 510869739 28909211648 12494 33554432000 4194304 4196468 140724932516608 140444383412552 140445717483024 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10491] ppid=10474 vsize=28231652 memory=281277005784448 CPUtime=0.03 cores=0-7 /proc/10476/task/10491/stat : 10491 (java) S 10474 10474 5615 0 -1 1077944384 81 0 0 0 3 0 0 0 20 0 20 0 510869739 28909211648 12494 33554432000 4194304 4196468 140724932516608 140444382378736 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10492] ppid=10474 vsize=28231652 memory=281277005789056 CPUtime=0.01 cores=0-7 /proc/10476/task/10492/stat : 10492 (java) S 10474 10474 5615 0 -1 1077944384 235 0 0 0 1 0 0 0 20 0 20 0 510869739 28909211648 12494 33554432000 4194304 4196468 140724932516608 140444381325936 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10493] ppid=10474 vsize=28231652 memory=281277005793664 CPUtime=0.12 cores=0-7 /proc/10476/task/10493/stat : 10493 (java) S 10474 10474 5615 0 -1 1077944384 914 0 0 0 12 0 0 0 20 0 20 0 510869739 28909211648 12494 33554432000 4194304 4196468 140724932516608 140444380273136 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10494] ppid=10474 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10494/stat : 10494 (java) S 10474 10474 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510869739 28909211648 12494 33554432000 4194304 4196468 140724932516608 140444379220576 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10495] ppid=10474 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/10476/task/10495/stat : 10495 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869740 28909211648 12494 33554432000 4194304 4196468 140724932516608 140444378167856 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51312 KiB [startup+0.700965 s] /proc/loadavg: 7.53 8.00 8.10 5/212 10495 /proc/meminfo: memFree=25467660/32770624 swapFree=67002564/67108860 [pid=10474] ppid=10471 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10474/stat : 10474 (xcsp3-exec) S 10471 10474 5615 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510869733 115843072 362 33554432000 4194304 5098028 140723398034272 140723398032376 140613607129724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24735744 140723398038395 140723398038638 140723398038638 140723398041546 0 /proc/10474/statm: 28282 362 304 221 0 87 0 [pid=10476] ppid=10474 vsize=28233776 memory=89408 CPUtime=1.68 cores=0-7 /proc/10476/stat : 10476 (java) S 10474 10474 5615 0 -1 1077944320 15037 0 0 0 162 6 0 0 20 0 20 0 510869733 28911386624 22352 33554432000 4194304 4196468 140724932516608 140724932499152 140445738225399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 /proc/10476/statm: 7058444 22352 3451 1 0 7019544 0 [pid=10476/tid=10477] ppid=10474 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/10476/task/10477/stat : 10477 (java) R 10474 10474 5615 0 -1 4202560 8833 0 0 0 64 3 0 0 20 0 20 0 510869734 28911386624 22352 33554432000 4194304 4196468 140724932516608 140445742461168 140445379993744 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10478] ppid=10474 vsize=28233776 memory=140638503084928 CPUtime=0 cores=0-7 /proc/10476/task/10478/stat : 10478 (java) S 10474 10474 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510869734 28911386624 22352 33554432000 4194304 4196468 140724932516608 140445289978512 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10479] ppid=10474 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/10476/task/10479/stat : 10479 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869734 28911386624 22352 33554432000 4194304 4196468 140724932516608 140445288925712 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10480] ppid=10474 vsize=28233776 memory=1052 CPUtime=0 cores=0-7 /proc/10476/task/10480/stat : 10480 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510869734 28911386624 22352 33554432000 4194304 4196468 140724932516608 140445287872912 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 ################ # More data... # ################ [pid=10476/tid=10645] ppid=10474 vsize=28769364 memory=251632 CPUtime=93.21 cores=0-7 /proc/10476/task/10645/stat : 10645 (java) R 10474 10474 5615 0 -1 4202560 936 0 0 0 9321 0 0 0 20 0 28 0 510876583 29459828736 64960 33554432000 4194304 4196468 140724932516608 140444361580176 140445383502268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 Current children cumulated CPU time: 1287.39 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 261288 KiB [startup+222.301 s] /proc/loadavg: 8.37 8.27 8.19 9/219 10653 /proc/meminfo: memFree=25163132/32770624 swapFree=67002564/67108860 [pid=10474] ppid=10471 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10474/stat : 10474 (xcsp3-exec) S 10471 10474 5615 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510869733 115843072 362 33554432000 4194304 5098028 140723398034272 140723398032376 140613607129724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24735744 140723398038395 140723398038638 140723398038638 140723398041546 0 /proc/10474/statm: 28282 362 304 221 0 87 0 [pid=10476] ppid=10474 vsize=28769364 memory=372804 CPUtime=1764.21 cores=0-7 /proc/10476/stat : 10476 (java) S 10474 10474 5615 0 -1 1077944320 123459 0 0 0 176346 75 0 0 20 0 28 0 510869733 29459828736 93201 33554432000 4194304 4196468 140724932516608 140724932499152 140445738225399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 /proc/10476/statm: 7192341 93201 3529 1 0 7153441 0 [pid=10476/tid=10477] ppid=10474 vsize=28769364 memory=368708 CPUtime=0.77 cores=0-7 /proc/10476/task/10477/stat : 10477 (java) S 10474 10474 5615 0 -1 1077944384 9405 0 0 0 73 4 0 0 20 0 28 0 510869734 29459828736 93201 33554432000 4194304 4196468 140724932516608 140445742466176 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10478] ppid=10474 vsize=28769364 memory=368688 CPUtime=0.31 cores=0-7 /proc/10476/task/10478/stat : 10478 (java) S 10474 10474 5615 0 -1 1077944384 2941 0 0 0 28 3 0 0 20 0 28 0 510869734 29459828736 93201 33554432000 4194304 4196468 140724932516608 140445289978512 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10479] ppid=10474 vsize=28769364 memory=368700 CPUtime=0.31 cores=0-7 /proc/10476/task/10479/stat : 10479 (java) S 10474 10474 5615 0 -1 1077944384 3092 0 0 0 28 3 0 0 20 0 28 0 510869734 29459828736 93201 33554432000 4194304 4196468 140724932516608 140445288925712 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10480] ppid=10474 vsize=28769364 memory=1448 CPUtime=0.31 cores=0-7 /proc/10476/task/10480/stat : 10480 (java) S 10474 10474 5615 0 -1 1077944384 4013 0 0 0 28 3 0 0 20 0 28 0 510869734 29459828736 93201 33554432000 4194304 4196468 140724932516608 140445287872912 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10481] ppid=10474 vsize=28769364 memory=1448 CPUtime=0.32 cores=0-7 /proc/10476/task/10481/stat : 10481 (java) S 10474 10474 5615 0 -1 1077944384 3648 0 0 0 28 4 0 0 20 0 28 0 510869734 29459828736 93201 33554432000 4194304 4196468 140724932516608 140445286820112 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10482] ppid=10474 vsize=28769364 memory=1448 CPUtime=0.31 cores=0-7 /proc/10476/task/10482/stat : 10482 (java) S 10474 10474 5615 0 -1 1077944384 2198 0 0 0 28 3 0 0 20 0 28 0 510869734 29459828736 93201 33554432000 4194304 4196468 140724932516608 140445285768336 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10483] ppid=10474 vsize=28769364 memory=281277006413344 CPUtime=0.31 cores=0-7 /proc/10476/task/10483/stat : 10483 (java) S 10474 10474 5615 0 -1 1077944384 2790 0 0 0 28 3 0 0 20 0 28 0 510869734 29459828736 93201 33554432000 4194304 4196468 140724932516608 140445284715536 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10484] ppid=10474 vsize=28769364 memory=0 CPUtime=0.32 cores=0-7 /proc/10476/task/10484/stat : 10484 (java) S 10474 10474 5615 0 -1 1077944384 3068 0 0 0 30 2 0 0 20 0 28 0 510869734 29459828736 93201 33554432000 4194304 4196468 140724932516608 140445283662736 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10485] ppid=10474 vsize=28769364 memory=3588 CPUtime=0.32 cores=0-7 /proc/10476/task/10485/stat : 10485 (java) S 10474 10474 5615 0 -1 1077944384 4052 0 0 0 28 4 0 0 20 0 28 0 510869734 29459828736 93201 33554432000 4194304 4196468 140724932516608 140445282609936 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10486] ppid=10474 vsize=28769364 memory=63524 CPUtime=0.32 cores=0-7 /proc/10476/task/10486/stat : 10486 (java) S 10474 10474 5615 0 -1 1077944384 9398 0 0 0 23 9 0 0 20 0 28 0 510869736 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444387641712 140445738236546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10487] ppid=10474 vsize=28769364 memory=1160 CPUtime=0 cores=0-7 /proc/10476/task/10487/stat : 10487 (java) S 10474 10474 5615 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510869736 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444386587744 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10488] ppid=10474 vsize=28769364 memory=1720 CPUtime=0 cores=0-7 /proc/10476/task/10488/stat : 10488 (java) S 10474 10474 5615 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 510869737 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444385534848 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10489] ppid=10474 vsize=28769364 memory=281277007520224 CPUtime=0 cores=0-7 /proc/10476/task/10489/stat : 10489 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510869739 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444384483152 140445738243995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10490] ppid=10474 vsize=28769364 memory=0 CPUtime=2.26 cores=0-7 /proc/10476/task/10490/stat : 10490 (java) S 10474 10474 5615 0 -1 1077944384 11625 0 0 0 224 2 0 0 20 0 28 0 510869739 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444383431536 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 36 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10491] ppid=10474 vsize=28769364 memory=368700 CPUtime=2.11 cores=0-7 /proc/10476/task/10491/stat : 10491 (java) S 10474 10474 5615 0 -1 1077944384 13408 0 0 0 209 2 0 0 20 0 28 0 510869739 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444382378736 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10492] ppid=10474 vsize=28769364 memory=1448 CPUtime=2.16 cores=0-7 /proc/10476/task/10492/stat : 10492 (java) S 10474 10474 5615 0 -1 1077944384 9703 0 0 0 215 1 0 0 20 0 28 0 510869739 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444381325936 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10493] ppid=10474 vsize=28769364 memory=1448 CPUtime=0.87 cores=0-7 /proc/10476/task/10493/stat : 10493 (java) S 10474 10474 5615 0 -1 1077944384 9768 0 0 0 85 2 0 0 20 0 28 0 510869739 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444380273136 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10494] ppid=10474 vsize=28769364 memory=368708 CPUtime=0 cores=0-7 /proc/10476/task/10494/stat : 10494 (java) S 10474 10474 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510869739 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444379220576 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10495] ppid=10474 vsize=28769364 memory=164 CPUtime=0.03 cores=0-7 /proc/10476/task/10495/stat : 10495 (java) S 10474 10474 5615 0 -1 1077944384 2167 0 0 0 0 3 0 0 20 0 28 0 510869740 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444378167856 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10638] ppid=10474 vsize=28769364 memory=6944656592387989600 CPUtime=152.29 cores=0-7 /proc/10476/task/10638/stat : 10638 (java) R 10474 10474 5615 0 -1 4202560 1405 0 0 0 15229 0 0 0 20 0 28 0 510876583 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444364737040 140445382910313 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10639] ppid=10474 vsize=28769364 memory=1412 CPUtime=152.96 cores=0-7 /proc/10476/task/10639/stat : 10639 (java) R 10474 10474 5615 0 -1 4202560 1238 0 0 0 15296 0 0 0 20 0 28 0 510876583 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444366843472 140445384935616 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10640] ppid=10474 vsize=28769364 memory=1448 CPUtime=152.84 cores=0-7 /proc/10476/task/10640/stat : 10640 (java) R 10474 10474 5615 0 -1 4202560 2643 0 0 0 15284 0 0 0 20 0 28 0 510876583 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444365791824 140445383504193 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10641] ppid=10474 vsize=28769364 memory=281277007940032 CPUtime=152.61 cores=0-7 /proc/10476/task/10641/stat : 10641 (java) R 10474 10474 5615 0 -1 4202560 3482 0 0 0 15256 5 0 0 20 0 28 0 510876583 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444362636496 140445382910999 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10642] ppid=10474 vsize=28769364 memory=29970698470 CPUtime=152.87 cores=0-7 /proc/10476/task/10642/stat : 10642 (java) R 10474 10474 5615 0 -1 4202560 1805 0 0 0 15286 1 0 0 20 0 28 0 510876583 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444363686128 140445382173078 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10643] ppid=10474 vsize=28769364 memory=12539 CPUtime=152.68 cores=0-7 /proc/10476/task/10643/stat : 10643 (java) R 10474 10474 5615 0 -1 4202560 1303 0 0 0 15268 0 0 0 20 0 28 0 510876583 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444368949272 140445382912117 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10644] ppid=10474 vsize=28769364 memory=12566 CPUtime=152.24 cores=0-7 /proc/10476/task/10644/stat : 10644 (java) R 10474 10474 5615 0 -1 4202560 2391 0 0 0 15223 1 0 0 20 0 28 0 510876583 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444358430800 140445383241495 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10645] ppid=10474 vsize=28769364 memory=3 CPUtime=152.46 cores=0-7 /proc/10476/task/10645/stat : 10645 (java) R 10474 10474 5615 0 -1 4202560 1691 0 0 0 15246 0 0 0 20 0 28 0 510876583 29459828736 93201 33554432000 4194304 4196468 140724932516608 140444361580272 140445382173625 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 Current children cumulated CPU time: 1764.21 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 374252 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s]* /proc/loadavg: 8.22 8.25 8.18 9/220 10656 /proc/meminfo: memFree=25120712/32770624 swapFree=67002564/67108860 [pid=10474] ppid=10471 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/10474/stat : 10474 (xcsp3-exec) S 10471 10474 5615 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510869733 115843072 362 33554432000 4194304 5098028 140723398034272 140723398032376 140613607129724 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24735744 140723398038395 140723398038638 140723398038638 140723398041546 0 /proc/10474/statm: 28282 362 304 221 0 87 0 [pid=10476] ppid=10474 vsize=28769364 memory=413788 CPUtime=2000.4 cores=0-7 /proc/10476/stat : 10476 (java) S 10474 10474 5615 0 -1 1077944320 126251 0 0 0 199960 80 0 0 20 0 28 0 510869733 29459828736 103447 33554432000 4194304 4196468 140724932516608 140724932499152 140445738225399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 /proc/10476/statm: 7192341 103447 3529 1 0 7153441 0 [pid=10476/tid=10477] ppid=10474 vsize=28769364 memory=0 CPUtime=0.77 cores=0-7 /proc/10476/task/10477/stat : 10477 (java) S 10474 10474 5615 0 -1 1077944384 9405 0 0 0 73 4 0 0 20 0 28 0 510869734 29459828736 103447 33554432000 4194304 4196468 140724932516608 140445742466176 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10478] ppid=10474 vsize=28769364 memory=1720 CPUtime=0.39 cores=0-7 /proc/10476/task/10478/stat : 10478 (java) S 10474 10474 5615 0 -1 1077944384 2985 0 0 0 35 4 0 0 20 0 28 0 510869734 29459828736 103447 33554432000 4194304 4196468 140724932516608 140445289978512 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10479] ppid=10474 vsize=28769364 memory=1398722017469774279 CPUtime=0.4 cores=0-7 /proc/10476/task/10479/stat : 10479 (java) S 10474 10474 5615 0 -1 1077944384 3195 0 0 0 36 4 0 0 20 0 28 0 510869734 29459828736 103447 33554432000 4194304 4196468 140724932516608 140445288925712 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10480] ppid=10474 vsize=28769364 memory=804 CPUtime=0.4 cores=0-7 /proc/10476/task/10480/stat : 10480 (java) S 10474 10474 5615 0 -1 1077944384 4286 0 0 0 36 4 0 0 20 0 28 0 510869734 29459828736 103447 33554432000 4194304 4196468 140724932516608 140445287872912 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10481] ppid=10474 vsize=28769364 memory=1804 CPUtime=0.39 cores=0-7 /proc/10476/task/10481/stat : 10481 (java) S 10474 10474 5615 0 -1 1077944384 3691 0 0 0 35 4 0 0 20 0 28 0 510869734 29459828736 103447 33554432000 4194304 4196468 140724932516608 140445286820112 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10482] ppid=10474 vsize=28769364 memory=916 CPUtime=0.38 cores=0-7 /proc/10476/task/10482/stat : 10482 (java) S 10474 10474 5615 0 -1 1077944384 2229 0 0 0 35 3 0 0 20 0 28 0 510869734 29459828736 103447 33554432000 4194304 4196468 140724932516608 140445285768336 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10483] ppid=10474 vsize=28769364 memory=4496 CPUtime=0.39 cores=0-7 /proc/10476/task/10483/stat : 10483 (java) S 10474 10474 5615 0 -1 1077944384 3151 0 0 0 36 3 0 0 20 0 28 0 510869734 29459828736 103447 33554432000 4194304 4196468 140724932516608 140445284715536 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10484] ppid=10474 vsize=28769364 memory=4100 CPUtime=0.39 cores=0-7 /proc/10476/task/10484/stat : 10484 (java) S 10474 10474 5615 0 -1 1077944384 3146 0 0 0 37 2 0 0 20 0 28 0 510869734 29459828736 103447 33554432000 4194304 4196468 140724932516608 140445283662736 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10485] ppid=10474 vsize=28769364 memory=1412 CPUtime=0.4 cores=0-7 /proc/10476/task/10485/stat : 10485 (java) S 10474 10474 5615 0 -1 1077944384 4150 0 0 0 35 5 0 0 20 0 28 0 510869734 29459828736 103447 33554432000 4194304 4196468 140724932516608 140445282609936 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10486] ppid=10474 vsize=28769364 memory=3708 CPUtime=0.39 cores=0-7 /proc/10476/task/10486/stat : 10486 (java) S 10474 10474 5615 0 -1 1077944384 9729 0 0 0 29 10 0 0 20 0 28 0 510869736 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444387641712 140445738236546 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10487] ppid=10474 vsize=28769364 memory=1448 CPUtime=0 cores=0-7 /proc/10476/task/10487/stat : 10487 (java) S 10474 10474 5615 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510869736 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444386587744 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10488] ppid=10474 vsize=28769364 memory=395356 CPUtime=0 cores=0-7 /proc/10476/task/10488/stat : 10488 (java) S 10474 10474 5615 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 510869737 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444385534848 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10489] ppid=10474 vsize=28769364 memory=1448 CPUtime=0 cores=0-7 /proc/10476/task/10489/stat : 10489 (java) S 10474 10474 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510869739 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444384483152 140445738243995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10490] ppid=10474 vsize=28769364 memory=405596 CPUtime=2.26 cores=0-7 /proc/10476/task/10490/stat : 10490 (java) S 10474 10474 5615 0 -1 1077944384 11627 0 0 0 224 2 0 0 20 0 28 0 510869739 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444383431536 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 36 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10491] ppid=10474 vsize=28769364 memory=399452 CPUtime=2.11 cores=0-7 /proc/10476/task/10491/stat : 10491 (java) S 10474 10474 5615 0 -1 1077944384 13411 0 0 0 209 2 0 0 20 0 28 0 510869739 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444382378736 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10492] ppid=10474 vsize=28769364 memory=1736 CPUtime=2.16 cores=0-7 /proc/10476/task/10492/stat : 10492 (java) S 10474 10474 5615 0 -1 1077944384 9705 0 0 0 215 1 0 0 20 0 28 0 510869739 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444381325936 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10493] ppid=10474 vsize=28769364 memory=4100 CPUtime=0.87 cores=0-7 /proc/10476/task/10493/stat : 10493 (java) S 10474 10474 5615 0 -1 1077944384 10256 0 0 0 85 2 0 0 20 0 28 0 510869739 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444380273136 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10494] ppid=10474 vsize=28769364 memory=1412 CPUtime=0 cores=0-7 /proc/10476/task/10494/stat : 10494 (java) S 10474 10474 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510869739 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444379220576 140445738235605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10495] ppid=10474 vsize=28769364 memory=3708 CPUtime=0.04 cores=0-7 /proc/10476/task/10495/stat : 10495 (java) S 10474 10474 5615 0 -1 1077944384 2187 0 0 0 0 4 0 0 20 0 28 0 510869740 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444378167856 140445738236546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 34 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10638] ppid=10474 vsize=28769364 memory=740 CPUtime=181.65 cores=0-7 /proc/10476/task/10638/stat : 10638 (java) R 10474 10474 5615 0 -1 4202560 1497 0 0 0 18165 0 0 0 20 0 28 0 510876583 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444364737584 140445382171917 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10639] ppid=10474 vsize=28769364 memory=1052 CPUtime=182.48 cores=0-7 /proc/10476/task/10639/stat : 10639 (java) R 10474 10474 5615 0 -1 4202560 1280 0 0 0 18248 0 0 0 20 0 28 0 510876583 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444366844016 140445383243644 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10640] ppid=10474 vsize=28769364 memory=7548 CPUtime=182.36 cores=0-7 /proc/10476/task/10640/stat : 10640 (java) R 10474 10474 5615 0 -1 4202560 2720 0 0 0 18235 1 0 0 20 0 28 0 510876583 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444365791728 140445383502235 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10641] ppid=10474 vsize=28769364 memory=3620 CPUtime=182.1 cores=0-7 /proc/10476/task/10641/stat : 10641 (java) R 10474 10474 5615 0 -1 4202560 3717 0 0 0 18205 5 0 0 20 0 28 0 510876583 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444362634096 140445382199362 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10642] ppid=10474 vsize=28769364 memory=2832 CPUtime=182.3 cores=0-7 /proc/10476/task/10642/stat : 10642 (java) R 10474 10474 5615 0 -1 4202560 1905 0 0 0 18229 1 0 0 20 0 28 0 510876583 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444363685840 140445382909734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10643] ppid=10474 vsize=28769364 memory=776 CPUtime=181.99 cores=0-7 /proc/10476/task/10643/stat : 10643 (java) R 10474 10474 5615 0 -1 4202560 1427 0 0 0 18199 0 0 0 20 0 28 0 510876583 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444368949648 140445382173498 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10644] ppid=10474 vsize=28769364 memory=1160 CPUtime=181.68 cores=0-7 /proc/10476/task/10644/stat : 10644 (java) R 10474 10474 5615 0 -1 4202560 2552 0 0 0 18166 2 0 0 20 0 28 0 510876583 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444358433856 140445383880057 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 [pid=10476/tid=10645] ppid=10474 vsize=28769364 memory=1720 CPUtime=181.9 cores=0-7 /proc/10476/task/10645/stat : 10645 (java) R 10474 10474 5615 0 -1 1077944384 1775 0 0 0 18189 1 0 0 20 0 28 0 510876583 29459828736 103447 33554432000 4194304 4196468 140724932516608 140444361580144 140445738235605 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25096192 140724932522992 140724932523163 140724932523163 140724932526031 0 Current children cumulated CPU time: 2000.4 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 415236 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.021 s] # the end of solver process 10474 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.002322 s, system=0 s [startup+252.027 s] # the end of solver process 10476 was just reported to runsolver # cumulated CPU time of all completed processes: user=1999.66 s, system=0.8191 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): 252.027 CPU time (s): 2000.48 CPU user time (s): 1999.66 CPU system time (s): 0.8191 CPU usage (%): 793.759 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 415236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1999.66 system time used= 0.8191 maximum resident set size= 414516 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 127217 page faults= 0 swaps= 0 block input operations= 0 block output operations= 512 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 32347 involuntary context switches= 24216 # summary of solver processes directly reported to runsolver: # pid: 10474,10476 # total CPU time (s): 2000.48 # total CPU user time (s): 1999.66 # total CPU system time (s): 0.8191 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.28076 second user time and 2.58924 second system time The end
Begin job on node148 at 2019-09-24 19:44:05 IDJOB=4407520 IDBENCH=126210 IDSOLVER=2872 FILE ID=node148/4407520-1569347082 RUNJOBID= node148-1569335941-5642 PBS_JOBID= 21705049 Free space on /tmp= 22084 MiB SOLVER NAME= choco-solver 2019-09-24 parallel 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-4407520-1569347082/watcher-4407520-1569347082 -o /tmp/evaluation-result-4407520-1569347082/solver-4407520-1569347082 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1396051300 HOME/instance-4407520-1569347082.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a5381fa3d98671549d41a8d043d26ba4 RANDOM SEED=1396051300 node148.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.13 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.13 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.13 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.13 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: 25521340 kB MemAvailable: 31856700 kB Buffers: 54788 kB Cached: 6552420 kB SwapCached: 3372 kB Active: 4386072 kB Inactive: 2227400 kB Active(anon): 4088 kB Inactive(anon): 57864 kB Active(file): 4381984 kB Inactive(file): 2169536 kB Unevictable: 110656 kB Mlocked: 110656 kB SwapTotal: 67108860 kB SwapFree: 67002564 kB Dirty: 26080 kB Writeback: 0 kB AnonPages: 124116 kB Mapped: 56828 kB Shmem: 47072 kB Slab: 228340 kB SReclaimable: 199348 kB SUnreclaim: 28992 kB KernelStack: 3728 kB PageTables: 6408 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514472 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 22060 MiB End job on node148 at 2019-09-24 19:48:17