Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 80 | 106.884 | 14.6883 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-3.xml |
MD5SUM | 95a2ddfb0d7ed65af35b4a4f8b00191d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 80 |
Best CPU time to get the best result obtained on this benchmark | 40.9991 |
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":11},{"size":5,"count":11},{"size":6,"count":2},{"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-4404857-1569004473.xml" -tl '2016s' -p 8 0.09/0.20 c Choco 3fb4b153 0.09/0.20 c [HOME/instance-4404857-1569004473.xml, -tl, 2016s, -p, 8] 0.30/0.24 c 8 solvers in parallel 0.30/0.30 c parse instance... 4.62/1.78 c solve instance... 5.08/1.86 o -1000 10.56/2.50 o -992 10.56/2.51 o -990 10.56/2.53 o -986 10.56/2.53 o -980 10.56/2.54 o -978 10.56/2.54 o -972 10.56/2.57 o -967 10.56/2.59 o -964 11.17/2.61 o -955 11.17/2.62 o -952 11.17/2.65 o -951 11.89/2.73 o -8 11.89/2.74 o 8 15.69/3.24 o 39 20.43/3.88 o 77 27.55/4.77 o 80 106.29/14.67 s OPTIMUM FOUND 106.29/14.67 v <instantiation> 106.29/14.67 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> 106.29/14.67 v <values>6 0 1 2 10 4 12 8 9 3 16 5 18 7 13 14 15 11 19 20 21 22 23 17 0 23 22 21 12 11 1 18 19 20 13 10 2 17 16 15 14 9 3 4 5 6 7 8 4 -4 -3 5 6 7 6 0 2 7 -2 6 -4 -7 5 8 8 -1 8 3 9 8 4 5 </values> 106.29/14.67 v </instantiation>
OK 80
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 (13250 MiB free) memory of node 1: 16384 MiB (12344 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404857-1569004473/watcher-4404857-1569004473 -o /var/tmp/evaluation-result-4404857-1569004473/solver-4404857-1569004473 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1568994428-2972 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 838958684 HOME/instance-4404857-1569004473.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=8329, runsolver pid=8326 Current StackSize limit: 8192 KiB [startup+0.100108 s]* /proc/loadavg: 8.17 8.25 7.89 2/212 8350 /proc/meminfo: memFree=26192076/32770624 swapFree=67001832/67108860 [pid=8329] ppid=8326 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/8329/stat : 8329 (xcsp3-exec) S 8326 8329 2945 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476695891 115843072 364 33554432000 4194304 5098028 140732525233264 140732525231368 140592555532924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9392128 140732525241176 140732525241434 140732525241434 140732525244358 0 /proc/8329/statm: 28282 364 305 221 0 87 0 [pid=8331] ppid=8329 vsize=28227396 memory=29776 CPUtime=0.09 cores=0-7 /proc/8331/stat : 8331 (java) S 8329 8329 2945 0 -1 1077944320 5389 0 0 0 8 1 0 0 20 0 20 0 476695891 28904853504 7444 33554432000 4194304 4196468 140733463307296 140733463289840 140586893156087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 /proc/8331/statm: 7056849 7444 3024 1 0 7019032 0 [pid=8331/tid=8332] ppid=8329 vsize=28227396 memory=4134692831991783777 CPUtime=0.07 cores=0-7 /proc/8331/task/8332/stat : 8332 (java) R 8329 8329 2945 0 -1 4202560 3518 0 0 0 7 0 0 0 20 0 20 0 476695892 28904853504 7444 33554432000 4194304 4196468 140733463307296 140586897389584 140586877603184 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8333] ppid=8329 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/8331/task/8333/stat : 8333 (java) S 8329 8329 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476695892 28904853504 7444 33554432000 4194304 4196468 140733463307296 140586845776656 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8334] ppid=8329 vsize=28227396 memory=140707928016512 CPUtime=0 cores=0-7 /proc/8331/task/8334/stat : 8334 (java) S 8329 8329 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476695892 28904853504 7444 33554432000 4194304 4196468 140733463307296 140586844724112 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8335] ppid=8329 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8335/stat : 8335 (java) S 8329 8329 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476695892 28904853504 7444 33554432000 4194304 4196468 140733463307296 140586843671568 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8336] ppid=8329 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8336/stat : 8336 (java) S 8329 8329 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476695892 28904853504 7444 33554432000 4194304 4196468 140733463307296 140586842619024 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8337] ppid=8329 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8337/stat : 8337 (java) S 8329 8329 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476695892 28904853504 7444 33554432000 4194304 4196468 140733463307296 140586841565456 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8338] ppid=8329 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/8331/task/8338/stat : 8338 (java) S 8329 8329 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476695892 28904853504 7444 33554432000 4194304 4196468 140733463307296 140586840512912 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8339] ppid=8329 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8339/stat : 8339 (java) S 8329 8329 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476695892 28904853504 7444 33554432000 4194304 4196468 140733463307296 140586839460368 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8340] ppid=8329 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8340/stat : 8340 (java) S 8329 8329 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476695892 28904853504 7444 33554432000 4194304 4196468 140733463307296 140586838407824 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8341] ppid=8329 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8341/stat : 8341 (java) S 8329 8329 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476695894 28904853504 7444 33554432000 4194304 4196468 140733463307296 140586210232816 140586893167234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8342] ppid=8329 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8342/stat : 8342 (java) S 8329 8329 2945 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476695894 28904853504 7444 33554432000 4194304 4196468 140733463307296 140586209179040 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8343] ppid=8329 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8343/stat : 8343 (java) S 8329 8329 2945 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476695895 28904853504 7444 33554432000 4194304 4196468 140733463307296 140586208126448 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8344] ppid=8329 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8344/stat : 8344 (java) S 8329 8329 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476695897 28904853504 7444 33554432000 4194304 4196468 140733463307296 140586207075024 140586893174683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8345] ppid=8329 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8345/stat : 8345 (java) S 8329 8329 2945 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 476695899 28904853504 7444 33554432000 4194304 4196468 140733463307296 140586206021616 140586893167234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8346] ppid=8329 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8346/stat : 8346 (java) S 8329 8329 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476695899 28904853504 7444 33554432000 4194304 4196468 140733463307296 140586204969072 140586893167234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8347] ppid=8329 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8347/stat : 8347 (java) S 8329 8329 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476695899 28904853504 7444 33554432000 4194304 4196468 140733463307296 140586203916528 140586893167234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8348] ppid=8329 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/8331/task/8348/stat : 8348 (java) S 8329 8329 2945 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 20 0 476695899 28904853504 7444 33554432000 4194304 4196468 140733463307296 140586202863984 140586893167234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8349] ppid=8329 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8349/stat : 8349 (java) S 8329 8329 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476695899 28904853504 7444 33554432000 4194304 4196468 140733463307296 140586201811680 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8350] ppid=8329 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/8331/task/8350/stat : 8350 (java) S 8329 8329 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476695899 28904853504 7444 33554432000 4194304 4196468 140733463307296 140586200759216 140586893167234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31232 KiB [startup+0.210341 s]* /proc/loadavg: 8.17 8.25 7.89 2/212 8350 /proc/meminfo: memFree=26179640/32770624 swapFree=67001832/67108860 [pid=8329] ppid=8326 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/8329/stat : 8329 (xcsp3-exec) S 8326 8329 2945 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476695891 115843072 364 33554432000 4194304 5098028 140732525233264 140732525231368 140592555532924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9392128 140732525241176 140732525241434 140732525241434 140732525244358 0 /proc/8329/statm: 28282 364 305 221 0 87 0 [pid=8331] ppid=8329 vsize=28227396 memory=41588 CPUtime=0.3 cores=0-7 /proc/8331/stat : 8331 (java) S 8329 8329 2945 0 -1 1077944320 9253 0 0 0 27 3 0 0 20 0 20 0 476695891 28904853504 10397 33554432000 4194304 4196468 140733463307296 140733463289840 140586893156087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 /proc/8331/statm: 7056849 10397 3254 1 0 7019032 0 [pid=8331/tid=8332] ppid=8329 vsize=28227396 memory=8318255677412212789 CPUtime=0.18 cores=0-7 /proc/8331/task/8332/stat : 8332 (java) R 8329 8329 2945 0 -1 4202560 6488 0 0 0 16 2 0 0 20 0 20 0 476695892 28904853504 10397 33554432000 4194304 4196468 140733463307296 140586897375424 140586877236574 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8333] ppid=8329 vsize=28227396 memory=330 CPUtime=0 cores=0-7 /proc/8331/task/8333/stat : 8333 (java) S 8329 8329 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476695892 28904853504 10397 33554432000 4194304 4196468 140733463307296 140586845776656 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8334] ppid=8329 vsize=28227396 memory=140707928026335 CPUtime=0 cores=0-7 /proc/8331/task/8334/stat : 8334 (java) S 8329 8329 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476695892 28904853504 10397 33554432000 4194304 4196468 140733463307296 140586844724112 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8335] ppid=8329 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/8331/task/8335/stat : 8335 (java) S 8329 8329 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476695892 28904853504 10397 33554432000 4194304 4196468 140733463307296 140586843671568 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8336] ppid=8329 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8336/stat : 8336 (java) S 8329 8329 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476695892 28904853504 10397 33554432000 4194304 4196468 140733463307296 140586842619024 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8337] ppid=8329 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8337/stat : 8337 (java) S 8329 8329 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476695892 28904853504 10397 33554432000 4194304 4196468 140733463307296 140586841565456 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8338] ppid=8329 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/8331/task/8338/stat : 8338 (java) S 8329 8329 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476695892 28904853504 10397 33554432000 4194304 4196468 140733463307296 140586840512912 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8339] ppid=8329 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8339/stat : 8339 (java) S 8329 8329 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476695892 28904853504 10397 33554432000 4194304 4196468 140733463307296 140586839460368 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8340] ppid=8329 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8340/stat : 8340 (java) S 8329 8329 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476695892 28904853504 10397 33554432000 4194304 4196468 140733463307296 140586838407824 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8341] ppid=8329 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8341/stat : 8341 (java) S 8329 8329 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476695894 28904853504 10397 33554432000 4194304 4196468 140733463307296 140586210232816 140586893167234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8342] ppid=8329 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8342/stat : 8342 (java) S 8329 8329 2945 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476695894 28904853504 10397 33554432000 4194304 4196468 140733463307296 140586209179040 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8343] ppid=8329 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8343/stat : 8343 (java) S 8329 8329 2945 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476695895 28904853504 10397 33554432000 4194304 4196468 140733463307296 140586208126448 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8344] ppid=8329 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8344/stat : 8344 (java) S 8329 8329 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476695897 28904853504 10397 33554432000 4194304 4196468 140733463307296 140586207075024 140586893174683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8345] ppid=8329 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/8331/task/8345/stat : 8345 (java) S 8329 8329 2945 0 -1 1077944384 444 0 0 0 1 0 0 0 20 0 20 0 476695899 28904853504 10397 33554432000 4194304 4196468 140733463307296 140586206021616 140586893167234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8346] ppid=8329 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/8331/task/8346/stat : 8346 (java) S 8329 8329 2945 0 -1 1077944384 177 0 0 0 1 0 0 0 20 0 20 0 476695899 28904853504 10397 33554432000 4194304 4196468 140733463307296 140586204969072 140586893167234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8347] ppid=8329 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/8331/task/8347/stat : 8347 (java) R 8329 8329 2945 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 20 0 476695899 28904853504 10397 33554432000 4194304 4196468 140733463307296 140586203907984 140586878837526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8348] ppid=8329 vsize=28227396 memory=-1 CPUtime=0.06 cores=0-7 /proc/8331/task/8348/stat : 8348 (java) R 8329 8329 2945 0 -1 4202560 791 0 0 0 6 0 0 0 20 0 20 0 476695899 28904853504 10397 33554432000 4194304 4196468 140733463307296 140586202863984 140586893168022 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8349] ppid=8329 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8349/stat : 8349 (java) S 8329 8329 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476695899 28904853504 10397 33554432000 4194304 4196468 140733463307296 140586201811680 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8350] ppid=8329 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/8331/task/8350/stat : 8350 (java) S 8329 8329 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476695899 28904853504 10397 33554432000 4194304 4196468 140733463307296 140586200759216 140586893167234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 43044 KiB [startup+0.309681 s]* /proc/loadavg: 8.17 8.25 7.89 2/212 8350 /proc/meminfo: memFree=26173932/32770624 swapFree=67001832/67108860 [pid=8329] ppid=8326 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/8329/stat : 8329 (xcsp3-exec) S 8326 8329 2945 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476695891 115843072 364 33554432000 4194304 5098028 140732525233264 140732525231368 140592555532924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9392128 140732525241176 140732525241434 140732525241434 140732525244358 0 /proc/8329/statm: 28282 364 305 221 0 87 0 [pid=8331] ppid=8329 vsize=28231652 memory=48076 CPUtime=0.48 cores=0-7 /proc/8331/stat : 8331 (java) S 8329 8329 2945 0 -1 1077944320 10451 0 0 0 44 4 0 0 20 0 20 0 476695891 28909211648 12019 33554432000 4194304 4196468 140733463307296 140733463289840 140586893156087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 /proc/8331/statm: 7057913 12019 3288 1 0 7019032 0 [pid=8331/tid=8332] ppid=8329 vsize=28231652 memory=8112282956445269571 CPUtime=0.28 cores=0-7 /proc/8331/task/8332/stat : 8332 (java) R 8329 8329 2945 0 -1 4202560 7530 0 0 0 26 2 0 0 20 0 20 0 476695892 28909211648 12019 33554432000 4194304 4196468 140733463307296 140586897386976 140586877236574 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8333] ppid=8329 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8333/stat : 8333 (java) S 8329 8329 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476695892 28909211648 12019 33554432000 4194304 4196468 140733463307296 140586845776656 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8334] ppid=8329 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8334/stat : 8334 (java) S 8329 8329 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476695892 28909211648 12019 33554432000 4194304 4196468 140733463307296 140586844724112 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8335] ppid=8329 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8335/stat : 8335 (java) S 8329 8329 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476695892 28909211648 12019 33554432000 4194304 4196468 140733463307296 140586843671568 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8336] ppid=8329 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8336/stat : 8336 (java) S 8329 8329 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476695892 28909211648 12019 33554432000 4194304 4196468 140733463307296 140586842619024 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8337] ppid=8329 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/8331/task/8337/stat : 8337 (java) S 8329 8329 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476695892 28909211648 12019 33554432000 4194304 4196468 140733463307296 140586841565456 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8338] ppid=8329 vsize=28231652 memory=140707826332591 CPUtime=0 cores=0-7 /proc/8331/task/8338/stat : 8338 (java) S 8329 8329 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476695892 28909211648 12019 33554432000 4194304 4196468 140733463307296 140586840512912 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8339] ppid=8329 vsize=28231652 memory=140707826334896 CPUtime=0 cores=0-7 /proc/8331/task/8339/stat : 8339 (java) S 8329 8329 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476695892 28909211648 12019 33554432000 4194304 4196468 140733463307296 140586839460368 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8340] ppid=8329 vsize=28231652 memory=140707826337200 CPUtime=0 cores=0-7 /proc/8331/task/8340/stat : 8340 (java) S 8329 8329 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476695892 28909211648 12019 33554432000 4194304 4196468 140733463307296 140586838407824 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8341] ppid=8329 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8341/stat : 8341 (java) S 8329 8329 2945 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476695894 28909211648 12019 33554432000 4194304 4196468 140733463307296 140586210232816 140586893167234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8342] ppid=8329 vsize=28231652 memory=281415652681360 CPUtime=0 cores=0-7 /proc/8331/task/8342/stat : 8342 (java) S 8329 8329 2945 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476695894 28909211648 12019 33554432000 4194304 4196468 140733463307296 140586209179040 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8343] ppid=8329 vsize=28231652 memory=281415652688272 CPUtime=0 cores=0-7 /proc/8331/task/8343/stat : 8343 (java) S 8329 8329 2945 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476695895 28909211648 12019 33554432000 4194304 4196468 140733463307296 140586208126448 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8344] ppid=8329 vsize=28231652 memory=281415652629552 CPUtime=0 cores=0-7 /proc/8331/task/8344/stat : 8344 (java) S 8329 8329 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476695897 28909211648 12019 33554432000 4194304 4196468 140733463307296 140586207075024 140586893174683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8345] ppid=8329 vsize=28231652 memory=281415652702096 CPUtime=0.02 cores=0-7 /proc/8331/task/8345/stat : 8345 (java) S 8329 8329 2945 0 -1 1077944384 444 0 0 0 2 0 0 0 20 0 20 0 476695899 28909211648 12019 33554432000 4194304 4196468 140733463307296 140586206021616 140586893167234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8346] ppid=8329 vsize=28231652 memory=281415652709008 CPUtime=0.02 cores=0-7 /proc/8331/task/8346/stat : 8346 (java) S 8329 8329 2945 0 -1 1077944384 180 0 0 0 2 0 0 0 20 0 20 0 476695899 28909211648 12019 33554432000 4194304 4196468 140733463307296 140586204969072 140586893167234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8347] ppid=8329 vsize=28231652 memory=281415652706704 CPUtime=0.01 cores=0-7 /proc/8331/task/8347/stat : 8347 (java) S 8329 8329 2945 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 20 0 476695899 28909211648 12019 33554432000 4194304 4196468 140733463307296 140586203916528 140586893167234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8348] ppid=8329 vsize=28231652 memory=281415652722864 CPUtime=0.11 cores=0-7 /proc/8331/task/8348/stat : 8348 (java) R 8329 8329 2945 0 -1 4202560 937 0 0 0 11 0 0 0 20 0 20 0 476695899 28909211648 12019 33554432000 4194304 4196468 140733463307296 140586202863984 140586872121392 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8349] ppid=8329 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8349/stat : 8349 (java) S 8329 8329 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476695899 28909211648 12019 33554432000 4194304 4196468 140733463307296 140586201811680 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8350] ppid=8329 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/8331/task/8350/stat : 8350 (java) S 8329 8329 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476695899 28909211648 12019 33554432000 4194304 4196468 140733463307296 140586200759216 140586893167234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 49532 KiB [startup+0.700985 s] /proc/loadavg: 8.17 8.25 7.89 5/212 8350 /proc/meminfo: memFree=26144808/32770624 swapFree=67001832/67108860 [pid=8329] ppid=8326 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/8329/stat : 8329 (xcsp3-exec) S 8326 8329 2945 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476695891 115843072 364 33554432000 4194304 5098028 140732525233264 140732525231368 140592555532924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9392128 140732525241176 140732525241434 140732525241434 140732525244358 0 /proc/8329/statm: 28282 364 305 221 0 87 0 [pid=8331] ppid=8329 vsize=28233776 memory=118068 CPUtime=1.89 cores=0-7 /proc/8331/stat : 8331 (java) S 8329 8329 2945 0 -1 1077944320 16538 0 0 0 182 7 0 0 20 0 20 0 476695891 28911386624 29517 33554432000 4194304 4196468 140733463307296 140733463289840 140586893156087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 /proc/8331/statm: 7058444 29517 3449 1 0 7019544 0 [pid=8331/tid=8332] ppid=8329 vsize=28233776 memory=281415653080752 CPUtime=0.66 cores=0-7 /proc/8331/task/8332/stat : 8332 (java) R 8329 8329 2945 0 -1 4202560 9041 0 0 0 62 4 0 0 20 0 20 0 476695892 28911386624 29517 33554432000 4194304 4196468 140733463307296 140586897393680 140586510327710 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8333] ppid=8329 vsize=28233776 memory=140707826541424 CPUtime=0 cores=0-7 /proc/8331/task/8333/stat : 8333 (java) S 8329 8329 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476695892 28911386624 29517 33554432000 4194304 4196468 140733463307296 140586845776656 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8334] ppid=8329 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8334/stat : 8334 (java) S 8329 8329 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476695892 28911386624 29517 33554432000 4194304 4196468 140733463307296 140586844724112 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8335] ppid=8329 vsize=28233776 memory=1056 CPUtime=0 cores=0-7 /proc/8331/task/8335/stat : 8335 (java) S 8329 8329 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476695892 28911386624 29517 33554432000 4194304 4196468 140733463307296 140586843671568 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 ################ # More data... # ################ [pid=8331/tid=8348] ppid=8329 vsize=28769364 memory=1568 CPUtime=1 cores=0-7 /proc/8331/task/8348/stat : 8348 (java) S 8329 8329 2945 0 -1 1077944384 5609 0 0 0 97 3 0 0 20 0 28 0 476695899 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586202863984 140586893167234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8349] ppid=8329 vsize=28769364 memory=1056 CPUtime=0 cores=0-7 /proc/8331/task/8349/stat : 8349 (java) S 8329 8329 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476695899 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586201811680 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8350] ppid=8329 vsize=28769364 memory=14008 CPUtime=0 cores=0-7 /proc/8331/task/8350/stat : 8350 (java) S 8329 8329 2945 0 -1 1077944384 516 0 0 0 0 0 0 0 20 0 28 0 476695899 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586200759216 140586893167234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8487] ppid=8329 vsize=28769364 memory=12040 CPUtime=8.44 cores=0-7 /proc/8331/task/8487/stat : 8487 (java) R 8329 8329 2945 0 -1 4202560 470 0 0 0 844 0 0 0 20 0 28 0 476696369 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586189680344 140586517665186 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8488] ppid=8329 vsize=28769364 memory=2120 CPUtime=8.55 cores=0-7 /proc/8331/task/8488/stat : 8488 (java) R 8329 8329 2945 0 -1 4202560 155 0 0 0 855 0 0 0 20 0 28 0 476696369 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586181259504 140586517665214 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8489] ppid=8329 vsize=28769364 memory=30132 CPUtime=8.55 cores=0-7 /proc/8331/task/8489/stat : 8489 (java) R 8329 8329 2945 0 -1 4202560 445 0 0 0 855 0 0 0 20 0 28 0 476696369 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586183364200 140586517664939 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8490] ppid=8329 vsize=28769364 memory=1556 CPUtime=8.7 cores=0-7 /proc/8331/task/8490/stat : 8490 (java) R 8329 8329 2945 0 -1 4202560 616 0 0 0 870 0 0 0 20 0 28 0 476696369 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586186522208 140586518110736 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8491] ppid=8329 vsize=28769364 memory=500 CPUtime=8.66 cores=0-7 /proc/8331/task/8491/stat : 8491 (java) R 8329 8329 2945 0 -1 4202560 394 0 0 0 866 0 0 0 20 0 28 0 476696369 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586182311648 140586520508996 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8492] ppid=8329 vsize=28769364 memory=932 CPUtime=8.62 cores=0-7 /proc/8331/task/8492/stat : 8492 (java) R 8329 8329 2945 0 -1 4202560 321 0 0 0 862 0 0 0 20 0 28 0 476696369 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586185469912 140586517664939 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8493] ppid=8329 vsize=28769364 memory=1824 CPUtime=8.73 cores=0-7 /proc/8331/task/8493/stat : 8493 (java) R 8329 8329 2945 0 -1 4202560 1087 0 0 0 873 0 0 0 20 0 28 0 476696369 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586188628376 140586517665076 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8494] ppid=8329 vsize=28769364 memory=1656 CPUtime=8.72 cores=0-7 /proc/8331/task/8494/stat : 8494 (java) R 8329 8329 2945 0 -1 4202560 293 0 0 0 872 0 0 0 20 0 28 0 476696369 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586187575392 140586518110917 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 Current children cumulated CPU time: 98.32 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 459972 KiB [startup+14.4017 s] /proc/loadavg: 8.43 8.31 7.91 9/220 8494 /proc/meminfo: memFree=25762032/32770624 swapFree=67001832/67108860 [pid=8329] ppid=8326 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/8329/stat : 8329 (xcsp3-exec) S 8326 8329 2945 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476695891 115843072 364 33554432000 4194304 5098028 140732525233264 140732525231368 140592555532924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9392128 140732525241176 140732525241434 140732525241434 140732525244358 0 /proc/8329/statm: 28282 364 305 221 0 87 0 [pid=8331] ppid=8329 vsize=28769364 memory=458516 CPUtime=104.69 cores=0-7 /proc/8331/stat : 8331 (java) S 8329 8329 2945 0 -1 1077944320 49534 0 0 0 10410 59 0 0 20 0 28 0 476695891 29459828736 114629 33554432000 4194304 4196468 140733463307296 140733463289840 140586893156087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 /proc/8331/statm: 7192341 114629 3535 1 0 7153441 0 [pid=8331/tid=8332] ppid=8329 vsize=28769364 memory=288285588845757272 CPUtime=1.68 cores=0-7 /proc/8331/task/8332/stat : 8332 (java) S 8329 8329 2945 0 -1 1077944384 9572 0 0 0 161 7 0 0 20 0 28 0 476695892 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586897396864 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8333] ppid=8329 vsize=28769364 memory=0 CPUtime=0.07 cores=0-7 /proc/8331/task/8333/stat : 8333 (java) S 8329 8329 2945 0 -1 1077944384 132 0 0 0 4 3 0 0 20 0 28 0 476695892 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586845776656 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8334] ppid=8329 vsize=28769364 memory=1456 CPUtime=0.08 cores=0-7 /proc/8331/task/8334/stat : 8334 (java) S 8329 8329 2945 0 -1 1077944384 331 0 0 0 4 4 0 0 20 0 28 0 476695892 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586844724112 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8335] ppid=8329 vsize=28769364 memory=458516 CPUtime=0.07 cores=0-7 /proc/8331/task/8335/stat : 8335 (java) S 8329 8329 2945 0 -1 1077944384 215 0 0 0 4 3 0 0 20 0 28 0 476695892 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586843671568 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8336] ppid=8329 vsize=28769364 memory=1980 CPUtime=0.07 cores=0-7 /proc/8331/task/8336/stat : 8336 (java) S 8329 8329 2945 0 -1 1077944384 971 0 0 0 4 3 0 0 20 0 28 0 476695892 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586842619024 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8337] ppid=8329 vsize=28769364 memory=2676 CPUtime=0.08 cores=0-7 /proc/8331/task/8337/stat : 8337 (java) S 8329 8329 2945 0 -1 1077944384 235 0 0 0 4 4 0 0 20 0 28 0 476695892 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586841565456 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8338] ppid=8329 vsize=28769364 memory=1764 CPUtime=0.07 cores=0-7 /proc/8331/task/8338/stat : 8338 (java) S 8329 8329 2945 0 -1 1077944384 99 0 0 0 3 4 0 0 20 0 28 0 476695892 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586840512912 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8339] ppid=8329 vsize=28769364 memory=111632 CPUtime=0.06 cores=0-7 /proc/8331/task/8339/stat : 8339 (java) S 8329 8329 2945 0 -1 1077944384 107 0 0 0 3 3 0 0 20 0 28 0 476695892 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586839460368 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8340] ppid=8329 vsize=28769364 memory=796 CPUtime=0.08 cores=0-7 /proc/8331/task/8340/stat : 8340 (java) S 8329 8329 2945 0 -1 1077944384 206 0 0 0 4 4 0 0 20 0 28 0 476695892 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586838407824 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8341] ppid=8329 vsize=28769364 memory=1804 CPUtime=0.01 cores=0-7 /proc/8331/task/8341/stat : 8341 (java) S 8329 8329 2945 0 -1 1077944384 551 0 0 0 1 0 0 0 20 0 28 0 476695894 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586210232816 140586893167234 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8342] ppid=8329 vsize=28769364 memory=1456 CPUtime=0 cores=0-7 /proc/8331/task/8342/stat : 8342 (java) S 8329 8329 2945 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 476695894 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586209179104 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8343] ppid=8329 vsize=28769364 memory=458516 CPUtime=0 cores=0-7 /proc/8331/task/8343/stat : 8343 (java) S 8329 8329 2945 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 476695895 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586208126464 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8344] ppid=8329 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8344/stat : 8344 (java) S 8329 8329 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476695897 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586207075024 140586893174683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8345] ppid=8329 vsize=28769364 memory=0 CPUtime=1.99 cores=0-7 /proc/8331/task/8345/stat : 8345 (java) S 8329 8329 2945 0 -1 1077944384 6208 0 0 0 197 2 0 0 20 0 28 0 476695899 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586206021616 140586893167234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8346] ppid=8329 vsize=28769364 memory=0 CPUtime=2 cores=0-7 /proc/8331/task/8346/stat : 8346 (java) S 8329 8329 2945 0 -1 1077944384 7224 0 0 0 198 2 0 0 20 0 28 0 476695899 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586204969072 140586893167234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8347] ppid=8329 vsize=28769364 memory=281415654404224 CPUtime=2.53 cores=0-7 /proc/8331/task/8347/stat : 8347 (java) S 8329 8329 2945 0 -1 1077944384 7791 0 0 0 250 3 0 0 20 0 28 0 476695899 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586203916528 140586893167234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8348] ppid=8329 vsize=28769364 memory=140707827208688 CPUtime=1 cores=0-7 /proc/8331/task/8348/stat : 8348 (java) S 8329 8329 2945 0 -1 1077944384 5611 0 0 0 97 3 0 0 20 0 28 0 476695899 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586202863984 140586893167234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8349] ppid=8329 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8349/stat : 8349 (java) S 8329 8329 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476695899 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586201811680 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8350] ppid=8329 vsize=28769364 memory=14008 CPUtime=0 cores=0-7 /proc/8331/task/8350/stat : 8350 (java) S 8329 8329 2945 0 -1 1077944384 538 0 0 0 0 0 0 0 20 0 28 0 476695899 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586200759216 140586893167234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8487] ppid=8329 vsize=28769364 memory=12040 CPUtime=9.22 cores=0-7 /proc/8331/task/8487/stat : 8487 (java) R 8329 8329 2945 0 -1 4202560 560 0 0 0 922 0 0 0 20 0 28 0 476696369 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586189679864 140586517665062 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8488] ppid=8329 vsize=28769364 memory=2120 CPUtime=9.35 cores=0-7 /proc/8331/task/8488/stat : 8488 (java) R 8329 8329 2945 0 -1 4202560 217 0 0 0 935 0 0 0 20 0 28 0 476696369 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586181259504 140586517665122 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8489] ppid=8329 vsize=28769364 memory=30132 CPUtime=9.35 cores=0-7 /proc/8331/task/8489/stat : 8489 (java) R 8329 8329 2945 0 -1 4202560 548 0 0 0 935 0 0 0 20 0 28 0 476696369 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586183364064 140586517664990 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8490] ppid=8329 vsize=28769364 memory=1556 CPUtime=9.5 cores=0-7 /proc/8331/task/8490/stat : 8490 (java) R 8329 8329 2945 0 -1 4202560 697 0 0 0 950 0 0 0 20 0 28 0 476696369 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586186522208 140586517664939 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8491] ppid=8329 vsize=28769364 memory=500 CPUtime=9.46 cores=0-7 /proc/8331/task/8491/stat : 8491 (java) R 8329 8329 2945 0 -1 4202560 468 0 0 0 946 0 0 0 20 0 28 0 476696369 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586182311784 140586517665186 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8492] ppid=8329 vsize=28769364 memory=932 CPUtime=9.42 cores=0-7 /proc/8331/task/8492/stat : 8492 (java) R 8329 8329 2945 0 -1 4202560 354 0 0 0 942 0 0 0 20 0 28 0 476696369 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586185469600 140586517665004 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8493] ppid=8329 vsize=28769364 memory=1824 CPUtime=9.53 cores=0-7 /proc/8331/task/8493/stat : 8493 (java) R 8329 8329 2945 0 -1 4202560 1179 0 0 0 953 0 0 0 20 0 28 0 476696369 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586188628072 140586517665186 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8494] ppid=8329 vsize=28769364 memory=1656 CPUtime=9.52 cores=0-7 /proc/8331/task/8494/stat : 8494 (java) R 8329 8329 2945 0 -1 4202560 368 0 0 0 952 0 0 0 20 0 28 0 476696369 29459828736 114629 33554432000 4194304 4196468 140733463307296 140586187575528 140586517664934 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 Current children cumulated CPU time: 104.69 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 459972 KiB [startup+14.6017 s] /proc/loadavg: 8.43 8.31 7.91 9/220 8494 /proc/meminfo: memFree=25762032/32770624 swapFree=67001832/67108860 [pid=8329] ppid=8326 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/8329/stat : 8329 (xcsp3-exec) S 8326 8329 2945 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476695891 115843072 364 33554432000 4194304 5098028 140732525233264 140732525231368 140592555532924 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9392128 140732525241176 140732525241434 140732525241434 140732525244358 0 /proc/8329/statm: 28282 364 305 221 0 87 0 [pid=8331] ppid=8329 vsize=28769364 memory=458532 CPUtime=106.29 cores=0-7 /proc/8331/stat : 8331 (java) S 8329 8329 2945 0 -1 1077944320 50236 0 0 0 10570 59 0 0 20 0 28 0 476695891 29459828736 114633 33554432000 4194304 4196468 140733463307296 140733463289840 140586893156087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 /proc/8331/statm: 7192341 114633 3535 1 0 7153441 0 [pid=8331/tid=8332] ppid=8329 vsize=28769364 memory=8112282956445269571 CPUtime=1.68 cores=0-7 /proc/8331/task/8332/stat : 8332 (java) S 8329 8329 2945 0 -1 1077944384 9572 0 0 0 161 7 0 0 20 0 28 0 476695892 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586897396864 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8333] ppid=8329 vsize=28769364 memory=4492 CPUtime=0.07 cores=0-7 /proc/8331/task/8333/stat : 8333 (java) S 8329 8329 2945 0 -1 1077944384 132 0 0 0 4 3 0 0 20 0 28 0 476695892 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586845776656 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8334] ppid=8329 vsize=28769364 memory=4104 CPUtime=0.08 cores=0-7 /proc/8331/task/8334/stat : 8334 (java) S 8329 8329 2945 0 -1 1077944384 331 0 0 0 4 4 0 0 20 0 28 0 476695892 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586844724112 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8335] ppid=8329 vsize=28769364 memory=1412 CPUtime=0.07 cores=0-7 /proc/8331/task/8335/stat : 8335 (java) S 8329 8329 2945 0 -1 1077944384 215 0 0 0 4 3 0 0 20 0 28 0 476695892 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586843671568 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8336] ppid=8329 vsize=28769364 memory=2992 CPUtime=0.07 cores=0-7 /proc/8331/task/8336/stat : 8336 (java) S 8329 8329 2945 0 -1 1077944384 971 0 0 0 4 3 0 0 20 0 28 0 476695892 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586842619024 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8337] ppid=8329 vsize=28769364 memory=1456 CPUtime=0.08 cores=0-7 /proc/8331/task/8337/stat : 8337 (java) S 8329 8329 2945 0 -1 1077944384 235 0 0 0 4 4 0 0 20 0 28 0 476695892 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586841565456 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8338] ppid=8329 vsize=28769364 memory=458516 CPUtime=0.07 cores=0-7 /proc/8331/task/8338/stat : 8338 (java) S 8329 8329 2945 0 -1 1077944384 99 0 0 0 3 4 0 0 20 0 28 0 476695892 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586840512912 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8339] ppid=8329 vsize=28769364 memory=8112282956445269571 CPUtime=0.06 cores=0-7 /proc/8331/task/8339/stat : 8339 (java) S 8329 8329 2945 0 -1 1077944384 107 0 0 0 3 3 0 0 20 0 28 0 476695892 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586839460368 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8340] ppid=8329 vsize=28769364 memory=4872558044660077418 CPUtime=0.08 cores=0-7 /proc/8331/task/8340/stat : 8340 (java) S 8329 8329 2945 0 -1 1077944384 206 0 0 0 4 4 0 0 20 0 28 0 476695892 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586838407824 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8341] ppid=8329 vsize=28769364 memory=12040 CPUtime=0.01 cores=0-7 /proc/8331/task/8341/stat : 8341 (java) S 8329 8329 2945 0 -1 1077944384 551 0 0 0 1 0 0 0 20 0 28 0 476695894 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586210232816 140586893167234 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8342] ppid=8329 vsize=28769364 memory=2120 CPUtime=0 cores=0-7 /proc/8331/task/8342/stat : 8342 (java) S 8329 8329 2945 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 476695894 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586209179104 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8343] ppid=8329 vsize=28769364 memory=457632 CPUtime=0 cores=0-7 /proc/8331/task/8343/stat : 8343 (java) S 8329 8329 2945 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 476695895 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586208126464 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8344] ppid=8329 vsize=28769364 memory=1556 CPUtime=0 cores=0-7 /proc/8331/task/8344/stat : 8344 (java) S 8329 8329 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476695897 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586207075024 140586893174683 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8345] ppid=8329 vsize=28769364 memory=0 CPUtime=1.99 cores=0-7 /proc/8331/task/8345/stat : 8345 (java) S 8329 8329 2945 0 -1 1077944384 6614 0 0 0 197 2 0 0 20 0 28 0 476695899 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586206021616 140586893167234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8346] ppid=8329 vsize=28769364 memory=0 CPUtime=2 cores=0-7 /proc/8331/task/8346/stat : 8346 (java) S 8329 8329 2945 0 -1 1077944384 7227 0 0 0 198 2 0 0 20 0 28 0 476695899 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586204969072 140586893167234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8347] ppid=8329 vsize=28769364 memory=0 CPUtime=2.53 cores=0-7 /proc/8331/task/8347/stat : 8347 (java) S 8329 8329 2945 0 -1 1077944384 7794 0 0 0 250 3 0 0 20 0 28 0 476695899 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586203916528 140586893167234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8348] ppid=8329 vsize=28769364 memory=0 CPUtime=1 cores=0-7 /proc/8331/task/8348/stat : 8348 (java) S 8329 8329 2945 0 -1 1077944384 5615 0 0 0 97 3 0 0 20 0 28 0 476695899 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586202863984 140586893167234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8349] ppid=8329 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8349/stat : 8349 (java) S 8329 8329 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476695899 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586201811680 140586893166293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8350] ppid=8329 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/8331/task/8350/stat : 8350 (java) S 8329 8329 2945 0 -1 1077944384 538 0 0 0 0 0 0 0 20 0 28 0 476695899 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586200759216 140586893167234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8487] ppid=8329 vsize=28769364 memory=0 CPUtime=9.41 cores=0-7 /proc/8331/task/8487/stat : 8487 (java) R 8329 8329 2945 0 -1 4202560 582 0 0 0 941 0 0 0 20 0 28 0 476696369 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586189679864 140586517664841 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8488] ppid=8329 vsize=28769364 memory=0 CPUtime=9.55 cores=0-7 /proc/8331/task/8488/stat : 8488 (java) R 8329 8329 2945 0 -1 4202560 217 0 0 0 955 0 0 0 20 0 28 0 476696369 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586181259504 140586517664791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8489] ppid=8329 vsize=28769364 memory=0 CPUtime=9.55 cores=0-7 /proc/8331/task/8489/stat : 8489 (java) R 8329 8329 2945 0 -1 4202560 548 0 0 0 955 0 0 0 20 0 28 0 476696369 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586183364200 140586517665076 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8490] ppid=8329 vsize=28769364 memory=0 CPUtime=9.69 cores=0-7 /proc/8331/task/8490/stat : 8490 (java) R 8329 8329 2945 0 -1 4202560 809 0 0 0 969 0 0 0 20 0 28 0 476696369 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586186522208 140586517665085 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8491] ppid=8329 vsize=28769364 memory=0 CPUtime=9.66 cores=0-7 /proc/8331/task/8491/stat : 8491 (java) R 8329 8329 2945 0 -1 4202560 468 0 0 0 966 0 0 0 20 0 28 0 476696369 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586182311784 140586517664912 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8492] ppid=8329 vsize=28769364 memory=0 CPUtime=9.61 cores=0-7 /proc/8331/task/8492/stat : 8492 (java) R 8329 8329 2945 0 -1 4202560 356 0 0 0 961 0 0 0 20 0 28 0 476696369 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586185469736 140586517664860 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8493] ppid=8329 vsize=28769364 memory=0 CPUtime=9.73 cores=0-7 /proc/8331/task/8493/stat : 8493 (java) R 8329 8329 2945 0 -1 4202560 1334 0 0 0 973 0 0 0 20 0 28 0 476696369 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586188628072 140586518545782 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 [pid=8331/tid=8494] ppid=8329 vsize=28769364 memory=0 CPUtime=9.72 cores=0-7 /proc/8331/task/8494/stat : 8494 (java) R 8329 8329 2945 0 -1 4202560 368 0 0 0 972 0 0 0 20 0 28 0 476696369 29459828736 114633 33554432000 4194304 4196468 140733463307296 140586187575528 140586517665186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24694784 140733463311324 140733463311499 140733463311499 140733463314383 0 Current children cumulated CPU time: 106.29 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 459988 KiB Child status: 0 Real time (s): 14.6883 CPU time (s): 106.884 CPU user time (s): 106.274 CPU system time (s): 0.610166 CPU usage (%): 727.681 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 464972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 106.274 system time used= 0.610166 maximum resident set size= 464376 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51978 page faults= 0 swaps= 0 block input operations= 8 block output operations= 192 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6298 involuntary context switches= 2099 # summary of solver processes directly reported to runsolver: # pid: 8329 # total CPU time (s): 106.884 # total CPU user time (s): 106.274 # total CPU system time (s): 0.610166 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.145611 second user time and 0.22109 second system time The end
Begin job on node136 at 2019-09-20 20:33:48 IDJOB=4404857 IDBENCH=127998 IDSOLVER=2866 FILE ID=node136/4404857-1569004473 RUNJOBID= node136-1568994428-2972 PBS_JOBID= 21704724 Free space on /var/tmp= 13484 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-24-4-6-3.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-4404857-1569004473/watcher-4404857-1569004473 -o /var/tmp/evaluation-result-4404857-1569004473/solver-4404857-1569004473 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1568994428-2972 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 838958684 HOME/instance-4404857-1569004473.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 95a2ddfb0d7ed65af35b4a4f8b00191d RANDOM SEED=838958684 node136.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.00 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.54 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.00 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.54 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.00 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.54 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.00 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26209600 kB MemAvailable: 31851556 kB Buffers: 88828 kB Cached: 5690088 kB SwapCached: 3504 kB Active: 2667952 kB Inactive: 3116196 kB Active(anon): 4340 kB Inactive(anon): 49176 kB Active(file): 2663612 kB Inactive(file): 3067020 kB Unevictable: 110480 kB Mlocked: 110480 kB SwapTotal: 67108860 kB SwapFree: 67001832 kB Dirty: 26736 kB Writeback: 12 kB AnonPages: 113528 kB Mapped: 52096 kB Shmem: 39796 kB Slab: 369144 kB SReclaimable: 339784 kB SUnreclaim: 29360 kB KernelStack: 3408 kB PageTables: 5264 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507476 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: 120192 kB DirectMap2M: 33425408 kB Free space on /var/tmp at the end= 13460 MiB End job on node136 at 2019-09-20 20:34:03