Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 20 | 32.8557 | 4.99281 |
Name | PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-20-4-5-8.xml |
MD5SUM | cc4f118531160cfe6c95c1294546deff |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 20 |
Best CPU time to get the best result obtained on this benchmark | 13.7083 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 60 |
Number of constraints | 81 |
Number of domains | 21 |
Minimum domain size | 4 |
Maximum domain size | 21 |
Distribution of domain sizes | [{"size":4,"count":7},{"size":5,"count":7},{"size":6,"count":6},{"size":21,"count":40}] |
Minimum variable degree | 2 |
Maximum variable degree | 23 |
Distribution of variable degrees | [{"degree":2,"count":20},{"degree":21,"count":19},{"degree":22,"count":1},{"degree":23,"count":20}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 21 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":40},{"arity":20,"count":20},{"arity":21,"count":20}] |
Number of extensional constraints | 40 |
Number of intensional constraints | 21 |
Distribution of constraint types | [{"type":"extension","count":40},{"type":"intension","count":21},{"type":"count","count":20}] |
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-4407290-1569347434.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407290-1569347434.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 3.68/1.29 c solve instance... 4.84/1.47 o -1000 6.34/1.64 o -992 6.34/1.65 o -991 6.34/1.66 o -989 6.34/1.66 o -984 6.34/1.69 o 2 8.59/2.01 o 3 9.44/2.08 o 8 9.44/2.09 o 9 10.90/2.26 o 11 11.69/2.31 o 18 18.07/3.18 o 19 18.07/3.19 o 20 32.23/4.97 s OPTIMUM FOUND 32.23/4.97 v <instantiation> 32.23/4.97 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] 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] 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] </list> 32.23/4.97 v <values>1 2 3 8 -1 0 -1 12 7 -1 5 -1 13 14 19 10 15 16 17 18 0 1 2 3 -1 15 -1 5 4 -1 14 -1 6 7 8 13 12 11 10 9 -5 0 -2 5 0 1 0 3 2 0 -2 0 -4 2 4 3 6 3 2 2 </values> 32.23/4.97 v </instantiation>
OK 20
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 (13518 MiB free) memory of node 1: 16384 MiB (12067 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407290-1569347434/watcher-4407290-1569347434 -o /var/tmp/evaluation-result-4407290-1569347434/solver-4407290-1569347434 -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 1119431451 HOME/instance-4407290-1569347434.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 solver pid=3472, runsolver pid=3469 Starting watchdog thread Current StackSize limit: 8192 KiB [startup+0.100134 s]* /proc/loadavg: 7.78 7.96 8.05 2/210 3493 /proc/meminfo: memFree=26183896/32770624 swapFree=66956844/67108860 [pid=3472] ppid=3469 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3472/stat : 3472 (xcsp3-exec) S 3469 3472 29338 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511001224 115843072 363 33554432000 4194304 5098028 140723033771936 140723033770040 140582243295868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34578432 140723033781079 140723033781338 140723033781338 140723033784262 0 /proc/3472/statm: 28282 363 304 221 0 87 0 [pid=3474] ppid=3472 vsize=28227396 memory=28656 CPUtime=0.12 cores=0-7 /proc/3474/stat : 3474 (java) S 3472 3472 29338 0 -1 1077944320 5631 0 0 0 11 1 0 0 20 0 20 0 511001224 28904853504 7164 33554432000 4194304 4196468 140723242066032 140723242048576 140349732216567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 /proc/3474/statm: 7056849 7164 3146 1 0 7019032 0 [pid=3474/tid=3475] ppid=3472 vsize=28227396 memory=-3103912127665269910 CPUtime=0.08 cores=0-7 /proc/3474/task/3475/stat : 3475 (java) R 3472 3472 29338 0 -1 4202560 3578 0 0 0 8 0 0 0 20 0 20 0 511001224 28904853504 7164 33554432000 4194304 4196468 140723242066032 140349736448544 140349732228502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3476] ppid=3472 vsize=28227396 memory=664954298551644168 CPUtime=0 cores=0-7 /proc/3474/task/3476/stat : 3476 (java) S 3472 3472 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511001225 28904853504 7164 33554432000 4194304 4196468 140723242066032 140349684837264 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3477] ppid=3472 vsize=28227396 memory=140517633844864 CPUtime=0 cores=0-7 /proc/3474/task/3477/stat : 3477 (java) S 3472 3472 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511001225 28904853504 7164 33554432000 4194304 4196468 140723242066032 140349683784464 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3478] ppid=3472 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3478/stat : 3478 (java) S 3472 3472 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511001225 28904853504 7164 33554432000 4194304 4196468 140723242066032 140349682732176 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3479] ppid=3472 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3479/stat : 3479 (java) S 3472 3472 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511001225 28904853504 7164 33554432000 4194304 4196468 140723242066032 140349681679376 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3480] ppid=3472 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3480/stat : 3480 (java) S 3472 3472 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511001225 28904853504 7164 33554432000 4194304 4196468 140723242066032 140349680626064 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3481] ppid=3472 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3474/task/3481/stat : 3481 (java) S 3472 3472 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511001225 28904853504 7164 33554432000 4194304 4196468 140723242066032 140349679573264 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3482] ppid=3472 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3482/stat : 3482 (java) S 3472 3472 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511001225 28904853504 7164 33554432000 4194304 4196468 140723242066032 140349678520976 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3483] ppid=3472 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3483/stat : 3483 (java) S 3472 3472 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511001225 28904853504 7164 33554432000 4194304 4196468 140723242066032 140349677468176 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3484] ppid=3472 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3484/stat : 3484 (java) S 3472 3472 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511001227 28904853504 7164 33554432000 4194304 4196468 140723242066032 140348196207216 140349732227714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3485] ppid=3472 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3485/stat : 3485 (java) S 3472 3472 29338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511001227 28904853504 7164 33554432000 4194304 4196468 140723242066032 140348195153184 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3486] ppid=3472 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3486/stat : 3486 (java) S 3472 3472 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511001227 28904853504 7164 33554432000 4194304 4196468 140723242066032 140348194100848 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3487] ppid=3472 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3487/stat : 3487 (java) S 3472 3472 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511001230 28904853504 7164 33554432000 4194304 4196468 140723242066032 140348193049168 140349732235163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3488] ppid=3472 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3488/stat : 3488 (java) S 3472 3472 29338 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 20 0 511001230 28904853504 7164 33554432000 4194304 4196468 140723242066032 140348191996016 140349732227714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3489] ppid=3472 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3489/stat : 3489 (java) R 3472 3472 29338 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 20 0 511001230 28904853504 7164 33554432000 4194304 4196468 140723242066032 140348190943216 140349715652305 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3490] ppid=3472 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3490/stat : 3490 (java) S 3472 3472 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511001230 28904853504 7164 33554432000 4194304 4196468 140723242066032 140348122720624 140349732227714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3491] ppid=3472 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/3474/task/3491/stat : 3491 (java) R 3472 3472 29338 0 -1 4202560 326 0 0 0 1 0 0 0 20 0 20 0 511001230 28904853504 7164 33554432000 4194304 4196468 140723242066032 140348121667824 140349710916768 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3492] ppid=3472 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3492/stat : 3492 (java) S 3472 3472 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511001230 28904853504 7164 33554432000 4194304 4196468 140723242066032 140348120615776 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3493] ppid=3472 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3474/task/3493/stat : 3493 (java) S 3472 3472 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511001230 28904853504 7164 33554432000 4194304 4196468 140723242066032 140348119563056 140349732227714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30108 KiB [startup+0.210633 s]* /proc/loadavg: 7.78 7.96 8.05 3/210 3493 /proc/meminfo: memFree=26170024/32770624 swapFree=66956844/67108860 [pid=3472] ppid=3469 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3472/stat : 3472 (xcsp3-exec) S 3469 3472 29338 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511001224 115843072 363 33554432000 4194304 5098028 140723033771936 140723033770040 140582243295868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34578432 140723033781079 140723033781338 140723033781338 140723033784262 0 /proc/3472/statm: 28282 363 304 221 0 87 0 [pid=3474] ppid=3472 vsize=28227396 memory=41364 CPUtime=0.33 cores=0-7 /proc/3474/stat : 3474 (java) S 3472 3472 29338 0 -1 1077944320 9547 0 0 0 30 3 0 0 20 0 20 0 511001224 28904853504 10341 33554432000 4194304 4196468 140723242066032 140723242048576 140349732216567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 /proc/3474/statm: 7056849 10341 3317 1 0 7019032 0 [pid=3474/tid=3475] ppid=3472 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/3474/task/3475/stat : 3475 (java) R 3472 3472 29338 0 -1 4202560 6620 0 0 0 18 2 0 0 20 0 20 0 511001224 28904853504 10341 33554432000 4194304 4196468 140723242066032 140349736450272 140349732228502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3476] ppid=3472 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/3474/task/3476/stat : 3476 (java) S 3472 3472 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511001225 28904853504 10341 33554432000 4194304 4196468 140723242066032 140349684837264 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3477] ppid=3472 vsize=28227396 memory=3475005412987266720 CPUtime=0 cores=0-7 /proc/3474/task/3477/stat : 3477 (java) S 3472 3472 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511001225 28904853504 10341 33554432000 4194304 4196468 140723242066032 140349683784464 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3478] ppid=3472 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3474/task/3478/stat : 3478 (java) S 3472 3472 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511001225 28904853504 10341 33554432000 4194304 4196468 140723242066032 140349682732176 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3479] ppid=3472 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3479/stat : 3479 (java) S 3472 3472 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511001225 28904853504 10341 33554432000 4194304 4196468 140723242066032 140349681679376 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3480] ppid=3472 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3480/stat : 3480 (java) S 3472 3472 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511001225 28904853504 10341 33554432000 4194304 4196468 140723242066032 140349680626064 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3481] ppid=3472 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3474/task/3481/stat : 3481 (java) S 3472 3472 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511001225 28904853504 10341 33554432000 4194304 4196468 140723242066032 140349679573264 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3482] ppid=3472 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3482/stat : 3482 (java) S 3472 3472 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511001225 28904853504 10341 33554432000 4194304 4196468 140723242066032 140349678520976 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3483] ppid=3472 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3483/stat : 3483 (java) S 3472 3472 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511001225 28904853504 10341 33554432000 4194304 4196468 140723242066032 140349677468176 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3484] ppid=3472 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3484/stat : 3484 (java) S 3472 3472 29338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511001227 28904853504 10341 33554432000 4194304 4196468 140723242066032 140348196207216 140349732227714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3485] ppid=3472 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3485/stat : 3485 (java) S 3472 3472 29338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511001227 28904853504 10341 33554432000 4194304 4196468 140723242066032 140348195153184 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3486] ppid=3472 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3486/stat : 3486 (java) S 3472 3472 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511001227 28904853504 10341 33554432000 4194304 4196468 140723242066032 140348194100848 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3487] ppid=3472 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3487/stat : 3487 (java) S 3472 3472 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511001230 28904853504 10341 33554432000 4194304 4196468 140723242066032 140348193049168 140349732235163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3488] ppid=3472 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/3474/task/3488/stat : 3488 (java) S 3472 3472 29338 0 -1 1077944384 505 0 0 0 1 0 0 0 20 0 20 0 511001230 28904853504 10341 33554432000 4194304 4196468 140723242066032 140348191996016 140349732227714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3489] ppid=3472 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/3474/task/3489/stat : 3489 (java) S 3472 3472 29338 0 -1 1077944384 267 0 0 0 2 0 0 0 20 0 20 0 511001230 28904853504 10341 33554432000 4194304 4196468 140723242066032 140348190943216 140349732227714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3490] ppid=3472 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3474/task/3490/stat : 3490 (java) S 3472 3472 29338 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 511001230 28904853504 10341 33554432000 4194304 4196468 140723242066032 140348122720624 140349732227714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3491] ppid=3472 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/3474/task/3491/stat : 3491 (java) R 3472 3472 29338 0 -1 4202560 809 0 0 0 8 0 0 0 20 0 20 0 511001230 28904853504 10341 33554432000 4194304 4196468 140723242066032 140348121667824 140349732228502 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3492] ppid=3472 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3492/stat : 3492 (java) S 3472 3472 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511001230 28904853504 10341 33554432000 4194304 4196468 140723242066032 140348120615776 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3493] ppid=3472 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/3474/task/3493/stat : 3493 (java) S 3472 3472 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511001230 28904853504 10341 33554432000 4194304 4196468 140723242066032 140348119563056 140349732227714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42816 KiB [startup+0.318838 s]* /proc/loadavg: 7.78 7.96 8.05 3/210 3493 /proc/meminfo: memFree=26162752/32770624 swapFree=66956844/67108860 [pid=3472] ppid=3469 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3472/stat : 3472 (xcsp3-exec) S 3469 3472 29338 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511001224 115843072 363 33554432000 4194304 5098028 140723033771936 140723033770040 140582243295868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34578432 140723033781079 140723033781338 140723033781338 140723033784262 0 /proc/3472/statm: 28282 363 304 221 0 87 0 [pid=3474] ppid=3472 vsize=28231652 memory=50252 CPUtime=0.54 cores=0-7 /proc/3474/stat : 3474 (java) S 3472 3472 29338 0 -1 1077944320 10988 0 0 0 50 4 0 0 20 0 20 0 511001224 28909211648 12563 33554432000 4194304 4196468 140723242066032 140723242048576 140349732216567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 /proc/3474/statm: 7057913 12563 3352 1 0 7019032 0 [pid=3474/tid=3475] ppid=3472 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/3474/task/3475/stat : 3475 (java) R 3472 3472 29338 0 -1 4202560 7883 0 0 0 28 2 0 0 20 0 20 0 511001224 28909211648 12638 33554432000 4194304 4196468 140723242066032 140349736452512 140349732228502 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3476] ppid=3472 vsize=28231652 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/3474/task/3476/stat : 3476 (java) S 3472 3472 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511001225 28909211648 12638 33554432000 4194304 4196468 140723242066032 140349684837264 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3477] ppid=3472 vsize=28231652 memory=25148 CPUtime=0 cores=0-7 /proc/3474/task/3477/stat : 3477 (java) S 3472 3472 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511001225 28909211648 12638 33554432000 4194304 4196468 140723242066032 140349683784464 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3478] ppid=3472 vsize=28231652 memory=14056 CPUtime=0 cores=0-7 /proc/3474/task/3478/stat : 3478 (java) S 3472 3472 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511001225 28909211648 12638 33554432000 4194304 4196468 140723242066032 140349682732176 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3479] ppid=3472 vsize=28231652 memory=2116 CPUtime=0 cores=0-7 /proc/3474/task/3479/stat : 3479 (java) S 3472 3472 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511001225 28909211648 12638 33554432000 4194304 4196468 140723242066032 140349681679376 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3480] ppid=3472 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3480/stat : 3480 (java) S 3472 3472 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511001225 28909211648 12638 33554432000 4194304 4196468 140723242066032 140349680626064 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3481] ppid=3472 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3481/stat : 3481 (java) S 3472 3472 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511001225 28909211648 12638 33554432000 4194304 4196468 140723242066032 140349679573264 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3482] ppid=3472 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3482/stat : 3482 (java) S 3472 3472 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511001225 28909211648 12638 33554432000 4194304 4196468 140723242066032 140349678520976 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3483] ppid=3472 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3483/stat : 3483 (java) S 3472 3472 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511001225 28909211648 12638 33554432000 4194304 4196468 140723242066032 140349677468176 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3484] ppid=3472 vsize=28231652 memory=140517505589824 CPUtime=0 cores=0-7 /proc/3474/task/3484/stat : 3484 (java) S 3472 3472 29338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511001227 28909211648 12638 33554432000 4194304 4196468 140723242066032 140348196207216 140349732227714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3485] ppid=3472 vsize=28231652 memory=140517505594319 CPUtime=0 cores=0-7 /proc/3474/task/3485/stat : 3485 (java) S 3472 3472 29338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511001227 28909211648 12638 33554432000 4194304 4196468 140723242066032 140348195153184 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3486] ppid=3472 vsize=28231652 memory=1970350607106051 CPUtime=0 cores=0-7 /proc/3474/task/3486/stat : 3486 (java) S 3472 3472 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511001227 28909211648 12638 33554432000 4194304 4196468 140723242066032 140348194100848 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3487] ppid=3472 vsize=28231652 memory=2110868112700324 CPUtime=0 cores=0-7 /proc/3474/task/3487/stat : 3487 (java) S 3472 3472 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511001230 28909211648 12638 33554432000 4194304 4196468 140723242066032 140348193049168 140349732235163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3488] ppid=3472 vsize=28231652 memory=2110868112733188 CPUtime=0.02 cores=0-7 /proc/3474/task/3488/stat : 3488 (java) S 3472 3472 29338 0 -1 1077944384 505 0 0 0 2 0 0 0 20 0 20 0 511001230 28909211648 12638 33554432000 4194304 4196468 140723242066032 140348191996016 140349732227714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3489] ppid=3472 vsize=28231652 memory=2110868112704932 CPUtime=0.03 cores=0-7 /proc/3474/task/3489/stat : 3489 (java) S 3472 3472 29338 0 -1 1077944384 359 0 0 0 3 0 0 0 20 0 20 0 511001230 28909211648 12638 33554432000 4194304 4196468 140723242066032 140348190943216 140349732227714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3490] ppid=3472 vsize=28231652 memory=2110868112707236 CPUtime=0.02 cores=0-7 /proc/3474/task/3490/stat : 3490 (java) S 3472 3472 29338 0 -1 1077944384 53 0 0 0 2 0 0 0 20 0 20 0 511001230 28909211648 12638 33554432000 4194304 4196468 140723242066032 140348122720624 140349732227714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3491] ppid=3472 vsize=28231652 memory=2110868112733092 CPUtime=0.12 cores=0-7 /proc/3474/task/3491/stat : 3491 (java) S 3472 3472 29338 0 -1 1077944384 884 0 0 0 12 0 0 0 20 0 20 0 511001230 28909211648 12638 33554432000 4194304 4196468 140723242066032 140348121667824 140349732227714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3492] ppid=3472 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3492/stat : 3492 (java) S 3472 3472 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511001230 28909211648 12638 33554432000 4194304 4196468 140723242066032 140348120615776 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3493] ppid=3472 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/3474/task/3493/stat : 3493 (java) S 3472 3472 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511001230 28909211648 12638 33554432000 4194304 4196468 140723242066032 140348119563056 140349732227714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51704 KiB [startup+0.701036 s] /proc/loadavg: 7.78 7.96 8.05 6/210 3493 /proc/meminfo: memFree=26130048/32770624 swapFree=66956844/67108860 [pid=3472] ppid=3469 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3472/stat : 3472 (xcsp3-exec) S 3469 3472 29338 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511001224 115843072 363 33554432000 4194304 5098028 140723033771936 140723033770040 140582243295868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34578432 140723033781079 140723033781338 140723033781338 140723033784262 0 /proc/3472/statm: 28282 363 304 221 0 87 0 [pid=3474] ppid=3472 vsize=28233776 memory=100820 CPUtime=1.96 cores=0-7 /proc/3474/stat : 3474 (java) S 3472 3472 29338 0 -1 1077944320 15873 0 0 0 191 5 0 0 20 0 20 0 511001224 28911386624 25205 33554432000 4194304 4196468 140723242066032 140723242048576 140349732216567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 /proc/3474/statm: 7058444 25205 3460 1 0 7019544 0 [pid=3474/tid=3475] ppid=3472 vsize=28233776 memory=7157462708721117541 CPUtime=0.67 cores=0-7 /proc/3474/task/3475/stat : 3475 (java) R 3472 3472 29338 0 -1 4202560 9147 0 0 0 64 3 0 0 20 0 20 0 511001224 28911386624 25205 33554432000 4194304 4196468 140723242066032 140349736451104 140349347613952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3476] ppid=3472 vsize=28233776 memory=17093969839082 CPUtime=0 cores=0-7 /proc/3474/task/3476/stat : 3476 (java) S 3472 3472 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511001225 28911386624 25205 33554432000 4194304 4196468 140723242066032 140349684837264 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3477] ppid=3472 vsize=28233776 memory=281035011610976 CPUtime=0 cores=0-7 /proc/3474/task/3477/stat : 3477 (java) S 3472 3472 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511001225 28911386624 25205 33554432000 4194304 4196468 140723242066032 140349683784464 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3478] ppid=3472 vsize=28233776 memory=2832 CPUtime=0 cores=0-7 /proc/3474/task/3478/stat : 3478 (java) S 3472 3472 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511001225 28911386624 25205 33554432000 4194304 4196468 140723242066032 140349682732176 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 ################ # More data... # ################ [pid=3474/tid=3491] ppid=3472 vsize=28835928 memory=140518445023808 CPUtime=0.83 cores=0-7 /proc/3474/task/3491/stat : 3491 (java) S 3472 3472 29338 0 -1 1077944384 3598 0 0 0 82 1 0 0 20 0 28 0 511001230 29527990272 97622 33554432000 4194304 4196468 140723242066032 140348121667824 140349732227714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3492] ppid=3472 vsize=28835928 memory=140518445023811 CPUtime=0 cores=0-7 /proc/3474/task/3492/stat : 3492 (java) S 3472 3472 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511001230 29527990272 97622 33554432000 4194304 4196468 140723242066032 140348120615776 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3493] ppid=3472 vsize=28835928 memory=140518445023816 CPUtime=0 cores=0-7 /proc/3474/task/3493/stat : 3493 (java) S 3472 3472 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511001230 29527990272 97622 33554432000 4194304 4196468 140723242066032 140348119563056 140349732227714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3598] ppid=3472 vsize=28835928 memory=140518445023821 CPUtime=1.08 cores=0-7 /proc/3474/task/3598/stat : 3598 (java) R 3472 3472 29338 0 -1 4202560 20 0 0 0 108 0 0 0 20 0 28 0 511001544 29527990272 97622 33554432000 4194304 4196468 140723242066032 140348105089128 140349355337478 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3599] ppid=3472 vsize=28835928 memory=140518445023833 CPUtime=1.17 cores=0-7 /proc/3474/task/3599/stat : 3599 (java) R 3472 3472 29338 0 -1 4202560 21 0 0 0 117 0 0 0 20 0 28 0 511001544 29527990272 97622 33554432000 4194304 4196468 140723242066032 140348100878560 140349355174570 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3600] ppid=3472 vsize=28835928 memory=140518445023847 CPUtime=1.18 cores=0-7 /proc/3474/task/3600/stat : 3600 (java) R 3472 3472 29338 0 -1 4202560 20 0 0 0 118 0 0 0 20 0 28 0 511001544 29527990272 97622 33554432000 4194304 4196468 140723242066032 140348101930808 140349355102183 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3601] ppid=3472 vsize=28835928 memory=140518445023849 CPUtime=1.13 cores=0-7 /proc/3474/task/3601/stat : 3601 (java) R 3472 3472 29338 0 -1 4202560 22 0 0 0 113 0 0 0 20 0 28 0 511001544 29527990272 97622 33554432000 4194304 4196468 140723242066032 140348108248232 140349355174682 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3602] ppid=3472 vsize=28835928 memory=140518445023850 CPUtime=1.19 cores=0-7 /proc/3474/task/3602/stat : 3602 (java) R 3472 3472 29338 0 -1 4202560 20 0 0 0 119 0 0 0 20 0 28 0 511001544 29527990272 97622 33554432000 4194304 4196468 140723242066032 140348104036408 140349355174451 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3603] ppid=3472 vsize=28835928 memory=143155554943627 CPUtime=1.19 cores=0-7 /proc/3474/task/3603/stat : 3603 (java) R 3472 3472 29338 0 -1 4202560 20 0 0 0 119 0 0 0 20 0 28 0 511001544 29527990272 97622 33554432000 4194304 4196468 140723242066032 140348102982936 140349355174451 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3604] ppid=3472 vsize=28835928 memory=140518445024132 CPUtime=1.17 cores=0-7 /proc/3474/task/3604/stat : 3604 (java) R 3472 3472 29338 0 -1 4202560 16 0 0 0 117 0 0 0 20 0 28 0 511001544 29527990272 97622 33554432000 4194304 4196468 140723242066032 140348106141992 140349355174316 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3605] ppid=3472 vsize=28835928 memory=140518445024133 CPUtime=1.06 cores=0-7 /proc/3474/task/3605/stat : 3605 (java) R 3472 3472 29338 0 -1 4202560 21 0 0 0 106 0 0 0 20 0 28 0 511001544 29527990272 97622 33554432000 4194304 4196468 140723242066032 140348098772504 140349355174363 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 Current children cumulated CPU time: 28.25 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 391940 KiB [startup+4.80181 s] /proc/loadavg: 7.78 7.96 8.05 10/218 3605 /proc/meminfo: memFree=25822132/32770624 swapFree=66956844/67108860 [pid=3472] ppid=3469 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3472/stat : 3472 (xcsp3-exec) S 3469 3472 29338 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511001224 115843072 363 33554432000 4194304 5098028 140723033771936 140723033770040 140582243295868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34578432 140723033781079 140723033781338 140723033781338 140723033784262 0 /proc/3472/statm: 28282 363 304 221 0 87 0 [pid=3474] ppid=3472 vsize=28835928 memory=391024 CPUtime=31.43 cores=0-7 /proc/3474/stat : 3474 (java) S 3472 3472 29338 0 -1 1077944320 29911 0 0 0 3116 27 0 0 20 0 28 0 511001224 29527990272 97756 33554432000 4194304 4196468 140723242066032 140723242048576 140349732216567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 /proc/3474/statm: 7208982 97756 3518 1 0 7170082 0 [pid=3474/tid=3475] ppid=3472 vsize=28835928 memory=-7025452035942946156 CPUtime=1.25 cores=0-7 /proc/3474/task/3475/stat : 3475 (java) S 3472 3472 29338 0 -1 1077944384 9456 0 0 0 120 5 0 0 20 0 28 0 511001224 29527990272 97756 33554432000 4194304 4196468 140723242066032 140349736457344 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3476] ppid=3472 vsize=28835928 memory=6944656592452807316 CPUtime=0.02 cores=0-7 /proc/3474/task/3476/stat : 3476 (java) S 3472 3472 29338 0 -1 1077944384 35 0 0 0 1 1 0 0 20 0 28 0 511001225 29527990272 97756 33554432000 4194304 4196468 140723242066032 140349684837264 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3477] ppid=3472 vsize=28835928 memory=281035011637280 CPUtime=0.02 cores=0-7 /proc/3474/task/3477/stat : 3477 (java) S 3472 3472 29338 0 -1 1077944384 77 0 0 0 1 1 0 0 20 0 28 0 511001225 29527990272 97756 33554432000 4194304 4196468 140723242066032 140349683784464 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3478] ppid=3472 vsize=28835928 memory=140517505647104 CPUtime=0.02 cores=0-7 /proc/3474/task/3478/stat : 3478 (java) S 3472 3472 29338 0 -1 1077944384 84 0 0 0 1 1 0 0 20 0 28 0 511001225 29527990272 97756 33554432000 4194304 4196468 140723242066032 140349682732176 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3479] ppid=3472 vsize=28835928 memory=140517505647136 CPUtime=0.02 cores=0-7 /proc/3474/task/3479/stat : 3479 (java) S 3472 3472 29338 0 -1 1077944384 77 0 0 0 2 0 0 0 20 0 28 0 511001225 29527990272 97756 33554432000 4194304 4196468 140723242066032 140349681679376 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3480] ppid=3472 vsize=28835928 memory=3472468813733327468 CPUtime=0.02 cores=0-7 /proc/3474/task/3480/stat : 3480 (java) S 3472 3472 29338 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 28 0 511001225 29527990272 97756 33554432000 4194304 4196468 140723242066032 140349680626064 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3481] ppid=3472 vsize=28835928 memory=3471342913826484880 CPUtime=0.03 cores=0-7 /proc/3474/task/3481/stat : 3481 (java) S 3472 3472 29338 0 -1 1077944384 40 0 0 0 2 1 0 0 20 0 28 0 511001225 29527990272 97756 33554432000 4194304 4196468 140723242066032 140349679573264 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3482] ppid=3472 vsize=28835928 memory=140517505647232 CPUtime=0.04 cores=0-7 /proc/3474/task/3482/stat : 3482 (java) S 3472 3472 29338 0 -1 1077944384 80 0 0 0 3 1 0 0 20 0 28 0 511001225 29527990272 97756 33554432000 4194304 4196468 140723242066032 140349678520976 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3483] ppid=3472 vsize=28835928 memory=140517505647264 CPUtime=0.04 cores=0-7 /proc/3474/task/3483/stat : 3483 (java) S 3472 3472 29338 0 -1 1077944384 99 0 0 0 3 1 0 0 20 0 28 0 511001225 29527990272 97756 33554432000 4194304 4196468 140723242066032 140349677468176 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3484] ppid=3472 vsize=28835928 memory=140517505647296 CPUtime=0.01 cores=0-7 /proc/3474/task/3484/stat : 3484 (java) S 3472 3472 29338 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 28 0 511001227 29527990272 97756 33554432000 4194304 4196468 140723242066032 140348196207216 140349732227714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3485] ppid=3472 vsize=28835928 memory=140517505647328 CPUtime=0 cores=0-7 /proc/3474/task/3485/stat : 3485 (java) S 3472 3472 29338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 511001227 29527990272 97756 33554432000 4194304 4196468 140723242066032 140348195153248 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3486] ppid=3472 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3486/stat : 3486 (java) S 3472 3472 29338 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 511001227 29527990272 97756 33554432000 4194304 4196468 140723242066032 140348194100864 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3487] ppid=3472 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3487/stat : 3487 (java) S 3472 3472 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511001230 29527990272 97756 33554432000 4194304 4196468 140723242066032 140348193049168 140349732235163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3488] ppid=3472 vsize=28835928 memory=0 CPUtime=1.72 cores=0-7 /proc/3474/task/3488/stat : 3488 (java) S 3472 3472 29338 0 -1 1077944384 4431 0 0 0 171 1 0 0 20 0 28 0 511001230 29527990272 97756 33554432000 4194304 4196468 140723242066032 140348191996016 140349732227714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3489] ppid=3472 vsize=28835928 memory=0 CPUtime=1.87 cores=0-7 /proc/3474/task/3489/stat : 3489 (java) R 3472 3472 29338 0 -1 4202560 4544 0 0 0 186 1 0 0 20 0 28 0 511001230 29527990272 97756 33554432000 4194304 4196468 140723242066032 140348190943512 140349711909608 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3490] ppid=3472 vsize=28835928 memory=0 CPUtime=1.76 cores=0-7 /proc/3474/task/3490/stat : 3490 (java) S 3472 3472 29338 0 -1 1077944384 2776 0 0 0 175 1 0 0 20 0 28 0 511001230 29527990272 97756 33554432000 4194304 4196468 140723242066032 140348122720624 140349732227714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3491] ppid=3472 vsize=28835928 memory=56 CPUtime=0.84 cores=0-7 /proc/3474/task/3491/stat : 3491 (java) S 3472 3472 29338 0 -1 1077944384 3609 0 0 0 83 1 0 0 20 0 28 0 511001230 29527990272 97756 33554432000 4194304 4196468 140723242066032 140348121667824 140349732227714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3492] ppid=3472 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3492/stat : 3492 (java) S 3472 3472 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511001230 29527990272 97756 33554432000 4194304 4196468 140723242066032 140348120615776 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3493] ppid=3472 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3493/stat : 3493 (java) S 3472 3472 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 511001230 29527990272 97756 33554432000 4194304 4196468 140723242066032 140348119563056 140349732227714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3598] ppid=3472 vsize=28835928 memory=0 CPUtime=1.48 cores=0-7 /proc/3474/task/3598/stat : 3598 (java) R 3472 3472 29338 0 -1 4202560 142 0 0 0 148 0 0 0 20 0 28 0 511001544 29527990272 97756 33554432000 4194304 4196468 140723242066032 140348105089128 140349355174579 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3599] ppid=3472 vsize=28835928 memory=0 CPUtime=1.56 cores=0-7 /proc/3474/task/3599/stat : 3599 (java) R 3472 3472 29338 0 -1 4202560 57 0 0 0 156 0 0 0 20 0 28 0 511001544 29527990272 97756 33554432000 4194304 4196468 140723242066032 140348100878560 140349355090504 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3600] ppid=3472 vsize=28835928 memory=281035011889088 CPUtime=1.58 cores=0-7 /proc/3474/task/3600/stat : 3600 (java) R 3472 3472 29338 0 -1 4202560 95 0 0 0 158 0 0 0 20 0 28 0 511001544 29527990272 97756 33554432000 4194304 4196468 140723242066032 140348101930808 140349355174475 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3601] ppid=3472 vsize=28835928 memory=8245933066544480320 CPUtime=1.5 cores=0-7 /proc/3474/task/3601/stat : 3601 (java) R 3472 3472 29338 0 -1 4202560 195 0 0 0 149 1 0 0 20 0 28 0 511001544 29527990272 97756 33554432000 4194304 4196468 140723242066032 140348108248792 140349355174428 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3602] ppid=3472 vsize=28835928 memory=1899744 CPUtime=1.58 cores=0-7 /proc/3474/task/3602/stat : 3602 (java) R 3472 3472 29338 0 -1 4202560 115 0 0 0 158 0 0 0 20 0 28 0 511001544 29527990272 97756 33554432000 4194304 4196468 140723242066032 140348104036368 140349355174386 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3603] ppid=3472 vsize=28835928 memory=6944656575208382560 CPUtime=1.59 cores=0-7 /proc/3474/task/3603/stat : 3603 (java) R 3472 3472 29338 0 -1 4202560 58 0 0 0 159 0 0 0 20 0 28 0 511001544 29527990272 97756 33554432000 4194304 4196468 140723242066032 140348102984552 140349355421646 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3604] ppid=3472 vsize=28835928 memory=6943526294502006880 CPUtime=1.57 cores=0-7 /proc/3474/task/3604/stat : 3604 (java) R 3472 3472 29338 0 -1 4202560 67 0 0 0 157 0 0 0 20 0 28 0 511001544 29527990272 97756 33554432000 4194304 4196468 140723242066032 140348106141992 140349355174570 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3605] ppid=3472 vsize=28835928 memory=6944656575208382560 CPUtime=1.45 cores=0-7 /proc/3474/task/3605/stat : 3605 (java) R 3472 3472 29338 0 -1 4202560 186 0 0 0 145 0 0 0 20 0 28 0 511001544 29527990272 97756 33554432000 4194304 4196468 140723242066032 140348098772504 140349355174628 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 Current children cumulated CPU time: 31.43 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 392476 KiB [startup+4.90181 s] /proc/loadavg: 7.78 7.96 8.05 10/218 3605 /proc/meminfo: memFree=25822132/32770624 swapFree=66956844/67108860 [pid=3472] ppid=3469 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/3472/stat : 3472 (xcsp3-exec) S 3469 3472 29338 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511001224 115843072 363 33554432000 4194304 5098028 140723033771936 140723033770040 140582243295868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34578432 140723033781079 140723033781338 140723033781338 140723033784262 0 /proc/3472/statm: 28282 363 304 221 0 87 0 [pid=3474] ppid=3472 vsize=28835928 memory=391056 CPUtime=32.23 cores=0-7 /proc/3474/stat : 3474 (java) S 3472 3472 29338 0 -1 1077944320 30358 0 0 0 3195 28 0 0 20 0 28 0 511001224 29527990272 97764 33554432000 4194304 4196468 140723242066032 140723242048576 140349732216567 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 /proc/3474/statm: 7208982 97764 3518 1 0 7170082 0 [pid=3474/tid=3475] ppid=3472 vsize=28835928 memory=1452 CPUtime=1.25 cores=0-7 /proc/3474/task/3475/stat : 3475 (java) S 3472 3472 29338 0 -1 1077944384 9456 0 0 0 120 5 0 0 20 0 28 0 511001224 29527990272 97764 33554432000 4194304 4196468 140723242066032 140349736457344 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3476] ppid=3472 vsize=28835928 memory=0 CPUtime=0.02 cores=0-7 /proc/3474/task/3476/stat : 3476 (java) S 3472 3472 29338 0 -1 1077944384 35 0 0 0 1 1 0 0 20 0 28 0 511001225 29527990272 97764 33554432000 4194304 4196468 140723242066032 140349684837264 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3477] ppid=3472 vsize=28835928 memory=0 CPUtime=0.02 cores=0-7 /proc/3474/task/3477/stat : 3477 (java) S 3472 3472 29338 0 -1 1077944384 77 0 0 0 1 1 0 0 20 0 28 0 511001225 29527990272 97764 33554432000 4194304 4196468 140723242066032 140349683784464 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3478] ppid=3472 vsize=28835928 memory=0 CPUtime=0.02 cores=0-7 /proc/3474/task/3478/stat : 3478 (java) S 3472 3472 29338 0 -1 1077944384 84 0 0 0 1 1 0 0 20 0 28 0 511001225 29527990272 97764 33554432000 4194304 4196468 140723242066032 140349682732176 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3479] ppid=3472 vsize=28835928 memory=0 CPUtime=0.02 cores=0-7 /proc/3474/task/3479/stat : 3479 (java) S 3472 3472 29338 0 -1 1077944384 77 0 0 0 2 0 0 0 20 0 28 0 511001225 29527990272 97764 33554432000 4194304 4196468 140723242066032 140349681679376 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3480] ppid=3472 vsize=28835928 memory=0 CPUtime=0.02 cores=0-7 /proc/3474/task/3480/stat : 3480 (java) S 3472 3472 29338 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 28 0 511001225 29527990272 97764 33554432000 4194304 4196468 140723242066032 140349680626064 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3481] ppid=3472 vsize=28835928 memory=8112282956445269571 CPUtime=0.03 cores=0-7 /proc/3474/task/3481/stat : 3481 (java) S 3472 3472 29338 0 -1 1077944384 40 0 0 0 2 1 0 0 20 0 28 0 511001225 29527990272 97764 33554432000 4194304 4196468 140723242066032 140349679573264 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3482] ppid=3472 vsize=28835928 memory=4294968248 CPUtime=0.04 cores=0-7 /proc/3474/task/3482/stat : 3482 (java) S 3472 3472 29338 0 -1 1077944384 80 0 0 0 3 1 0 0 20 0 28 0 511001225 29527990272 97764 33554432000 4194304 4196468 140723242066032 140349678520976 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3483] ppid=3472 vsize=28835928 memory=65 CPUtime=0.04 cores=0-7 /proc/3474/task/3483/stat : 3483 (java) S 3472 3472 29338 0 -1 1077944384 99 0 0 0 3 1 0 0 20 0 28 0 511001225 29527990272 97764 33554432000 4194304 4196468 140723242066032 140349677468176 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3484] ppid=3472 vsize=28835928 memory=288230600331033261 CPUtime=0.01 cores=0-7 /proc/3474/task/3484/stat : 3484 (java) S 3472 3472 29338 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 28 0 511001227 29527990272 97764 33554432000 4194304 4196468 140723242066032 140348196207216 140349732227714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3485] ppid=3472 vsize=28835928 memory=14696283694496525 CPUtime=0 cores=0-7 /proc/3474/task/3485/stat : 3485 (java) S 3472 3472 29338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 511001227 29527990272 97764 33554432000 4194304 4196468 140723242066032 140348195153248 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3486] ppid=3472 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3486/stat : 3486 (java) S 3472 3472 29338 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 511001227 29527990272 97764 33554432000 4194304 4196468 140723242066032 140348194100864 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3487] ppid=3472 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/3474/task/3487/stat : 3487 (java) S 3472 3472 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511001230 29527990272 97764 33554432000 4194304 4196468 140723242066032 140348193049168 140349732235163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3488] ppid=3472 vsize=28835928 memory=0 CPUtime=1.72 cores=0-7 /proc/3474/task/3488/stat : 3488 (java) S 3472 3472 29338 0 -1 1077944384 4431 0 0 0 171 1 0 0 20 0 28 0 511001230 29527990272 97764 33554432000 4194304 4196468 140723242066032 140348191996016 140349732227714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3489] ppid=3472 vsize=28835928 memory=0 CPUtime=1.9 cores=0-7 /proc/3474/task/3489/stat : 3489 (java) S 3472 3472 29338 0 -1 1077944384 4981 0 0 0 188 2 0 0 20 0 28 0 511001230 29527990272 97764 33554432000 4194304 4196468 140723242066032 140348190943216 140349732227714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3490] ppid=3472 vsize=28835928 memory=0 CPUtime=1.76 cores=0-7 /proc/3474/task/3490/stat : 3490 (java) S 3472 3472 29338 0 -1 1077944384 2776 0 0 0 175 1 0 0 20 0 28 0 511001230 29527990272 97764 33554432000 4194304 4196468 140723242066032 140348122720624 140349732227714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3491] ppid=3472 vsize=28835928 memory=1452 CPUtime=0.84 cores=0-7 /proc/3474/task/3491/stat : 3491 (java) S 3472 3472 29338 0 -1 1077944384 3609 0 0 0 83 1 0 0 20 0 28 0 511001230 29527990272 97764 33554432000 4194304 4196468 140723242066032 140348121667824 140349732227714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3492] ppid=3472 vsize=28835928 memory=1452 CPUtime=0 cores=0-7 /proc/3474/task/3492/stat : 3492 (java) S 3472 3472 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511001230 29527990272 97764 33554432000 4194304 4196468 140723242066032 140348120615776 140349732226773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3493] ppid=3472 vsize=28835928 memory=390436 CPUtime=0 cores=0-7 /proc/3474/task/3493/stat : 3493 (java) S 3472 3472 29338 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 511001230 29527990272 97764 33554432000 4194304 4196468 140723242066032 140348119563056 140349732227714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3598] ppid=3472 vsize=28835928 memory=0 CPUtime=1.57 cores=0-7 /proc/3474/task/3598/stat : 3598 (java) R 3472 3472 29338 0 -1 4202560 142 0 0 0 157 0 0 0 20 0 28 0 511001544 29527990272 97764 33554432000 4194304 4196468 140723242066032 140348105089128 140349355174316 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3599] ppid=3472 vsize=28835928 memory=157 CPUtime=1.66 cores=0-7 /proc/3474/task/3599/stat : 3599 (java) R 3472 3472 29338 0 -1 4202560 57 0 0 0 166 0 0 0 20 0 28 0 511001544 29527990272 97764 33554432000 4194304 4196468 140723242066032 140348100878560 140349355174409 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3600] ppid=3472 vsize=28835928 memory=129 CPUtime=1.68 cores=0-7 /proc/3474/task/3600/stat : 3600 (java) R 3472 3472 29338 0 -1 4202560 95 0 0 0 168 0 0 0 20 0 28 0 511001544 29527990272 97764 33554432000 4194304 4196468 140723242066032 140348101930808 140349355102892 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3601] ppid=3472 vsize=28835928 memory=149 CPUtime=1.59 cores=0-7 /proc/3474/task/3601/stat : 3601 (java) R 3472 3472 29338 0 -1 4202560 205 0 0 0 158 1 0 0 20 0 28 0 511001544 29527990272 97764 33554432000 4194304 4196468 140723242066032 140348108248792 140349355174386 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3602] ppid=3472 vsize=28835928 memory=134 CPUtime=1.66 cores=0-7 /proc/3474/task/3602/stat : 3602 (java) R 3472 3472 29338 0 -1 4202560 115 0 0 0 166 0 0 0 20 0 28 0 511001544 29527990272 97764 33554432000 4194304 4196468 140723242066032 140348104036256 140349355174475 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3603] ppid=3472 vsize=28835928 memory=78 CPUtime=1.69 cores=0-7 /proc/3474/task/3603/stat : 3603 (java) R 3472 3472 29338 0 -1 4202560 58 0 0 0 169 0 0 0 20 0 28 0 511001544 29527990272 97764 33554432000 4194304 4196468 140723242066032 140348102984552 140349355174409 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3604] ppid=3472 vsize=28835928 memory=0 CPUtime=1.67 cores=0-7 /proc/3474/task/3604/stat : 3604 (java) R 3472 3472 29338 0 -1 4202560 67 0 0 0 167 0 0 0 20 0 28 0 511001544 29527990272 97764 33554432000 4194304 4196468 140723242066032 140348106141992 140349355175576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 [pid=3474/tid=3605] ppid=3472 vsize=28835928 memory=0 CPUtime=1.55 cores=0-7 /proc/3474/task/3605/stat : 3605 (java) R 3472 3472 29338 0 -1 4202560 186 0 0 0 155 0 0 0 20 0 28 0 511001544 29527990272 97764 33554432000 4194304 4196468 140723242066032 140348098772504 140349355174464 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32124928 140723242075100 140723242075275 140723242075275 140723242078159 0 Current children cumulated CPU time: 32.23 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 392508 KiB Child status: 0 Real time (s): 4.99281 CPU time (s): 32.8557 CPU user time (s): 32.552 CPU system time (s): 0.30374 CPU usage (%): 658.061 Max. virtual memory (cumulated for all children) (KiB): 28949056 Max. memory (cumulated for all children) (KiB): 392508 getrusage(RUSAGE_CHILDREN,...) data: user time used= 32.552 system time used= 0.30374 maximum resident set size= 391720 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31862 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4826 involuntary context switches= 960 # summary of solver processes directly reported to runsolver: # pid: 3472 # total CPU time (s): 32.8557 # total CPU user time (s): 32.552 # total CPU system time (s): 0.30374 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.06126 second user time and 0.091891 second system time The end
Begin job on node105 at 2019-09-24 18:48:53 IDJOB=4407290 IDBENCH=127982 IDSOLVER=2872 FILE ID=node105/4407290-1569347434 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-20-4-5-8.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-4407290-1569347434/watcher-4407290-1569347434 -o /var/tmp/evaluation-result-4407290-1569347434/solver-4407290-1569347434 -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 1119431451 HOME/instance-4407290-1569347434.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= cc4f118531160cfe6c95c1294546deff RANDOM SEED=1119431451 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: 26200256 kB MemAvailable: 31799920 kB Buffers: 117768 kB Cached: 5613020 kB SwapCached: 48344 kB Active: 2860844 kB Inactive: 2920640 kB Active(anon): 5176 kB Inactive(anon): 99568 kB Active(file): 2855668 kB Inactive(file): 2821072 kB Unevictable: 110928 kB Mlocked: 110928 kB SwapTotal: 67108860 kB SwapFree: 66956844 kB Dirty: 26668 kB Writeback: 0 kB AnonPages: 166904 kB Mapped: 53952 kB Shmem: 45920 kB Slab: 380320 kB SReclaimable: 351384 kB SUnreclaim: 28936 kB KernelStack: 3696 kB PageTables: 5424 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: 120832 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:48:59