Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 65 | 105.742 | 13.9815 |
Name | Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-26-09.xml |
MD5SUM | 54f28c2036fc278050695a3bd6f2d6a5 |
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 | 37.1418 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 62 |
Number of constraints | 116 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 363 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":363,"count":61}] |
Minimum variable degree | 3 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":3},{"degree":5,"count":8},{"degree":6,"count":19},{"degree":7,"count":16},{"degree":8,"count":10},{"degree":9,"count":5}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 50 |
Distribution of constraint arities | [{"arity":2,"count":112},{"arity":41,"count":1},{"arity":45,"count":2},{"arity":50,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 112 |
Distribution of constraint types | [{"type":"intension","count":112},{"type":"cumulative","count":4}] |
Optimization problem | YES |
Type of objective | min VAR |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407390-1569347535.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407390-1569347535.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 2.09/0.80 c solve instance... 3.59/1.02 o 360 3.59/1.04 o 83 3.59/1.05 o 81 3.59/1.09 o 74 3.59/1.10 o 72 4.17/1.15 o 71 4.17/1.18 o 70 4.76/1.27 o 69 11.55/2.11 o 68 13.05/2.32 o 67 16.22/2.77 o 66 41.57/5.97 o 65 105.26/13.95 s OPTIMUM FOUND 105.26/13.95 v <instantiation> 105.26/13.95 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] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] </list> 105.26/13.95 v <values>0 0 0 0 6 10 12 5 4 7 18 9 7 32 7 38 9 14 17 10 8 12 15 45 19 23 18 9 21 36 19 39 25 25 19 42 34 34 25 29 24 34 45 25 44 39 33 53 40 48 49 47 42 54 55 42 54 56 55 56 61 65 </values> 105.26/13.95 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 (13519 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-4407390-1569347535/watcher-4407390-1569347535 -o /var/tmp/evaluation-result-4407390-1569347535/solver-4407390-1569347535 -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 1678333843 HOME/instance-4407390-1569347535.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=4552, runsolver pid=4549 Current StackSize limit: 8192 KiB [startup+0.100106 s]* /proc/loadavg: 7.02 7.66 7.94 2/211 4573 /proc/meminfo: memFree=26183028/32770624 swapFree=66956848/67108860 [pid=4552] ppid=4549 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4552/stat : 4552 (xcsp3-exec) S 4549 4552 29338 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511011237 115843072 363 33554432000 4194304 5098028 140730441481088 140730441479192 140164822311548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31653888 140730441483095 140730441483354 140730441483354 140730441486278 0 /proc/4552/statm: 28282 363 305 221 0 87 0 [pid=4554] ppid=4552 vsize=28227396 memory=30452 CPUtime=0.12 cores=0-7 /proc/4554/stat : 4554 (java) S 4552 4552 29338 0 -1 1077944320 6024 0 0 0 11 1 0 0 20 0 20 0 511011238 28904853504 7613 33554432000 4194304 4196468 140720632200384 140720632182928 140151061044983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 /proc/4554/statm: 7056849 7613 3148 1 0 7019032 0 [pid=4554/tid=4555] ppid=4552 vsize=28227396 memory=-3103912127665269910 CPUtime=0.09 cores=0-7 /proc/4554/task/4555/stat : 4555 (java) R 4552 4552 29338 0 -1 4202560 3934 0 0 0 8 1 0 0 20 0 20 0 511011238 28904853504 7613 33554432000 4194304 4196468 140720632200384 140151065271120 140151061056918 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4556] ppid=4552 vsize=28227396 memory=664954298551644168 CPUtime=0 cores=0-7 /proc/4554/task/4556/stat : 4556 (java) S 4552 4552 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511011239 28904853504 7613 33554432000 4194304 4196468 140720632200384 140150612810640 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4557] ppid=4552 vsize=28227396 memory=140526368020096 CPUtime=0 cores=0-7 /proc/4554/task/4557/stat : 4557 (java) S 4552 4552 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511011239 28904853504 7613 33554432000 4194304 4196468 140720632200384 140150611757840 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4558] ppid=4552 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4558/stat : 4558 (java) S 4552 4552 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511011239 28904853504 7613 33554432000 4194304 4196468 140720632200384 140150610705552 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4559] ppid=4552 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4559/stat : 4559 (java) S 4552 4552 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511011239 28904853504 7613 33554432000 4194304 4196468 140720632200384 140150609652752 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4560] ppid=4552 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4560/stat : 4560 (java) S 4552 4552 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511011239 28904853504 7613 33554432000 4194304 4196468 140720632200384 140150608599440 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4561] ppid=4552 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4554/task/4561/stat : 4561 (java) S 4552 4552 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511011239 28904853504 7613 33554432000 4194304 4196468 140720632200384 140150607546640 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4562] ppid=4552 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4562/stat : 4562 (java) S 4552 4552 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511011239 28904853504 7613 33554432000 4194304 4196468 140720632200384 140150606494352 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4563] ppid=4552 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4563/stat : 4563 (java) S 4552 4552 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511011239 28904853504 7613 33554432000 4194304 4196468 140720632200384 140150605441552 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4564] ppid=4552 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4564/stat : 4564 (java) S 4552 4552 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511011240 28904853504 7613 33554432000 4194304 4196468 140720632200384 140150562155120 140151061056130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4565] ppid=4552 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4565/stat : 4565 (java) S 4552 4552 29338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511011241 28904853504 7613 33554432000 4194304 4196468 140720632200384 140150561101088 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4566] ppid=4552 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4566/stat : 4566 (java) S 4552 4552 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511011241 28904853504 7613 33554432000 4194304 4196468 140720632200384 140150560048752 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4567] ppid=4552 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4567/stat : 4567 (java) S 4552 4552 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511011243 28904853504 7613 33554432000 4194304 4196468 140720632200384 140150558997072 140151061063579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4568] ppid=4552 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4568/stat : 4568 (java) S 4552 4552 29338 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 20 0 511011243 28904853504 7613 33554432000 4194304 4196468 140720632200384 140150557943920 140151061056130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4569] ppid=4552 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4569/stat : 4569 (java) S 4552 4552 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511011243 28904853504 7613 33554432000 4194304 4196468 140720632200384 140150556891120 140151061056130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4570] ppid=4552 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4570/stat : 4570 (java) S 4552 4552 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511011244 28904853504 7613 33554432000 4194304 4196468 140720632200384 140150555838832 140151061056130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4571] ppid=4552 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/4554/task/4571/stat : 4571 (java) R 4552 4552 29338 0 -1 4202560 353 0 0 0 1 0 0 0 20 0 20 0 511011244 28904853504 7613 33554432000 4194304 4196468 140720632200384 140149181769968 140151061056918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4572] ppid=4552 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4572/stat : 4572 (java) S 4552 4552 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511011244 28904853504 7613 33554432000 4194304 4196468 140720632200384 140149180717920 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4573] ppid=4552 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4554/task/4573/stat : 4573 (java) S 4552 4552 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511011244 28904853504 7613 33554432000 4194304 4196468 140720632200384 140149179665200 140151061056130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31904 KiB [startup+0.210659 s]* /proc/loadavg: 7.02 7.66 7.94 2/211 4573 /proc/meminfo: memFree=26171332/32770624 swapFree=66956848/67108860 [pid=4552] ppid=4549 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4552/stat : 4552 (xcsp3-exec) S 4549 4552 29338 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511011237 115843072 363 33554432000 4194304 5098028 140730441481088 140730441479192 140164822311548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31653888 140730441483095 140730441483354 140730441483354 140730441486278 0 /proc/4552/statm: 28282 363 305 221 0 87 0 [pid=4554] ppid=4552 vsize=28227396 memory=40560 CPUtime=0.34 cores=0-7 /proc/4554/stat : 4554 (java) S 4552 4552 29338 0 -1 1077944320 9445 0 0 0 31 3 0 0 20 0 20 0 511011238 28904853504 10140 33554432000 4194304 4196468 140720632200384 140720632182928 140151061044983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 /proc/4554/statm: 7056849 10140 3243 1 0 7019032 0 [pid=4554/tid=4555] ppid=4552 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/4554/task/4555/stat : 4555 (java) R 4552 4552 29338 0 -1 4202560 6699 0 0 0 18 2 0 0 20 0 20 0 511011238 28904853504 10140 33554432000 4194304 4196468 140720632200384 140151065277712 140150698749168 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4556] ppid=4552 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/4554/task/4556/stat : 4556 (java) S 4552 4552 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511011239 28904853504 10140 33554432000 4194304 4196468 140720632200384 140150612810640 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4557] ppid=4552 vsize=28227396 memory=288370902519731840 CPUtime=0 cores=0-7 /proc/4554/task/4557/stat : 4557 (java) S 4552 4552 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511011239 28904853504 10140 33554432000 4194304 4196468 140720632200384 140150611757840 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4558] ppid=4552 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4554/task/4558/stat : 4558 (java) S 4552 4552 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511011239 28904853504 10140 33554432000 4194304 4196468 140720632200384 140150610705552 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4559] ppid=4552 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4559/stat : 4559 (java) S 4552 4552 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511011239 28904853504 10140 33554432000 4194304 4196468 140720632200384 140150609652752 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4560] ppid=4552 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4560/stat : 4560 (java) S 4552 4552 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511011239 28904853504 10140 33554432000 4194304 4196468 140720632200384 140150608599440 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4561] ppid=4552 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4554/task/4561/stat : 4561 (java) S 4552 4552 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511011239 28904853504 10140 33554432000 4194304 4196468 140720632200384 140150607546640 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4562] ppid=4552 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4562/stat : 4562 (java) S 4552 4552 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511011239 28904853504 10140 33554432000 4194304 4196468 140720632200384 140150606494352 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4563] ppid=4552 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4563/stat : 4563 (java) S 4552 4552 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511011239 28904853504 10140 33554432000 4194304 4196468 140720632200384 140150605441552 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4564] ppid=4552 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4564/stat : 4564 (java) S 4552 4552 29338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511011240 28904853504 10140 33554432000 4194304 4196468 140720632200384 140150562155120 140151061056130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4565] ppid=4552 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4565/stat : 4565 (java) S 4552 4552 29338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511011241 28904853504 10140 33554432000 4194304 4196468 140720632200384 140150561101088 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4566] ppid=4552 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4566/stat : 4566 (java) S 4552 4552 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511011241 28904853504 10140 33554432000 4194304 4196468 140720632200384 140150560048752 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4567] ppid=4552 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4567/stat : 4567 (java) S 4552 4552 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511011243 28904853504 10140 33554432000 4194304 4196468 140720632200384 140150558997072 140151061063579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4568] ppid=4552 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/4554/task/4568/stat : 4568 (java) R 4552 4552 29338 0 -1 1077944384 461 0 0 0 1 0 0 0 20 0 20 0 511011243 28904853504 10140 33554432000 4194304 4196468 140720632200384 140150557943920 140151061056130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4569] ppid=4552 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/4554/task/4569/stat : 4569 (java) S 4552 4552 29338 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 20 0 511011243 28904853504 10140 33554432000 4194304 4196468 140720632200384 140150556891120 140151061056130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4570] ppid=4552 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/4554/task/4570/stat : 4570 (java) S 4552 4552 29338 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 20 0 511011244 28904853504 10140 33554432000 4194304 4196468 140720632200384 140150555838832 140151061056130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4571] ppid=4552 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/4554/task/4571/stat : 4571 (java) R 4552 4552 29338 0 -1 4202560 777 0 0 0 7 0 0 0 20 0 20 0 511011244 28904853504 10140 33554432000 4194304 4196468 140720632200384 140149181769968 140151045397964 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4572] ppid=4552 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4572/stat : 4572 (java) S 4552 4552 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511011244 28904853504 10140 33554432000 4194304 4196468 140720632200384 140149180717920 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4573] ppid=4552 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/4554/task/4573/stat : 4573 (java) S 4552 4552 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511011244 28904853504 10140 33554432000 4194304 4196468 140720632200384 140149179665200 140151061056130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42012 KiB [startup+0.310452 s]* /proc/loadavg: 7.02 7.66 7.94 5/211 4573 /proc/meminfo: memFree=26164184/32770624 swapFree=66956848/67108860 [pid=4552] ppid=4549 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4552/stat : 4552 (xcsp3-exec) S 4549 4552 29338 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511011237 115843072 363 33554432000 4194304 5098028 140730441481088 140730441479192 140164822311548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31653888 140730441483095 140730441483354 140730441483354 140730441486278 0 /proc/4552/statm: 28282 363 305 221 0 87 0 [pid=4554] ppid=4552 vsize=28231652 memory=50000 CPUtime=0.52 cores=0-7 /proc/4554/stat : 4554 (java) S 4552 4552 29338 0 -1 1077944320 10808 0 0 0 49 3 0 0 20 0 20 0 511011238 28909211648 12435 33554432000 4194304 4196468 140720632200384 140720632182928 140151061044983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 /proc/4554/statm: 7057913 12500 3342 1 0 7019032 0 [pid=4554/tid=4555] ppid=4552 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/4554/task/4555/stat : 4555 (java) R 4552 4552 29338 0 -1 4202560 7785 0 0 0 27 2 0 0 20 0 20 0 511011238 28909211648 12500 33554432000 4194304 4196468 140720632200384 140151065278768 140151045125470 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4556] ppid=4552 vsize=28231652 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/4554/task/4556/stat : 4556 (java) S 4552 4552 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511011239 28909211648 12500 33554432000 4194304 4196468 140720632200384 140150612810640 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4557] ppid=4552 vsize=28231652 memory=25148 CPUtime=0 cores=0-7 /proc/4554/task/4557/stat : 4557 (java) S 4552 4552 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511011239 28909211648 12500 33554432000 4194304 4196468 140720632200384 140150611757840 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4558] ppid=4552 vsize=28231652 memory=14056 CPUtime=0 cores=0-7 /proc/4554/task/4558/stat : 4558 (java) S 4552 4552 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511011239 28909211648 12500 33554432000 4194304 4196468 140720632200384 140150610705552 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4559] ppid=4552 vsize=28231652 memory=2116 CPUtime=0 cores=0-7 /proc/4554/task/4559/stat : 4559 (java) S 4552 4552 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511011239 28909211648 12500 33554432000 4194304 4196468 140720632200384 140150609652752 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4560] ppid=4552 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4560/stat : 4560 (java) S 4552 4552 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511011239 28909211648 12500 33554432000 4194304 4196468 140720632200384 140150608599440 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4561] ppid=4552 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4561/stat : 4561 (java) S 4552 4552 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511011239 28909211648 12500 33554432000 4194304 4196468 140720632200384 140150607546640 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4562] ppid=4552 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4562/stat : 4562 (java) S 4552 4552 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511011239 28909211648 12500 33554432000 4194304 4196468 140720632200384 140150606494352 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4563] ppid=4552 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4563/stat : 4563 (java) S 4552 4552 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511011239 28909211648 12500 33554432000 4194304 4196468 140720632200384 140150605441552 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4564] ppid=4552 vsize=28231652 memory=140526229742144 CPUtime=0 cores=0-7 /proc/4554/task/4564/stat : 4564 (java) S 4552 4552 29338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511011240 28909211648 12500 33554432000 4194304 4196468 140720632200384 140150562155120 140151061056130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4565] ppid=4552 vsize=28231652 memory=140526229746639 CPUtime=0 cores=0-7 /proc/4554/task/4565/stat : 4565 (java) S 4552 4552 29338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511011241 28909211648 12500 33554432000 4194304 4196468 140720632200384 140150561101088 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4566] ppid=4552 vsize=28231652 memory=1970350607106051 CPUtime=0 cores=0-7 /proc/4554/task/4566/stat : 4566 (java) S 4552 4552 29338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511011241 28909211648 12500 33554432000 4194304 4196468 140720632200384 140150560048752 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4567] ppid=4552 vsize=28231652 memory=2110876836852644 CPUtime=0 cores=0-7 /proc/4554/task/4567/stat : 4567 (java) S 4552 4552 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511011243 28909211648 12500 33554432000 4194304 4196468 140720632200384 140150558997072 140151061063579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4568] ppid=4552 vsize=28231652 memory=2110876836885508 CPUtime=0.02 cores=0-7 /proc/4554/task/4568/stat : 4568 (java) S 4552 4552 29338 0 -1 1077944384 467 0 0 0 2 0 0 0 20 0 20 0 511011243 28909211648 12538 33554432000 4194304 4196468 140720632200384 140150557943920 140151061056130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4569] ppid=4552 vsize=28231652 memory=2110876836857252 CPUtime=0.03 cores=0-7 /proc/4554/task/4569/stat : 4569 (java) R 4552 4552 29338 0 -1 4202560 255 0 0 0 3 0 0 0 20 0 20 0 511011243 28909211648 12538 33554432000 4194304 4196468 140720632200384 140150556891120 140151040733398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4570] ppid=4552 vsize=28231652 memory=2110876836859556 CPUtime=0.02 cores=0-7 /proc/4554/task/4570/stat : 4570 (java) S 4552 4552 29338 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 20 0 511011244 28909211648 12538 33554432000 4194304 4196468 140720632200384 140150555838832 140151061056130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4571] ppid=4552 vsize=28231652 memory=2110876836885412 CPUtime=0.12 cores=0-7 /proc/4554/task/4571/stat : 4571 (java) S 4552 4552 29338 0 -1 1077944384 925 0 0 0 12 0 0 0 20 0 20 0 511011244 28909211648 12538 33554432000 4194304 4196468 140720632200384 140149181769968 140151061056130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4572] ppid=4552 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4572/stat : 4572 (java) S 4552 4552 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511011244 28909211648 12538 33554432000 4194304 4196468 140720632200384 140149180717920 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4573] ppid=4552 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/4554/task/4573/stat : 4573 (java) S 4552 4552 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511011244 28909211648 12538 33554432000 4194304 4196468 140720632200384 140149179665200 140151061056130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51452 KiB [startup+0.700953 s] /proc/loadavg: 7.02 7.66 7.94 5/211 4573 /proc/meminfo: memFree=26147408/32770624 swapFree=66956848/67108860 [pid=4552] ppid=4549 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4552/stat : 4552 (xcsp3-exec) S 4549 4552 29338 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511011237 115843072 363 33554432000 4194304 5098028 140730441481088 140730441479192 140164822311548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31653888 140730441483095 140730441483354 140730441483354 140730441486278 0 /proc/4552/statm: 28282 363 305 221 0 87 0 [pid=4554] ppid=4552 vsize=28233776 memory=88356 CPUtime=1.63 cores=0-7 /proc/4554/stat : 4554 (java) S 4552 4552 29338 0 -1 1077944320 15250 0 0 0 157 6 0 0 20 0 20 0 511011238 28911386624 22089 33554432000 4194304 4196468 140720632200384 140720632182928 140151061044983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 /proc/4554/statm: 7058444 22089 3452 1 0 7019544 0 [pid=4554/tid=4555] ppid=4552 vsize=28233776 memory=7157185618906016101 CPUtime=0.67 cores=0-7 /proc/4554/task/4555/stat : 4555 (java) R 4552 4552 29338 0 -1 4202560 9421 0 0 0 64 3 0 0 20 0 20 0 511011238 28911386624 22089 33554432000 4194304 4196468 140720632200384 140151065280992 140150699825320 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4556] ppid=4552 vsize=28233776 memory=21732534518762 CPUtime=0 cores=0-7 /proc/4554/task/4556/stat : 4556 (java) S 4552 4552 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511011239 28911386624 22089 33554432000 4194304 4196468 140720632200384 140150612810640 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4557] ppid=4552 vsize=28233776 memory=281052459915616 CPUtime=0 cores=0-7 /proc/4554/task/4557/stat : 4557 (java) S 4552 4552 29338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511011239 28911386624 22089 33554432000 4194304 4196468 140720632200384 140150611757840 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4558] ppid=4552 vsize=28233776 memory=2832 CPUtime=0 cores=0-7 /proc/4554/task/4558/stat : 4558 (java) S 4552 4552 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511011239 28911386624 22089 33554432000 4194304 4196468 140720632200384 140150610705552 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 ################ # More data... # ################ [pid=4554/tid=4571] ppid=4552 vsize=28769364 memory=1444 CPUtime=0.89 cores=0-7 /proc/4554/task/4571/stat : 4571 (java) S 4552 4552 29338 0 -1 1077944384 6327 0 0 0 87 2 0 0 20 0 28 0 511011244 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149181769968 140151061056130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4572] ppid=4552 vsize=28769364 memory=1976 CPUtime=0 cores=0-7 /proc/4554/task/4572/stat : 4572 (java) S 4552 4552 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511011244 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149180717920 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4573] ppid=4552 vsize=28769364 memory=2580 CPUtime=0 cores=0-7 /proc/4554/task/4573/stat : 4573 (java) S 4552 4552 29338 0 -1 1077944384 626 0 0 0 0 0 0 0 20 0 28 0 511011244 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149179665200 140151061056130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4670] ppid=4552 vsize=28769364 memory=1760 CPUtime=7.51 cores=0-7 /proc/4554/task/4670/stat : 4670 (java) R 4552 4552 29338 0 -1 4202560 270 0 0 0 751 0 0 0 20 0 28 0 511011835 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149161217272 140150708629153 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4671] ppid=4552 vsize=28769364 memory=111632 CPUtime=7.53 cores=0-7 /proc/4554/task/4671/stat : 4671 (java) R 4552 4552 29338 0 -1 4202560 65 0 0 0 753 0 0 0 20 0 28 0 511011835 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149162270952 140150707181342 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4672] ppid=4552 vsize=28769364 memory=804 CPUtime=7.45 cores=0-7 /proc/4554/task/4672/stat : 4672 (java) R 4552 4552 29338 0 -1 4202560 70 0 0 0 745 0 0 0 20 0 28 0 511011835 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149168586520 140150709417781 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4673] ppid=4552 vsize=28769364 memory=1412 CPUtime=7.53 cores=0-7 /proc/4554/task/4673/stat : 4673 (java) R 4552 4552 29338 0 -1 4202560 163 0 0 0 753 0 0 0 20 0 28 0 511011835 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149164375400 140150706248964 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4674] ppid=4552 vsize=28769364 memory=3000 CPUtime=7.53 cores=0-7 /proc/4554/task/4674/stat : 4674 (java) R 4552 4552 29338 0 -1 4202560 85 0 0 0 753 0 0 0 20 0 28 0 511011835 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149166480856 140150707231478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4675] ppid=4552 vsize=28769364 memory=1452 CPUtime=7.43 cores=0-7 /proc/4554/task/4675/stat : 4675 (java) R 4552 4552 29338 0 -1 4202560 112 0 0 0 743 0 0 0 20 0 28 0 511011835 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149163322744 140150707231552 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4676] ppid=4552 vsize=28769364 memory=259424 CPUtime=7.55 cores=0-7 /proc/4554/task/4676/stat : 4676 (java) R 4552 4552 29338 0 -1 4202560 155 0 0 0 755 0 0 0 20 0 28 0 511011835 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149165428064 140150703943650 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4677] ppid=4552 vsize=28769364 memory=1804 CPUtime=7.57 cores=0-7 /proc/4554/task/4677/stat : 4677 (java) R 4552 4552 29338 0 -1 4202560 321 0 0 0 757 0 0 0 20 0 28 0 511011835 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149160166104 140150707703282 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 Current children cumulated CPU time: 102.87 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 260944 KiB [startup+13.8011 s] /proc/loadavg: 7.10 7.66 7.93 9/217 4677 /proc/meminfo: memFree=25956540/32770624 swapFree=66956848/67108860 [pid=4552] ppid=4549 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4552/stat : 4552 (xcsp3-exec) S 4549 4552 29338 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511011237 115843072 363 33554432000 4194304 5098028 140730441481088 140730441479192 140164822311548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31653888 140730441483095 140730441483354 140730441483354 140730441486278 0 /proc/4552/statm: 28282 363 305 221 0 87 0 [pid=4554] ppid=4552 vsize=28769364 memory=259492 CPUtime=104.46 cores=0-7 /proc/4554/stat : 4554 (java) S 4552 4552 29338 0 -1 1077944320 50002 0 0 0 10420 26 0 0 20 0 28 0 511011238 29459828736 64873 33554432000 4194304 4196468 140720632200384 140720632182928 140151061044983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 /proc/4554/statm: 7192341 64873 3523 1 0 7153441 0 [pid=4554/tid=4555] ppid=4552 vsize=28769364 memory=1160 CPUtime=0.8 cores=0-7 /proc/4554/task/4555/stat : 4555 (java) S 4552 4552 29338 0 -1 1077944384 9691 0 0 0 76 4 0 0 20 0 28 0 511011238 29459828736 64873 33554432000 4194304 4196468 140720632200384 140151065285760 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4556] ppid=4552 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4556/stat : 4556 (java) S 4552 4552 29338 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 511011239 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150612810640 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4557] ppid=4552 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4557/stat : 4557 (java) S 4552 4552 29338 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 28 0 511011239 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150611757840 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4558] ppid=4552 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4558/stat : 4558 (java) S 4552 4552 29338 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 511011239 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150610705552 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4559] ppid=4552 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/4554/task/4559/stat : 4559 (java) S 4552 4552 29338 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 28 0 511011239 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150609652752 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4560] ppid=4552 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4560/stat : 4560 (java) S 4552 4552 29338 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 511011239 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150608599440 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4561] ppid=4552 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4561/stat : 4561 (java) S 4552 4552 29338 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 28 0 511011239 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150607546640 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4562] ppid=4552 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4562/stat : 4562 (java) S 4552 4552 29338 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 28 0 511011239 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150606494352 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4563] ppid=4552 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4563/stat : 4563 (java) S 4552 4552 29338 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 511011239 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150605441552 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4564] ppid=4552 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/4554/task/4564/stat : 4564 (java) S 4552 4552 29338 0 -1 1077944384 495 0 0 0 1 0 0 0 20 0 28 0 511011240 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150562155120 140151061056130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4565] ppid=4552 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4565/stat : 4565 (java) S 4552 4552 29338 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 511011241 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150561101152 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4566] ppid=4552 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4566/stat : 4566 (java) S 4552 4552 29338 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 511011241 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150560048752 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4567] ppid=4552 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4567/stat : 4567 (java) S 4552 4552 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511011243 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150558997072 140151061063579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4568] ppid=4552 vsize=28769364 memory=146 CPUtime=2.79 cores=0-7 /proc/4554/task/4568/stat : 4568 (java) S 4552 4552 29338 0 -1 1077944384 9011 0 0 0 276 3 0 0 20 0 28 0 511011243 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150557943920 140151061056130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4569] ppid=4552 vsize=28769364 memory=151 CPUtime=2.74 cores=0-7 /proc/4554/task/4569/stat : 4569 (java) S 4552 4552 29338 0 -1 1077944384 9244 0 0 0 271 3 0 0 20 0 28 0 511011243 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150556891120 140151061056130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4570] ppid=4552 vsize=28769364 memory=146 CPUtime=2.52 cores=0-7 /proc/4554/task/4570/stat : 4570 (java) S 4552 4552 29338 0 -1 1077944384 7938 0 0 0 250 2 0 0 20 0 28 0 511011244 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150555838832 140151061056130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4571] ppid=4552 vsize=28769364 memory=71 CPUtime=0.89 cores=0-7 /proc/4554/task/4571/stat : 4571 (java) S 4552 4552 29338 0 -1 1077944384 6327 0 0 0 87 2 0 0 20 0 28 0 511011244 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149181769968 140151061056130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4572] ppid=4552 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4572/stat : 4572 (java) S 4552 4552 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511011244 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149180717920 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4573] ppid=4552 vsize=28769364 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/4554/task/4573/stat : 4573 (java) S 4552 4552 29338 0 -1 1077944384 626 0 0 0 0 0 0 0 20 0 28 0 511011244 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149179665200 140151061056130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4670] ppid=4552 vsize=28769364 memory=1072 CPUtime=7.71 cores=0-7 /proc/4554/task/4670/stat : 4670 (java) R 4552 4552 29338 0 -1 4202560 270 0 0 0 771 0 0 0 20 0 28 0 511011835 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149161217272 140150708718413 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4671] ppid=4552 vsize=28769364 memory=6196 CPUtime=7.73 cores=0-7 /proc/4554/task/4671/stat : 4671 (java) R 4552 4552 29338 0 -1 4202560 65 0 0 0 773 0 0 0 20 0 28 0 511011835 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149162270952 140150707460601 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4672] ppid=4552 vsize=28769364 memory=784 CPUtime=7.65 cores=0-7 /proc/4554/task/4672/stat : 4672 (java) R 4552 4552 29338 0 -1 4202560 70 0 0 0 765 0 0 0 20 0 28 0 511011835 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149168586520 140150707183571 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4673] ppid=4552 vsize=28769364 memory=1060 CPUtime=7.73 cores=0-7 /proc/4554/task/4673/stat : 4673 (java) R 4552 4552 29338 0 -1 4202560 165 0 0 0 773 0 0 0 20 0 28 0 511011835 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149164375400 140150706393878 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4674] ppid=4552 vsize=28769364 memory=14012 CPUtime=7.72 cores=0-7 /proc/4554/task/4674/stat : 4674 (java) R 4552 4552 29338 0 -1 4202560 85 0 0 0 772 0 0 0 20 0 28 0 511011835 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149166480856 140150707181788 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4675] ppid=4552 vsize=28769364 memory=25148 CPUtime=7.63 cores=0-7 /proc/4554/task/4675/stat : 4675 (java) R 4552 4552 29338 0 -1 4202560 112 0 0 0 763 0 0 0 20 0 28 0 511011835 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149163322744 140150706393878 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4676] ppid=4552 vsize=28769364 memory=1452 CPUtime=7.75 cores=0-7 /proc/4554/task/4676/stat : 4676 (java) R 4552 4552 29338 0 -1 4202560 155 0 0 0 775 0 0 0 20 0 28 0 511011835 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149165428064 140150707508491 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4677] ppid=4552 vsize=28769364 memory=244288 CPUtime=7.77 cores=0-7 /proc/4554/task/4677/stat : 4677 (java) R 4552 4552 29338 0 -1 4202560 321 0 0 0 777 0 0 0 20 0 28 0 511011835 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149160166104 140150705868715 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 Current children cumulated CPU time: 104.46 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 260944 KiB [startup+13.9011 s] /proc/loadavg: 7.10 7.66 7.93 9/217 4677 /proc/meminfo: memFree=25956540/32770624 swapFree=66956848/67108860 [pid=4552] ppid=4549 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/4552/stat : 4552 (xcsp3-exec) S 4549 4552 29338 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511011237 115843072 363 33554432000 4194304 5098028 140730441481088 140730441479192 140164822311548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31653888 140730441483095 140730441483354 140730441483354 140730441486278 0 /proc/4552/statm: 28282 363 305 221 0 87 0 [pid=4554] ppid=4552 vsize=28769364 memory=259492 CPUtime=105.26 cores=0-7 /proc/4554/stat : 4554 (java) S 4552 4552 29338 0 -1 1077944320 50027 0 0 0 10500 26 0 0 20 0 28 0 511011238 29459828736 64873 33554432000 4194304 4196468 140720632200384 140720632182928 140151061044983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 /proc/4554/statm: 7192341 64873 3523 1 0 7153441 0 [pid=4554/tid=4555] ppid=4552 vsize=28769364 memory=0 CPUtime=0.8 cores=0-7 /proc/4554/task/4555/stat : 4555 (java) S 4552 4552 29338 0 -1 1077944384 9691 0 0 0 76 4 0 0 20 0 28 0 511011238 29459828736 64873 33554432000 4194304 4196468 140720632200384 140151065285760 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4556] ppid=4552 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4556/stat : 4556 (java) S 4552 4552 29338 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 511011239 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150612810640 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4557] ppid=4552 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4557/stat : 4557 (java) S 4552 4552 29338 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 28 0 511011239 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150611757840 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4558] ppid=4552 vsize=28769364 memory=7552 CPUtime=0 cores=0-7 /proc/4554/task/4558/stat : 4558 (java) S 4552 4552 29338 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 511011239 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150610705552 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4559] ppid=4552 vsize=28769364 memory=3608 CPUtime=0.01 cores=0-7 /proc/4554/task/4559/stat : 4559 (java) S 4552 4552 29338 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 28 0 511011239 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150609652752 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4560] ppid=4552 vsize=28769364 memory=259424 CPUtime=0 cores=0-7 /proc/4554/task/4560/stat : 4560 (java) S 4552 4552 29338 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 511011239 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150608599440 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4561] ppid=4552 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4561/stat : 4561 (java) S 4552 4552 29338 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 28 0 511011239 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150607546640 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4562] ppid=4552 vsize=28769364 memory=3624 CPUtime=0 cores=0-7 /proc/4554/task/4562/stat : 4562 (java) S 4552 4552 29338 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 28 0 511011239 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150606494352 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4563] ppid=4552 vsize=28769364 memory=53616 CPUtime=0 cores=0-7 /proc/4554/task/4563/stat : 4563 (java) S 4552 4552 29338 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 511011239 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150605441552 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4564] ppid=4552 vsize=28769364 memory=984 CPUtime=0.01 cores=0-7 /proc/4554/task/4564/stat : 4564 (java) S 4552 4552 29338 0 -1 1077944384 495 0 0 0 1 0 0 0 20 0 28 0 511011240 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150562155120 140151061056130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4565] ppid=4552 vsize=28769364 memory=635 CPUtime=0 cores=0-7 /proc/4554/task/4565/stat : 4565 (java) S 4552 4552 29338 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 511011241 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150561101152 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4566] ppid=4552 vsize=28769364 memory=645 CPUtime=0 cores=0-7 /proc/4554/task/4566/stat : 4566 (java) S 4552 4552 29338 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 511011241 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150560048752 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4567] ppid=4552 vsize=28769364 memory=647 CPUtime=0 cores=0-7 /proc/4554/task/4567/stat : 4567 (java) S 4552 4552 29338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511011243 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150558997072 140151061063579 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4568] ppid=4552 vsize=28769364 memory=0 CPUtime=2.79 cores=0-7 /proc/4554/task/4568/stat : 4568 (java) S 4552 4552 29338 0 -1 1077944384 9011 0 0 0 276 3 0 0 20 0 28 0 511011243 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150557943920 140151061056130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4569] ppid=4552 vsize=28769364 memory=-3040564339105353098 CPUtime=2.74 cores=0-7 /proc/4554/task/4569/stat : 4569 (java) S 4552 4552 29338 0 -1 1077944384 9244 0 0 0 271 3 0 0 20 0 28 0 511011243 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150556891120 140151061056130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4570] ppid=4552 vsize=28769364 memory=7976406965554101975 CPUtime=2.52 cores=0-7 /proc/4554/task/4570/stat : 4570 (java) S 4552 4552 29338 0 -1 1077944384 7938 0 0 0 250 2 0 0 20 0 28 0 511011244 29459828736 64873 33554432000 4194304 4196468 140720632200384 140150555838832 140151061056130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4571] ppid=4552 vsize=28769364 memory=8112282956445269571 CPUtime=0.89 cores=0-7 /proc/4554/task/4571/stat : 4571 (java) S 4552 4552 29338 0 -1 1077944384 6327 0 0 0 87 2 0 0 20 0 28 0 511011244 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149181769968 140151061056130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4572] ppid=4552 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4572/stat : 4572 (java) S 4552 4552 29338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511011244 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149180717920 140151061055189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4573] ppid=4552 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/4554/task/4573/stat : 4573 (java) S 4552 4552 29338 0 -1 1077944384 626 0 0 0 0 0 0 0 20 0 28 0 511011244 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149179665200 140151061056130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4670] ppid=4552 vsize=28769364 memory=0 CPUtime=7.81 cores=0-7 /proc/4554/task/4670/stat : 4670 (java) R 4552 4552 29338 0 -1 4202560 270 0 0 0 781 0 0 0 20 0 28 0 511011835 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149161217272 140150707703580 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4671] ppid=4552 vsize=28769364 memory=53616 CPUtime=7.83 cores=0-7 /proc/4554/task/4671/stat : 4671 (java) R 4552 4552 29338 0 -1 4202560 65 0 0 0 783 0 0 0 20 0 28 0 511011835 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149162270952 140150707703787 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4672] ppid=4552 vsize=28769364 memory=984 CPUtime=7.75 cores=0-7 /proc/4554/task/4672/stat : 4672 (java) R 4552 4552 29338 0 -1 4202560 70 0 0 0 775 0 0 0 20 0 28 0 511011835 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149168586520 140150705868710 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4673] ppid=4552 vsize=28769364 memory=2016 CPUtime=7.83 cores=0-7 /proc/4554/task/4673/stat : 4673 (java) R 4552 4552 29338 0 -1 4202560 167 0 0 0 783 0 0 0 20 0 28 0 511011835 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149164375400 140150707509964 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4674] ppid=4552 vsize=28769364 memory=1408 CPUtime=7.82 cores=0-7 /proc/4554/task/4674/stat : 4674 (java) R 4552 4552 29338 0 -1 4202560 85 0 0 0 782 0 0 0 20 0 28 0 511011835 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149166480856 140150707512703 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4675] ppid=4552 vsize=28769364 memory=1548 CPUtime=7.73 cores=0-7 /proc/4554/task/4675/stat : 4675 (java) R 4552 4552 29338 0 -1 4202560 112 0 0 0 773 0 0 0 20 0 28 0 511011835 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149163322744 140150707511356 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4676] ppid=4552 vsize=28769364 memory=8112282956445269571 CPUtime=7.85 cores=0-7 /proc/4554/task/4676/stat : 4676 (java) R 4552 4552 29338 0 -1 4202560 155 0 0 0 785 0 0 0 20 0 28 0 511011835 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149165428064 140150707512056 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 [pid=4554/tid=4677] ppid=4552 vsize=28769364 memory=0 CPUtime=7.87 cores=0-7 /proc/4554/task/4677/stat : 4677 (java) R 4552 4552 29338 0 -1 4202560 344 0 0 0 787 0 0 0 20 0 28 0 511011835 29459828736 64873 33554432000 4194304 4196468 140720632200384 140149160166104 140150707231501 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14278656 140720632206300 140720632206475 140720632206475 140720632209359 0 Current children cumulated CPU time: 105.26 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 260944 KiB Child status: 0 Real time (s): 13.9815 CPU time (s): 105.742 CPU user time (s): 105.461 CPU system time (s): 0.280987 CPU usage (%): 756.297 Max. virtual memory (cumulated for all children) (KiB): 28884668 Max. memory (cumulated for all children) (KiB): 260944 getrusage(RUSAGE_CHILDREN,...) data: user time used= 105.461 system time used= 0.280987 maximum resident set size= 259560 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51671 page faults= 0 swaps= 0 block input operations= 0 block output operations= 168 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6629 involuntary context switches= 2290 # summary of solver processes directly reported to runsolver: # pid: 4552 # total CPU time (s): 105.742 # total CPU user time (s): 105.461 # total CPU system time (s): 0.280987 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.160097 second user time and 0.162744 second system time The end
Begin job on node105 at 2019-09-24 18:50:34 IDJOB=4407390 IDBENCH=128324 IDSOLVER=2872 FILE ID=node105/4407390-1569347535 RUNJOBID= node105-1569332278-29365 PBS_JOBID= 21705070 Free space on /var/tmp= 13180 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j60/Rcpsp-j60-26-09.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-4407390-1569347535/watcher-4407390-1569347535 -o /var/tmp/evaluation-result-4407390-1569347535/solver-4407390-1569347535 -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 1678333843 HOME/instance-4407390-1569347535.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 54f28c2036fc278050695a3bd6f2d6a5 RANDOM SEED=1678333843 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: 26200624 kB MemAvailable: 31799564 kB Buffers: 117952 kB Cached: 5612668 kB SwapCached: 48344 kB Active: 2859980 kB Inactive: 2920556 kB Active(anon): 4956 kB Inactive(anon): 99572 kB Active(file): 2855024 kB Inactive(file): 2820984 kB Unevictable: 110928 kB Mlocked: 110928 kB SwapTotal: 67108860 kB SwapFree: 66956848 kB Dirty: 26264 kB Writeback: 0 kB AnonPages: 152060 kB Mapped: 54352 kB Shmem: 45924 kB Slab: 380480 kB SReclaimable: 351392 kB SUnreclaim: 29088 kB KernelStack: 3712 kB PageTables: 5780 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: 106496 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:48