Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 35 | 115.103 | 15.8058 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-4.xml |
MD5SUM | e870fb3a9053f33a7d0d8e73b49cdad7 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 35 |
Best CPU time to get the best result obtained on this benchmark | 37.85 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 72 |
Number of constraints | 97 |
Number of domains | 24 |
Minimum domain size | 4 |
Maximum domain size | 25 |
Distribution of domain sizes | [{"size":4,"count":12},{"size":5,"count":12},{"size":25,"count":48}] |
Minimum variable degree | 2 |
Maximum variable degree | 27 |
Distribution of variable degrees | [{"degree":2,"count":24},{"degree":25,"count":23},{"degree":26,"count":1},{"degree":27,"count":24}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 25 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":48},{"arity":24,"count":24},{"arity":25,"count":24}] |
Number of extensional constraints | 48 |
Number of intensional constraints | 25 |
Distribution of constraint types | [{"type":"extension","count":48},{"type":"intension","count":25},{"type":"count","count":24}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407115-1569351715.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407115-1569351715.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 5.12/1.87 c solve instance... 5.62/1.97 o -1000 6.46/2.02 o -998 6.46/2.03 o -994 6.46/2.07 o -993 12.59/2.84 o -992 12.59/2.84 o -984 12.59/2.85 o -983 12.59/2.87 o -979 15.71/3.25 o -978 20.48/3.81 o -976 20.48/3.82 o -974 23.53/4.28 o -973 24.20/4.30 o -971 24.96/4.49 o -969 25.75/4.55 o -965 26.43/4.65 o -964 28.71/4.98 o -963 30.99/5.22 o 0 30.99/5.23 o 6 30.99/5.29 o 9 31.71/5.35 o 17 31.71/5.36 o 21 32.35/5.45 o 25 33.92/5.68 o 26 33.92/5.70 o 29 36.28/5.95 o 31 43.43/6.83 o 35 114.36/15.79 s OPTIMUM FOUND 114.36/15.79 v <instantiation> 114.36/15.79 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] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] g[0] g[1] g[2] g[3] g[4] g[5] g[6] g[7] g[8] g[9] g[10] g[11] g[12] g[13] g[14] g[15] g[16] g[17] g[18] g[19] g[20] g[21] g[22] g[23] </list> 114.36/15.79 v <values>6 0 1 9 3 4 7 13 2 8 -1 5 18 12 -1 -1 -1 11 19 20 21 22 23 17 0 19 18 15 14 13 1 2 17 16 -1 12 4 3 -1 -1 -1 11 5 6 7 8 9 10 3 -5 7 -3 2 -1 -3 2 6 8 0 3 4 2 0 0 0 0 -3 9 -3 0 5 2 </values> 114.36/15.79 v </instantiation>
OK 35
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 (11800 MiB free) memory of node 1: 16384 MiB (13081 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407115-1569351715/watcher-4407115-1569351715 -o /var/tmp/evaluation-result-4407115-1569351715/solver-4407115-1569351715 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569349151-18849 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 523717191 HOME/instance-4407115-1569351715.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=19180, runsolver pid=19177 Current StackSize limit: 8192 KiB [startup+0.100114 s]* /proc/loadavg: 8.52 8.31 8.22 2/212 19201 /proc/meminfo: memFree=25462032/32770624 swapFree=66992424/67108860 [pid=19180] ppid=19177 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19180/stat : 19180 (xcsp3-exec) S 19177 19180 18822 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511434069 115843072 363 33554432000 4194304 5098028 140733256689296 140733256687400 139628454560380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24707072 140733256692562 140733256692821 140733256692821 140733256695750 0 /proc/19180/statm: 28282 363 304 221 0 87 0 [pid=19182] ppid=19180 vsize=28227396 memory=28556 CPUtime=0.12 cores=0-7 /proc/19182/stat : 19182 (java) S 19180 19180 18822 0 -1 1077944320 5639 0 0 0 11 1 0 0 20 0 20 0 511434070 28904853504 7139 33554432000 4194304 4196468 140722693080288 140722693062832 139652756795127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 /proc/19182/statm: 7056849 7139 3120 1 0 7019032 0 [pid=19182/tid=19183] ppid=19180 vsize=28227396 memory=-2177352373413752899 CPUtime=0.08 cores=0-7 /proc/19182/task/19183/stat : 19183 (java) R 19180 19180 18822 0 -1 4202560 3583 0 0 0 8 0 0 0 20 0 20 0 511434070 28904853504 7139 33554432000 4194304 4196468 140722693080288 139652761028400 139652740875614 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19184] ppid=19180 vsize=28227396 memory=732370579457629157 CPUtime=0 cores=0-7 /proc/19182/task/19184/stat : 19184 (java) S 19180 19180 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511434071 28904853504 7139 33554432000 4194304 4196468 140722693080288 139652676647312 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19185] ppid=19180 vsize=28227396 memory=140441120175744 CPUtime=0 cores=0-7 /proc/19182/task/19185/stat : 19185 (java) S 19180 19180 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511434071 28904853504 7139 33554432000 4194304 4196468 140722693080288 139652675594512 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19186] ppid=19180 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19186/stat : 19186 (java) S 19180 19180 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511434071 28904853504 7139 33554432000 4194304 4196468 140722693080288 139652305640080 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19187] ppid=19180 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19187/stat : 19187 (java) S 19180 19180 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511434071 28904853504 7139 33554432000 4194304 4196468 140722693080288 139652304587280 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19188] ppid=19180 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19188/stat : 19188 (java) S 19180 19180 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511434071 28904853504 7139 33554432000 4194304 4196468 140722693080288 139652303534992 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19189] ppid=19180 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19182/task/19189/stat : 19189 (java) S 19180 19180 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511434071 28904853504 7139 33554432000 4194304 4196468 140722693080288 139652302482192 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19190] ppid=19180 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19190/stat : 19190 (java) S 19180 19180 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511434071 28904853504 7139 33554432000 4194304 4196468 140722693080288 139652301429904 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19191] ppid=19180 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19191/stat : 19191 (java) S 19180 19180 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511434071 28904853504 7139 33554432000 4194304 4196468 140722693080288 139652300377104 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19192] ppid=19180 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19192/stat : 19192 (java) S 19180 19180 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511434072 28904853504 7139 33554432000 4194304 4196468 140722693080288 139650952390768 139652756806274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19193] ppid=19180 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19193/stat : 19193 (java) S 19180 19180 18822 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511434073 28904853504 7139 33554432000 4194304 4196468 140722693080288 139650951336736 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19194] ppid=19180 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19194/stat : 19194 (java) S 19180 19180 18822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511434073 28904853504 7139 33554432000 4194304 4196468 140722693080288 139650950284400 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19195] ppid=19180 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19195/stat : 19195 (java) S 19180 19180 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511434075 28904853504 7139 33554432000 4194304 4196468 140722693080288 139650949232720 139652756813723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19196] ppid=19180 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19196/stat : 19196 (java) S 19180 19180 18822 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 511434075 28904853504 7139 33554432000 4194304 4196468 140722693080288 139650948180592 139652756806274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19197] ppid=19180 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19197/stat : 19197 (java) R 19180 19180 18822 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 511434075 28904853504 7139 33554432000 4194304 4196468 140722693080288 139650947127792 139652756806274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19198] ppid=19180 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19198/stat : 19198 (java) R 19180 19180 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511434075 28904853504 7139 33554432000 4194304 4196468 140722693080288 139650946075504 139652756806274 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19199] ppid=19180 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/19182/task/19199/stat : 19199 (java) R 19180 19180 18822 0 -1 4202560 326 0 0 0 2 0 0 0 20 0 20 0 511434075 28904853504 7139 33554432000 4194304 4196468 140722693080288 139650945022704 139652756816474 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19200] ppid=19180 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19200/stat : 19200 (java) S 19180 19180 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511434076 28904853504 7139 33554432000 4194304 4196468 140722693080288 139650943969632 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19201] ppid=19180 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19182/task/19201/stat : 19201 (java) S 19180 19180 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511434076 28904853504 7139 33554432000 4194304 4196468 140722693080288 139650942916912 139652756806274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30008 KiB [startup+0.210416 s]* /proc/loadavg: 8.52 8.31 8.22 3/212 19201 /proc/meminfo: memFree=25448124/32770624 swapFree=66992424/67108860 [pid=19180] ppid=19177 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19180/stat : 19180 (xcsp3-exec) S 19177 19180 18822 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511434069 115843072 363 33554432000 4194304 5098028 140733256689296 140733256687400 139628454560380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24707072 140733256692562 140733256692821 140733256692821 140733256695750 0 /proc/19180/statm: 28282 363 304 221 0 87 0 [pid=19182] ppid=19180 vsize=28227396 memory=41020 CPUtime=0.34 cores=0-7 /proc/19182/stat : 19182 (java) S 19180 19180 18822 0 -1 1077944320 9536 0 0 0 31 3 0 0 20 0 20 0 511434070 28904853504 10255 33554432000 4194304 4196468 140722693080288 140722693062832 139652756795127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 /proc/19182/statm: 7056849 10255 3301 1 0 7019032 0 [pid=19182/tid=19183] ppid=19180 vsize=28227396 memory=0 CPUtime=0.2 cores=0-7 /proc/19182/task/19183/stat : 19183 (java) R 19180 19180 18822 0 -1 4202560 6637 0 0 0 18 2 0 0 20 0 20 0 511434070 28904853504 10255 33554432000 4194304 4196468 140722693080288 139652761021328 139652736520256 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19184] ppid=19180 vsize=28227396 memory=732370579457629157 CPUtime=0 cores=0-7 /proc/19182/task/19184/stat : 19184 (java) S 19180 19180 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511434071 28904853504 10255 33554432000 4194304 4196468 140722693080288 139652676647312 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19185] ppid=19180 vsize=28227396 memory=140441120175744 CPUtime=0 cores=0-7 /proc/19182/task/19185/stat : 19185 (java) S 19180 19180 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511434071 28904853504 10255 33554432000 4194304 4196468 140722693080288 139652675594512 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19186] ppid=19180 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19186/stat : 19186 (java) S 19180 19180 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511434071 28904853504 10255 33554432000 4194304 4196468 140722693080288 139652305640080 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19187] ppid=19180 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19187/stat : 19187 (java) S 19180 19180 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511434071 28904853504 10255 33554432000 4194304 4196468 140722693080288 139652304587280 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19188] ppid=19180 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19188/stat : 19188 (java) S 19180 19180 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511434071 28904853504 10255 33554432000 4194304 4196468 140722693080288 139652303534992 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19189] ppid=19180 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19182/task/19189/stat : 19189 (java) S 19180 19180 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511434071 28904853504 10255 33554432000 4194304 4196468 140722693080288 139652302482192 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19190] ppid=19180 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19190/stat : 19190 (java) S 19180 19180 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511434071 28904853504 10255 33554432000 4194304 4196468 140722693080288 139652301429904 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19191] ppid=19180 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19191/stat : 19191 (java) S 19180 19180 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511434071 28904853504 10255 33554432000 4194304 4196468 140722693080288 139652300377104 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19192] ppid=19180 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19192/stat : 19192 (java) S 19180 19180 18822 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511434072 28904853504 10255 33554432000 4194304 4196468 140722693080288 139650952390768 139652756806274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19193] ppid=19180 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19193/stat : 19193 (java) S 19180 19180 18822 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511434073 28904853504 10255 33554432000 4194304 4196468 140722693080288 139650951336736 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19194] ppid=19180 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19194/stat : 19194 (java) S 19180 19180 18822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511434073 28904853504 10255 33554432000 4194304 4196468 140722693080288 139650950284400 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19195] ppid=19180 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19195/stat : 19195 (java) S 19180 19180 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511434075 28904853504 10255 33554432000 4194304 4196468 140722693080288 139650949232720 139652756813723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19196] ppid=19180 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/19182/task/19196/stat : 19196 (java) S 19180 19180 18822 0 -1 1077944384 534 0 0 0 1 0 0 0 20 0 20 0 511434075 28904853504 10255 33554432000 4194304 4196468 140722693080288 139650948180592 139652756806274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19197] ppid=19180 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/19182/task/19197/stat : 19197 (java) R 19180 19180 18822 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 20 0 511434075 28904853504 10255 33554432000 4194304 4196468 140722693080288 139650947127792 139652756806274 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19198] ppid=19180 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/19182/task/19198/stat : 19198 (java) S 19180 19180 18822 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 511434075 28904853504 10255 33554432000 4194304 4196468 140722693080288 139650946075504 139652756806274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19199] ppid=19180 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/19182/task/19199/stat : 19199 (java) R 19180 19180 18822 0 -1 4202560 786 0 0 0 8 0 0 0 20 0 20 0 511434075 28904853504 10255 33554432000 4194304 4196468 140722693080288 139650945022704 139652735499839 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19200] ppid=19180 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19200/stat : 19200 (java) S 19180 19180 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511434076 28904853504 10255 33554432000 4194304 4196468 140722693080288 139650943969632 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19201] ppid=19180 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/19182/task/19201/stat : 19201 (java) S 19180 19180 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511434076 28904853504 10255 33554432000 4194304 4196468 140722693080288 139650942916912 139652756806274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42472 KiB [startup+0.309756 s]* /proc/loadavg: 8.52 8.31 8.22 5/212 19201 /proc/meminfo: memFree=25441224/32770624 swapFree=66992424/67108860 [pid=19180] ppid=19177 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19180/stat : 19180 (xcsp3-exec) S 19177 19180 18822 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511434069 115843072 363 33554432000 4194304 5098028 140733256689296 140733256687400 139628454560380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24707072 140733256692562 140733256692821 140733256692821 140733256695750 0 /proc/19180/statm: 28282 363 304 221 0 87 0 [pid=19182] ppid=19180 vsize=28231652 memory=49888 CPUtime=0.53 cores=0-7 /proc/19182/stat : 19182 (java) S 19180 19180 18822 0 -1 1077944320 10853 0 0 0 49 4 0 0 20 0 20 0 511434070 28909211648 12472 33554432000 4194304 4196468 140722693080288 140722693062832 139652756795127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 /proc/19182/statm: 7057913 12472 3345 1 0 7019032 0 [pid=19182/tid=19183] ppid=19180 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/19182/task/19183/stat : 19183 (java) R 19180 19180 18822 0 -1 4202560 7761 0 0 0 27 2 0 0 20 0 20 0 511434070 28909211648 12472 33554432000 4194304 4196468 140722693080288 139652761026240 139652740875614 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19184] ppid=19180 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19184/stat : 19184 (java) S 19180 19180 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511434071 28909211648 12472 33554432000 4194304 4196468 140722693080288 139652676647312 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19185] ppid=19180 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19185/stat : 19185 (java) S 19180 19180 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511434071 28909211648 12472 33554432000 4194304 4196468 140722693080288 139652675594512 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19186] ppid=19180 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19186/stat : 19186 (java) S 19180 19180 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511434071 28909211648 12472 33554432000 4194304 4196468 140722693080288 139652305640080 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19187] ppid=19180 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19187/stat : 19187 (java) S 19180 19180 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511434071 28909211648 12500 33554432000 4194304 4196468 140722693080288 139652304587280 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19188] ppid=19180 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19188/stat : 19188 (java) S 19180 19180 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511434071 28909211648 12500 33554432000 4194304 4196468 140722693080288 139652303534992 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19189] ppid=19180 vsize=28231652 memory=140441001487023 CPUtime=0 cores=0-7 /proc/19182/task/19189/stat : 19189 (java) S 19180 19180 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511434071 28909211648 12500 33554432000 4194304 4196468 140722693080288 139652302482192 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19190] ppid=19180 vsize=28231652 memory=140441001489328 CPUtime=0 cores=0-7 /proc/19182/task/19190/stat : 19190 (java) S 19180 19180 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511434071 28909211648 12500 33554432000 4194304 4196468 140722693080288 139652301429904 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19191] ppid=19180 vsize=28231652 memory=140441001491632 CPUtime=0 cores=0-7 /proc/19182/task/19191/stat : 19191 (java) S 19180 19180 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511434071 28909211648 12500 33554432000 4194304 4196468 140722693080288 139652300377104 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19192] ppid=19180 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19192/stat : 19192 (java) S 19180 19180 18822 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511434072 28909211648 12500 33554432000 4194304 4196468 140722693080288 139650952390768 139652756806274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19193] ppid=19180 vsize=28231652 memory=280882002997136 CPUtime=0 cores=0-7 /proc/19182/task/19193/stat : 19193 (java) S 19180 19180 18822 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511434073 28909211648 12500 33554432000 4194304 4196468 140722693080288 139650951336736 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19194] ppid=19180 vsize=28231652 memory=280882002994832 CPUtime=0 cores=0-7 /proc/19182/task/19194/stat : 19194 (java) S 19180 19180 18822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511434073 28909211648 12500 33554432000 4194304 4196468 140722693080288 139650950284400 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19195] ppid=19180 vsize=28231652 memory=280882003001744 CPUtime=0 cores=0-7 /proc/19182/task/19195/stat : 19195 (java) S 19180 19180 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511434075 28909211648 12500 33554432000 4194304 4196468 140722693080288 139650949232720 139652756813723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19196] ppid=19180 vsize=28231652 memory=280882002942992 CPUtime=0.04 cores=0-7 /proc/19182/task/19196/stat : 19196 (java) R 19180 19180 18822 0 -1 4202560 644 0 0 0 4 0 0 0 20 0 20 0 511434075 28909211648 12500 33554432000 4194304 4196468 140722693080288 139650948170976 139652738340421 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19197] ppid=19180 vsize=28231652 memory=280882003015568 CPUtime=0.01 cores=0-7 /proc/19182/task/19197/stat : 19197 (java) S 19180 19180 18822 0 -1 1077944384 217 0 0 0 1 0 0 0 20 0 20 0 511434075 28909211648 12500 33554432000 4194304 4196468 140722693080288 139650947127792 139652756806274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19198] ppid=19180 vsize=28231652 memory=280882003022480 CPUtime=0.02 cores=0-7 /proc/19182/task/19198/stat : 19198 (java) S 19180 19180 18822 0 -1 1077944384 54 0 0 0 2 0 0 0 20 0 20 0 511434075 28909211648 12500 33554432000 4194304 4196468 140722693080288 139650946075504 139652756806274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19199] ppid=19180 vsize=28231652 memory=280882003020176 CPUtime=0.13 cores=0-7 /proc/19182/task/19199/stat : 19199 (java) S 19180 19180 18822 0 -1 1077944384 869 0 0 0 13 0 0 0 20 0 20 0 511434075 28909211648 12500 33554432000 4194304 4196468 140722693080288 139650945022704 139652756806274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19200] ppid=19180 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19200/stat : 19200 (java) S 19180 19180 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511434076 28909211648 12500 33554432000 4194304 4196468 140722693080288 139650943969632 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19201] ppid=19180 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/19182/task/19201/stat : 19201 (java) S 19180 19180 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511434076 28909211648 12500 33554432000 4194304 4196468 140722693080288 139650942916912 139652756806274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51340 KiB [startup+0.700938 s] /proc/loadavg: 8.52 8.31 8.22 5/212 19201 /proc/meminfo: memFree=25408240/32770624 swapFree=66992424/67108860 [pid=19180] ppid=19177 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19180/stat : 19180 (xcsp3-exec) S 19177 19180 18822 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511434069 115843072 363 33554432000 4194304 5098028 140733256689296 140733256687400 139628454560380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24707072 140733256692562 140733256692821 140733256692821 140733256695750 0 /proc/19180/statm: 28282 363 304 221 0 87 0 [pid=19182] ppid=19180 vsize=28233776 memory=114896 CPUtime=1.93 cores=0-7 /proc/19182/stat : 19182 (java) S 19180 19180 18822 0 -1 1077944320 16314 0 0 0 187 6 0 0 20 0 20 0 511434070 28911386624 28724 33554432000 4194304 4196468 140722693080288 140722693062832 139652756795127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 /proc/19182/statm: 7058444 28724 3444 1 0 7019544 0 [pid=19182/tid=19183] ppid=19180 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/19182/task/19183/stat : 19183 (java) R 19180 19180 18822 0 -1 4202560 9147 0 0 0 64 3 0 0 20 0 20 0 511434070 28911386624 28724 33554432000 4194304 4196468 140722693080288 139652761032800 139652354905743 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19184] ppid=19180 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19184/stat : 19184 (java) S 19180 19180 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511434071 28911386624 28724 33554432000 4194304 4196468 140722693080288 139652676647312 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19185] ppid=19180 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19185/stat : 19185 (java) S 19180 19180 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511434071 28911386624 28724 33554432000 4194304 4196468 140722693080288 139652675594512 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19186] ppid=19180 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19186/stat : 19186 (java) S 19180 19180 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511434071 28911386624 28724 33554432000 4194304 4196468 140722693080288 139652305640080 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 ################ # More data... # ################ [pid=19182/tid=19420] ppid=19180 vsize=28769364 memory=-8458152057954561420 CPUtime=7.55 cores=0-7 /proc/19182/task/19420/stat : 19420 (java) R 19180 19180 18822 0 -1 4202560 235 0 0 0 755 0 0 0 20 0 28 0 511434753 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650482897240 139652362504400 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19421] ppid=19180 vsize=28769364 memory=-9001728533042062950 CPUtime=7.49 cores=0-7 /proc/19182/task/19421/stat : 19421 (java) R 19180 19180 18822 0 -1 4202560 709 0 0 0 749 0 0 0 20 0 28 0 511434753 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650486055128 139652362504967 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19422] ppid=19180 vsize=28769364 memory=-7025448733113094249 CPUtime=7.54 cores=0-7 /proc/19182/task/19422/stat : 19422 (java) R 19180 19180 18822 0 -1 4202560 934 0 0 0 754 0 0 0 20 0 28 0 511434753 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650483950760 139652362504911 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19423] ppid=19180 vsize=28769364 memory=21136 CPUtime=7.39 cores=0-7 /proc/19182/task/19423/stat : 19423 (java) R 19180 19180 18822 0 -1 4202560 734 0 0 0 739 0 0 0 20 0 28 0 511434753 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650480792072 139652363700636 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19424] ppid=19180 vsize=28769364 memory=512 CPUtime=7.49 cores=0-7 /proc/19182/task/19424/stat : 19424 (java) R 19180 19180 18822 0 -1 4202560 139 0 0 0 749 0 0 0 20 0 28 0 511434753 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650481844056 139652362504946 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19425] ppid=19180 vsize=28769364 memory=1564 CPUtime=7.53 cores=0-7 /proc/19182/task/19425/stat : 19425 (java) R 19180 19180 18822 0 -1 4202560 290 0 0 0 753 0 0 0 20 0 28 0 511434753 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650930548112 139652362504757 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 Current children cumulated CPU time: 103.99 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 475844 KiB [startup+15.2013 s] /proc/loadavg: 8.68 8.36 8.24 9/220 19426 /proc/meminfo: memFree=25016452/32770624 swapFree=66992424/67108860 [pid=19180] ppid=19177 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19180/stat : 19180 (xcsp3-exec) S 19177 19180 18822 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511434069 115843072 363 33554432000 4194304 5098028 140733256689296 140733256687400 139628454560380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24707072 140733256692562 140733256692821 140733256692821 140733256695750 0 /proc/19180/statm: 28282 363 304 221 0 87 0 [pid=19182] ppid=19180 vsize=28769364 memory=474392 CPUtime=110.37 cores=0-7 /proc/19182/stat : 19182 (java) S 19180 19180 18822 0 -1 1077944320 48489 0 0 0 10976 61 0 0 20 0 28 0 511434070 29459828736 118598 33554432000 4194304 4196468 140722693080288 140722693062832 139652756795127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 /proc/19182/statm: 7192341 118598 3524 1 0 7153441 0 [pid=19182/tid=19183] ppid=19180 vsize=28769364 memory=984 CPUtime=1.79 cores=0-7 /proc/19182/task/19183/stat : 19183 (java) S 19180 19180 18822 0 -1 1077944384 10078 0 0 0 172 7 0 0 20 0 28 0 511434070 29459828736 118598 33554432000 4194304 4196468 140722693080288 139652761035904 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19184] ppid=19180 vsize=28769364 memory=0 CPUtime=0.07 cores=0-7 /proc/19182/task/19184/stat : 19184 (java) S 19180 19180 18822 0 -1 1077944384 184 0 0 0 3 4 0 0 20 0 28 0 511434071 29459828736 118598 33554432000 4194304 4196468 140722693080288 139652676647312 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19185] ppid=19180 vsize=28769364 memory=2241 CPUtime=0.08 cores=0-7 /proc/19182/task/19185/stat : 19185 (java) S 19180 19180 18822 0 -1 1077944384 244 0 0 0 4 4 0 0 20 0 28 0 511434071 29459828736 118598 33554432000 4194304 4196468 140722693080288 139652675594512 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19186] ppid=19180 vsize=28769364 memory=2244 CPUtime=0.07 cores=0-7 /proc/19182/task/19186/stat : 19186 (java) S 19180 19180 18822 0 -1 1077944384 208 0 0 0 3 4 0 0 20 0 28 0 511434071 29459828736 118598 33554432000 4194304 4196468 140722693080288 139652305640080 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19187] ppid=19180 vsize=28769364 memory=7882233281379783787 CPUtime=0.08 cores=0-7 /proc/19182/task/19187/stat : 19187 (java) S 19180 19180 18822 0 -1 1077944384 159 0 0 0 4 4 0 0 20 0 28 0 511434071 29459828736 118598 33554432000 4194304 4196468 140722693080288 139652304587280 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19188] ppid=19180 vsize=28769364 memory=1452 CPUtime=0.08 cores=0-7 /proc/19182/task/19188/stat : 19188 (java) S 19180 19180 18822 0 -1 1077944384 261 0 0 0 4 4 0 0 20 0 28 0 511434071 29459828736 118598 33554432000 4194304 4196468 140722693080288 139652303534992 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19189] ppid=19180 vsize=28769364 memory=472188 CPUtime=0.08 cores=0-7 /proc/19182/task/19189/stat : 19189 (java) S 19180 19180 18822 0 -1 1077944384 157 0 0 0 4 4 0 0 20 0 28 0 511434071 29459828736 118598 33554432000 4194304 4196468 140722693080288 139652302482192 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19190] ppid=19180 vsize=28769364 memory=2528 CPUtime=0.06 cores=0-7 /proc/19182/task/19190/stat : 19190 (java) S 19180 19180 18822 0 -1 1077944384 112 0 0 0 3 3 0 0 20 0 28 0 511434071 29459828736 118598 33554432000 4194304 4196468 140722693080288 139652301429904 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19191] ppid=19180 vsize=28769364 memory=1764 CPUtime=0.08 cores=0-7 /proc/19182/task/19191/stat : 19191 (java) S 19180 19180 18822 0 -1 1077944384 180 0 0 0 4 4 0 0 20 0 28 0 511434071 29459828736 118598 33554432000 4194304 4196468 140722693080288 139652300377104 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19192] ppid=19180 vsize=28769364 memory=111632 CPUtime=0.01 cores=0-7 /proc/19182/task/19192/stat : 19192 (java) S 19180 19180 18822 0 -1 1077944384 526 0 0 0 1 0 0 0 20 0 28 0 511434072 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650952390768 139652756806274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19193] ppid=19180 vsize=28769364 memory=1452 CPUtime=0 cores=0-7 /proc/19182/task/19193/stat : 19193 (java) S 19180 19180 18822 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 511434073 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650951336800 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19194] ppid=19180 vsize=28769364 memory=474392 CPUtime=0 cores=0-7 /proc/19182/task/19194/stat : 19194 (java) S 19180 19180 18822 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 511434073 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650950284416 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19195] ppid=19180 vsize=28769364 memory=1440 CPUtime=0 cores=0-7 /proc/19182/task/19195/stat : 19195 (java) S 19180 19180 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511434075 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650949232720 139652756813723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19196] ppid=19180 vsize=28769364 memory=904 CPUtime=1.96 cores=0-7 /proc/19182/task/19196/stat : 19196 (java) S 19180 19180 18822 0 -1 1077944384 6674 0 0 0 194 2 0 0 20 0 28 0 511434075 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650948180592 139652756806274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19197] ppid=19180 vsize=28769364 memory=1984 CPUtime=1.8 cores=0-7 /proc/19182/task/19197/stat : 19197 (java) S 19180 19180 18822 0 -1 1077944384 7200 0 0 0 178 2 0 0 20 0 28 0 511434075 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650947127792 139652756806274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19198] ppid=19180 vsize=28769364 memory=2528 CPUtime=2.05 cores=0-7 /proc/19182/task/19198/stat : 19198 (java) S 19180 19180 18822 0 -1 1077944384 5852 0 0 0 205 0 0 0 20 0 28 0 511434075 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650946075504 139652756806274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19199] ppid=19180 vsize=28769364 memory=1764 CPUtime=0.99 cores=0-7 /proc/19182/task/19199/stat : 19199 (java) S 19180 19180 18822 0 -1 1077944384 6531 0 0 0 97 2 0 0 20 0 28 0 511434075 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650945022704 139652756806274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19200] ppid=19180 vsize=28769364 memory=111632 CPUtime=0 cores=0-7 /proc/19182/task/19200/stat : 19200 (java) S 19180 19180 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511434076 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650943969632 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19201] ppid=19180 vsize=28769364 memory=804 CPUtime=0 cores=0-7 /proc/19182/task/19201/stat : 19201 (java) S 19180 19180 18822 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 28 0 511434076 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650942916912 139652756806274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19418] ppid=19180 vsize=28769364 memory=4100 CPUtime=8.35 cores=0-7 /proc/19182/task/19418/stat : 19418 (java) R 19180 19180 18822 0 -1 4202560 304 0 0 0 835 0 0 0 20 0 28 0 511434753 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650931600968 139652362504903 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19419] ppid=19180 vsize=28769364 memory=6791534058613427641 CPUtime=8.26 cores=0-7 /proc/19182/task/19419/stat : 19419 (java) R 19180 19180 18822 0 -1 4202560 208 0 0 0 826 0 0 0 20 0 28 0 511434753 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650485002200 139652362504538 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19420] ppid=19180 vsize=28769364 memory=49608 CPUtime=8.35 cores=0-7 /proc/19182/task/19420/stat : 19420 (java) R 19180 19180 18822 0 -1 4202560 252 0 0 0 835 0 0 0 20 0 28 0 511434753 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650482897240 139652362504675 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19421] ppid=19180 vsize=28769364 memory=0 CPUtime=8.29 cores=0-7 /proc/19182/task/19421/stat : 19421 (java) R 19180 19180 18822 0 -1 4202560 717 0 0 0 829 0 0 0 20 0 28 0 511434753 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650486055128 139652363109659 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19422] ppid=19180 vsize=28769364 memory=280882004687296 CPUtime=8.33 cores=0-7 /proc/19182/task/19422/stat : 19422 (java) R 19180 19180 18822 0 -1 4202560 982 0 0 0 833 0 0 0 20 0 28 0 511434753 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650483952632 139652362504567 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19423] ppid=19180 vsize=28769364 memory=140441002351164 CPUtime=8.17 cores=0-7 /proc/19182/task/19423/stat : 19423 (java) R 19180 19180 18822 0 -1 4202560 770 0 0 0 817 0 0 0 20 0 28 0 511434753 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650480792072 139652362504639 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19424] ppid=19180 vsize=28769364 memory=780 CPUtime=8.29 cores=0-7 /proc/19182/task/19424/stat : 19424 (java) R 19180 19180 18822 0 -1 4202560 146 0 0 0 829 0 0 0 20 0 28 0 511434753 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650481844056 139652362504538 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19425] ppid=19180 vsize=28769364 memory=3620 CPUtime=8.29 cores=0-7 /proc/19182/task/19425/stat : 19425 (java) R 19180 19180 18822 0 -1 4202560 294 0 0 0 829 0 0 0 20 0 28 0 511434753 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650930548112 139652362504538 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 Current children cumulated CPU time: 110.37 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 475844 KiB [startup+15.6013 s] /proc/loadavg: 8.68 8.36 8.24 9/220 19426 /proc/meminfo: memFree=25016452/32770624 swapFree=66992424/67108860 [pid=19180] ppid=19177 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19180/stat : 19180 (xcsp3-exec) S 19177 19180 18822 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511434069 115843072 363 33554432000 4194304 5098028 140733256689296 140733256687400 139628454560380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24707072 140733256692562 140733256692821 140733256692821 140733256695750 0 /proc/19180/statm: 28282 363 304 221 0 87 0 [pid=19182] ppid=19180 vsize=28769364 memory=474392 CPUtime=113.56 cores=0-7 /proc/19182/stat : 19182 (java) S 19180 19180 18822 0 -1 1077944320 48849 0 0 0 11295 61 0 0 20 0 28 0 511434070 29459828736 118598 33554432000 4194304 4196468 140722693080288 140722693062832 139652756795127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 /proc/19182/statm: 7192341 118598 3524 1 0 7153441 0 [pid=19182/tid=19183] ppid=19180 vsize=28769364 memory=6791534058613427641 CPUtime=1.79 cores=0-7 /proc/19182/task/19183/stat : 19183 (java) S 19180 19180 18822 0 -1 1077944384 10078 0 0 0 172 7 0 0 20 0 28 0 511434070 29459828736 118598 33554432000 4194304 4196468 140722693080288 139652761035904 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19184] ppid=19180 vsize=28769364 memory=6944652177228980320 CPUtime=0.07 cores=0-7 /proc/19182/task/19184/stat : 19184 (java) S 19180 19180 18822 0 -1 1077944384 184 0 0 0 3 4 0 0 20 0 28 0 511434071 29459828736 118598 33554432000 4194304 4196468 140722693080288 139652676647312 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19185] ppid=19180 vsize=28769364 memory=6656426216303648864 CPUtime=0.08 cores=0-7 /proc/19182/task/19185/stat : 19185 (java) S 19180 19180 18822 0 -1 1077944384 244 0 0 0 4 4 0 0 20 0 28 0 511434071 29459828736 118598 33554432000 4194304 4196468 140722693080288 139652675594512 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19186] ppid=19180 vsize=28769364 memory=-7966001967340291680 CPUtime=0.07 cores=0-7 /proc/19182/task/19186/stat : 19186 (java) S 19180 19180 18822 0 -1 1077944384 208 0 0 0 3 4 0 0 20 0 28 0 511434071 29459828736 118598 33554432000 4194304 4196468 140722693080288 139652305640080 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19187] ppid=19180 vsize=28769364 memory=-9181546051567709026 CPUtime=0.08 cores=0-7 /proc/19182/task/19187/stat : 19187 (java) S 19180 19180 18822 0 -1 1077944384 159 0 0 0 4 4 0 0 20 0 28 0 511434071 29459828736 118598 33554432000 4194304 4196468 140722693080288 139652304587280 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19188] ppid=19180 vsize=28769364 memory=5450874561017252906 CPUtime=0.08 cores=0-7 /proc/19182/task/19188/stat : 19188 (java) S 19180 19180 18822 0 -1 1077944384 261 0 0 0 4 4 0 0 20 0 28 0 511434071 29459828736 118598 33554432000 4194304 4196468 140722693080288 139652303534992 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19189] ppid=19180 vsize=28769364 memory=-8823246064971903881 CPUtime=0.08 cores=0-7 /proc/19182/task/19189/stat : 19189 (java) S 19180 19180 18822 0 -1 1077944384 157 0 0 0 4 4 0 0 20 0 28 0 511434071 29459828736 118598 33554432000 4194304 4196468 140722693080288 139652302482192 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19190] ppid=19180 vsize=28769364 memory=0 CPUtime=0.06 cores=0-7 /proc/19182/task/19190/stat : 19190 (java) S 19180 19180 18822 0 -1 1077944384 112 0 0 0 3 3 0 0 20 0 28 0 511434071 29459828736 118598 33554432000 4194304 4196468 140722693080288 139652301429904 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19191] ppid=19180 vsize=28769364 memory=2241 CPUtime=0.08 cores=0-7 /proc/19182/task/19191/stat : 19191 (java) S 19180 19180 18822 0 -1 1077944384 180 0 0 0 4 4 0 0 20 0 28 0 511434071 29459828736 118598 33554432000 4194304 4196468 140722693080288 139652300377104 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19192] ppid=19180 vsize=28769364 memory=2244 CPUtime=0.01 cores=0-7 /proc/19182/task/19192/stat : 19192 (java) S 19180 19180 18822 0 -1 1077944384 526 0 0 0 1 0 0 0 20 0 28 0 511434072 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650952390768 139652756806274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19193] ppid=19180 vsize=28769364 memory=3474581234221599759 CPUtime=0 cores=0-7 /proc/19182/task/19193/stat : 19193 (java) S 19180 19180 18822 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 511434073 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650951336800 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19194] ppid=19180 vsize=28769364 memory=13 CPUtime=0 cores=0-7 /proc/19182/task/19194/stat : 19194 (java) S 19180 19180 18822 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 511434073 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650950284416 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19195] ppid=19180 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/19182/task/19195/stat : 19195 (java) S 19180 19180 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511434075 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650949232720 139652756813723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19196] ppid=19180 vsize=28769364 memory=34478 CPUtime=1.97 cores=0-7 /proc/19182/task/19196/stat : 19196 (java) S 19180 19180 18822 0 -1 1077944384 6966 0 0 0 195 2 0 0 20 0 28 0 511434075 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650948180592 139652756806274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19197] ppid=19180 vsize=28769364 memory=1696 CPUtime=1.8 cores=0-7 /proc/19182/task/19197/stat : 19197 (java) S 19180 19180 18822 0 -1 1077944384 7200 0 0 0 178 2 0 0 20 0 28 0 511434075 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650947127792 139652756806274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19198] ppid=19180 vsize=28769364 memory=280882003330640 CPUtime=2.05 cores=0-7 /proc/19182/task/19198/stat : 19198 (java) S 19180 19180 18822 0 -1 1077944384 5852 0 0 0 205 0 0 0 20 0 28 0 511434075 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650946075504 139652756806274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19199] ppid=19180 vsize=28769364 memory=280882002788592 CPUtime=0.99 cores=0-7 /proc/19182/task/19199/stat : 19199 (java) S 19180 19180 18822 0 -1 1077944384 6531 0 0 0 97 2 0 0 20 0 28 0 511434075 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650945022704 139652756806274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19200] ppid=19180 vsize=28769364 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/19182/task/19200/stat : 19200 (java) S 19180 19180 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511434076 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650943969632 139652756805333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19201] ppid=19180 vsize=28769364 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/19182/task/19201/stat : 19201 (java) S 19180 19180 18822 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 28 0 511434076 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650942916912 139652756806274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19418] ppid=19180 vsize=28769364 memory=280882002788592 CPUtime=8.74 cores=0-7 /proc/19182/task/19418/stat : 19418 (java) R 19180 19180 18822 0 -1 4202560 307 0 0 0 874 0 0 0 20 0 28 0 511434753 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650931600968 139652362504639 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19419] ppid=19180 vsize=28769364 memory=1399101730491701635 CPUtime=8.66 cores=0-7 /proc/19182/task/19419/stat : 19419 (java) R 19180 19180 18822 0 -1 4202560 208 0 0 0 866 0 0 0 20 0 28 0 511434753 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650485002200 139652362504567 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19420] ppid=19180 vsize=28769364 memory=3620 CPUtime=8.75 cores=0-7 /proc/19182/task/19420/stat : 19420 (java) R 19180 19180 18822 0 -1 4202560 260 0 0 0 875 0 0 0 20 0 28 0 511434753 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650482897800 139652362504734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19421] ppid=19180 vsize=28769364 memory=49608 CPUtime=8.69 cores=0-7 /proc/19182/task/19421/stat : 19421 (java) R 19180 19180 18822 0 -1 4202560 721 0 0 0 869 0 0 0 20 0 28 0 511434753 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650486055128 139652362504757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19422] ppid=19180 vsize=28769364 memory=2004 CPUtime=8.72 cores=0-7 /proc/19182/task/19422/stat : 19422 (java) R 19180 19180 18822 0 -1 4202560 988 0 0 0 872 0 0 0 20 0 28 0 511434753 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650483952632 139652362504612 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19423] ppid=19180 vsize=28769364 memory=984 CPUtime=8.57 cores=0-7 /proc/19182/task/19423/stat : 19423 (java) R 19180 19180 18822 0 -1 4202560 787 0 0 0 857 0 0 0 20 0 28 0 511434753 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650480792072 139652362504743 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19424] ppid=19180 vsize=28769364 memory=1324 CPUtime=8.69 cores=0-7 /proc/19182/task/19424/stat : 19424 (java) R 19180 19180 18822 0 -1 4202560 146 0 0 0 869 0 0 0 20 0 28 0 511434753 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650481844056 139652362504995 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 [pid=19182/tid=19425] ppid=19180 vsize=28769364 memory=780 CPUtime=8.69 cores=0-7 /proc/19182/task/19425/stat : 19425 (java) R 19180 19180 18822 0 -1 4202560 297 0 0 0 869 0 0 0 20 0 28 0 511434753 29459828736 118598 33554432000 4194304 4196468 140722693080288 139650930548112 139652362504580 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10293248 140722693084118 140722693084294 140722693084294 140722693087183 0 Current children cumulated CPU time: 113.56 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 475844 KiB [startup+15.8011 s] /proc/loadavg: 8.68 8.36 8.24 9/220 19426 /proc/meminfo: memFree=25016452/32770624 swapFree=66992424/67108860 [pid=19180] ppid=19177 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/19180/stat : 19180 (xcsp3-exec) S 19177 19180 18822 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 511434069 115843072 363 33554432000 4194304 5098028 140733256689296 140733256687400 139628454560380 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24707072 140733256692562 140733256692821 140733256692821 140733256695750 0 /proc/19180/statm: 28282 363 304 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 0 Real time (s): 15.8058 CPU time (s): 115.103 CPU user time (s): 114.472 CPU system time (s): 0.630246 CPU usage (%): 728.229 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 475844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 114.472 system time used= 0.630246 maximum resident set size= 477176 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50473 page faults= 0 swaps= 0 block input operations= 0 block output operations= 200 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6926 involuntary context switches= 2004 # summary of solver processes directly reported to runsolver: # pid: 19180 # total CPU time (s): 115.103 # total CPU user time (s): 114.472 # total CPU system time (s): 0.630246 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.156773 second user time and 0.217195 second system time The end
Begin job on node121 at 2019-09-24 21:01:12 IDJOB=4407115 IDBENCH=128028 IDSOLVER=2871 FILE ID=node121/4407115-1569351715 RUNJOBID= node121-1569349151-18849 PBS_JOBID= 21705085 Free space on /var/tmp= 13508 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-24-4-6-4.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 /var/tmp/evaluation-result-4407115-1569351715/watcher-4407115-1569351715 -o /var/tmp/evaluation-result-4407115-1569351715/solver-4407115-1569351715 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569349151-18849 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 523717191 HOME/instance-4407115-1569351715.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e870fb3a9053f33a7d0d8e73b49cdad7 RANDOM SEED=523717191 node121.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.75 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.75 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.75 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.75 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: 25478312 kB MemAvailable: 31846336 kB Buffers: 148176 kB Cached: 6309712 kB SwapCached: 4596 kB Active: 3209528 kB Inactive: 3256940 kB Active(anon): 4576 kB Inactive(anon): 53336 kB Active(file): 3204952 kB Inactive(file): 3203604 kB Unevictable: 109596 kB Mlocked: 109596 kB SwapTotal: 67108860 kB SwapFree: 66992424 kB Dirty: 26700 kB Writeback: 0 kB AnonPages: 113308 kB Mapped: 52712 kB Shmem: 41112 kB Slab: 417300 kB SReclaimable: 387928 kB SUnreclaim: 29372 kB KernelStack: 3440 kB PageTables: 5760 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514504 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /var/tmp at the end= 13484 MiB End job on node121 at 2019-09-24 21:01:28