Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 171 | 8.77595 | 2.12867 |
Name | Tpp/Tpp-zinc-s1/ Tpp-3-5-30-1.xml |
MD5SUM | e91753cc37d5672b16b54feba0c5cd89 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 171 |
Best CPU time to get the best result obtained on this benchmark | 0.21607 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 90 |
Number of constraints | 497 |
Number of domains | 47 |
Minimum domain size | 2 |
Maximum domain size | 15 |
Distribution of domain sizes | [{"size":2,"count":1},{"size":3,"count":3},{"size":4,"count":8},{"size":5,"count":4},{"size":8,"count":2},{"size":9,"count":5},{"size":10,"count":9},{"size":11,"count":11},{"size":12,"count":2},{"size":14,"count":30},{"size":15,"count":15}] |
Minimum variable degree | 2 |
Maximum variable degree | 33 |
Distribution of variable degrees | [{"degree":2,"count":45},{"degree":16,"count":30},{"degree":32,"count":14},{"degree":33,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 15 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":495},{"arity":15,"count":1}] |
Number of extensional constraints | 45 |
Number of intensional constraints | 451 |
Distribution of constraint types | [{"type":"extension","count":45},{"type":"intension","count":451},{"type":"circuit","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393881-1568427432.xml" -tl '20160s' -p 8 0.11/0.19 c Choco e747e1e 0.11/0.20 c [HOME/instance-4393881-1568427432.xml, -tl, 20160s, -p, 8] 0.33/0.24 c 8 solvers in parallel 0.33/0.31 c parse instance... 5.58/1.66 c solve instance... 6.75/1.85 o 487 6.75/1.88 o 219 7.43/1.90 o 218 7.43/1.90 o 210 7.43/1.91 o 203 7.43/1.93 o 202 7.43/1.94 o 201 7.43/1.96 o 185 7.43/1.97 o 180 7.43/2.01 o 171 8.03/2.10 s OPTIMUM FOUND 8.03/2.10 v <instantiation> 8.03/2.10 v <list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] l[0] l[1] l[2] l[3] l[4] l[5] l[6] l[7] l[8] l[9] l[10] l[11] l[12] l[13] l[14] l[15] l[16] l[17] l[18] l[19] l[20] l[21] l[22] l[23] l[24] l[25] l[26] l[27] l[28] l[29] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] </list> 8.03/2.10 v <values>0 4 1 3 7 2 6 10 5 9 13 8 12 14 11 0 14 5 0 18 3 0 11 15 0 1 4 0 1 18 1 8 5 7 1 11 8 2 1 13 5 2 11 2 8 8 4 4 7 1 13 13 1 1 4 5 11 4 13 7 3 4 2 3 2 2 2 1 2 4 3 7 10 6 4 2 1 1 1 1 1 1 2 2 3 1 5 1 2 2 </values> 8.03/2.10 v </instantiation>
OK 171
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: 16375 MiB (13558 MiB free) memory of node 1: 16384 MiB (15573 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393881-1568427432/watcher-4393881-1568427432 -o /tmp/evaluation-result-4393881-1568427432/solver-4393881-1568427432 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568427322-28555 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2047191950 HOME/instance-4393881-1568427432.xml running on 8 cores: 0-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=30312, runsolver pid=30309 [startup+0.100124 s]* /proc/loadavg: 6.54 6.93 7.02 3/211 30333 /proc/meminfo: memFree=29813056/32770688 swapFree=66961108/67108860 [pid=30312] ppid=30309 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30312/stat : 30312 (xcsp3-exec) S 30309 30312 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418684898 115843072 363 33554432000 4194304 5098028 140736629063552 140736629061656 140718775579260 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36659200 140736629068661 140736629068905 140736629068905 140736629071818 0 /proc/30312/statm: 28282 363 304 221 0 87 0 [pid=30314] ppid=30312 vsize=28227388 memory=30048 CPUtime=0.11 cores=0-7 /proc/30314/stat : 30314 (java) S 30312 30312 28528 0 -1 1077944320 5469 0 0 0 10 1 0 0 20 0 20 0 418684898 28904845312 7512 33554432000 4194304 4196468 140729356599616 140729356582160 139997369556727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 /proc/30314/statm: 7056847 7512 3119 1 0 7019032 0 [pid=30314/tid=30315] ppid=30312 vsize=28227388 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/30314/task/30315/stat : 30315 (java) R 30312 30312 28528 0 -1 4202560 3374 0 0 0 8 1 0 0 20 0 20 0 418684898 28904845312 7512 33554432000 4194304 4196468 140729356599616 139997373784608 139996958953736 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30316] ppid=30312 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/30314/task/30316/stat : 30316 (java) S 30312 30312 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418684899 28904845312 7512 33554432000 4194304 4196468 140729356599616 139997289409424 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30317] ppid=30312 vsize=28227388 memory=140300899149440 CPUtime=0 cores=0-7 /proc/30314/task/30317/stat : 30317 (java) S 30312 30312 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418684899 28904845312 7512 33554432000 4194304 4196468 140729356599616 139997288356624 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30318] ppid=30312 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30318/stat : 30318 (java) S 30312 30312 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418684899 28904845312 7512 33554432000 4194304 4196468 140729356599616 139997287304336 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30319] ppid=30312 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30319/stat : 30319 (java) S 30312 30312 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418684899 28904845312 7512 33554432000 4194304 4196468 140729356599616 139997286251536 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30320] ppid=30312 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30320/stat : 30320 (java) S 30312 30312 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418684899 28904845312 7512 33554432000 4194304 4196468 140729356599616 139997285198224 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30321] ppid=30312 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/30314/task/30321/stat : 30321 (java) S 30312 30312 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418684899 28904845312 7512 33554432000 4194304 4196468 140729356599616 139997284145424 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30322] ppid=30312 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30322/stat : 30322 (java) S 30312 30312 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418684899 28904845312 7512 33554432000 4194304 4196468 140729356599616 139997283093136 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30323] ppid=30312 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30323/stat : 30323 (java) S 30312 30312 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418684899 28904845312 7512 33554432000 4194304 4196468 140729356599616 139997282040336 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30324] ppid=30312 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30324/stat : 30324 (java) S 30312 30312 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418684901 28904845312 7512 33554432000 4194304 4196468 140729356599616 139995699370608 139997369567874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30325] ppid=30312 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30325/stat : 30325 (java) S 30312 30312 28528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418684901 28904845312 7512 33554432000 4194304 4196468 140729356599616 139995698316576 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30326] ppid=30312 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30326/stat : 30326 (java) S 30312 30312 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418684902 28904845312 7512 33554432000 4194304 4196468 140729356599616 139995697264240 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30327] ppid=30312 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30327/stat : 30327 (java) S 30312 30312 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418684904 28904845312 7512 33554432000 4194304 4196468 140729356599616 139995696212560 139997369575323 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30328] ppid=30312 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30328/stat : 30328 (java) R 30312 30312 28528 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 418684904 28904845312 7512 33554432000 4194304 4196468 140729356599616 139995695159408 139997369567874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30329] ppid=30312 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30329/stat : 30329 (java) S 30312 30312 28528 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 418684904 28904845312 7512 33554432000 4194304 4196468 140729356599616 139995694106608 139997369567874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30330] ppid=30312 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30330/stat : 30330 (java) S 30312 30312 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418684904 28904845312 7512 33554432000 4194304 4196468 140729356599616 139995693054320 139997369567874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30331] ppid=30312 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/30314/task/30331/stat : 30331 (java) R 30312 30312 28528 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 20 0 418684904 28904845312 7512 33554432000 4194304 4196468 140729356599616 139995692001520 139997369567874 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30332] ppid=30312 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30332/stat : 30332 (java) S 30312 30312 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418684905 28904845312 7512 33554432000 4194304 4196468 140729356599616 139995690949472 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30333] ppid=30312 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/30314/task/30333/stat : 30333 (java) S 30312 30312 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418684905 28904845312 7512 33554432000 4194304 4196468 140729356599616 139995689896752 139997369567874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31500 KiB [startup+0.211106 s]* /proc/loadavg: 6.54 6.93 7.02 3/211 30333 /proc/meminfo: memFree=29801168/32770688 swapFree=66961108/67108860 [pid=30312] ppid=30309 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30312/stat : 30312 (xcsp3-exec) S 30309 30312 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418684898 115843072 363 33554432000 4194304 5098028 140736629063552 140736629061656 140718775579260 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36659200 140736629068661 140736629068905 140736629068905 140736629071818 0 /proc/30312/statm: 28282 363 304 221 0 87 0 [pid=30314] ppid=30312 vsize=28227388 memory=40640 CPUtime=0.33 cores=0-7 /proc/30314/stat : 30314 (java) S 30312 30312 28528 0 -1 1077944320 8833 0 0 0 30 3 0 0 20 0 20 0 418684898 28904845312 10160 33554432000 4194304 4196468 140729356599616 140729356582160 139997369556727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 /proc/30314/statm: 7056847 10160 3305 1 0 7019032 0 [pid=30314/tid=30315] ppid=30312 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/30314/task/30315/stat : 30315 (java) R 30312 30312 28528 0 -1 4202560 6136 0 0 0 17 2 0 0 20 0 20 0 418684898 28904845312 10160 33554432000 4194304 4196468 140729356599616 139997373790688 139997369568662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30316] ppid=30312 vsize=28227388 memory=342 CPUtime=0 cores=0-7 /proc/30314/task/30316/stat : 30316 (java) S 30312 30312 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418684899 28904845312 10160 33554432000 4194304 4196468 140729356599616 139997289409424 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30317] ppid=30312 vsize=28227388 memory=3905383734178047648 CPUtime=0 cores=0-7 /proc/30314/task/30317/stat : 30317 (java) S 30312 30312 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418684899 28904845312 10160 33554432000 4194304 4196468 140729356599616 139997288356624 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30318] ppid=30312 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/30314/task/30318/stat : 30318 (java) S 30312 30312 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418684899 28904845312 10160 33554432000 4194304 4196468 140729356599616 139997287304336 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30319] ppid=30312 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30319/stat : 30319 (java) S 30312 30312 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418684899 28904845312 10160 33554432000 4194304 4196468 140729356599616 139997286251536 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30320] ppid=30312 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30320/stat : 30320 (java) S 30312 30312 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418684899 28904845312 10160 33554432000 4194304 4196468 140729356599616 139997285198224 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30321] ppid=30312 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/30314/task/30321/stat : 30321 (java) S 30312 30312 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418684899 28904845312 10160 33554432000 4194304 4196468 140729356599616 139997284145424 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30322] ppid=30312 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30322/stat : 30322 (java) S 30312 30312 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418684899 28904845312 10160 33554432000 4194304 4196468 140729356599616 139997283093136 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30323] ppid=30312 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30323/stat : 30323 (java) S 30312 30312 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418684899 28904845312 10160 33554432000 4194304 4196468 140729356599616 139997282040336 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30324] ppid=30312 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30324/stat : 30324 (java) S 30312 30312 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418684901 28904845312 10160 33554432000 4194304 4196468 140729356599616 139995699370608 139997369567874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30325] ppid=30312 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30325/stat : 30325 (java) S 30312 30312 28528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418684901 28904845312 10160 33554432000 4194304 4196468 140729356599616 139995698316576 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30326] ppid=30312 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30326/stat : 30326 (java) S 30312 30312 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418684902 28904845312 10160 33554432000 4194304 4196468 140729356599616 139995697264240 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30327] ppid=30312 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30327/stat : 30327 (java) S 30312 30312 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418684904 28904845312 10160 33554432000 4194304 4196468 140729356599616 139995696212560 139997369575323 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30328] ppid=30312 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/30314/task/30328/stat : 30328 (java) R 30312 30312 28528 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 20 0 418684904 28904845312 10160 33554432000 4194304 4196468 140729356599616 139995695159408 139997369567874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30329] ppid=30312 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/30314/task/30329/stat : 30329 (java) R 30312 30312 28528 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 20 0 418684904 28904845312 10160 33554432000 4194304 4196468 140729356599616 139995694106608 139997369567874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30330] ppid=30312 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/30314/task/30330/stat : 30330 (java) R 30312 30312 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418684904 28904845312 10160 33554432000 4194304 4196468 140729356599616 139995693054320 139997369567874 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30331] ppid=30312 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/30314/task/30331/stat : 30331 (java) R 30312 30312 28528 0 -1 4202560 766 0 0 0 7 0 0 0 20 0 20 0 418684904 28904845312 10160 33554432000 4194304 4196468 140729356599616 139995692001520 139997348541690 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30332] ppid=30312 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30332/stat : 30332 (java) S 30312 30312 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418684905 28904845312 10160 33554432000 4194304 4196468 140729356599616 139995690949472 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30333] ppid=30312 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/30314/task/30333/stat : 30333 (java) S 30312 30312 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418684905 28904845312 10160 33554432000 4194304 4196468 140729356599616 139995689896752 139997369567874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42092 KiB [startup+0.310739 s]* /proc/loadavg: 6.54 6.93 7.02 2/211 30333 /proc/meminfo: memFree=29796204/32770688 swapFree=66961108/67108860 [pid=30312] ppid=30309 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30312/stat : 30312 (xcsp3-exec) S 30309 30312 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418684898 115843072 363 33554432000 4194304 5098028 140736629063552 140736629061656 140718775579260 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36659200 140736629068661 140736629068905 140736629068905 140736629071818 0 /proc/30312/statm: 28282 363 304 221 0 87 0 [pid=30314] ppid=30312 vsize=28231644 memory=46412 CPUtime=0.52 cores=0-7 /proc/30314/stat : 30314 (java) S 30312 30312 28528 0 -1 1077944320 9978 0 0 0 48 4 0 0 20 0 20 0 418684898 28909203456 11603 33554432000 4194304 4196468 140729356599616 140729356582160 139997369556727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 /proc/30314/statm: 7057911 11603 3330 1 0 7019032 0 [pid=30314/tid=30315] ppid=30312 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/30314/task/30315/stat : 30315 (java) R 30312 30312 28528 0 -1 4202560 7071 0 0 0 26 3 0 0 20 0 20 0 418684898 28909203456 11603 33554432000 4194304 4196468 140729356599616 139997373778240 139997369578653 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30316] ppid=30312 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30316/stat : 30316 (java) S 30312 30312 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418684899 28909203456 11603 33554432000 4194304 4196468 140729356599616 139997289409424 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30317] ppid=30312 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30317/stat : 30317 (java) S 30312 30312 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418684899 28909203456 11603 33554432000 4194304 4196468 140729356599616 139997288356624 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30318] ppid=30312 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30318/stat : 30318 (java) S 30312 30312 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418684899 28909203456 11603 33554432000 4194304 4196468 140729356599616 139997287304336 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30319] ppid=30312 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30319/stat : 30319 (java) S 30312 30312 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418684899 28909203456 11603 33554432000 4194304 4196468 140729356599616 139997286251536 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30320] ppid=30312 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/30314/task/30320/stat : 30320 (java) S 30312 30312 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418684899 28909203456 11603 33554432000 4194304 4196468 140729356599616 139997285198224 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30321] ppid=30312 vsize=28231644 memory=140300743963567 CPUtime=0 cores=0-7 /proc/30314/task/30321/stat : 30321 (java) S 30312 30312 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418684899 28909203456 11603 33554432000 4194304 4196468 140729356599616 139997284145424 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30322] ppid=30312 vsize=28231644 memory=140300743965872 CPUtime=0 cores=0-7 /proc/30314/task/30322/stat : 30322 (java) S 30312 30312 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418684899 28909203456 11603 33554432000 4194304 4196468 140729356599616 139997283093136 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30323] ppid=30312 vsize=28231644 memory=140300743968176 CPUtime=0 cores=0-7 /proc/30314/task/30323/stat : 30323 (java) S 30312 30312 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418684899 28909203456 11603 33554432000 4194304 4196468 140729356599616 139997282040336 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30324] ppid=30312 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30324/stat : 30324 (java) S 30312 30312 28528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418684901 28909203456 11603 33554432000 4194304 4196468 140729356599616 139995699370608 139997369567874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30325] ppid=30312 vsize=28231644 memory=280601487943312 CPUtime=0 cores=0-7 /proc/30314/task/30325/stat : 30325 (java) S 30312 30312 28528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418684901 28909203456 11603 33554432000 4194304 4196468 140729356599616 139995698316576 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30326] ppid=30312 vsize=28231644 memory=280601487950224 CPUtime=0 cores=0-7 /proc/30314/task/30326/stat : 30326 (java) S 30312 30312 28528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418684902 28909203456 11603 33554432000 4194304 4196468 140729356599616 139995697264240 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30327] ppid=30312 vsize=28231644 memory=280601487891472 CPUtime=0 cores=0-7 /proc/30314/task/30327/stat : 30327 (java) S 30312 30312 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418684904 28909203456 11603 33554432000 4194304 4196468 140729356599616 139995696212560 139997369575323 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30328] ppid=30312 vsize=28231644 memory=280601487964048 CPUtime=0.02 cores=0-7 /proc/30314/task/30328/stat : 30328 (java) S 30312 30312 28528 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 20 0 418684904 28909203456 11603 33554432000 4194304 4196468 140729356599616 139995695159408 139997369567874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30329] ppid=30312 vsize=28231644 memory=280601487970960 CPUtime=0.04 cores=0-7 /proc/30314/task/30329/stat : 30329 (java) S 30312 30312 28528 0 -1 1077944384 245 0 0 0 4 0 0 0 20 0 20 0 418684904 28909203456 11603 33554432000 4194304 4196468 140729356599616 139995694106608 139997369567874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30330] ppid=30312 vsize=28231644 memory=280601487968656 CPUtime=0.01 cores=0-7 /proc/30314/task/30330/stat : 30330 (java) S 30312 30312 28528 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 20 0 418684904 28909203456 11603 33554432000 4194304 4196468 140729356599616 139995693054320 139997369567874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30331] ppid=30312 vsize=28231644 memory=280601487984816 CPUtime=0.12 cores=0-7 /proc/30314/task/30331/stat : 30331 (java) S 30312 30312 28528 0 -1 1077944384 892 0 0 0 12 0 0 0 20 0 20 0 418684904 28909203456 11603 33554432000 4194304 4196468 140729356599616 139995692001520 139997369567874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30332] ppid=30312 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30332/stat : 30332 (java) S 30312 30312 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418684905 28909203456 11603 33554432000 4194304 4196468 140729356599616 139995690949472 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30333] ppid=30312 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/30314/task/30333/stat : 30333 (java) S 30312 30312 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418684905 28909203456 11603 33554432000 4194304 4196468 140729356599616 139995689896752 139997369567874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 47864 KiB [startup+0.700978 s] /proc/loadavg: 6.54 6.93 7.02 7/211 30333 /proc/meminfo: memFree=29784096/32770688 swapFree=66961108/67108860 [pid=30312] ppid=30309 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30312/stat : 30312 (xcsp3-exec) S 30309 30312 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418684898 115843072 363 33554432000 4194304 5098028 140736629063552 140736629061656 140718775579260 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36659200 140736629068661 140736629068905 140736629068905 140736629071818 0 /proc/30312/statm: 28282 363 304 221 0 87 0 [pid=30314] ppid=30312 vsize=28233768 memory=79156 CPUtime=1.7 cores=0-7 /proc/30314/stat : 30314 (java) S 30312 30312 28528 0 -1 1077944320 13974 0 0 0 163 7 0 0 20 0 20 0 418684898 28911378432 19789 33554432000 4194304 4196468 140729356599616 140729356582160 139997369556727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 /proc/30314/statm: 7058442 19789 3452 1 0 7019544 0 [pid=30314/tid=30315] ppid=30312 vsize=28233768 memory=280601488342704 CPUtime=0.67 cores=0-7 /proc/30314/task/30315/stat : 30315 (java) R 30312 30312 28528 0 -1 4202560 8142 0 0 0 63 4 0 0 20 0 20 0 418684898 28911378432 19789 33554432000 4194304 4196468 140729356599616 139997373794096 139997352544327 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30316] ppid=30312 vsize=28233768 memory=140300744172400 CPUtime=0 cores=0-7 /proc/30314/task/30316/stat : 30316 (java) S 30312 30312 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418684899 28911378432 19789 33554432000 4194304 4196468 140729356599616 139997289409424 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30317] ppid=30312 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30317/stat : 30317 (java) S 30312 30312 28528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418684899 28911378432 19789 33554432000 4194304 4196468 140729356599616 139997288356624 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30318] ppid=30312 vsize=28233768 memory=2832 CPUtime=0 cores=0-7 /proc/30314/task/30318/stat : 30318 (java) S 30312 30312 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418684899 28911378432 19789 33554432000 4194304 4196468 140729356599616 139997287304336 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 ################ # More data... # ################ [pid=30312] ppid=30309 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30312/stat : 30312 (xcsp3-exec) S 30309 30312 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418684898 115843072 363 33554432000 4194304 5098028 140736629063552 140736629061656 140718775579260 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36659200 140736629068661 140736629068905 140736629068905 140736629071818 0 /proc/30312/statm: 28282 363 304 221 0 87 0 [pid=30314] ppid=30312 vsize=28235816 memory=223572 CPUtime=5.58 cores=0-7 /proc/30314/stat : 30314 (java) S 30312 30312 28528 0 -1 1077944320 26176 0 0 0 541 17 0 0 20 0 20 0 418684898 28913475584 55893 33554432000 4194304 4196468 140729356599616 140729356582160 139997369556727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 /proc/30314/statm: 7058954 55893 3485 1 0 7020056 0 [pid=30314/tid=30315] ppid=30312 vsize=28235816 memory=6944656592455360604 CPUtime=1.56 cores=0-7 /proc/30314/task/30315/stat : 30315 (java) R 30312 30312 28528 0 -1 4202560 10149 0 0 0 149 7 0 0 20 0 20 0 418684898 28913475584 55893 33554432000 4194304 4196468 140729356599616 139997373795056 139996966016604 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30316] ppid=30312 vsize=28235816 memory=6944656592455097440 CPUtime=0.01 cores=0-7 /proc/30314/task/30316/stat : 30316 (java) S 30312 30312 28528 0 -1 1077944384 67 0 0 0 0 1 0 0 20 0 20 0 418684899 28913475584 55893 33554432000 4194304 4196468 140729356599616 139997289409424 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30317] ppid=30312 vsize=28235816 memory=1452 CPUtime=0 cores=0-7 /proc/30314/task/30317/stat : 30317 (java) S 30312 30312 28528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 418684899 28913475584 55893 33554432000 4194304 4196468 140729356599616 139997288356624 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30318] ppid=30312 vsize=28235816 memory=3612 CPUtime=0 cores=0-7 /proc/30314/task/30318/stat : 30318 (java) S 30312 30312 28528 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 418684899 28913475584 55893 33554432000 4194304 4196468 140729356599616 139997287304336 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30319] ppid=30312 vsize=28235816 memory=39552 CPUtime=0 cores=0-7 /proc/30314/task/30319/stat : 30319 (java) S 30312 30312 28528 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 418684899 28913475584 55893 33554432000 4194304 4196468 140729356599616 139997286251536 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30320] ppid=30312 vsize=28235816 memory=984 CPUtime=0 cores=0-7 /proc/30314/task/30320/stat : 30320 (java) S 30312 30312 28528 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 418684899 28913475584 55893 33554432000 4194304 4196468 140729356599616 139997285198224 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30321] ppid=30312 vsize=28235816 memory=2044 CPUtime=0 cores=0-7 /proc/30314/task/30321/stat : 30321 (java) S 30312 30312 28528 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 418684899 28913475584 55893 33554432000 4194304 4196468 140729356599616 139997284145424 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30322] ppid=30312 vsize=28235816 memory=1380 CPUtime=0.01 cores=0-7 /proc/30314/task/30322/stat : 30322 (java) S 30312 30312 28528 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 20 0 418684899 28913475584 55893 33554432000 4194304 4196468 140729356599616 139997283093136 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30323] ppid=30312 vsize=28235816 memory=1056 CPUtime=0 cores=0-7 /proc/30314/task/30323/stat : 30323 (java) S 30312 30312 28528 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 20 0 418684899 28913475584 55893 33554432000 4194304 4196468 140729356599616 139997282040336 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30324] ppid=30312 vsize=28235816 memory=764 CPUtime=0 cores=0-7 /proc/30314/task/30324/stat : 30324 (java) S 30312 30312 28528 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 20 0 418684901 28913475584 55893 33554432000 4194304 4196468 140729356599616 139995699370608 139997369567874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30325] ppid=30312 vsize=28235816 memory=1708 CPUtime=0 cores=0-7 /proc/30314/task/30325/stat : 30325 (java) S 30312 30312 28528 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 418684901 28913475584 55893 33554432000 4194304 4196468 140729356599616 139995698316576 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30326] ppid=30312 vsize=28235816 memory=1224 CPUtime=0 cores=0-7 /proc/30314/task/30326/stat : 30326 (java) S 30312 30312 28528 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 418684902 28913475584 55893 33554432000 4194304 4196468 140729356599616 139995697264240 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30327] ppid=30312 vsize=28235816 memory=5932 CPUtime=0 cores=0-7 /proc/30314/task/30327/stat : 30327 (java) S 30312 30312 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418684904 28913475584 55893 33554432000 4194304 4196468 140729356599616 139995696212560 139997369575323 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30328] ppid=30312 vsize=28235816 memory=164 CPUtime=1.05 cores=0-7 /proc/30314/task/30328/stat : 30328 (java) R 30312 30312 28528 0 -1 4202560 2951 0 0 0 104 1 0 0 20 0 20 0 418684904 28913475584 55956 33554432000 4194304 4196468 140729356599616 139995695159408 139997349249831 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30329] ppid=30312 vsize=28235816 memory=-9001734013606258791 CPUtime=1.08 cores=0-7 /proc/30314/task/30329/stat : 30329 (java) R 30312 30312 28528 0 -1 4202560 3886 0 0 0 107 1 0 0 20 0 20 0 418684904 28913475584 55956 33554432000 4194304 4196468 140729356599616 139995694096400 139997369578074 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30330] ppid=30312 vsize=28235816 memory=-7384994778349281184 CPUtime=1.05 cores=0-7 /proc/30314/task/30330/stat : 30330 (java) R 30312 30312 28528 0 -1 4202560 3596 0 0 0 105 0 0 0 20 0 20 0 418684904 28913475584 55956 33554432000 4194304 4196468 140729356599616 139995693042192 139997350863205 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30331] ppid=30312 vsize=28235816 memory=7681905605394137914 CPUtime=0.7 cores=0-7 /proc/30314/task/30331/stat : 30331 (java) R 30312 30312 28528 0 -1 4202560 3933 0 0 0 69 1 0 0 20 0 20 0 418684904 28913475584 55956 33554432000 4194304 4196468 140729356599616 139995691997376 139997362659800 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30332] ppid=30312 vsize=28235816 memory=-7522837583129502606 CPUtime=0 cores=0-7 /proc/30314/task/30332/stat : 30332 (java) S 30312 30312 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418684905 28913475584 55956 33554432000 4194304 4196468 140729356599616 139995690949472 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30333] ppid=30312 vsize=28235816 memory=-7233780906022726806 CPUtime=0 cores=0-7 /proc/30314/task/30333/stat : 30333 (java) S 30312 30312 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418684905 28913475584 55956 33554432000 4194304 4196468 140729356599616 139995689896752 139997369567874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 Current children cumulated CPU time: 5.58 s Current children cumulated vsize: 28348944 KiB Current children cumulated memory: 225024 KiB [startup+2.00109 s]* /proc/loadavg: 6.54 6.93 7.02 6/219 30413 /proc/meminfo: memFree=29578096/32770688 swapFree=66961108/67108860 [pid=30312] ppid=30309 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30312/stat : 30312 (xcsp3-exec) S 30309 30312 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418684898 115843072 363 33554432000 4194304 5098028 140736629063552 140736629061656 140718775579260 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36659200 140736629068661 140736629068905 140736629068905 140736629071818 0 /proc/30312/statm: 28282 363 304 221 0 87 0 [pid=30314] ppid=30312 vsize=28769356 memory=265448 CPUtime=8.03 cores=0-7 /proc/30314/stat : 30314 (java) S 30312 30312 28528 0 -1 1077944320 29286 0 0 0 773 30 0 0 20 0 26 0 418684898 29459820544 66362 33554432000 4194304 4196468 140729356599616 140729356582160 139997369556727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 /proc/30314/statm: 7192339 66362 3505 1 0 7153441 0 [pid=30314/tid=30315] ppid=30312 vsize=28769356 memory=6791534058613427641 CPUtime=1.65 cores=0-7 /proc/30314/task/30315/stat : 30315 (java) S 30312 30312 28528 0 -1 1077944384 10395 0 0 0 158 7 0 0 20 0 26 0 418684898 29459820544 66362 33554432000 4194304 4196468 140729356599616 139997373797504 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30316] ppid=30312 vsize=28769356 memory=4872558044660077418 CPUtime=0.04 cores=0-7 /proc/30314/task/30316/stat : 30316 (java) S 30312 30312 28528 0 -1 1077944384 118 0 0 0 2 2 0 0 20 0 26 0 418684899 29459820544 66362 33554432000 4194304 4196468 140729356599616 139997289409424 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30317] ppid=30312 vsize=28769356 memory=0 CPUtime=0.04 cores=0-7 /proc/30314/task/30317/stat : 30317 (java) S 30312 30312 28528 0 -1 1077944384 82 0 0 0 2 2 0 0 20 0 26 0 418684899 29459820544 66362 33554432000 4194304 4196468 140729356599616 139997288356624 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30318] ppid=30312 vsize=28769356 memory=0 CPUtime=0.03 cores=0-7 /proc/30314/task/30318/stat : 30318 (java) S 30312 30312 28528 0 -1 1077944384 70 0 0 0 2 1 0 0 20 0 26 0 418684899 29459820544 66362 33554432000 4194304 4196468 140729356599616 139997287304336 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30319] ppid=30312 vsize=28769356 memory=0 CPUtime=0.02 cores=0-7 /proc/30314/task/30319/stat : 30319 (java) S 30312 30312 28528 0 -1 1077944384 73 0 0 0 1 1 0 0 20 0 26 0 418684899 29459820544 66362 33554432000 4194304 4196468 140729356599616 139997286251536 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30320] ppid=30312 vsize=28769356 memory=0 CPUtime=0.02 cores=0-7 /proc/30314/task/30320/stat : 30320 (java) S 30312 30312 28528 0 -1 1077944384 64 0 0 0 1 1 0 0 20 0 26 0 418684899 29459820544 66362 33554432000 4194304 4196468 140729356599616 139997285198224 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30321] ppid=30312 vsize=28769356 memory=0 CPUtime=0.04 cores=0-7 /proc/30314/task/30321/stat : 30321 (java) S 30312 30312 28528 0 -1 1077944384 86 0 0 0 2 2 0 0 20 0 26 0 418684899 29459820544 66362 33554432000 4194304 4196468 140729356599616 139997284145424 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30322] ppid=30312 vsize=28769356 memory=0 CPUtime=0.04 cores=0-7 /proc/30314/task/30322/stat : 30322 (java) S 30312 30312 28528 0 -1 1077944384 110 0 0 0 3 1 0 0 20 0 26 0 418684899 29459820544 66362 33554432000 4194304 4196468 140729356599616 139997283093136 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30323] ppid=30312 vsize=28769356 memory=0 CPUtime=0.04 cores=0-7 /proc/30314/task/30323/stat : 30323 (java) S 30312 30312 28528 0 -1 1077944384 53 0 0 0 2 2 0 0 20 0 26 0 418684899 29459820544 66362 33554432000 4194304 4196468 140729356599616 139997282040336 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30324] ppid=30312 vsize=28769356 memory=0 CPUtime=0.01 cores=0-7 /proc/30314/task/30324/stat : 30324 (java) S 30312 30312 28528 0 -1 1077944384 113 0 0 0 1 0 0 0 20 0 26 0 418684901 29459820544 66362 33554432000 4194304 4196468 140729356599616 139995699370608 139997369567874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30325] ppid=30312 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30325/stat : 30325 (java) S 30312 30312 28528 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 26 0 418684901 29459820544 66362 33554432000 4194304 4196468 140729356599616 139995698316640 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30326] ppid=30312 vsize=28769356 memory=3976735856566351413 CPUtime=0 cores=0-7 /proc/30314/task/30326/stat : 30326 (java) S 30312 30312 28528 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 26 0 418684902 29459820544 66362 33554432000 4194304 4196468 140729356599616 139995697264256 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30327] ppid=30312 vsize=28769356 memory=3833470595659478064 CPUtime=0 cores=0-7 /proc/30314/task/30327/stat : 30327 (java) S 30312 30312 28528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 418684904 29459820544 66362 33554432000 4194304 4196468 140729356599616 139995696212560 139997369575323 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30328] ppid=30312 vsize=28769356 memory=0 CPUtime=1.32 cores=0-7 /proc/30314/task/30328/stat : 30328 (java) S 30312 30312 28528 0 -1 1077944384 3102 0 0 0 131 1 0 0 20 0 26 0 418684904 29459820544 66362 33554432000 4194304 4196468 140729356599616 139995695159408 139997369567874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30329] ppid=30312 vsize=28769356 memory=7590371137051584106 CPUtime=1.34 cores=0-7 /proc/30314/task/30329/stat : 30329 (java) R 30312 30312 28528 0 -1 4202560 3975 0 0 0 133 1 0 0 20 0 26 0 418684904 29459820544 66362 33554432000 4194304 4196468 140729356599616 139995694092576 139997348803251 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30330] ppid=30312 vsize=28769356 memory=7590655979367786604 CPUtime=1.3 cores=0-7 /proc/30314/task/30330/stat : 30330 (java) R 30312 30312 28528 0 -1 4202560 3670 0 0 0 130 0 0 0 20 0 26 0 418684904 29459820544 66362 33554432000 4194304 4196468 140729356599616 139995693042880 139997353158280 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30331] ppid=30312 vsize=28769356 memory=7236547281622689387 CPUtime=0.85 cores=0-7 /proc/30314/task/30331/stat : 30331 (java) R 30312 30312 28528 0 -1 4202560 4205 0 0 0 84 1 0 0 20 0 26 0 418684904 29459820544 66362 33554432000 4194304 4196468 140729356599616 139995692001648 139997348890757 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30332] ppid=30312 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30332/stat : 30332 (java) S 30312 30312 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 418684905 29459820544 66362 33554432000 4194304 4196468 140729356599616 139995690949472 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30333] ppid=30312 vsize=28769356 memory=-1 CPUtime=0 cores=0-7 /proc/30314/task/30333/stat : 30333 (java) S 30312 30312 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 26 0 418684905 29459820544 66362 33554432000 4194304 4196468 140729356599616 139995689896752 139997369567874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30414] ppid=30312 vsize=28769356 memory=-1 CPUtime=0 cores=0-7 /proc/30314/task/30414/stat : 30414 (java) R 30312 30312 28528 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 26 0 418685099 29459820544 66362 33554432000 4194304 4196468 140729356599616 139995671223632 139996962090174 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30415] ppid=30312 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30415/stat : 30415 (java) R 30312 30312 28528 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 26 0 418685099 29459820544 66362 33554432000 4194304 4196468 140729356599616 139995674382272 139997369566933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30416] ppid=30312 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30416/stat : 30416 (java) S 30312 30312 28528 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 26 0 418685099 29459820544 66362 33554432000 4194304 4196468 140729356599616 139995677540688 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30417] ppid=30312 vsize=28769356 memory=280601488382848 CPUtime=0 cores=0-7 /proc/30314/task/30417/stat : 30417 (java) R 30312 30312 28528 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 26 0 418685099 29459820544 66362 33554432000 4194304 4196468 140729356599616 139995676487216 139996962090183 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30418] ppid=30312 vsize=28769356 memory=7599388386692169796 CPUtime=0 cores=0-7 /proc/30314/task/30418/stat : 30418 (java) R 30312 30312 28528 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 26 0 418685099 29459820544 66362 33554432000 4194304 4196468 140729356599616 139995670169792 139996967469796 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30419] ppid=30312 vsize=28769356 memory=288293268213727926 CPUtime=0 cores=0-7 /proc/30314/task/30419/stat : 30419 (java) R 30312 30312 28528 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 26 0 418685099 29459820544 66362 33554432000 4194304 4196468 140729356599616 139995675437920 139997369566933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 Current children cumulated CPU time: 8.03 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 266900 KiB [startup+2.11123 s] /proc/loadavg: 6.54 6.93 7.02 6/219 30413 /proc/meminfo: memFree=29578096/32770688 swapFree=66961108/67108860 [pid=30312] ppid=30309 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/30312/stat : 30312 (xcsp3-exec) S 30309 30312 28528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418684898 115843072 363 33554432000 4194304 5098028 140736629063552 140736629061656 140718775579260 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 36659200 140736629068661 140736629068905 140736629068905 140736629071818 0 /proc/30312/statm: 28282 363 304 221 0 87 0 [pid=30314] ppid=30312 vsize=28769356 memory=265912 CPUtime=8.75 cores=0-7 /proc/30314/stat : 30314 (java) S 30312 30312 28528 0 -1 1077944320 29469 0 0 0 845 30 0 0 20 0 19 0 418684898 29459820544 66478 33554432000 4194304 4196468 140729356599616 140729356582160 139997369556727 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 /proc/30314/statm: 7192339 66478 3505 1 0 7153441 0 [pid=30314/tid=30315] ppid=30312 vsize=28769356 memory=6944656592455097440 CPUtime=1.65 cores=0-7 /proc/30314/task/30315/stat : 30315 (java) S 30312 30312 28528 0 -1 1077944384 10400 0 0 0 158 7 0 0 20 0 19 0 418684898 29459820544 66478 33554432000 4194304 4196468 140729356599616 139997373799568 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30316] ppid=30312 vsize=28769356 memory=6656426216303648864 CPUtime=0.04 cores=0-7 /proc/30314/task/30316/stat : 30316 (java) S 30312 30312 28528 0 -1 1077944384 118 0 0 0 2 2 0 0 20 0 19 0 418684899 29459820544 66478 33554432000 4194304 4196468 140729356599616 139997289409424 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30317] ppid=30312 vsize=28769356 memory=56 CPUtime=0.04 cores=0-7 /proc/30314/task/30317/stat : 30317 (java) S 30312 30312 28528 0 -1 1077944384 82 0 0 0 2 2 0 0 20 0 19 0 418684899 29459820544 66478 33554432000 4194304 4196468 140729356599616 139997288356624 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30318] ppid=30312 vsize=28769356 memory=9316 CPUtime=0.03 cores=0-7 /proc/30314/task/30318/stat : 30318 (java) S 30312 30312 28528 0 -1 1077944384 70 0 0 0 2 1 0 0 20 0 19 0 418684899 29459820544 66478 33554432000 4194304 4196468 140729356599616 139997287304336 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30319] ppid=30312 vsize=28769356 memory=19982 CPUtime=0.02 cores=0-7 /proc/30314/task/30319/stat : 30319 (java) S 30312 30312 28528 0 -1 1077944384 73 0 0 0 1 1 0 0 20 0 19 0 418684899 29459820544 66478 33554432000 4194304 4196468 140729356599616 139997286251536 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30320] ppid=30312 vsize=28769356 memory=0 CPUtime=0.02 cores=0-7 /proc/30314/task/30320/stat : 30320 (java) S 30312 30312 28528 0 -1 1077944384 64 0 0 0 1 1 0 0 20 0 19 0 418684899 29459820544 66478 33554432000 4194304 4196468 140729356599616 139997285198224 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30321] ppid=30312 vsize=28769356 memory=0 CPUtime=0.04 cores=0-7 /proc/30314/task/30321/stat : 30321 (java) S 30312 30312 28528 0 -1 1077944384 86 0 0 0 2 2 0 0 20 0 19 0 418684899 29459820544 66478 33554432000 4194304 4196468 140729356599616 139997284145424 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30322] ppid=30312 vsize=28769356 memory=0 CPUtime=0.04 cores=0-7 /proc/30314/task/30322/stat : 30322 (java) S 30312 30312 28528 0 -1 1077944384 110 0 0 0 3 1 0 0 20 0 19 0 418684899 29459820544 66478 33554432000 4194304 4196468 140729356599616 139997283093136 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30323] ppid=30312 vsize=28769356 memory=0 CPUtime=0.04 cores=0-7 /proc/30314/task/30323/stat : 30323 (java) S 30312 30312 28528 0 -1 1077944384 53 0 0 0 2 2 0 0 20 0 19 0 418684899 29459820544 66478 33554432000 4194304 4196468 140729356599616 139997282040336 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30324] ppid=30312 vsize=28769356 memory=4580 CPUtime=0.01 cores=0-7 /proc/30314/task/30324/stat : 30324 (java) S 30312 30312 28528 0 -1 1077944384 113 0 0 0 1 0 0 0 20 0 19 0 418684901 29459820544 66478 33554432000 4194304 4196468 140729356599616 139995699370816 139997369567874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30325] ppid=30312 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30325/stat : 30325 (java) S 30312 30312 28528 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 418684901 29459820544 66478 33554432000 4194304 4196468 140729356599616 139995698316640 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30326] ppid=30312 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/30314/task/30326/stat : 30326 (java) S 30312 30312 28528 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 418684902 29459820544 66478 33554432000 4194304 4196468 140729356599616 139995697264256 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30327] ppid=30312 vsize=28769356 memory=4195445246664114208 CPUtime=0 cores=0-7 /proc/30314/task/30327/stat : 30327 (java) S 30312 30312 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 418684904 29459820544 66478 33554432000 4194304 4196468 140729356599616 139995696212208 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30328] ppid=30312 vsize=28769356 memory=0 CPUtime=1.37 cores=0-7 /proc/30314/task/30328/stat : 30328 (java) S 30312 30312 28528 0 -1 1077944384 3110 0 0 0 136 1 0 0 20 0 19 0 418684904 29459820544 66478 33554432000 4194304 4196468 140729356599616 139995695144464 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30329] ppid=30312 vsize=28769356 memory=7308049630826221666 CPUtime=1.39 cores=0-7 /proc/30314/task/30329/stat : 30329 (java) S 30312 30312 28528 0 -1 1077944384 3992 0 0 0 138 1 0 0 20 0 19 0 418684904 29459820544 66478 33554432000 4194304 4196468 140729356599616 139995694099344 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30330] ppid=30312 vsize=28769356 memory=7742095009965958761 CPUtime=1.36 cores=0-7 /proc/30314/task/30330/stat : 30330 (java) R 30312 30312 28528 0 -1 4202560 3677 0 0 0 135 1 0 0 20 0 19 0 418684904 29459820544 66478 33554432000 4194304 4196468 140729356599616 139995693040752 139997351078375 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30331] ppid=30312 vsize=28769356 memory=7158582015886191184 CPUtime=0.9 cores=0-7 /proc/30314/task/30331/stat : 30331 (java) S 30312 30312 28528 0 -1 1077944384 4287 0 0 0 89 1 0 0 20 0 19 0 418684904 29459820544 66478 33554432000 4194304 4196468 140729356599616 139995691997392 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 [pid=30314/tid=30332] ppid=30312 vsize=28769356 memory=7649399367051456563 CPUtime=0 cores=0-7 /proc/30314/task/30332/stat : 30332 (java) S 30312 30312 28528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 418684905 29459820544 66478 33554432000 4194304 4196468 140729356599616 139995690949472 139997369566933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25784320 140729356608490 140729356608662 140729356608662 140729356611535 0 Current children cumulated CPU time: 8.75 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 267364 KiB Child status: 0 Real time (s): 2.12867 CPU time (s): 8.77595 CPU user time (s): 8.46093 CPU system time (s): 0.31502 CPU usage (%): 412.274 Max. virtual memory (cumulated for all children) (KiB): 28882484 Max. memory (cumulated for all children) (KiB): 267364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.46093 system time used= 0.31502 maximum resident set size= 267000 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30032 page faults= 0 swaps= 0 block input operations= 0 block output operations= 72 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4035 involuntary context switches= 57 # summary of solver processes directly reported to runsolver: # pid: 30312 # total CPU time (s): 8.77595 # total CPU user time (s): 8.46093 # total CPU system time (s): 0.31502 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.032175 second user time and 0.080956 second system time The end
Begin job on node116 at 2019-09-14 04:16:31 IDJOB=4393881 IDBENCH=126835 IDSOLVER=2841 FILE ID=node116/4393881-1568427432 RUNJOBID= node116-1568427322-28555 PBS_JOBID= 21702297 Free space on /tmp= 61244 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-3-5-30-1.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-4393881-1568427432/watcher-4393881-1568427432 -o /tmp/evaluation-result-4393881-1568427432/solver-4393881-1568427432 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568427322-28555 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2047191950 HOME/instance-4393881-1568427432.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e91753cc37d5672b16b54feba0c5cd89 RANDOM SEED=2047191950 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 29830644 kB MemAvailable: 31853264 kB Buffers: 148652 kB Cached: 2159696 kB SwapCached: 46660 kB Active: 931688 kB Inactive: 1428716 kB Active(anon): 4808 kB Inactive(anon): 87864 kB Active(file): 926880 kB Inactive(file): 1340852 kB Unevictable: 109332 kB Mlocked: 109332 kB SwapTotal: 67108860 kB SwapFree: 66961108 kB Dirty: 26220 kB Writeback: 0 kB AnonPages: 163936 kB Mapped: 44024 kB Shmem: 32000 kB Slab: 170204 kB SReclaimable: 141444 kB SUnreclaim: 28760 kB KernelStack: 3808 kB PageTables: 5396 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 497848 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 118784 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61216 MiB End job on node116 at 2019-09-14 04:16:34