Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | OPT | 55 | 35.6857 | 5.19016 |
Name | GolombRuler/ GolombRuler-a3v18-10_c18.xml |
MD5SUM | fd7701f01011f2453d3fac3f444f25b8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 55 |
Best CPU time to get the best result obtained on this benchmark | 35.6857 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 110 |
Number of constraints | 46 |
Number of domains | 2 |
Minimum domain size | 100 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":100,"count":45},{"size":101,"count":10}] |
Minimum variable degree | 0 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":0,"count":55},{"degree":2,"count":45},{"degree":9,"count":9},{"degree":10,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 45 |
Distribution of constraint arities | [{"arity":3,"count":45},{"arity":45,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 45 |
Distribution of constraint types | [{"type":"intension","count":45},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297449-1532717477.xml" -tl '20160s' -p 8 0.11/0.17 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297449-1532717477.xml, -tl, 20160s, -p, 8] 0.11/0.21 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.30/0.65 c solve instance... 1.78/0.74 o 80 1.78/0.75 o 75 1.78/0.78 o 73 2.29/0.80 o 72 2.29/0.83 o 70 2.29/0.85 o 68 3.00/0.91 o 66 3.00/0.94 o 62 6.19/1.37 o 61 6.92/1.42 o 60 12.03/2.21 o 55 35.12/5.18 s OPTIMUM FOUND 35.12/5.18 v <instantiation> 35.12/5.18 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] 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[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][6] y[5][7] y[5][8] y[5][9] y[6][7] y[6][8] y[6][9] y[7][8] y[7][9] y[8][9] </list> 35.12/5.18 v <values>0 1 6 10 23 26 34 41 53 55 1 6 10 23 26 34 41 53 55 5 9 22 25 33 40 52 54 4 17 20 28 35 47 49 13 16 24 31 43 45 3 11 18 30 32 8 15 27 29 7 19 21 12 14 2 </values> 35.12/5.18 v </instantiation>
OK 55
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 (11586 MiB free) memory of node 1: 16384 MiB (15128 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297449-1532717477/watcher-4297449-1532717477 -o /tmp/evaluation-result-4297449-1532717477/solver-4297449-1532717477 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1532713069-31492 --watchdog 2580 HOME/xcsp3-exec -seed 1336527528 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297449-1532717477.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=32196, runsolver pid=32193 [startup+0.100145 s]* /proc/loadavg: 7.67 8.15 7.37 3/205 32217 /proc/meminfo: memFree=27340156/32770624 swapFree=67108860/67108860 [pid=32196] ppid=32193 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/32196/stat : 32196 (xcsp3-exec) S 32193 32196 31465 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89310887 115843072 363 33554432000 4194304 5098028 140723338112416 140723338110520 140412992979580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29171712 140723338114101 140723338114304 140723338114304 140723338117066 0 /proc/32196/statm: 28282 363 306 221 0 87 0 [pid=32198] ppid=32196 vsize=26104152 memory=26952 CPUtime=0.11 cores=0-7 /proc/32198/stat : 32198 (java) S 32196 32196 31465 0 -1 1077944320 5656 0 0 0 11 0 0 0 20 0 20 0 89310887 26730651648 6738 33554432000 4194304 4196468 140729296415216 140729296397760 140171282804471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 /proc/32198/statm: 6526038 6738 3001 1 0 6488315 0 [pid=32198/tid=32199] ppid=32196 vsize=26104152 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/32198/task/32199/stat : 32199 (java) R 32196 32196 31465 0 -1 4202560 3664 0 0 0 8 0 0 0 20 0 20 0 89310887 26730651648 6738 33554432000 4194304 4196468 140729296415216 140171287027616 140171282816406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32200] ppid=32196 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32200/stat : 32200 (java) S 32196 32196 31465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89310888 26730651648 6738 33554432000 4194304 4196468 140729296415216 140171235424656 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32201] ppid=32196 vsize=26104152 memory=139875933939328 CPUtime=0 cores=0-7 /proc/32198/task/32201/stat : 32201 (java) S 32196 32196 31465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89310888 26730651648 6738 33554432000 4194304 4196468 140729296415216 140171234371856 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32202] ppid=32196 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32202/stat : 32202 (java) S 32196 32196 31465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89310888 26730651648 6738 33554432000 4194304 4196468 140729296415216 140171233319568 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32203] ppid=32196 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32203/stat : 32203 (java) S 32196 32196 31465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89310888 26730651648 6738 33554432000 4194304 4196468 140729296415216 140171232266768 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32204] ppid=32196 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32204/stat : 32204 (java) S 32196 32196 31465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89310888 26730651648 6738 33554432000 4194304 4196468 140729296415216 140171231214480 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32205] ppid=32196 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/32198/task/32205/stat : 32205 (java) S 32196 32196 31465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89310888 26730651648 6738 33554432000 4194304 4196468 140729296415216 140171230161680 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32206] ppid=32196 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32206/stat : 32206 (java) S 32196 32196 31465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89310888 26730651648 6738 33554432000 4194304 4196468 140729296415216 140171229109392 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32207] ppid=32196 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32207/stat : 32207 (java) S 32196 32196 31465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89310888 26730651648 6738 33554432000 4194304 4196468 140729296415216 140171228056592 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32208] ppid=32196 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32208/stat : 32208 (java) S 32196 32196 31465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89310890 26730651648 6738 33554432000 4194304 4196468 140729296415216 140170024917104 140171282815618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32209] ppid=32196 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32209/stat : 32209 (java) S 32196 32196 31465 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89310890 26730651648 6738 33554432000 4194304 4196468 140729296415216 140170023863072 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32210] ppid=32196 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32210/stat : 32210 (java) S 32196 32196 31465 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89310890 26730651648 6738 33554432000 4194304 4196468 140729296415216 140170022810736 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32211] ppid=32196 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32211/stat : 32211 (java) S 32196 32196 31465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89310893 26730651648 6738 33554432000 4194304 4196468 140729296415216 140170021759056 140171282823067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32212] ppid=32196 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32212/stat : 32212 (java) S 32196 32196 31465 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 89310893 26730651648 6738 33554432000 4194304 4196468 140729296415216 140170020706928 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32213] ppid=32196 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32213/stat : 32213 (java) S 32196 32196 31465 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 89310893 26730651648 6738 33554432000 4194304 4196468 140729296415216 140170019654128 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32214] ppid=32196 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32214/stat : 32214 (java) S 32196 32196 31465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89310893 26730651648 6738 33554432000 4194304 4196468 140729296415216 140170018601840 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32215] ppid=32196 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/32198/task/32215/stat : 32215 (java) R 32196 32196 31465 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 20 0 89310893 26730651648 6738 33554432000 4194304 4196468 140729296415216 140170017549040 140171261453556 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32216] ppid=32196 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32216/stat : 32216 (java) S 32196 32196 31465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89310893 26730651648 6738 33554432000 4194304 4196468 140729296415216 140169680251232 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32217] ppid=32196 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/32198/task/32217/stat : 32217 (java) S 32196 32196 31465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89310893 26730651648 6738 33554432000 4194304 4196468 140729296415216 140169679198512 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28404 KiB [startup+0.210497 s]* /proc/loadavg: 7.67 8.15 7.37 3/205 32217 /proc/meminfo: memFree=27328248/32770624 swapFree=67108860/67108860 [pid=32196] ppid=32193 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/32196/stat : 32196 (xcsp3-exec) S 32193 32196 31465 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89310887 115843072 363 33554432000 4194304 5098028 140723338112416 140723338110520 140412992979580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29171712 140723338114101 140723338114304 140723338114304 140723338117066 0 /proc/32196/statm: 28282 363 306 221 0 87 0 [pid=32198] ppid=32196 vsize=26104152 memory=39696 CPUtime=0.33 cores=0-7 /proc/32198/stat : 32198 (java) S 32196 32196 31465 0 -1 1077944320 8523 0 0 0 32 1 0 0 20 0 20 0 89310887 26730651648 9924 33554432000 4194304 4196468 140729296415216 140729296397760 140171282804471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 /proc/32198/statm: 6526038 9924 3175 1 0 6488315 0 [pid=32198/tid=32199] ppid=32196 vsize=26104152 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/32198/task/32199/stat : 32199 (java) R 32196 32196 31465 0 -1 4202560 5582 0 0 0 19 1 0 0 20 0 20 0 89310887 26730651648 9924 33554432000 4194304 4196468 140729296415216 140171287041520 140171266884958 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32200] ppid=32196 vsize=26104152 memory=342 CPUtime=0 cores=0-7 /proc/32198/task/32200/stat : 32200 (java) S 32196 32196 31465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89310888 26730651648 9924 33554432000 4194304 4196468 140729296415216 140171235424656 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32201] ppid=32196 vsize=26104152 memory=3905664758419744416 CPUtime=0 cores=0-7 /proc/32198/task/32201/stat : 32201 (java) S 32196 32196 31465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89310888 26730651648 9924 33554432000 4194304 4196468 140729296415216 140171234371856 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32202] ppid=32196 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/32198/task/32202/stat : 32202 (java) S 32196 32196 31465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89310888 26730651648 9924 33554432000 4194304 4196468 140729296415216 140171233319568 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32203] ppid=32196 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32203/stat : 32203 (java) S 32196 32196 31465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89310888 26730651648 9924 33554432000 4194304 4196468 140729296415216 140171232266768 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32204] ppid=32196 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32204/stat : 32204 (java) S 32196 32196 31465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89310888 26730651648 9924 33554432000 4194304 4196468 140729296415216 140171231214480 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32205] ppid=32196 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/32198/task/32205/stat : 32205 (java) S 32196 32196 31465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89310888 26730651648 9924 33554432000 4194304 4196468 140729296415216 140171230161680 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32206] ppid=32196 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32206/stat : 32206 (java) S 32196 32196 31465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89310888 26730651648 9924 33554432000 4194304 4196468 140729296415216 140171229109392 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32207] ppid=32196 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32207/stat : 32207 (java) S 32196 32196 31465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89310888 26730651648 9924 33554432000 4194304 4196468 140729296415216 140171228056592 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32208] ppid=32196 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32208/stat : 32208 (java) S 32196 32196 31465 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89310890 26730651648 9924 33554432000 4194304 4196468 140729296415216 140170024917104 140171282815618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32209] ppid=32196 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32209/stat : 32209 (java) S 32196 32196 31465 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89310890 26730651648 9924 33554432000 4194304 4196468 140729296415216 140170023863072 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32210] ppid=32196 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32210/stat : 32210 (java) S 32196 32196 31465 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89310890 26730651648 9989 33554432000 4194304 4196468 140729296415216 140170022810736 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32211] ppid=32196 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32211/stat : 32211 (java) S 32196 32196 31465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89310893 26730651648 9989 33554432000 4194304 4196468 140729296415216 140170021759056 140171282823067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32212] ppid=32196 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7 /proc/32198/task/32212/stat : 32212 (java) S 32196 32196 31465 0 -1 1077944384 587 0 0 0 2 0 0 0 20 0 20 0 89310893 26730651648 9989 33554432000 4194304 4196468 140729296415216 140170020706928 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32213] ppid=32196 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7 /proc/32198/task/32213/stat : 32213 (java) S 32196 32196 31465 0 -1 1077944384 162 0 0 0 2 0 0 0 20 0 20 0 89310893 26730651648 9989 33554432000 4194304 4196468 140729296415216 140170019654128 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32214] ppid=32196 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7 /proc/32198/task/32214/stat : 32214 (java) S 32196 32196 31465 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 20 0 89310893 26730651648 9989 33554432000 4194304 4196468 140729296415216 140170018601840 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32215] ppid=32196 vsize=26104152 memory=-1 CPUtime=0.08 cores=0-7 /proc/32198/task/32215/stat : 32215 (java) S 32196 32196 31465 0 -1 1077944384 796 0 0 0 8 0 0 0 20 0 20 0 89310893 26730651648 9989 33554432000 4194304 4196468 140729296415216 140170017549040 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32216] ppid=32196 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32216/stat : 32216 (java) S 32196 32196 31465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89310893 26730651648 9989 33554432000 4194304 4196468 140729296415216 140169680251232 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32217] ppid=32196 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/32198/task/32217/stat : 32217 (java) S 32196 32196 31465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89310893 26730651648 9989 33554432000 4194304 4196468 140729296415216 140169679198512 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 41148 KiB [startup+0.310411 s]* /proc/loadavg: 7.67 8.15 7.37 3/205 32217 /proc/meminfo: memFree=27322044/32770624 swapFree=67108860/67108860 [pid=32196] ppid=32193 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/32196/stat : 32196 (xcsp3-exec) S 32193 32196 31465 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89310887 115843072 363 33554432000 4194304 5098028 140723338112416 140723338110520 140412992979580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29171712 140723338114101 140723338114304 140723338114304 140723338117066 0 /proc/32196/statm: 28282 363 306 221 0 87 0 [pid=32198] ppid=32196 vsize=26108408 memory=46744 CPUtime=0.52 cores=0-7 /proc/32198/stat : 32198 (java) S 32196 32196 31465 0 -1 1077944320 9453 0 0 0 50 2 0 0 20 0 20 0 89310887 26735009792 11686 33554432000 4194304 4196468 140729296415216 140729296397760 140171282804471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 /proc/32198/statm: 6527102 11686 3225 1 0 6488315 0 [pid=32198/tid=32199] ppid=32196 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/32198/task/32199/stat : 32199 (java) R 32196 32196 31465 0 -1 4202560 6301 0 0 0 28 1 0 0 20 0 20 0 89310887 26735009792 11751 33554432000 4194304 4196468 140729296415216 140171287035584 140171282826397 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32200] ppid=32196 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32200/stat : 32200 (java) S 32196 32196 31465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89310888 26735009792 11751 33554432000 4194304 4196468 140729296415216 140171235424656 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32201] ppid=32196 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32201/stat : 32201 (java) S 32196 32196 31465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89310888 26735009792 11751 33554432000 4194304 4196468 140729296415216 140171234371856 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32202] ppid=32196 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32202/stat : 32202 (java) S 32196 32196 31465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89310888 26735009792 11751 33554432000 4194304 4196468 140729296415216 140171233319568 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32203] ppid=32196 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32203/stat : 32203 (java) S 32196 32196 31465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89310888 26735009792 11751 33554432000 4194304 4196468 140729296415216 140171232266768 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32204] ppid=32196 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/32198/task/32204/stat : 32204 (java) S 32196 32196 31465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89310888 26735009792 11751 33554432000 4194304 4196468 140729296415216 140171231214480 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32205] ppid=32196 vsize=26108408 memory=139875810636719 CPUtime=0 cores=0-7 /proc/32198/task/32205/stat : 32205 (java) S 32196 32196 31465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 89310888 26735009792 11751 33554432000 4194304 4196468 140729296415216 140171230161680 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32206] ppid=32196 vsize=26108408 memory=139875810639024 CPUtime=0 cores=0-7 /proc/32198/task/32206/stat : 32206 (java) S 32196 32196 31465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89310888 26735009792 11751 33554432000 4194304 4196468 140729296415216 140171229109392 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32207] ppid=32196 vsize=26108408 memory=139875810641328 CPUtime=0 cores=0-7 /proc/32198/task/32207/stat : 32207 (java) S 32196 32196 31465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89310888 26735009792 11751 33554432000 4194304 4196468 140729296415216 140171228056592 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32208] ppid=32196 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32208/stat : 32208 (java) S 32196 32196 31465 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 89310890 26735009792 11751 33554432000 4194304 4196468 140729296415216 140170024917104 140171282815618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32209] ppid=32196 vsize=26108408 memory=279751621289616 CPUtime=0 cores=0-7 /proc/32198/task/32209/stat : 32209 (java) S 32196 32196 31465 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 89310890 26735009792 11751 33554432000 4194304 4196468 140729296415216 140170023863072 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32210] ppid=32196 vsize=26108408 memory=279751621296528 CPUtime=0 cores=0-7 /proc/32198/task/32210/stat : 32210 (java) S 32196 32196 31465 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 89310890 26735009792 11751 33554432000 4194304 4196468 140729296415216 140170022810736 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32211] ppid=32196 vsize=26108408 memory=279751621237808 CPUtime=0 cores=0-7 /proc/32198/task/32211/stat : 32211 (java) S 32196 32196 31465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89310893 26735009792 11751 33554432000 4194304 4196468 140729296415216 140170021759056 140171282823067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32212] ppid=32196 vsize=26108408 memory=279751621310352 CPUtime=0.03 cores=0-7 /proc/32198/task/32212/stat : 32212 (java) S 32196 32196 31465 0 -1 1077944384 594 0 0 0 3 0 0 0 20 0 20 0 89310893 26735009792 11751 33554432000 4194304 4196468 140729296415216 140170020706928 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32213] ppid=32196 vsize=26108408 memory=279751621317264 CPUtime=0.03 cores=0-7 /proc/32198/task/32213/stat : 32213 (java) S 32196 32196 31465 0 -1 1077944384 177 0 0 0 3 0 0 0 20 0 20 0 89310893 26735009792 11751 33554432000 4194304 4196468 140729296415216 140170019654128 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32214] ppid=32196 vsize=26108408 memory=279751621314960 CPUtime=0.02 cores=0-7 /proc/32198/task/32214/stat : 32214 (java) S 32196 32196 31465 0 -1 1077944384 203 0 0 0 2 0 0 0 20 0 20 0 89310893 26735009792 11751 33554432000 4194304 4196468 140729296415216 140170018601840 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32215] ppid=32196 vsize=26108408 memory=279751621331120 CPUtime=0.12 cores=0-7 /proc/32198/task/32215/stat : 32215 (java) S 32196 32196 31465 0 -1 1077944384 866 0 0 0 12 0 0 0 20 0 20 0 89310893 26735009792 11751 33554432000 4194304 4196468 140729296415216 140170017549040 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32216] ppid=32196 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32216/stat : 32216 (java) S 32196 32196 31465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 89310893 26735009792 11751 33554432000 4194304 4196468 140729296415216 140169680251232 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32217] ppid=32196 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/32198/task/32217/stat : 32217 (java) S 32196 32196 31465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 89310893 26735009792 11751 33554432000 4194304 4196468 140729296415216 140169679198512 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 48196 KiB [startup+0.710145 s] /proc/loadavg: 7.67 8.15 7.37 4/205 32217 /proc/meminfo: memFree=27302940/32770624 swapFree=67108860/67108860 [pid=32196] ppid=32193 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/32196/stat : 32196 (xcsp3-exec) S 32193 32196 31465 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89310887 115843072 363 33554432000 4194304 5098028 140723338112416 140723338110520 140412992979580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29171712 140723338114101 140723338114304 140723338114304 140723338117066 0 /proc/32196/statm: 28282 363 306 221 0 87 0 [pid=32198] ppid=32196 vsize=26643044 memory=99128 CPUtime=1.78 cores=0-7 /proc/32198/stat : 32198 (java) S 32196 32196 31465 0 -1 1077944320 13645 0 0 0 173 5 0 0 20 0 28 0 89310887 27282477056 24782 33554432000 4194304 4196468 140729296415216 140729296397760 140171282804471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 /proc/32198/statm: 6660761 24782 3361 1 0 6621955 0 [pid=32198/tid=32199] ppid=32196 vsize=26643044 memory=279751621689008 CPUtime=0.63 cores=0-7 /proc/32198/task/32199/stat : 32199 (java) S 32196 32196 31465 0 -1 1077944384 7184 0 0 0 61 2 0 0 20 0 28 0 89310887 27282477056 24782 33554432000 4194304 4196468 140729296415216 140171287045248 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32200] ppid=32196 vsize=26643044 memory=139875810845552 CPUtime=0 cores=0-7 /proc/32198/task/32200/stat : 32200 (java) S 32196 32196 31465 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 89310888 27282477056 24782 33554432000 4194304 4196468 140729296415216 140171235424656 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32201] ppid=32196 vsize=26643044 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32201/stat : 32201 (java) S 32196 32196 31465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89310888 27282477056 24782 33554432000 4194304 4196468 140729296415216 140171234371856 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32202] ppid=32196 vsize=26643044 memory=1696 CPUtime=0 cores=0-7 /proc/32198/task/32202/stat : 32202 (java) S 32196 32196 31465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89310888 27282477056 24782 33554432000 4194304 4196468 140729296415216 140171233319568 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 ################ # More data... # ################ [pid=32198/tid=32215] ppid=32196 vsize=26646120 memory=0 CPUtime=0.64 cores=0-7 /proc/32198/task/32215/stat : 32215 (java) S 32196 32196 31465 0 -1 1077944384 3323 0 0 0 62 2 0 0 20 0 28 0 89310893 27285626880 52963 33554432000 4194304 4196468 140729296415216 140170017549040 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32216] ppid=32196 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32216/stat : 32216 (java) S 32196 32196 31465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89310893 27285626880 52963 33554432000 4194304 4196468 140729296415216 140169680251232 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32217] ppid=32196 vsize=26646120 memory=209792 CPUtime=0 cores=0-7 /proc/32198/task/32217/stat : 32217 (java) S 32196 32196 31465 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 89310893 27285626880 52963 33554432000 4194304 4196468 140729296415216 140169679198512 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32306] ppid=32196 vsize=26646120 memory=1228 CPUtime=2.32 cores=0-7 /proc/32198/task/32306/stat : 32306 (java) R 32196 32196 31465 0 -1 4202560 101 0 0 0 232 0 0 0 20 0 28 0 89311108 27285626880 52963 33554432000 4194304 4196468 140729296415216 140169664286296 140170910889340 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32307] ppid=32196 vsize=26646120 memory=2432 CPUtime=2.37 cores=0-7 /proc/32198/task/32307/stat : 32307 (java) R 32196 32196 31465 0 -1 4202560 65 0 0 0 237 0 0 0 20 0 28 0 89311109 27285626880 52963 33554432000 4194304 4196468 140729296415216 140169665339808 140170909945265 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32308] ppid=32196 vsize=26646120 memory=1720 CPUtime=2.46 cores=0-7 /proc/32198/task/32308/stat : 32308 (java) R 32196 32196 31465 0 -1 4202560 35 0 0 0 246 0 0 0 20 0 28 0 89311109 27285626880 52963 33554432000 4194304 4196468 140729296415216 140169669551096 140170910713622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32309] ppid=32196 vsize=26646120 memory=303430223234596890 CPUtime=2.36 cores=0-7 /proc/32198/task/32309/stat : 32309 (java) R 32196 32196 31465 0 -1 4202560 160 0 0 0 236 0 0 0 20 0 28 0 89311109 27285626880 52963 33554432000 4194304 4196468 140729296415216 140169666392736 140170910714008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32310] ppid=32196 vsize=26646120 memory=288230596050944315 CPUtime=2.44 cores=0-7 /proc/32198/task/32310/stat : 32310 (java) R 32196 32196 31465 0 -1 4202560 268 0 0 0 244 0 0 0 20 0 28 0 89311109 27285626880 52963 33554432000 4194304 4196468 140729296415216 140169670603840 140170911191611 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32311] ppid=32196 vsize=26646120 memory=14410419259311685 CPUtime=2.44 cores=0-7 /proc/32198/task/32311/stat : 32311 (java) R 32196 32196 31465 0 -1 4202560 87 0 0 0 244 0 0 0 20 0 28 0 89311109 27285626880 52963 33554432000 4194304 4196468 140729296415216 140169662182304 140170910184166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32312] ppid=32196 vsize=26646120 memory=5484 CPUtime=2.4 cores=0-7 /proc/32198/task/32312/stat : 32312 (java) R 32196 32196 31465 0 -1 4202560 394 0 0 0 240 0 0 0 20 0 28 0 89311109 27285626880 52963 33554432000 4194304 4196468 140729296415216 140169668497728 140170911337378 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32313] ppid=32196 vsize=26646120 memory=0 CPUtime=2.33 cores=0-7 /proc/32198/task/32313/stat : 32313 (java) R 32196 32196 31465 0 -1 4202560 98 0 0 0 233 0 0 0 20 0 28 0 89311109 27285626880 52963 33554432000 4194304 4196468 140729296415216 140169663234152 140170910101340 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 Current children cumulated CPU time: 32.66 s Current children cumulated vsize: 26759248 KiB Current children cumulated memory: 213304 KiB [startup+5.00114 s]* /proc/loadavg: 7.14 8.03 7.34 9/213 32313 /proc/meminfo: memFree=27155164/32770624 swapFree=67108860/67108860 [pid=32196] ppid=32193 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/32196/stat : 32196 (xcsp3-exec) S 32193 32196 31465 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89310887 115843072 363 33554432000 4194304 5098028 140723338112416 140723338110520 140412992979580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29171712 140723338114101 140723338114304 140723338114304 140723338117066 0 /proc/32196/statm: 28282 363 306 221 0 87 0 [pid=32198] ppid=32196 vsize=26646120 memory=211876 CPUtime=34.32 cores=0-7 /proc/32198/stat : 32198 (java) S 32196 32196 31465 0 -1 1077944320 25056 0 0 0 3418 14 0 0 20 0 28 0 89310887 27285626880 52969 33554432000 4194304 4196468 140729296415216 140729296397760 140171282804471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 /proc/32198/statm: 6661530 52969 3424 1 0 6622724 0 [pid=32198/tid=32199] ppid=32196 vsize=26646120 memory=6791534058613427641 CPUtime=0.64 cores=0-7 /proc/32198/task/32199/stat : 32199 (java) S 32196 32196 31465 0 -1 1077944384 7188 0 0 0 62 2 0 0 20 0 28 0 89310887 27285626880 52969 33554432000 4194304 4196468 140729296415216 140171287045248 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32200] ppid=32196 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32200/stat : 32200 (java) S 32196 32196 31465 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 89310888 27285626880 52969 33554432000 4194304 4196468 140729296415216 140171235424656 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32201] ppid=32196 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32201/stat : 32201 (java) S 32196 32196 31465 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 89310888 27285626880 52969 33554432000 4194304 4196468 140729296415216 140171234371856 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32202] ppid=32196 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32202/stat : 32202 (java) S 32196 32196 31465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89310888 27285626880 52969 33554432000 4194304 4196468 140729296415216 140171233319568 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32203] ppid=32196 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32203/stat : 32203 (java) S 32196 32196 31465 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 89310888 27285626880 52969 33554432000 4194304 4196468 140729296415216 140171232266768 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32204] ppid=32196 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32204/stat : 32204 (java) S 32196 32196 31465 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 89310888 27285626880 52969 33554432000 4194304 4196468 140729296415216 140171231214480 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32205] ppid=32196 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32205/stat : 32205 (java) S 32196 32196 31465 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 89310888 27285626880 52969 33554432000 4194304 4196468 140729296415216 140171230161680 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32206] ppid=32196 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32206/stat : 32206 (java) S 32196 32196 31465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89310888 27285626880 52969 33554432000 4194304 4196468 140729296415216 140171229109392 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32207] ppid=32196 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32207/stat : 32207 (java) S 32196 32196 31465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89310888 27285626880 52969 33554432000 4194304 4196468 140729296415216 140171228056592 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32208] ppid=32196 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32208/stat : 32208 (java) S 32196 32196 31465 0 -1 1077944384 261 0 0 0 0 0 0 0 20 0 28 0 89310890 27285626880 52969 33554432000 4194304 4196468 140729296415216 140170024917104 140171282815618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32209] ppid=32196 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32209/stat : 32209 (java) S 32196 32196 31465 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 89310890 27285626880 52969 33554432000 4194304 4196468 140729296415216 140170023863072 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32210] ppid=32196 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32210/stat : 32210 (java) S 32196 32196 31465 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 89310890 27285626880 52969 33554432000 4194304 4196468 140729296415216 140170022810736 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32211] ppid=32196 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32211/stat : 32211 (java) S 32196 32196 31465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89310893 27285626880 52969 33554432000 4194304 4196468 140729296415216 140170021759056 140171282823067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32212] ppid=32196 vsize=26646120 memory=0 CPUtime=1.3 cores=0-7 /proc/32198/task/32212/stat : 32212 (java) S 32196 32196 31465 0 -1 1077944384 4494 0 0 0 129 1 0 0 20 0 28 0 89310893 27285626880 52969 33554432000 4194304 4196468 140729296415216 140170020706928 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32213] ppid=32196 vsize=26646120 memory=0 CPUtime=1.35 cores=0-7 /proc/32198/task/32213/stat : 32213 (java) S 32196 32196 31465 0 -1 1077944384 2617 0 0 0 134 1 0 0 20 0 28 0 89310893 27285626880 52969 33554432000 4194304 4196468 140729296415216 140170019654128 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 37 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32214] ppid=32196 vsize=26646120 memory=0 CPUtime=1.37 cores=0-7 /proc/32198/task/32214/stat : 32214 (java) S 32196 32196 31465 0 -1 1077944384 2747 0 0 0 137 0 0 0 20 0 28 0 89310893 27285626880 52969 33554432000 4194304 4196468 140729296415216 140170018601840 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32215] ppid=32196 vsize=26646120 memory=0 CPUtime=0.65 cores=0-7 /proc/32198/task/32215/stat : 32215 (java) S 32196 32196 31465 0 -1 1077944384 3341 0 0 0 63 2 0 0 20 0 28 0 89310893 27285626880 52969 33554432000 4194304 4196468 140729296415216 140170017549040 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32216] ppid=32196 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32216/stat : 32216 (java) S 32196 32196 31465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89310893 27285626880 52969 33554432000 4194304 4196468 140729296415216 140169680251232 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32217] ppid=32196 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32217/stat : 32217 (java) S 32196 32196 31465 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 89310893 27285626880 52969 33554432000 4194304 4196468 140729296415216 140169679198512 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32306] ppid=32196 vsize=26646120 memory=0 CPUtime=2.51 cores=0-7 /proc/32198/task/32306/stat : 32306 (java) R 32196 32196 31465 0 -1 4202560 102 0 0 0 251 0 0 0 20 0 28 0 89311108 27285626880 52969 33554432000 4194304 4196468 140729296415216 140169664286296 140171264210770 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32307] ppid=32196 vsize=26646120 memory=0 CPUtime=2.58 cores=0-7 /proc/32198/task/32307/stat : 32307 (java) R 32196 32196 31465 0 -1 4202560 65 0 0 0 258 0 0 0 20 0 28 0 89311109 27285626880 52969 33554432000 4194304 4196468 140729296415216 140169665339944 140170911130757 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32308] ppid=32196 vsize=26646120 memory=0 CPUtime=2.67 cores=0-7 /proc/32198/task/32308/stat : 32308 (java) R 32196 32196 31465 0 -1 4202560 35 0 0 0 267 0 0 0 20 0 28 0 89311109 27285626880 52969 33554432000 4194304 4196468 140729296415216 140169669551096 140170911131230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32309] ppid=32196 vsize=26646120 memory=0 CPUtime=2.57 cores=0-7 /proc/32198/task/32309/stat : 32309 (java) R 32196 32196 31465 0 -1 4202560 160 0 0 0 257 0 0 0 20 0 28 0 89311109 27285626880 52969 33554432000 4194304 4196468 140729296415216 140169666394712 140170910713217 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32310] ppid=32196 vsize=26646120 memory=0 CPUtime=2.64 cores=0-7 /proc/32198/task/32310/stat : 32310 (java) R 32196 32196 31465 0 -1 4202560 275 0 0 0 264 0 0 0 20 0 28 0 89311109 27285626880 52969 33554432000 4194304 4196468 140729296415216 140169670603976 140170910888376 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32311] ppid=32196 vsize=26646120 memory=0 CPUtime=2.65 cores=0-7 /proc/32198/task/32311/stat : 32311 (java) R 32196 32196 31465 0 -1 4202560 87 0 0 0 265 0 0 0 20 0 28 0 89311109 27285626880 52969 33554432000 4194304 4196468 140729296415216 140169662182440 140170911099586 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32312] ppid=32196 vsize=26646120 memory=0 CPUtime=2.61 cores=0-7 /proc/32198/task/32312/stat : 32312 (java) R 32196 32196 31465 0 -1 4202560 398 0 0 0 261 0 0 0 20 0 28 0 89311109 27285626880 52969 33554432000 4194304 4196468 140729296415216 140169668499480 140170909945471 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32313] ppid=32196 vsize=26646120 memory=0 CPUtime=2.53 cores=0-7 /proc/32198/task/32313/stat : 32313 (java) R 32196 32196 31465 0 -1 4202560 98 0 0 0 253 0 0 0 20 0 28 0 89311109 27285626880 52969 33554432000 4194304 4196468 140729296415216 140169663234152 140170911336922 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 Current children cumulated CPU time: 34.32 s Current children cumulated vsize: 26759248 KiB Current children cumulated memory: 213328 KiB [startup+5.11115 s] /proc/loadavg: 7.14 8.03 7.34 9/213 32313 /proc/meminfo: memFree=27155164/32770624 swapFree=67108860/67108860 [pid=32196] ppid=32193 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/32196/stat : 32196 (xcsp3-exec) S 32193 32196 31465 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 89310887 115843072 363 33554432000 4194304 5098028 140723338112416 140723338110520 140412992979580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29171712 140723338114101 140723338114304 140723338114304 140723338117066 0 /proc/32196/statm: 28282 363 306 221 0 87 0 [pid=32198] ppid=32196 vsize=26646120 memory=211876 CPUtime=35.12 cores=0-7 /proc/32198/stat : 32198 (java) S 32196 32196 31465 0 -1 1077944320 25060 0 0 0 3498 14 0 0 20 0 28 0 89310887 27285626880 52969 33554432000 4194304 4196468 140729296415216 140729296397760 140171282804471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 /proc/32198/statm: 6661530 52969 3424 1 0 6622724 0 [pid=32198/tid=32199] ppid=32196 vsize=26646120 memory=0 CPUtime=0.64 cores=0-7 /proc/32198/task/32199/stat : 32199 (java) S 32196 32196 31465 0 -1 1077944384 7188 0 0 0 62 2 0 0 20 0 28 0 89310887 27285626880 52969 33554432000 4194304 4196468 140729296415216 140171287045248 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32200] ppid=32196 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32200/stat : 32200 (java) S 32196 32196 31465 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 89310888 27285626880 52969 33554432000 4194304 4196468 140729296415216 140171235424656 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32201] ppid=32196 vsize=26646120 memory=211852 CPUtime=0 cores=0-7 /proc/32198/task/32201/stat : 32201 (java) S 32196 32196 31465 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 89310888 27285626880 52969 33554432000 4194304 4196468 140729296415216 140171234371856 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32202] ppid=32196 vsize=26646120 memory=279751621154752 CPUtime=0 cores=0-7 /proc/32198/task/32202/stat : 32202 (java) S 32196 32196 31465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89310888 27285626880 52969 33554432000 4194304 4196468 140729296415216 140171233319568 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32203] ppid=32196 vsize=26646120 memory=279751621126184 CPUtime=0 cores=0-7 /proc/32198/task/32203/stat : 32203 (java) S 32196 32196 31465 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 89310888 27285626880 52969 33554432000 4194304 4196468 140729296415216 140171232266768 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32204] ppid=32196 vsize=26646120 memory=279751621086480 CPUtime=0 cores=0-7 /proc/32198/task/32204/stat : 32204 (java) S 32196 32196 31465 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 89310888 27285626880 52969 33554432000 4194304 4196468 140729296415216 140171231214480 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32205] ppid=32196 vsize=26646120 memory=1452 CPUtime=0 cores=0-7 /proc/32198/task/32205/stat : 32205 (java) S 32196 32196 31465 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 89310888 27285626880 52969 33554432000 4194304 4196468 140729296415216 140171230161680 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32206] ppid=32196 vsize=26646120 memory=56 CPUtime=0 cores=0-7 /proc/32198/task/32206/stat : 32206 (java) S 32196 32196 31465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89310888 27285626880 52969 33554432000 4194304 4196468 140729296415216 140171229109392 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32207] ppid=32196 vsize=26646120 memory=-7737605734073691286 CPUtime=0 cores=0-7 /proc/32198/task/32207/stat : 32207 (java) S 32196 32196 31465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89310888 27285626880 52969 33554432000 4194304 4196468 140729296415216 140171228056592 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32208] ppid=32196 vsize=26646120 memory=-7737605734073691286 CPUtime=0 cores=0-7 /proc/32198/task/32208/stat : 32208 (java) S 32196 32196 31465 0 -1 1077944384 261 0 0 0 0 0 0 0 20 0 28 0 89310890 27285626880 52969 33554432000 4194304 4196468 140729296415216 140170024917104 140171282815618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32209] ppid=32196 vsize=26646120 memory=6944613755328037012 CPUtime=0 cores=0-7 /proc/32198/task/32209/stat : 32209 (java) S 32196 32196 31465 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 89310890 27285626880 52969 33554432000 4194304 4196468 140729296415216 140170023863072 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32210] ppid=32196 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32210/stat : 32210 (java) S 32196 32196 31465 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 89310890 27285626880 52969 33554432000 4194304 4196468 140729296415216 140170022810736 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32211] ppid=32196 vsize=26646120 memory=0 CPUtime=0 cores=0-7 /proc/32198/task/32211/stat : 32211 (java) S 32196 32196 31465 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 89310893 27285626880 52969 33554432000 4194304 4196468 140729296415216 140170021759056 140171282823067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32212] ppid=32196 vsize=26646120 memory=0 CPUtime=1.3 cores=0-7 /proc/32198/task/32212/stat : 32212 (java) S 32196 32196 31465 0 -1 1077944384 4494 0 0 0 129 1 0 0 20 0 28 0 89310893 27285626880 52969 33554432000 4194304 4196468 140729296415216 140170020706928 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32213] ppid=32196 vsize=26646120 memory=0 CPUtime=1.35 cores=0-7 /proc/32198/task/32213/stat : 32213 (java) S 32196 32196 31465 0 -1 1077944384 2617 0 0 0 134 1 0 0 20 0 28 0 89310893 27285626880 52969 33554432000 4194304 4196468 140729296415216 140170019654128 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 37 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32214] ppid=32196 vsize=26646120 memory=0 CPUtime=1.37 cores=0-7 /proc/32198/task/32214/stat : 32214 (java) S 32196 32196 31465 0 -1 1077944384 2747 0 0 0 137 0 0 0 20 0 28 0 89310893 27285626880 52969 33554432000 4194304 4196468 140729296415216 140170018601840 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32215] ppid=32196 vsize=26646120 memory=56 CPUtime=0.65 cores=0-7 /proc/32198/task/32215/stat : 32215 (java) S 32196 32196 31465 0 -1 1077944384 3341 0 0 0 63 2 0 0 20 0 28 0 89310893 27285626880 52969 33554432000 4194304 4196468 140729296415216 140170017549040 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32216] ppid=32196 vsize=26646120 memory=14869 CPUtime=0 cores=0-7 /proc/32198/task/32216/stat : 32216 (java) S 32196 32196 31465 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 89310893 27285626880 52969 33554432000 4194304 4196468 140729296415216 140169680251232 140171282814677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32217] ppid=32196 vsize=26646120 memory=22638 CPUtime=0 cores=0-7 /proc/32198/task/32217/stat : 32217 (java) S 32196 32196 31465 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 89310893 27285626880 52969 33554432000 4194304 4196468 140729296415216 140169679198512 140171282815618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32306] ppid=32196 vsize=26646120 memory=0 CPUtime=2.61 cores=0-7 /proc/32198/task/32306/stat : 32306 (java) R 32196 32196 31465 0 -1 4202560 102 0 0 0 261 0 0 0 20 0 28 0 89311108 27285626880 52969 33554432000 4194304 4196468 140729296415216 140169664286296 140170911130996 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32307] ppid=32196 vsize=26646120 memory=0 CPUtime=2.68 cores=0-7 /proc/32198/task/32307/stat : 32307 (java) R 32196 32196 31465 0 -1 4202560 65 0 0 0 268 0 0 0 20 0 28 0 89311109 27285626880 52969 33554432000 4194304 4196468 140729296415216 140169665339944 140170911336926 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32308] ppid=32196 vsize=26646120 memory=1452 CPUtime=2.77 cores=0-7 /proc/32198/task/32308/stat : 32308 (java) R 32196 32196 31465 0 -1 4202560 35 0 0 0 277 0 0 0 20 0 28 0 89311109 27285626880 52969 33554432000 4194304 4196468 140729296415216 140169669551096 140170911693344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32309] ppid=32196 vsize=26646120 memory=205160 CPUtime=2.67 cores=0-7 /proc/32198/task/32309/stat : 32309 (java) R 32196 32196 31465 0 -1 4202560 164 0 0 0 267 0 0 0 20 0 28 0 89311109 27285626880 52969 33554432000 4194304 4196468 140729296415216 140169666394712 140170911131370 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32310] ppid=32196 vsize=26646120 memory=0 CPUtime=2.75 cores=0-7 /proc/32198/task/32310/stat : 32310 (java) R 32196 32196 31465 0 -1 4202560 275 0 0 0 275 0 0 0 20 0 28 0 89311109 27285626880 52969 33554432000 4194304 4196468 140729296415216 140169670603976 140170909945517 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32311] ppid=32196 vsize=26646120 memory=0 CPUtime=2.75 cores=0-7 /proc/32198/task/32311/stat : 32311 (java) R 32196 32196 31465 0 -1 4202560 87 0 0 0 275 0 0 0 20 0 28 0 89311109 27285626880 52969 33554432000 4194304 4196468 140729296415216 140169662182440 140170911100515 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32312] ppid=32196 vsize=26646120 memory=0 CPUtime=2.71 cores=0-7 /proc/32198/task/32312/stat : 32312 (java) R 32196 32196 31465 0 -1 4202560 398 0 0 0 271 0 0 0 20 0 28 0 89311109 27285626880 52969 33554432000 4194304 4196468 140729296415216 140169668499480 140170910183929 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 [pid=32198/tid=32313] ppid=32196 vsize=26646120 memory=0 CPUtime=2.63 cores=0-7 /proc/32198/task/32313/stat : 32313 (java) R 32196 32196 31465 0 -1 4202560 98 0 0 0 263 0 0 0 20 0 28 0 89311109 27285626880 52969 33554432000 4194304 4196468 140729296415216 140169663234152 140170911130996 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39792640 140729296417921 140729296418093 140729296418093 140729296420815 0 Current children cumulated CPU time: 35.12 s Current children cumulated vsize: 26759248 KiB Current children cumulated memory: 213328 KiB Child status: 0 Real time (s): 5.19016 CPU time (s): 35.6857 CPU user time (s): 35.5313 CPU system time (s): 0.154405 CPU usage (%): 687.565 Max. virtual memory (cumulated for all children) (KiB): 26759248 Max. memory (cumulated for all children) (KiB): 213328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 35.5313 system time used= 0.154405 maximum resident set size= 212056 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26342 page faults= 0 swaps= 0 block input operations= 0 block output operations= 152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4696 involuntary context switches= 875 # summary of solver processes directly reported to runsolver: # pid: 32196 # total CPU time (s): 35.6857 # total CPU user time (s): 35.5313 # total CPU system time (s): 0.154405 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.060351 second user time and 0.105011 second system time The end
Begin job on node135 at 2018-07-27 20:51:17 IDJOB=4297449 IDBENCH=141371 IDSOLVER=2760 FILE ID=node135/4297449-1532717477 RUNJOBID= node135-1532713069-31492 PBS_JOBID= 21022319 Free space on /tmp= 48368 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/GolombRuler/GolombRuler-a3v18-10_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297449-1532717477/watcher-4297449-1532717477 -o /tmp/evaluation-result-4297449-1532717477/solver-4297449-1532717477 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1532713069-31492 --watchdog 2580 HOME/xcsp3-exec -seed 1336527528 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297449-1532717477.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= fd7701f01011f2453d3fac3f444f25b8 RANDOM SEED=1336527528 node135.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.50 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.50 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.50 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.50 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: 27357016 kB MemAvailable: 31931784 kB Buffers: 166200 kB Cached: 4642140 kB SwapCached: 0 kB Active: 1643448 kB Inactive: 3218488 kB Active(anon): 4720 kB Inactive(anon): 76960 kB Active(file): 1638728 kB Inactive(file): 3141528 kB Unevictable: 7212 kB Mlocked: 7212 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 21948 kB Writeback: 0 kB AnonPages: 60820 kB Mapped: 41684 kB Shmem: 25248 kB Slab: 248268 kB SReclaimable: 220696 kB SUnreclaim: 27572 kB KernelStack: 3232 kB PageTables: 4648 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324068 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 93568 kB DirectMap2M: 33452032 kB Free space on /tmp at the end= 48344 MiB End job on node135 at 2018-07-27 20:51:22