Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 65 | 340.865 | 44.1063 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-25-5-5-9.xml |
MD5SUM | 01e24d77724351f9fbbc9dc0447b7ef7 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 65 |
Best CPU time to get the best result obtained on this benchmark | 75.5771 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 75 |
Number of constraints | 101 |
Number of domains | 25 |
Minimum domain size | 4 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":4,"count":15},{"size":5,"count":6},{"size":6,"count":4},{"size":26,"count":50}] |
Minimum variable degree | 2 |
Maximum variable degree | 28 |
Distribution of variable degrees | [{"degree":2,"count":25},{"degree":26,"count":24},{"degree":27,"count":1},{"degree":28,"count":25}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 26 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":50},{"arity":25,"count":25},{"arity":26,"count":25}] |
Number of extensional constraints | 50 |
Number of intensional constraints | 26 |
Distribution of constraint types | [{"type":"extension","count":50},{"type":"intension","count":26},{"type":"count","count":25}] |
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-4407410-1569347489.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407410-1569347489.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 5.29/1.97 c solve instance... 5.60/2.07 o -1000 11.08/2.79 o 2 11.84/2.81 o 10 15.83/3.41 o 51 17.41/3.58 o 57 18.89/3.72 o 60 24.46/4.41 o 62 26.77/4.75 o 64 49.88/7.66 o 65 340.12/44.09 s OPTIMUM FOUND 340.12/44.09 v <instantiation> 340.12/44.09 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] s[24] 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] p[24] 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] g[24] </list> 340.12/44.09 v <values>5 0 -1 8 3 10 1 6 7 4 15 12 17 14 9 16 11 22 13 -1 -1 -1 23 18 -1 0 19 -1 15 14 1 18 17 16 13 2 5 6 11 12 3 4 7 10 -1 -1 -1 8 9 -1 5 1 0 6 8 -2 1 8 6 -4 0 4 4 4 7 2 4 0 6 0 0 0 7 -2 0 </values> 340.12/44.09 v </instantiation>
OK 65
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 (13516 MiB free) memory of node 1: 16384 MiB (12066 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407410-1569347489/watcher-4407410-1569347489 -o /var/tmp/evaluation-result-4407410-1569347489/solver-4407410-1569347489 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569332278-29365 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1646895278 HOME/instance-4407410-1569347489.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 Starting watchdog thread solver pid=4369, runsolver pid=4366 Current StackSize limit: 8192 KiB [startup+0.100132 s]* /proc/loadavg: 6.86 7.74 7.97 2/210 4390 /proc/meminfo: memFree=26180968/32770624 swapFree=66956844/67108860 [pid=4369] ppid=4366 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4369/stat : 4369 (xcsp3-exec) S 4366 4369 29338 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511006704 115843072 364 33554432000 4194304 5098028 140731252025920 140731252024024 140513225691772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11546624 140731252032343 140731252032602 140731252032602 140731252035526 0 /proc/4369/statm: 28282 364 305 221 0 87 0 [pid=4371] ppid=4369 vsize=28227396 memory=28968 CPUtime=0.12 cores=0-7 /proc/4371/stat : 4371 (java) S 4369 4369 29338 0 -1 1077944320 5712 0 0 0 11 1 0 0 20 0 20 0 511006705 28904853504 7242 33554432000 4194304 4196468 140727273749456 140727273732000 140419046289143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 /proc/4371/statm: 7056849 7242 3121 1 0 7019032 0 [pid=4371/tid=4372] ppid=4369 vsize=28227396 memory=-3103912127665269910 CPUtime=0.09 cores=0-7 /proc/4371/task/4372/stat : 4372 (java) R 4369 4369 29338 0 -1 4202560 3631 0 0 0 8 1 0 0 20 0 20 0 511006705 28904853504 7242 33554432000 4194304 4196468 140727273749456 140419050511616 140419046301078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4373] ppid=4369 vsize=28227396 memory=664954298551644168 CPUtime=0 cores=0-7 /proc/4371/task/4373/stat : 4373 (java) S 4369 4369 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006706 28904853504 7242 33554432000 4194304 4196468 140727273749456 140418998909712 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4374] ppid=4369 vsize=28227396 memory=140400770791040 CPUtime=0 cores=0-7 /proc/4371/task/4374/stat : 4374 (java) S 4369 4369 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006706 28904853504 7242 33554432000 4194304 4196468 140727273749456 140418997857168 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4375] ppid=4369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4375/stat : 4375 (java) S 4369 4369 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006706 28904853504 7242 33554432000 4194304 4196468 140727273749456 140418996804624 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4376] ppid=4369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4376/stat : 4376 (java) S 4369 4369 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511006706 28904853504 7242 33554432000 4194304 4196468 140727273749456 140418995752080 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4377] ppid=4369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4377/stat : 4377 (java) S 4369 4369 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006706 28904853504 7242 33554432000 4194304 4196468 140727273749456 140418994698512 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4378] ppid=4369 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4371/task/4378/stat : 4378 (java) S 4369 4369 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006706 28904853504 7242 33554432000 4194304 4196468 140727273749456 140418993645968 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4379] ppid=4369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4379/stat : 4379 (java) S 4369 4369 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006706 28904853504 7242 33554432000 4194304 4196468 140727273749456 140418992593424 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4380] ppid=4369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4380/stat : 4380 (java) S 4369 4369 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006706 28904853504 7242 33554432000 4194304 4196468 140727273749456 140418991540880 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4381] ppid=4369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4381/stat : 4381 (java) S 4369 4369 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006707 28904853504 7242 33554432000 4194304 4196468 140727273749456 140418229619184 140419046300290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4382] ppid=4369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4382/stat : 4382 (java) S 4369 4369 29338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511006708 28904853504 7242 33554432000 4194304 4196468 140727273749456 140418228565408 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4383] ppid=4369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4383/stat : 4383 (java) S 4369 4369 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511006708 28904853504 7242 33554432000 4194304 4196468 140727273749456 140418227512816 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4384] ppid=4369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4384/stat : 4384 (java) S 4369 4369 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006710 28904853504 7242 33554432000 4194304 4196468 140727273749456 140418226461392 140419046307739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4385] ppid=4369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4385/stat : 4385 (java) S 4369 4369 29338 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 511006710 28904853504 7242 33554432000 4194304 4196468 140727273749456 140418225407984 140419046300290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4386] ppid=4369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4386/stat : 4386 (java) R 4369 4369 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511006710 28904853504 7242 33554432000 4194304 4196468 140727273749456 140418224355440 140419046300290 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4387] ppid=4369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4387/stat : 4387 (java) R 4369 4369 29338 0 -1 4202560 123 0 0 0 0 0 0 0 20 0 20 0 511006710 28904853504 7242 33554432000 4194304 4196468 140727273749456 140418223302896 140419039274185 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4388] ppid=4369 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/4371/task/4388/stat : 4388 (java) R 4369 4369 29338 0 -1 4202560 353 0 0 0 1 0 0 0 20 0 20 0 511006710 28904853504 7242 33554432000 4194304 4196468 140727273749456 140418222250352 140419046301078 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4389] ppid=4369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4389/stat : 4389 (java) S 4369 4369 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511006711 28904853504 7242 33554432000 4194304 4196468 140727273749456 140418221198048 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4390] ppid=4369 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4371/task/4390/stat : 4390 (java) S 4369 4369 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006711 28904853504 7242 33554432000 4194304 4196468 140727273749456 140418220145584 140419046300290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30424 KiB [startup+0.210606 s]* /proc/loadavg: 6.86 7.74 7.97 2/210 4390 /proc/meminfo: memFree=26167916/32770624 swapFree=66956844/67108860 [pid=4369] ppid=4366 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4369/stat : 4369 (xcsp3-exec) S 4366 4369 29338 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511006704 115843072 364 33554432000 4194304 5098028 140731252025920 140731252024024 140513225691772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11546624 140731252032343 140731252032602 140731252032602 140731252035526 0 /proc/4369/statm: 28282 364 305 221 0 87 0 [pid=4371] ppid=4369 vsize=28227396 memory=41028 CPUtime=0.34 cores=0-7 /proc/4371/stat : 4371 (java) S 4369 4369 29338 0 -1 1077944320 9523 0 0 0 30 4 0 0 20 0 20 0 511006705 28904853504 10257 33554432000 4194304 4196468 140727273749456 140727273732000 140419046289143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 /proc/4371/statm: 7056849 10257 3303 1 0 7019032 0 [pid=4371/tid=4372] ppid=4369 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/4371/task/4372/stat : 4372 (java) R 4369 4369 29338 0 -1 4202560 6663 0 0 0 17 2 0 0 20 0 20 0 511006705 28904853504 10257 33554432000 4194304 4196468 140727273749456 140419050521872 140418671015984 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4373] ppid=4369 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/4371/task/4373/stat : 4373 (java) S 4369 4369 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006706 28904853504 10257 33554432000 4194304 4196468 140727273749456 140418998909712 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4374] ppid=4369 vsize=28227396 memory=3475005296124212896 CPUtime=0 cores=0-7 /proc/4371/task/4374/stat : 4374 (java) S 4369 4369 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006706 28904853504 10257 33554432000 4194304 4196468 140727273749456 140418997857168 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4375] ppid=4369 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4371/task/4375/stat : 4375 (java) S 4369 4369 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006706 28904853504 10257 33554432000 4194304 4196468 140727273749456 140418996804624 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4376] ppid=4369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4376/stat : 4376 (java) S 4369 4369 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511006706 28904853504 10257 33554432000 4194304 4196468 140727273749456 140418995752080 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4377] ppid=4369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4377/stat : 4377 (java) S 4369 4369 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006706 28904853504 10257 33554432000 4194304 4196468 140727273749456 140418994698512 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4378] ppid=4369 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4371/task/4378/stat : 4378 (java) S 4369 4369 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006706 28904853504 10257 33554432000 4194304 4196468 140727273749456 140418993645968 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4379] ppid=4369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4379/stat : 4379 (java) S 4369 4369 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006706 28904853504 10257 33554432000 4194304 4196468 140727273749456 140418992593424 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4380] ppid=4369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4380/stat : 4380 (java) S 4369 4369 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006706 28904853504 10257 33554432000 4194304 4196468 140727273749456 140418991540880 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4381] ppid=4369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4381/stat : 4381 (java) S 4369 4369 29338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511006707 28904853504 10257 33554432000 4194304 4196468 140727273749456 140418229619184 140419046300290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4382] ppid=4369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4382/stat : 4382 (java) S 4369 4369 29338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511006708 28904853504 10257 33554432000 4194304 4196468 140727273749456 140418228565408 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4383] ppid=4369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4383/stat : 4383 (java) S 4369 4369 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511006708 28904853504 10257 33554432000 4194304 4196468 140727273749456 140418227512816 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4384] ppid=4369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4384/stat : 4384 (java) S 4369 4369 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006710 28904853504 10257 33554432000 4194304 4196468 140727273749456 140418226461392 140419046307739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4385] ppid=4369 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/4371/task/4385/stat : 4385 (java) S 4369 4369 29338 0 -1 1077944384 327 0 0 0 1 0 0 0 20 0 20 0 511006710 28904853504 10257 33554432000 4194304 4196468 140727273749456 140418225407984 140419046300290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4386] ppid=4369 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/4371/task/4386/stat : 4386 (java) S 4369 4369 29338 0 -1 1077944384 112 0 0 0 2 0 0 0 20 0 20 0 511006710 28904853504 10257 33554432000 4194304 4196468 140727273749456 140418224355440 140419046300290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4387] ppid=4369 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/4371/task/4387/stat : 4387 (java) S 4369 4369 29338 0 -1 1077944384 355 0 0 0 1 0 0 0 20 0 20 0 511006710 28904853504 10257 33554432000 4194304 4196468 140727273749456 140418223302896 140419046300290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4388] ppid=4369 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/4371/task/4388/stat : 4388 (java) R 4369 4369 29338 0 -1 4202560 753 0 0 0 7 0 0 0 20 0 20 0 511006710 28904853504 10257 33554432000 4194304 4196468 140727273749456 140418222250160 140419046310490 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4389] ppid=4369 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4389/stat : 4389 (java) S 4369 4369 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511006711 28904853504 10257 33554432000 4194304 4196468 140727273749456 140418221198048 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4390] ppid=4369 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4371/task/4390/stat : 4390 (java) S 4369 4369 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006711 28904853504 10257 33554432000 4194304 4196468 140727273749456 140418220145584 140419046300290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42484 KiB [startup+0.310454 s]* /proc/loadavg: 6.86 7.74 7.97 4/210 4390 /proc/meminfo: memFree=26160024/32770624 swapFree=66956844/67108860 [pid=4369] ppid=4366 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4369/stat : 4369 (xcsp3-exec) S 4366 4369 29338 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511006704 115843072 364 33554432000 4194304 5098028 140731252025920 140731252024024 140513225691772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11546624 140731252032343 140731252032602 140731252032602 140731252035526 0 /proc/4369/statm: 28282 364 305 221 0 87 0 [pid=4371] ppid=4369 vsize=28231652 memory=49984 CPUtime=0.52 cores=0-7 /proc/4371/stat : 4371 (java) S 4369 4369 29338 0 -1 1077944320 10853 0 0 0 47 5 0 0 20 0 20 0 511006705 28909211648 12496 33554432000 4194304 4196468 140727273749456 140727273732000 140419046289143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 /proc/4371/statm: 7057913 12496 3342 1 0 7019032 0 [pid=4371/tid=4372] ppid=4369 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/4371/task/4372/stat : 4372 (java) R 4369 4369 29338 0 -1 4202560 7843 0 0 0 27 3 0 0 20 0 20 0 511006705 28909211648 12496 33554432000 4194304 4196468 140727273749456 140419050522928 140419030369630 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4373] ppid=4369 vsize=28231652 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/4371/task/4373/stat : 4373 (java) S 4369 4369 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006706 28909211648 12496 33554432000 4194304 4196468 140727273749456 140418998909712 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4374] ppid=4369 vsize=28231652 memory=25148 CPUtime=0 cores=0-7 /proc/4371/task/4374/stat : 4374 (java) S 4369 4369 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006706 28909211648 12496 33554432000 4194304 4196468 140727273749456 140418997857168 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4375] ppid=4369 vsize=28231652 memory=14056 CPUtime=0 cores=0-7 /proc/4371/task/4375/stat : 4375 (java) S 4369 4369 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006706 28909211648 12496 33554432000 4194304 4196468 140727273749456 140418996804624 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4376] ppid=4369 vsize=28231652 memory=2116 CPUtime=0 cores=0-7 /proc/4371/task/4376/stat : 4376 (java) S 4369 4369 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511006706 28909211648 12496 33554432000 4194304 4196468 140727273749456 140418995752080 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4377] ppid=4369 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4377/stat : 4377 (java) S 4369 4369 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006706 28909211648 12496 33554432000 4194304 4196468 140727273749456 140418994698512 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4378] ppid=4369 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4378/stat : 4378 (java) S 4369 4369 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006706 28909211648 12496 33554432000 4194304 4196468 140727273749456 140418993645968 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4379] ppid=4369 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4379/stat : 4379 (java) S 4369 4369 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006706 28909211648 12496 33554432000 4194304 4196468 140727273749456 140418992593424 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4380] ppid=4369 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4380/stat : 4380 (java) S 4369 4369 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006706 28909211648 12496 33554432000 4194304 4196468 140727273749456 140418991540880 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4381] ppid=4369 vsize=28231652 memory=140400669057600 CPUtime=0 cores=0-7 /proc/4371/task/4381/stat : 4381 (java) S 4369 4369 29338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511006707 28909211648 12496 33554432000 4194304 4196468 140727273749456 140418229619184 140419046300290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4382] ppid=4369 vsize=28231652 memory=140400669062095 CPUtime=0 cores=0-7 /proc/4371/task/4382/stat : 4382 (java) S 4369 4369 29338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511006708 28909211648 12496 33554432000 4194304 4196468 140727273749456 140418228565408 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4383] ppid=4369 vsize=28231652 memory=1970350607106051 CPUtime=0 cores=0-7 /proc/4371/task/4383/stat : 4383 (java) S 4369 4369 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511006708 28909211648 12496 33554432000 4194304 4196468 140727273749456 140418227512816 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4384] ppid=4369 vsize=28231652 memory=2110751276168100 CPUtime=0 cores=0-7 /proc/4371/task/4384/stat : 4384 (java) S 4369 4369 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006710 28909211648 12496 33554432000 4194304 4196468 140727273749456 140418226461392 140419046307739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4385] ppid=4369 vsize=28231652 memory=2110751276200964 CPUtime=0.02 cores=0-7 /proc/4371/task/4385/stat : 4385 (java) S 4369 4369 29338 0 -1 1077944384 347 0 0 0 2 0 0 0 20 0 20 0 511006710 28909211648 12496 33554432000 4194304 4196468 140727273749456 140418225407984 140419046300290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4386] ppid=4369 vsize=28231652 memory=2110751276172708 CPUtime=0.03 cores=0-7 /proc/4371/task/4386/stat : 4386 (java) R 4369 4369 29338 0 -1 4202560 195 0 0 0 3 0 0 0 20 0 20 0 511006710 28909211648 12496 33554432000 4194304 4196468 140727273749456 140418224345824 140419031395983 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4387] ppid=4369 vsize=28231652 memory=2110751276175012 CPUtime=0.02 cores=0-7 /proc/4371/task/4387/stat : 4387 (java) S 4369 4369 29338 0 -1 1077944384 361 0 0 0 2 0 0 0 20 0 20 0 511006710 28909211648 12496 33554432000 4194304 4196468 140727273749456 140418223302896 140419046300290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4388] ppid=4369 vsize=28231652 memory=2110751276200868 CPUtime=0.12 cores=0-7 /proc/4371/task/4388/stat : 4388 (java) S 4369 4369 29338 0 -1 1077944384 828 0 0 0 12 0 0 0 20 0 20 0 511006710 28909211648 12496 33554432000 4194304 4196468 140727273749456 140418222250352 140419046300290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4389] ppid=4369 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4371/task/4389/stat : 4389 (java) S 4369 4369 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511006711 28909211648 12496 33554432000 4194304 4196468 140727273749456 140418221198048 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4390] ppid=4369 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/4371/task/4390/stat : 4390 (java) S 4369 4369 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006711 28909211648 12496 33554432000 4194304 4196468 140727273749456 140418220145584 140419046300290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51440 KiB [startup+0.700985 s] /proc/loadavg: 6.86 7.74 7.97 5/210 4390 /proc/meminfo: memFree=26125736/32770624 swapFree=66956844/67108860 [pid=4369] ppid=4366 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4369/stat : 4369 (xcsp3-exec) S 4366 4369 29338 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511006704 115843072 364 33554432000 4194304 5098028 140731252025920 140731252024024 140513225691772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11546624 140731252032343 140731252032602 140731252032602 140731252035526 0 /proc/4369/statm: 28282 364 305 221 0 87 0 [pid=4371] ppid=4369 vsize=28233776 memory=126572 CPUtime=1.96 cores=0-7 /proc/4371/stat : 4371 (java) S 4369 4369 29338 0 -1 1077944320 16650 0 0 0 190 6 0 0 20 0 20 0 511006705 28911386624 31643 33554432000 4194304 4196468 140727273749456 140727273732000 140419046289143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 /proc/4371/statm: 7058444 31643 3453 1 0 7019544 0 [pid=4371/tid=4372] ppid=4369 vsize=28233776 memory=7230364744869046629 CPUtime=0.68 cores=0-7 /proc/4371/task/4372/stat : 4372 (java) R 4369 4369 29338 0 -1 4202560 9206 0 0 0 64 4 0 0 20 0 20 0 511006705 28911386624 31643 33554432000 4194304 4196468 140727273749456 140419050526448 140419030332773 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4373] ppid=4369 vsize=28233776 memory=20946555503594 CPUtime=0 cores=0-7 /proc/4371/task/4373/stat : 4373 (java) S 4369 4369 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511006706 28911386624 31643 33554432000 4194304 4196468 140727273749456 140418998909712 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4374] ppid=4369 vsize=28233776 memory=280801338546528 CPUtime=0 cores=0-7 /proc/4371/task/4374/stat : 4374 (java) S 4369 4369 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511006706 28911386624 31643 33554432000 4194304 4196468 140727273749456 140418997857168 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4375] ppid=4369 vsize=28233776 memory=2832 CPUtime=0 cores=0-7 ################ # More data... # ################ [pid=4371/tid=4465] ppid=4369 vsize=28768336 memory=8112282956445269571 CPUtime=35.01 cores=0-7 /proc/4371/task/4465/stat : 4465 (java) R 4369 4369 29338 0 -1 4202560 689 0 0 0 3501 0 0 0 20 0 28 0 511007471 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418208829048 140418678689370 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4466] ppid=4369 vsize=28768336 memory=8508261139989150265 CPUtime=34.95 cores=0-7 /proc/4371/task/4466/stat : 4466 (java) R 4369 4369 29338 0 -1 4202560 798 0 0 0 3495 0 0 0 20 0 28 0 511007471 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418204618488 140418679194206 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4467] ppid=4369 vsize=28768336 memory=280801337934064 CPUtime=34.87 cores=0-7 /proc/4371/task/4467/stat : 4467 (java) R 4369 4369 29338 0 -1 4202560 430 0 0 0 3487 0 0 0 20 0 28 0 511007471 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418206723960 140418678689422 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4468] ppid=4369 vsize=28768336 memory=0 CPUtime=35.06 cores=0-7 /proc/4371/task/4468/stat : 4468 (java) R 4369 4369 29338 0 -1 4202560 1366 0 0 0 3506 0 0 0 20 0 28 0 511007471 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418205671416 140418679337937 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4469] ppid=4369 vsize=28768336 memory=6935649255759568960 CPUtime=34.9 cores=0-7 /proc/4371/task/4469/stat : 4469 (java) R 4369 4369 29338 0 -1 4202560 770 0 0 0 3490 0 0 0 20 0 28 0 511007471 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418201460856 140418678689347 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4470] ppid=4369 vsize=28768336 memory=7733367120773539925 CPUtime=34.8 cores=0-7 /proc/4371/task/4470/stat : 4470 (java) R 4369 4369 29338 0 -1 4202560 997 0 0 0 3480 0 0 0 20 0 28 0 511007471 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418203567048 140418678689249 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 Current children cumulated CPU time: 330.55 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 461624 KiB [startup+43.6019 s] /proc/loadavg: 7.28 7.73 7.96 9/218 4478 /proc/meminfo: memFree=25752768/32770624 swapFree=66956848/67108860 [pid=4369] ppid=4366 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4369/stat : 4369 (xcsp3-exec) S 4366 4369 29338 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511006704 115843072 364 33554432000 4194304 5098028 140731252025920 140731252024024 140513225691772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11546624 140731252032343 140731252032602 140731252032602 140731252035526 0 /proc/4369/statm: 28282 364 305 221 0 87 0 [pid=4371] ppid=4369 vsize=28768336 memory=460168 CPUtime=336.93 cores=0-7 /proc/4371/stat : 4371 (java) S 4369 4369 29338 0 -1 1077944320 57072 0 0 0 33632 61 0 0 20 0 28 0 511006705 29458776064 115042 33554432000 4194304 4196468 140727273749456 140727273732000 140419046289143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 /proc/4371/statm: 7192084 115042 3528 1 0 7153184 0 [pid=4371/tid=4372] ppid=4369 vsize=28768336 memory=460168 CPUtime=1.88 cores=0-7 /proc/4371/task/4372/stat : 4372 (java) S 4369 4369 29338 0 -1 1077944384 9779 0 0 0 181 7 0 0 20 0 28 0 511006705 29458776064 115042 33554432000 4194304 4196468 140727273749456 140419050529920 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4373] ppid=4369 vsize=28768336 memory=460168 CPUtime=0.09 cores=0-7 /proc/4371/task/4373/stat : 4373 (java) S 4369 4369 29338 0 -1 1077944384 229 0 0 0 5 4 0 0 20 0 28 0 511006706 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418998909712 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4374] ppid=4369 vsize=28768336 memory=3624 CPUtime=0.09 cores=0-7 /proc/4371/task/4374/stat : 4374 (java) S 4369 4369 29338 0 -1 1077944384 203 0 0 0 5 4 0 0 20 0 28 0 511006706 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418997857168 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4375] ppid=4369 vsize=28768336 memory=53616 CPUtime=0.08 cores=0-7 /proc/4371/task/4375/stat : 4375 (java) S 4369 4369 29338 0 -1 1077944384 1013 0 0 0 4 4 0 0 20 0 28 0 511006706 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418996804624 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4376] ppid=4369 vsize=28768336 memory=984 CPUtime=0.09 cores=0-7 /proc/4371/task/4376/stat : 4376 (java) S 4369 4369 29338 0 -1 1077944384 195 0 0 0 5 4 0 0 20 0 28 0 511006706 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418995752080 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4377] ppid=4369 vsize=28768336 memory=2016 CPUtime=0.09 cores=0-7 /proc/4371/task/4377/stat : 4377 (java) S 4369 4369 29338 0 -1 1077944384 196 0 0 0 5 4 0 0 20 0 28 0 511006706 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418994698512 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4378] ppid=4369 vsize=28768336 memory=1408 CPUtime=0.09 cores=0-7 /proc/4371/task/4378/stat : 4378 (java) S 4369 4369 29338 0 -1 1077944384 398 0 0 0 5 4 0 0 20 0 28 0 511006706 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418993645968 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4379] ppid=4369 vsize=28768336 memory=1548 CPUtime=0.06 cores=0-7 /proc/4371/task/4379/stat : 4379 (java) S 4369 4369 29338 0 -1 1077944384 217 0 0 0 3 3 0 0 20 0 28 0 511006706 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418992593424 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4380] ppid=4369 vsize=28768336 memory=3608 CPUtime=0.07 cores=0-7 /proc/4371/task/4380/stat : 4380 (java) S 4369 4369 29338 0 -1 1077944384 232 0 0 0 4 3 0 0 20 0 28 0 511006706 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418991540880 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4381] ppid=4369 vsize=28768336 memory=616 CPUtime=0.01 cores=0-7 /proc/4371/task/4381/stat : 4381 (java) S 4369 4369 29338 0 -1 1077944384 806 0 0 0 1 0 0 0 20 0 28 0 511006707 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418229619184 140419046300290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4382] ppid=4369 vsize=28768336 memory=2832 CPUtime=0 cores=0-7 /proc/4371/task/4382/stat : 4382 (java) S 4369 4369 29338 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 511006708 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418228565472 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4383] ppid=4369 vsize=28768336 memory=1620 CPUtime=0 cores=0-7 /proc/4371/task/4383/stat : 4383 (java) S 4369 4369 29338 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 511006708 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418227512832 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4384] ppid=4369 vsize=28768336 memory=1136 CPUtime=0 cores=0-7 /proc/4371/task/4384/stat : 4384 (java) S 4369 4369 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511006710 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418226461392 140419046307739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4385] ppid=4369 vsize=28768336 memory=1072 CPUtime=1.73 cores=0-7 /proc/4371/task/4385/stat : 4385 (java) S 4369 4369 29338 0 -1 1077944384 8311 0 0 0 172 1 0 0 20 0 28 0 511006710 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418225407984 140419046300290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4386] ppid=4369 vsize=28768336 memory=6196 CPUtime=2 cores=0-7 /proc/4371/task/4386/stat : 4386 (java) S 4369 4369 29338 0 -1 1077944384 7009 0 0 0 199 1 0 0 20 0 28 0 511006710 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418224355440 140419046300290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4387] ppid=4369 vsize=28768336 memory=784 CPUtime=1.87 cores=0-7 /proc/4371/task/4387/stat : 4387 (java) S 4369 4369 29338 0 -1 1077944384 8272 0 0 0 185 2 0 0 20 0 28 0 511006710 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418223302896 140419046300290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4388] ppid=4369 vsize=28768336 memory=1060 CPUtime=0.93 cores=0-7 /proc/4371/task/4388/stat : 4388 (java) S 4369 4369 29338 0 -1 1077944384 7918 0 0 0 90 3 0 0 20 0 28 0 511006710 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418222250352 140419046300290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4389] ppid=4369 vsize=28768336 memory=7552 CPUtime=0 cores=0-7 /proc/4371/task/4389/stat : 4389 (java) S 4369 4369 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511006711 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418221198048 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4390] ppid=4369 vsize=28768336 memory=3608 CPUtime=0.01 cores=0-7 /proc/4371/task/4390/stat : 4390 (java) S 4369 4369 29338 0 -1 1077944384 1329 0 0 0 1 0 0 0 20 0 28 0 511006711 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418220145584 140419046300290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4463] ppid=4369 vsize=28768336 memory=616 CPUtime=35.88 cores=0-7 /proc/4371/task/4463/stat : 4463 (java) R 4369 4369 29338 0 -1 4202560 820 0 0 0 3588 0 0 0 20 0 28 0 511007471 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418202512648 140418678689160 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4464] ppid=4369 vsize=28768336 memory=2832 CPUtime=35.53 cores=0-7 /proc/4371/task/4464/stat : 4464 (java) R 4369 4369 29338 0 -1 4202560 319 0 0 0 3553 0 0 0 20 0 28 0 511007471 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418207777272 140418678689231 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4465] ppid=4369 vsize=28768336 memory=1620 CPUtime=35.81 cores=0-7 /proc/4371/task/4465/stat : 4465 (java) R 4369 4369 29338 0 -1 4202560 777 0 0 0 3580 1 0 0 20 0 28 0 511007471 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418208829048 140418678689315 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4466] ppid=4369 vsize=28768336 memory=1136 CPUtime=35.75 cores=0-7 /proc/4371/task/4466/stat : 4466 (java) R 4369 4369 29338 0 -1 4202560 876 0 0 0 3575 0 0 0 20 0 28 0 511007471 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418204618488 140418678689118 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4467] ppid=4369 vsize=28768336 memory=1072 CPUtime=35.67 cores=0-7 /proc/4371/task/4467/stat : 4467 (java) R 4369 4369 29338 0 -1 4202560 450 0 0 0 3567 0 0 0 20 0 28 0 511007471 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418206723960 140418679054077 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4468] ppid=4369 vsize=28768336 memory=6196 CPUtime=35.86 cores=0-7 /proc/4371/task/4468/stat : 4468 (java) R 4369 4369 29338 0 -1 4202560 1428 0 0 0 3586 0 0 0 20 0 28 0 511007471 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418205671416 140418678689130 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4469] ppid=4369 vsize=28768336 memory=784 CPUtime=35.7 cores=0-7 /proc/4371/task/4469/stat : 4469 (java) R 4369 4369 29338 0 -1 4202560 802 0 0 0 3570 0 0 0 20 0 28 0 511007471 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418201460856 140418678689122 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4470] ppid=4369 vsize=28768336 memory=1060 CPUtime=35.59 cores=0-7 /proc/4371/task/4470/stat : 4470 (java) R 4369 4369 29338 0 -1 4202560 1118 0 0 0 3559 0 0 0 20 0 28 0 511007471 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418203567048 140418678689306 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 Current children cumulated CPU time: 336.93 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 461624 KiB [startup+44.0019 s] /proc/loadavg: 7.28 7.73 7.96 9/218 4478 /proc/meminfo: memFree=25752768/32770624 swapFree=66956848/67108860 [pid=4369] ppid=4366 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4369/stat : 4369 (xcsp3-exec) S 4366 4369 29338 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511006704 115843072 364 33554432000 4194304 5098028 140731252025920 140731252024024 140513225691772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11546624 140731252032343 140731252032602 140731252032602 140731252035526 0 /proc/4369/statm: 28282 364 305 221 0 87 0 [pid=4371] ppid=4369 vsize=28768336 memory=460168 CPUtime=340.12 cores=0-7 /proc/4371/stat : 4371 (java) S 4369 4369 29338 0 -1 1077944320 57277 0 0 0 33951 61 0 0 20 0 28 0 511006705 29458776064 115042 33554432000 4194304 4196468 140727273749456 140727273732000 140419046289143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 /proc/4371/statm: 7192084 115042 3528 1 0 7153184 0 [pid=4371/tid=4372] ppid=4369 vsize=28768336 memory=7235147594880805952 CPUtime=1.88 cores=0-7 /proc/4371/task/4372/stat : 4372 (java) S 4369 4369 29338 0 -1 1077944384 9779 0 0 0 181 7 0 0 20 0 28 0 511006705 29458776064 115042 33554432000 4194304 4196468 140727273749456 140419050529920 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4373] ppid=4369 vsize=28768336 memory=8112282956445269571 CPUtime=0.09 cores=0-7 /proc/4371/task/4373/stat : 4373 (java) S 4369 4369 29338 0 -1 1077944384 229 0 0 0 5 4 0 0 20 0 28 0 511006706 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418998909712 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4374] ppid=4369 vsize=28768336 memory=460168 CPUtime=0.09 cores=0-7 /proc/4371/task/4374/stat : 4374 (java) S 4369 4369 29338 0 -1 1077944384 203 0 0 0 5 4 0 0 20 0 28 0 511006706 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418997857168 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4375] ppid=4369 vsize=28768336 memory=15261445554178336 CPUtime=0.08 cores=0-7 /proc/4371/task/4375/stat : 4375 (java) S 4369 4369 29338 0 -1 1077944384 1013 0 0 0 4 4 0 0 20 0 28 0 511006706 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418996804624 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4376] ppid=4369 vsize=28768336 memory=1976 CPUtime=0.09 cores=0-7 /proc/4371/task/4376/stat : 4376 (java) S 4369 4369 29338 0 -1 1077944384 195 0 0 0 5 4 0 0 20 0 28 0 511006706 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418995752080 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4377] ppid=4369 vsize=28768336 memory=2580 CPUtime=0.09 cores=0-7 /proc/4371/task/4377/stat : 4377 (java) S 4369 4369 29338 0 -1 1077944384 196 0 0 0 5 4 0 0 20 0 28 0 511006706 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418994698512 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4378] ppid=4369 vsize=28768336 memory=1760 CPUtime=0.09 cores=0-7 /proc/4371/task/4378/stat : 4378 (java) S 4369 4369 29338 0 -1 1077944384 398 0 0 0 5 4 0 0 20 0 28 0 511006706 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418993645968 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4379] ppid=4369 vsize=28768336 memory=111632 CPUtime=0.06 cores=0-7 /proc/4371/task/4379/stat : 4379 (java) S 4369 4369 29338 0 -1 1077944384 217 0 0 0 3 3 0 0 20 0 28 0 511006706 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418992593424 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4380] ppid=4369 vsize=28768336 memory=804 CPUtime=0.07 cores=0-7 /proc/4371/task/4380/stat : 4380 (java) S 4369 4369 29338 0 -1 1077944384 232 0 0 0 4 3 0 0 20 0 28 0 511006706 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418991540880 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4381] ppid=4369 vsize=28768336 memory=1412 CPUtime=0.01 cores=0-7 /proc/4371/task/4381/stat : 4381 (java) S 4369 4369 29338 0 -1 1077944384 806 0 0 0 1 0 0 0 20 0 28 0 511006707 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418229619184 140419046300290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4382] ppid=4369 vsize=28768336 memory=3224 CPUtime=0 cores=0-7 /proc/4371/task/4382/stat : 4382 (java) S 4369 4369 29338 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 511006708 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418228565472 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4383] ppid=4369 vsize=28768336 memory=1456 CPUtime=0 cores=0-7 /proc/4371/task/4383/stat : 4383 (java) S 4369 4369 29338 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 511006708 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418227512832 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4384] ppid=4369 vsize=28768336 memory=460156 CPUtime=0 cores=0-7 /proc/4371/task/4384/stat : 4384 (java) S 4369 4369 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511006710 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418226461392 140419046307739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4385] ppid=4369 vsize=28768336 memory=1804 CPUtime=1.73 cores=0-7 /proc/4371/task/4385/stat : 4385 (java) S 4369 4369 29338 0 -1 1077944384 8311 0 0 0 172 1 0 0 20 0 28 0 511006710 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418225407984 140419046300290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4386] ppid=4369 vsize=28768336 memory=916 CPUtime=2 cores=0-7 /proc/4371/task/4386/stat : 4386 (java) S 4369 4369 29338 0 -1 1077944384 7009 0 0 0 199 1 0 0 20 0 28 0 511006710 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418224355440 140419046300290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4387] ppid=4369 vsize=28768336 memory=4872558044660077418 CPUtime=1.87 cores=0-7 /proc/4371/task/4387/stat : 4387 (java) S 4369 4369 29338 0 -1 1077944384 8272 0 0 0 185 2 0 0 20 0 28 0 511006710 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418223302896 140419046300290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4388] ppid=4369 vsize=28768336 memory=984 CPUtime=0.93 cores=0-7 /proc/4371/task/4388/stat : 4388 (java) S 4369 4369 29338 0 -1 1077944384 7918 0 0 0 90 3 0 0 20 0 28 0 511006710 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418222250352 140419046300290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4389] ppid=4369 vsize=28768336 memory=2016 CPUtime=0 cores=0-7 /proc/4371/task/4389/stat : 4389 (java) S 4369 4369 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511006711 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418221198048 140419046299349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4390] ppid=4369 vsize=28768336 memory=1408 CPUtime=0.01 cores=0-7 /proc/4371/task/4390/stat : 4390 (java) S 4369 4369 29338 0 -1 1077944384 1329 0 0 0 1 0 0 0 20 0 28 0 511006711 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418220145584 140419046300290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4463] ppid=4369 vsize=28768336 memory=1548 CPUtime=36.28 cores=0-7 /proc/4371/task/4463/stat : 4463 (java) R 4369 4369 29338 0 -1 4202560 827 0 0 0 3628 0 0 0 20 0 28 0 511007471 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418202512648 140418678689422 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4464] ppid=4369 vsize=28768336 memory=7552 CPUtime=35.93 cores=0-7 /proc/4371/task/4464/stat : 4464 (java) R 4369 4369 29338 0 -1 4202560 319 0 0 0 3593 0 0 0 20 0 28 0 511007471 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418207777272 140418678689370 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4465] ppid=4369 vsize=28768336 memory=3608 CPUtime=36.21 cores=0-7 /proc/4371/task/4465/stat : 4465 (java) R 4369 4369 29338 0 -1 4202560 812 0 0 0 3620 1 0 0 20 0 28 0 511007471 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418208829048 140418678689370 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4466] ppid=4369 vsize=28768336 memory=616 CPUtime=36.15 cores=0-7 /proc/4371/task/4466/stat : 4466 (java) R 4369 4369 29338 0 -1 4202560 1003 0 0 0 3615 0 0 0 20 0 28 0 511007471 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418204618488 140418678689239 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4467] ppid=4369 vsize=28768336 memory=2832 CPUtime=36.07 cores=0-7 /proc/4371/task/4467/stat : 4467 (java) R 4369 4369 29338 0 -1 4202560 450 0 0 0 3607 0 0 0 20 0 28 0 511007471 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418206723960 140418678689109 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4468] ppid=4369 vsize=28768336 memory=1620 CPUtime=36.26 cores=0-7 /proc/4371/task/4468/stat : 4468 (java) R 4369 4369 29338 0 -1 4202560 1462 0 0 0 3626 0 0 0 20 0 28 0 511007471 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418205671416 140418678912639 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4469] ppid=4369 vsize=28768336 memory=1136 CPUtime=36.1 cores=0-7 /proc/4371/task/4469/stat : 4469 (java) R 4369 4369 29338 0 -1 4202560 803 0 0 0 3610 0 0 0 20 0 28 0 511007471 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418201460856 140418678912918 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 [pid=4371/tid=4470] ppid=4369 vsize=28768336 memory=1072 CPUtime=35.99 cores=0-7 /proc/4371/task/4470/stat : 4470 (java) R 4369 4369 29338 0 -1 4202560 1119 0 0 0 3599 0 0 0 20 0 28 0 511007471 29458776064 115042 33554432000 4194304 4196468 140727273749456 140418203567048 140418679194406 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24182784 140727273751516 140727273751691 140727273751691 140727273754575 0 Current children cumulated CPU time: 340.12 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 461624 KiB [startup+44.1011 s] /proc/loadavg: 7.28 7.73 7.96 9/218 4478 /proc/meminfo: memFree=25752768/32770624 swapFree=66956848/67108860 [pid=4369] ppid=4366 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/4369/stat : 4369 (xcsp3-exec) S 4366 4369 29338 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511006704 115843072 364 33554432000 4194304 5098028 140731252025920 140731252024024 140513225691772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11546624 140731252032343 140731252032602 140731252032602 140731252035526 0 /proc/4369/statm: 28282 364 305 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1456 KiB Child status: 0 Real time (s): 44.1063 CPU time (s): 340.865 CPU user time (s): 340.234 CPU system time (s): 0.630697 CPU usage (%): 772.824 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 461624 getrusage(RUSAGE_CHILDREN,...) data: user time used= 340.234 system time used= 0.630697 maximum resident set size= 460376 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 59678 page faults= 0 swaps= 0 block input operations= 0 block output operations= 288 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6567 involuntary context switches= 4531 # summary of solver processes directly reported to runsolver: # pid: 4369 # total CPU time (s): 340.865 # total CPU user time (s): 340.234 # total CPU system time (s): 0.630697 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.406533 second user time and 0.55284 second system time The end
Begin job on node105 at 2019-09-24 18:49:48 IDJOB=4407410 IDBENCH=128013 IDSOLVER=2872 FILE ID=node105/4407410-1569347489 RUNJOBID= node105-1569332278-29365 PBS_JOBID= 21705070 Free space on /var/tmp= 13176 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/PrizeCollecting/PrizeCollecting-jok-s1/PrizeCollecting-25-5-5-9.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-4407410-1569347489/watcher-4407410-1569347489 -o /var/tmp/evaluation-result-4407410-1569347489/solver-4407410-1569347489 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569332278-29365 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1646895278 HOME/instance-4407410-1569347489.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 01e24d77724351f9fbbc9dc0447b7ef7 RANDOM SEED=1646895278 node105.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.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.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.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.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.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.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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26197976 kB MemAvailable: 31797836 kB Buffers: 117876 kB Cached: 5613516 kB SwapCached: 48344 kB Active: 2860660 kB Inactive: 2920700 kB Active(anon): 4864 kB Inactive(anon): 99568 kB Active(file): 2855796 kB Inactive(file): 2821132 kB Unevictable: 110928 kB Mlocked: 110928 kB SwapTotal: 67108860 kB SwapFree: 66956844 kB Dirty: 27428 kB Writeback: 0 kB AnonPages: 145912 kB Mapped: 54468 kB Shmem: 45920 kB Slab: 380316 kB SReclaimable: 351392 kB SUnreclaim: 28924 kB KernelStack: 3712 kB PageTables: 5792 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506352 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 100352 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= 13152 MiB End job on node105 at 2019-09-24 18:50:33