Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 65 | 131.371 | 17.1519 |
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 | 44.8404 |
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-4399890-1568708006.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4399890-1568708006.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.66/0.80 c solve instance... 3.51/1.06 o 360 3.51/1.10 o 83 4.08/1.13 o 81 4.08/1.16 o 74 4.08/1.17 o 72 4.73/1.29 o 71 5.48/1.33 o 70 5.48/1.36 o 69 12.47/2.22 o 68 12.47/2.29 o 67 13.20/2.37 o 66 33.84/4.98 o 65 131.12/17.14 s OPTIMUM FOUND 131.12/17.14 v <instantiation> 131.12/17.14 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> 131.12/17.14 v <values>0 0 0 0 5 10 10 5 4 6 16 8 7 19 7 39 9 17 10 8 8 13 15 44 9 18 20 14 25 36 27 39 27 18 21 27 36 27 28 17 25 37 48 26 44 42 33 53 40 48 49 47 40 54 55 37 54 56 55 56 61 65 </values> 131.12/17.14 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 (15275 MiB free) memory of node 1: 16384 MiB (15687 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399890-1568708006/watcher-4399890-1568708006 -o /tmp/evaluation-result-4399890-1568708006/solver-4399890-1568708006 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1810654164 HOME/instance-4399890-1568708006.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=681, runsolver pid=678 Current StackSize limit: 8192 KiB [startup+0.100113 s]* /proc/loadavg: 8.20 7.80 7.60 2/213 702 /proc/meminfo: memFree=31687680/32770624 swapFree=66977240/67108860 [pid=681] ppid=678 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/681/stat : 681 (xcsp3-exec) S 678 681 29062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447063244 115843072 364 33554432000 4194304 5098028 140723005516272 140723005514376 140643840606844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22331392 140723005518709 140723005518953 140723005518953 140723005521866 0 /proc/681/statm: 28282 364 305 221 0 87 0 [pid=683] ppid=681 vsize=28227396 memory=30068 CPUtime=0.12 cores=0-7 /proc/683/stat : 683 (java) S 681 681 29062 0 -1 1077944320 5872 0 0 0 10 2 0 0 20 0 20 0 447063245 28904853504 7517 33554432000 4194304 4196468 140737290754000 140737290736544 140233347845879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 /proc/683/statm: 7056849 7517 3160 1 0 7019032 0 [pid=683/tid=684] ppid=681 vsize=28227396 memory=8390339637985935414 CPUtime=0.08 cores=0-7 /proc/683/task/684/stat : 684 (java) R 681 681 29062 0 -1 4202560 3876 0 0 0 7 1 0 0 20 0 20 0 447063245 28904853504 7583 33554432000 4194304 4196468 140737290754000 140233352077568 140232980792423 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=685] ppid=681 vsize=28227396 memory=288230596118052887 CPUtime=0 cores=0-7 /proc/683/task/685/stat : 685 (java) S 681 681 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447063246 28904853504 7583 33554432000 4194304 4196468 140737290754000 140232898763536 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=686] ppid=681 vsize=28227396 memory=140696361824795 CPUtime=0 cores=0-7 /proc/683/task/686/stat : 686 (java) S 681 681 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447063246 28904853504 7583 33554432000 4194304 4196468 140737290754000 140232897710992 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=687] ppid=681 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/683/task/687/stat : 687 (java) S 681 681 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063246 28904853504 7583 33554432000 4194304 4196468 140737290754000 140232896658448 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=688] ppid=681 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/683/task/688/stat : 688 (java) S 681 681 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063246 28904853504 7583 33554432000 4194304 4196468 140737290754000 140232895605904 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=689] ppid=681 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/683/task/689/stat : 689 (java) S 681 681 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447063246 28904853504 7583 33554432000 4194304 4196468 140737290754000 140232894552336 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=690] ppid=681 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/683/task/690/stat : 690 (java) S 681 681 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447063246 28904853504 7583 33554432000 4194304 4196468 140737290754000 140232893499792 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=691] ppid=681 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/683/task/691/stat : 691 (java) S 681 681 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063246 28904853504 7583 33554432000 4194304 4196468 140737290754000 140232892447248 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=692] ppid=681 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/683/task/692/stat : 692 (java) S 681 681 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447063246 28904853504 7583 33554432000 4194304 4196468 140737290754000 140232891394704 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=693] ppid=681 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/683/task/693/stat : 693 (java) S 681 681 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447063247 28904853504 7583 33554432000 4194304 4196468 140737290754000 140231726852592 140233347857026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=694] ppid=681 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/683/task/694/stat : 694 (java) S 681 681 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447063248 28904853504 7583 33554432000 4194304 4196468 140737290754000 140231725798816 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=695] ppid=681 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/683/task/695/stat : 695 (java) S 681 681 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447063248 28904853504 7583 33554432000 4194304 4196468 140737290754000 140231724746224 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=696] ppid=681 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/683/task/696/stat : 696 (java) S 681 681 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063250 28904853504 7583 33554432000 4194304 4196468 140737290754000 140231723694800 140233347864475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=697] ppid=681 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/683/task/697/stat : 697 (java) S 681 681 29062 0 -1 1077944384 403 0 0 0 0 0 0 0 20 0 20 0 447063250 28904853504 7583 33554432000 4194304 4196468 140737290754000 140231722641392 140233347857026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=698] ppid=681 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/683/task/698/stat : 698 (java) S 681 681 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063250 28904853504 7583 33554432000 4194304 4196468 140737290754000 140231721588848 140233347857026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=699] ppid=681 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/683/task/699/stat : 699 (java) S 681 681 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447063250 28904853504 7583 33554432000 4194304 4196468 140737290754000 140231720536304 140233347857026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=700] ppid=681 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/683/task/700/stat : 700 (java) R 681 681 29062 0 -1 4202560 339 0 0 0 1 0 0 0 20 0 20 0 447063250 28904853504 7583 33554432000 4194304 4196468 140737290754000 140231719483760 140233326546080 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=701] ppid=681 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/683/task/701/stat : 701 (java) S 681 681 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447063251 28904853504 7583 33554432000 4194304 4196468 140737290754000 140231718431456 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=702] ppid=681 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/683/task/702/stat : 702 (java) S 681 681 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063251 28904853504 7583 33554432000 4194304 4196468 140737290754000 140231717378992 140233347857026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31524 KiB [startup+0.210029 s]* /proc/loadavg: 8.20 7.80 7.60 2/213 702 /proc/meminfo: memFree=31675540/32770624 swapFree=66977240/67108860 [pid=681] ppid=678 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/681/stat : 681 (xcsp3-exec) S 678 681 29062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447063244 115843072 364 33554432000 4194304 5098028 140723005516272 140723005514376 140643840606844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22331392 140723005518709 140723005518953 140723005518953 140723005521866 0 /proc/681/statm: 28282 364 305 221 0 87 0 [pid=683] ppid=681 vsize=28227396 memory=41220 CPUtime=0.33 cores=0-7 /proc/683/stat : 683 (java) S 681 681 29062 0 -1 1077944320 9516 0 0 0 30 3 0 0 20 0 20 0 447063245 28904853504 10305 33554432000 4194304 4196468 140737290754000 140737290736544 140233347845879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 /proc/683/statm: 7056849 10305 3295 1 0 7019032 0 [pid=683/tid=684] ppid=681 vsize=28227396 memory=8390339637985935414 CPUtime=0.19 cores=0-7 /proc/683/task/684/stat : 684 (java) R 681 681 29062 0 -1 4202560 6702 0 0 0 17 2 0 0 20 0 20 0 447063245 28904853504 10305 33554432000 4194304 4196468 140737290754000 140233352075600 140233347857814 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=685] ppid=681 vsize=28227396 memory=288230596118052887 CPUtime=0 cores=0-7 /proc/683/task/685/stat : 685 (java) S 681 681 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447063246 28904853504 10305 33554432000 4194304 4196468 140737290754000 140232898763536 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=686] ppid=681 vsize=28227396 memory=140696361824795 CPUtime=0 cores=0-7 /proc/683/task/686/stat : 686 (java) S 681 681 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447063246 28904853504 10305 33554432000 4194304 4196468 140737290754000 140232897710992 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=687] ppid=681 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/683/task/687/stat : 687 (java) S 681 681 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063246 28904853504 10305 33554432000 4194304 4196468 140737290754000 140232896658448 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=688] ppid=681 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/683/task/688/stat : 688 (java) S 681 681 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063246 28904853504 10305 33554432000 4194304 4196468 140737290754000 140232895605904 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=689] ppid=681 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/683/task/689/stat : 689 (java) S 681 681 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447063246 28904853504 10305 33554432000 4194304 4196468 140737290754000 140232894552336 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=690] ppid=681 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/683/task/690/stat : 690 (java) S 681 681 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447063246 28904853504 10305 33554432000 4194304 4196468 140737290754000 140232893499792 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=691] ppid=681 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/683/task/691/stat : 691 (java) S 681 681 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063246 28904853504 10305 33554432000 4194304 4196468 140737290754000 140232892447248 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=692] ppid=681 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/683/task/692/stat : 692 (java) S 681 681 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447063246 28904853504 10305 33554432000 4194304 4196468 140737290754000 140232891394704 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=693] ppid=681 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/683/task/693/stat : 693 (java) S 681 681 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447063247 28904853504 10305 33554432000 4194304 4196468 140737290754000 140231726852592 140233347857026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=694] ppid=681 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/683/task/694/stat : 694 (java) S 681 681 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447063248 28904853504 10305 33554432000 4194304 4196468 140737290754000 140231725798816 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=695] ppid=681 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/683/task/695/stat : 695 (java) S 681 681 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447063248 28904853504 10305 33554432000 4194304 4196468 140737290754000 140231724746224 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=696] ppid=681 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/683/task/696/stat : 696 (java) S 681 681 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063250 28904853504 10305 33554432000 4194304 4196468 140737290754000 140231723694800 140233347864475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=697] ppid=681 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/683/task/697/stat : 697 (java) S 681 681 29062 0 -1 1077944384 403 0 0 0 0 0 0 0 20 0 20 0 447063250 28904853504 10305 33554432000 4194304 4196468 140737290754000 140231722641392 140233347857026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=698] ppid=681 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/683/task/698/stat : 698 (java) S 681 681 29062 0 -1 1077944384 183 0 0 0 2 0 0 0 20 0 20 0 447063250 28904853504 10305 33554432000 4194304 4196468 140737290754000 140231721588848 140233347857026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=699] ppid=681 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/683/task/699/stat : 699 (java) S 681 681 29062 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 20 0 447063250 28904853504 10305 33554432000 4194304 4196468 140737290754000 140231720536304 140233347857026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=700] ppid=681 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/683/task/700/stat : 700 (java) R 681 681 29062 0 -1 4202560 760 0 0 0 7 0 0 0 20 0 20 0 447063250 28904853504 10305 33554432000 4194304 4196468 140737290754000 140231719483760 140233340083006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=701] ppid=681 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/683/task/701/stat : 701 (java) S 681 681 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447063251 28904853504 10305 33554432000 4194304 4196468 140737290754000 140231718431456 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=702] ppid=681 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/683/task/702/stat : 702 (java) S 681 681 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063251 28904853504 10305 33554432000 4194304 4196468 140737290754000 140231717378992 140233347857026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42676 KiB [startup+0.30955 s]* /proc/loadavg: 8.20 7.80 7.60 4/213 702 /proc/meminfo: memFree=31668896/32770624 swapFree=66977240/67108860 [pid=681] ppid=678 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/681/stat : 681 (xcsp3-exec) S 678 681 29062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447063244 115843072 364 33554432000 4194304 5098028 140723005516272 140723005514376 140643840606844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22331392 140723005518709 140723005518953 140723005518953 140723005521866 0 /proc/681/statm: 28282 364 305 221 0 87 0 [pid=683] ppid=681 vsize=28231652 memory=49504 CPUtime=0.51 cores=0-7 /proc/683/stat : 683 (java) S 681 681 29062 0 -1 1077944320 10774 0 0 0 47 4 0 0 20 0 20 0 447063245 28909211648 12376 33554432000 4194304 4196468 140737290754000 140737290736544 140233347845879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 /proc/683/statm: 7057913 12376 3335 1 0 7019032 0 [pid=683/tid=684] ppid=681 vsize=28231652 memory=0 CPUtime=0.29 cores=0-7 /proc/683/task/684/stat : 684 (java) R 681 681 29062 0 -1 4202560 7764 0 0 0 26 3 0 0 20 0 20 0 447063245 28909211648 12447 33554432000 4194304 4196468 140737290754000 140233352080992 140233347867805 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=685] ppid=681 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/683/task/685/stat : 685 (java) S 681 681 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447063246 28909211648 12447 33554432000 4194304 4196468 140737290754000 140232898763536 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=686] ppid=681 vsize=28231652 memory=140696358319744 CPUtime=0 cores=0-7 /proc/683/task/686/stat : 686 (java) S 681 681 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447063246 28909211648 12447 33554432000 4194304 4196468 140737290754000 140232897710992 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=687] ppid=681 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/683/task/687/stat : 687 (java) S 681 681 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063246 28909211648 12447 33554432000 4194304 4196468 140737290754000 140232896658448 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=688] ppid=681 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/683/task/688/stat : 688 (java) S 681 681 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063246 28909211648 12447 33554432000 4194304 4196468 140737290754000 140232895605904 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=689] ppid=681 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/683/task/689/stat : 689 (java) S 681 681 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447063246 28909211648 12447 33554432000 4194304 4196468 140737290754000 140232894552336 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=690] ppid=681 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/683/task/690/stat : 690 (java) S 681 681 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447063246 28909211648 12447 33554432000 4194304 4196468 140737290754000 140232893499792 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=691] ppid=681 vsize=28231652 memory=3519880 CPUtime=0 cores=0-7 /proc/683/task/691/stat : 691 (java) S 681 681 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063246 28909211648 12447 33554432000 4194304 4196468 140737290754000 140232892447248 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=692] ppid=681 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/683/task/692/stat : 692 (java) S 681 681 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447063246 28909211648 12447 33554432000 4194304 4196468 140737290754000 140232891394704 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=693] ppid=681 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/683/task/693/stat : 693 (java) S 681 681 29062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447063247 28909211648 12447 33554432000 4194304 4196468 140737290754000 140231726852592 140233347857026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=694] ppid=681 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/683/task/694/stat : 694 (java) S 681 681 29062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447063248 28909211648 12447 33554432000 4194304 4196468 140737290754000 140231725798816 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=695] ppid=681 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/683/task/695/stat : 695 (java) S 681 681 29062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447063248 28909211648 12447 33554432000 4194304 4196468 140737290754000 140231724746224 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=696] ppid=681 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/683/task/696/stat : 696 (java) S 681 681 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063250 28909211648 12447 33554432000 4194304 4196468 140737290754000 140231723694800 140233347864475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=697] ppid=681 vsize=28231652 memory=0 CPUtime=0.01 cores=0-7 /proc/683/task/697/stat : 697 (java) R 681 681 29062 0 -1 4202560 519 0 0 0 1 0 0 0 20 0 20 0 447063250 28909211648 12447 33554432000 4194304 4196468 140737290754000 140231722631776 140233333873991 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=698] ppid=681 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7 /proc/683/task/698/stat : 698 (java) S 681 681 29062 0 -1 1077944384 193 0 0 0 3 0 0 0 20 0 20 0 447063250 28909211648 12447 33554432000 4194304 4196468 140737290754000 140231721588848 140233347857026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=699] ppid=681 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7 /proc/683/task/699/stat : 699 (java) S 681 681 29062 0 -1 1077944384 196 0 0 0 3 0 0 0 20 0 20 0 447063250 28909211648 12447 33554432000 4194304 4196468 140737290754000 140231720536304 140233347857026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=700] ppid=681 vsize=28231652 memory=0 CPUtime=0.12 cores=0-7 /proc/683/task/700/stat : 700 (java) S 681 681 29062 0 -1 1077944384 874 0 0 0 12 0 0 0 20 0 20 0 447063250 28909211648 12447 33554432000 4194304 4196468 140737290754000 140231719483760 140233347857026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=701] ppid=681 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/683/task/701/stat : 701 (java) S 681 681 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447063251 28909211648 12447 33554432000 4194304 4196468 140737290754000 140231718431456 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=702] ppid=681 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/683/task/702/stat : 702 (java) S 681 681 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063251 28909211648 12447 33554432000 4194304 4196468 140737290754000 140231717378992 140233347857026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50960 KiB [startup+0.700895 s] /proc/loadavg: 8.20 7.80 7.60 4/213 702 /proc/meminfo: memFree=31652520/32770624 swapFree=66977240/67108860 [pid=681] ppid=678 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/681/stat : 681 (xcsp3-exec) S 678 681 29062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447063244 115843072 364 33554432000 4194304 5098028 140723005516272 140723005514376 140643840606844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22331392 140723005518709 140723005518953 140723005518953 140723005521866 0 /proc/681/statm: 28282 364 305 221 0 87 0 [pid=683] ppid=681 vsize=28233776 memory=89316 CPUtime=1.66 cores=0-7 /proc/683/stat : 683 (java) S 681 681 29062 0 -1 1077944320 14991 0 0 0 160 6 0 0 20 0 20 0 447063245 28911386624 22329 33554432000 4194304 4196468 140737290754000 140737290736544 140233347845879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 /proc/683/statm: 7058444 22329 3456 1 0 7019544 0 [pid=683/tid=684] ppid=681 vsize=28233776 memory=3620 CPUtime=0.68 cores=0-7 /proc/683/task/684/stat : 684 (java) R 681 681 29062 0 -1 4202560 9329 0 0 0 64 4 0 0 20 0 20 0 447063245 28911386624 22329 33554432000 4194304 4196468 140737290754000 140233352081824 140233347867805 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=685] ppid=681 vsize=28233776 memory=30936 CPUtime=0 cores=0-7 /proc/683/task/685/stat : 685 (java) S 681 681 29062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447063246 28911386624 22329 33554432000 4194304 4196468 140737290754000 140232898763536 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=686] ppid=681 vsize=28233776 memory=2004 CPUtime=0 cores=0-7 /proc/683/task/686/stat : 686 (java) S 681 681 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447063246 28911386624 22329 33554432000 4194304 4196468 140737290754000 140232897710992 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=687] ppid=681 vsize=28233776 memory=984 CPUtime=0 cores=0-7 /proc/683/task/687/stat : 687 (java) S 681 681 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447063246 28911386624 22329 33554432000 4194304 4196468 140737290754000 140232896658448 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 ################ # More data... # ################ [pid=683/tid=700] ppid=681 vsize=28768336 memory=7308890757138049648 CPUtime=0.93 cores=0-7 /proc/683/task/700/stat : 700 (java) S 681 681 29062 0 -1 1077944384 7527 0 0 0 91 2 0 0 20 0 28 0 447063250 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231719483760 140233347857026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=701] ppid=681 vsize=28768336 memory=7308890757138049648 CPUtime=0 cores=0-7 /proc/683/task/701/stat : 701 (java) S 681 681 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447063251 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231718431456 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=702] ppid=681 vsize=28768336 memory=7308890757138049648 CPUtime=0 cores=0-7 /proc/683/task/702/stat : 702 (java) S 681 681 29062 0 -1 1077944384 456 0 0 0 0 0 0 0 20 0 28 0 447063251 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231717378992 140233347857026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=799] ppid=681 vsize=28768336 memory=7308890757138049648 CPUtime=11.65 cores=0-7 /proc/683/task/799/stat : 799 (java) R 681 681 29062 0 -1 4202560 337 0 0 0 1165 0 0 0 20 0 28 0 447063743 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231699745904 140232987005443 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=800] ppid=681 vsize=28768336 memory=7308890757138049648 CPUtime=11.66 cores=0-7 /proc/683/task/800/stat : 800 (java) R 681 681 29062 0 -1 4202560 174 0 0 0 1166 0 0 0 20 0 28 0 447063743 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231706063512 140232987609544 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=801] ppid=681 vsize=28768336 memory=7308890757138049648 CPUtime=11.76 cores=0-7 /proc/683/task/801/stat : 801 (java) R 681 681 29062 0 -1 4202560 158 0 0 0 1176 0 0 0 20 0 28 0 447063743 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231700799256 140232988677083 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=802] ppid=681 vsize=28768336 memory=7308890757138049648 CPUtime=11.67 cores=0-7 /proc/683/task/802/stat : 802 (java) R 681 681 29062 0 -1 4202560 550 0 0 0 1167 0 0 0 20 0 28 0 447063743 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231703957656 140232988995734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=803] ppid=681 vsize=28768336 memory=303148748257886234 CPUtime=11.67 cores=0-7 /proc/683/task/803/stat : 803 (java) R 681 681 29062 0 -1 4202560 273 0 0 0 1167 0 0 0 20 0 28 0 447063743 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231705011608 140232989560945 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=804] ppid=681 vsize=28768336 memory=288230617509003574 CPUtime=11.72 cores=0-7 /proc/683/task/804/stat : 804 (java) R 681 681 29062 0 -1 4202560 189 0 0 0 1172 0 0 0 20 0 28 0 447063743 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231698694072 140232987389388 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=805] ppid=681 vsize=28768336 memory=15542920530889053 CPUtime=11.64 cores=0-7 /proc/683/task/805/stat : 805 (java) R 681 681 29062 0 -1 4202560 314 0 0 0 1164 0 0 0 20 0 28 0 447063743 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231702904584 140232986547788 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=806] ppid=681 vsize=28768336 memory=984 CPUtime=11.41 cores=0-7 /proc/683/task/806/stat : 806 (java) R 681 681 29062 0 -1 4202560 622 0 0 0 1141 0 0 0 20 0 28 0 447063743 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231701852616 140232987610224 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 Current children cumulated CPU time: 128.65 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 255500 KiB [startup+17.0012 s]* /proc/loadavg: 8.33 7.86 7.63 9/220 807 /proc/meminfo: memFree=31464108/32770624 swapFree=66977240/67108860 [pid=681] ppid=678 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/681/stat : 681 (xcsp3-exec) S 678 681 29062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447063244 115843072 364 33554432000 4194304 5098028 140723005516272 140723005514376 140643840606844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22331392 140723005518709 140723005518953 140723005518953 140723005521866 0 /proc/681/statm: 28282 364 305 221 0 87 0 [pid=683] ppid=681 vsize=28768336 memory=254044 CPUtime=130.29 cores=0-7 /proc/683/stat : 683 (java) S 681 681 29062 0 -1 1077944320 60243 0 0 0 13001 28 0 0 20 0 28 0 447063245 29458776064 63511 33554432000 4194304 4196468 140737290754000 140737290736544 140233347845879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 /proc/683/statm: 7192084 63511 3526 1 0 7153184 0 [pid=683/tid=684] ppid=681 vsize=28768336 memory=1398720917958146503 CPUtime=0.79 cores=0-7 /proc/683/task/684/stat : 684 (java) S 681 681 29062 0 -1 1077944384 9546 0 0 0 75 4 0 0 20 0 28 0 447063245 29458776064 63511 33554432000 4194304 4196468 140737290754000 140233352086656 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=685] ppid=681 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/683/task/685/stat : 685 (java) S 681 681 29062 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 447063246 29458776064 63511 33554432000 4194304 4196468 140737290754000 140232898763536 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=686] ppid=681 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/683/task/686/stat : 686 (java) S 681 681 29062 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 447063246 29458776064 63511 33554432000 4194304 4196468 140737290754000 140232897710992 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=687] ppid=681 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/683/task/687/stat : 687 (java) S 681 681 29062 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 28 0 447063246 29458776064 63511 33554432000 4194304 4196468 140737290754000 140232896658448 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=688] ppid=681 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/683/task/688/stat : 688 (java) S 681 681 29062 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 447063246 29458776064 63511 33554432000 4194304 4196468 140737290754000 140232895605904 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=689] ppid=681 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/683/task/689/stat : 689 (java) S 681 681 29062 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 28 0 447063246 29458776064 63511 33554432000 4194304 4196468 140737290754000 140232894552336 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=690] ppid=681 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/683/task/690/stat : 690 (java) S 681 681 29062 0 -1 1077944384 402 0 0 0 0 0 0 0 20 0 28 0 447063246 29458776064 63511 33554432000 4194304 4196468 140737290754000 140232893499792 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=691] ppid=681 vsize=28768336 memory=2319413410198978569 CPUtime=0 cores=0-7 /proc/683/task/691/stat : 691 (java) S 681 681 29062 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 28 0 447063246 29458776064 63511 33554432000 4194304 4196468 140737290754000 140232892447248 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=692] ppid=681 vsize=28768336 memory=7737563948436122985 CPUtime=0 cores=0-7 /proc/683/task/692/stat : 692 (java) S 681 681 29062 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 447063246 29458776064 63511 33554432000 4194304 4196468 140737290754000 140232891394704 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=693] ppid=681 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/683/task/693/stat : 693 (java) S 681 681 29062 0 -1 1077944384 497 0 0 0 0 0 0 0 20 0 28 0 447063247 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231726852592 140233347857026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=694] ppid=681 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/683/task/694/stat : 694 (java) S 681 681 29062 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 447063248 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231725798880 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=695] ppid=681 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/683/task/695/stat : 695 (java) S 681 681 29062 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 28 0 447063248 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231724746240 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=696] ppid=681 vsize=28768336 memory=140696216404088 CPUtime=0 cores=0-7 /proc/683/task/696/stat : 696 (java) S 681 681 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447063250 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231723694800 140233347864475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=697] ppid=681 vsize=28768336 memory=7367733500520129872 CPUtime=2.85 cores=0-7 /proc/683/task/697/stat : 697 (java) S 681 681 29062 0 -1 1077944384 12001 0 0 0 282 3 0 0 20 0 28 0 447063250 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231722641392 140233347857026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=698] ppid=681 vsize=28768336 memory=6656426216303648864 CPUtime=2.6 cores=0-7 /proc/683/task/698/stat : 698 (java) S 681 681 29062 0 -1 1077944384 9706 0 0 0 258 2 0 0 20 0 28 0 447063250 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231721588848 140233347857026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=699] ppid=681 vsize=28768336 memory=6155669059952202856 CPUtime=2.88 cores=0-7 /proc/683/task/699/stat : 699 (java) S 681 681 29062 0 -1 1077944384 11765 0 0 0 284 4 0 0 20 0 28 0 447063250 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231720536304 140233347857026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=700] ppid=681 vsize=28768336 memory=7739815739475060325 CPUtime=0.93 cores=0-7 /proc/683/task/700/stat : 700 (java) S 681 681 29062 0 -1 1077944384 8059 0 0 0 91 2 0 0 20 0 28 0 447063250 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231719483760 140233347857026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=701] ppid=681 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/683/task/701/stat : 701 (java) S 681 681 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447063251 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231718431456 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=702] ppid=681 vsize=28768336 memory=-1 CPUtime=0 cores=0-7 /proc/683/task/702/stat : 702 (java) R 681 681 29062 0 -1 1077944384 456 0 0 0 0 0 0 0 20 0 28 0 447063251 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231717378992 140233347857026 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=799] ppid=681 vsize=28768336 memory=-1 CPUtime=11.86 cores=0-7 /proc/683/task/799/stat : 799 (java) R 681 681 29062 0 -1 4202560 338 0 0 0 1186 0 0 0 20 0 28 0 447063743 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231699745904 140232987389304 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=800] ppid=681 vsize=28768336 memory=0 CPUtime=11.87 cores=0-7 /proc/683/task/800/stat : 800 (java) R 681 681 29062 0 -1 4202560 174 0 0 0 1187 0 0 0 20 0 28 0 447063743 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231706063512 140232987391593 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=801] ppid=681 vsize=28768336 memory=0 CPUtime=11.97 cores=0-7 /proc/683/task/801/stat : 801 (java) R 681 681 29062 0 -1 4202560 158 0 0 0 1197 0 0 0 20 0 28 0 447063743 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231700799256 140232986546264 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=802] ppid=681 vsize=28768336 memory=0 CPUtime=11.88 cores=0-7 /proc/683/task/802/stat : 802 (java) R 681 681 29062 0 -1 4202560 553 0 0 0 1188 0 0 0 20 0 28 0 447063743 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231703957656 140232990392969 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=803] ppid=681 vsize=28768336 memory=0 CPUtime=11.88 cores=0-7 /proc/683/task/803/stat : 803 (java) R 681 681 29062 0 -1 4202560 273 0 0 0 1188 0 0 0 20 0 28 0 447063743 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231705011608 140232989560456 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=804] ppid=681 vsize=28768336 memory=2924872730060 CPUtime=11.93 cores=0-7 /proc/683/task/804/stat : 804 (java) R 681 681 29062 0 -1 4202560 213 0 0 0 1193 0 0 0 20 0 28 0 447063743 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231698696536 140232988181973 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=805] ppid=681 vsize=28768336 memory=8530215889787957304 CPUtime=11.85 cores=0-7 /proc/683/task/805/stat : 805 (java) R 681 681 29062 0 -1 4202560 314 0 0 0 1185 0 0 0 20 0 28 0 447063743 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231702904584 140232988357455 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=806] ppid=681 vsize=28768336 memory=7307486680555411040 CPUtime=11.61 cores=0-7 /proc/683/task/806/stat : 806 (java) R 681 681 29062 0 -1 4202560 622 0 0 0 1161 0 0 0 20 0 28 0 447063743 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231701852616 140232988355360 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 Current children cumulated CPU time: 130.29 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 255500 KiB [startup+17.1112 s] /proc/loadavg: 8.33 7.86 7.63 9/220 807 /proc/meminfo: memFree=31464108/32770624 swapFree=66977240/67108860 [pid=681] ppid=678 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/681/stat : 681 (xcsp3-exec) S 678 681 29062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447063244 115843072 364 33554432000 4194304 5098028 140723005516272 140723005514376 140643840606844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22331392 140723005518709 140723005518953 140723005518953 140723005521866 0 /proc/681/statm: 28282 364 305 221 0 87 0 [pid=683] ppid=681 vsize=28768336 memory=254044 CPUtime=131.12 cores=0-7 /proc/683/stat : 683 (java) S 681 681 29062 0 -1 1077944320 60243 0 0 0 13084 28 0 0 20 0 28 0 447063245 29458776064 63511 33554432000 4194304 4196468 140737290754000 140737290736544 140233347845879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 /proc/683/statm: 7192084 63511 3526 1 0 7153184 0 [pid=683/tid=684] ppid=681 vsize=28768336 memory=1456 CPUtime=0.79 cores=0-7 /proc/683/task/684/stat : 684 (java) S 681 681 29062 0 -1 1077944384 9546 0 0 0 75 4 0 0 20 0 28 0 447063245 29458776064 63511 33554432000 4194304 4196468 140737290754000 140233352086656 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=685] ppid=681 vsize=28768336 memory=254044 CPUtime=0 cores=0-7 /proc/683/task/685/stat : 685 (java) S 681 681 29062 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 447063246 29458776064 63511 33554432000 4194304 4196468 140737290754000 140232898763536 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=686] ppid=681 vsize=28768336 memory=1456 CPUtime=0 cores=0-7 /proc/683/task/686/stat : 686 (java) S 681 681 29062 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 447063246 29458776064 63511 33554432000 4194304 4196468 140737290754000 140232897710992 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=687] ppid=681 vsize=28768336 memory=254044 CPUtime=0 cores=0-7 /proc/683/task/687/stat : 687 (java) S 681 681 29062 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 28 0 447063246 29458776064 63511 33554432000 4194304 4196468 140737290754000 140232896658448 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=688] ppid=681 vsize=28768336 memory=1456 CPUtime=0 cores=0-7 /proc/683/task/688/stat : 688 (java) S 681 681 29062 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 447063246 29458776064 63511 33554432000 4194304 4196468 140737290754000 140232895605904 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=689] ppid=681 vsize=28768336 memory=240000 CPUtime=0 cores=0-7 /proc/683/task/689/stat : 689 (java) S 681 681 29062 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 28 0 447063246 29458776064 63511 33554432000 4194304 4196468 140737290754000 140232894552336 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=690] ppid=681 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/683/task/690/stat : 690 (java) S 681 681 29062 0 -1 1077944384 402 0 0 0 0 0 0 0 20 0 28 0 447063246 29458776064 63511 33554432000 4194304 4196468 140737290754000 140232893499792 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=691] ppid=681 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/683/task/691/stat : 691 (java) S 681 681 29062 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 28 0 447063246 29458776064 63511 33554432000 4194304 4196468 140737290754000 140232892447248 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=692] ppid=681 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/683/task/692/stat : 692 (java) S 681 681 29062 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 447063246 29458776064 63511 33554432000 4194304 4196468 140737290754000 140232891394704 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=693] ppid=681 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/683/task/693/stat : 693 (java) S 681 681 29062 0 -1 1077944384 497 0 0 0 0 0 0 0 20 0 28 0 447063247 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231726852592 140233347857026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=694] ppid=681 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/683/task/694/stat : 694 (java) S 681 681 29062 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 447063248 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231725798880 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=695] ppid=681 vsize=28768336 memory=1456 CPUtime=0 cores=0-7 /proc/683/task/695/stat : 695 (java) S 681 681 29062 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 28 0 447063248 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231724746240 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=696] ppid=681 vsize=28768336 memory=254044 CPUtime=0 cores=0-7 /proc/683/task/696/stat : 696 (java) S 681 681 29062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447063250 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231723694800 140233347864475 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=697] ppid=681 vsize=28768336 memory=2828 CPUtime=2.85 cores=0-7 /proc/683/task/697/stat : 697 (java) S 681 681 29062 0 -1 1077944384 12001 0 0 0 282 3 0 0 20 0 28 0 447063250 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231722641392 140233347857026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=698] ppid=681 vsize=28768336 memory=1456 CPUtime=2.6 cores=0-7 /proc/683/task/698/stat : 698 (java) S 681 681 29062 0 -1 1077944384 9706 0 0 0 258 2 0 0 20 0 28 0 447063250 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231721588848 140233347857026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=699] ppid=681 vsize=28768336 memory=243584 CPUtime=2.88 cores=0-7 /proc/683/task/699/stat : 699 (java) S 681 681 29062 0 -1 1077944384 11765 0 0 0 284 4 0 0 20 0 28 0 447063250 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231720536304 140233347857026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=700] ppid=681 vsize=28768336 memory=3472473412083150402 CPUtime=0.93 cores=0-7 /proc/683/task/700/stat : 700 (java) S 681 681 29062 0 -1 1077944384 8059 0 0 0 91 2 0 0 20 0 28 0 447063250 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231719483760 140233347857026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=701] ppid=681 vsize=28768336 memory=5983788734656832864 CPUtime=0 cores=0-7 /proc/683/task/701/stat : 701 (java) S 681 681 29062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447063251 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231718431456 140233347856085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=702] ppid=681 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/683/task/702/stat : 702 (java) S 681 681 29062 0 -1 1077944384 456 0 0 0 0 0 0 0 20 0 28 0 447063251 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231717378992 140233347857026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=799] ppid=681 vsize=28768336 memory=7896318971486248851 CPUtime=11.96 cores=0-7 /proc/683/task/799/stat : 799 (java) R 681 681 29062 0 -1 4202560 338 0 0 0 1196 0 0 0 20 0 28 0 447063743 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231699745904 140232988679014 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=800] ppid=681 vsize=28768336 memory=-6454338467431146081 CPUtime=11.97 cores=0-7 /proc/683/task/800/stat : 800 (java) R 681 681 29062 0 -1 4202560 174 0 0 0 1197 0 0 0 20 0 28 0 447063743 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231706063512 140232988677710 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=801] ppid=681 vsize=28768336 memory=6944656592455360569 CPUtime=12.07 cores=0-7 /proc/683/task/801/stat : 801 (java) R 681 681 29062 0 -1 4202560 158 0 0 0 1207 0 0 0 20 0 28 0 447063743 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231700799256 140232989562458 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=802] ppid=681 vsize=28768336 memory=984 CPUtime=11.98 cores=0-7 /proc/683/task/802/stat : 802 (java) R 681 681 29062 0 -1 4202560 553 0 0 0 1198 0 0 0 20 0 28 0 447063743 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231703957656 140232987967021 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=803] ppid=681 vsize=28768336 memory=1324 CPUtime=11.98 cores=0-7 /proc/683/task/803/stat : 803 (java) R 681 681 29062 0 -1 4202560 273 0 0 0 1198 0 0 0 20 0 28 0 447063743 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231705011608 140232988716176 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=804] ppid=681 vsize=28768336 memory=780 CPUtime=12.03 cores=0-7 /proc/683/task/804/stat : 804 (java) R 681 681 29062 0 -1 4202560 213 0 0 0 1203 0 0 0 20 0 28 0 447063743 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231698696536 140232988570869 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=805] ppid=681 vsize=28768336 memory=1456 CPUtime=11.95 cores=0-7 /proc/683/task/805/stat : 805 (java) R 681 681 29062 0 -1 4202560 314 0 0 0 1195 0 0 0 20 0 28 0 447063743 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231702904584 140232988679737 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 [pid=683/tid=806] ppid=681 vsize=28768336 memory=254044 CPUtime=11.71 cores=0-7 /proc/683/task/806/stat : 806 (java) R 681 681 29062 0 -1 4202560 622 0 0 0 1171 0 0 0 20 0 28 0 447063743 29458776064 63511 33554432000 4194304 4196468 140737290754000 140231701852616 140232989561405 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27734016 140737290757098 140737290757270 140737290757270 140737290760143 0 Current children cumulated CPU time: 131.12 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 255500 KiB Child status: 0 Real time (s): 17.1519 CPU time (s): 131.371 CPU user time (s): 131.076 CPU system time (s): 0.294817 CPU usage (%): 765.927 Max. virtual memory (cumulated for all children) (KiB): 28883708 Max. memory (cumulated for all children) (KiB): 255500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 131.076 system time used= 0.294817 maximum resident set size= 254044 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 62006 page faults= 0 swaps= 0 block input operations= 0 block output operations= 160 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6822 involuntary context switches= 2689 # summary of solver processes directly reported to runsolver: # pid: 681 # total CPU time (s): 131.371 # total CPU user time (s): 131.076 # total CPU system time (s): 0.294817 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.155693 second user time and 0.231435 second system time The end
Begin job on node121 at 2019-09-17 10:12:44 IDJOB=4399890 IDBENCH=128324 IDSOLVER=2854 FILE ID=node121/4399890-1568708006 RUNJOBID= node121-1568700707-29089 PBS_JOBID= 21703902 Free space on /tmp= 61408 MiB SOLVER NAME= choco-solver 2019-09-16 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 /tmp/evaluation-result-4399890-1568708006/watcher-4399890-1568708006 -o /tmp/evaluation-result-4399890-1568708006/solver-4399890-1568708006 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568700707-29089 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1810654164 HOME/instance-4399890-1568708006.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 54f28c2036fc278050695a3bd6f2d6a5 RANDOM SEED=1810654164 node121.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31705176 kB MemAvailable: 31919984 kB Buffers: 68772 kB Cached: 443832 kB SwapCached: 10792 kB Active: 209188 kB Inactive: 318604 kB Active(anon): 5088 kB Inactive(anon): 42468 kB Active(file): 204100 kB Inactive(file): 276136 kB Unevictable: 109160 kB Mlocked: 109160 kB SwapTotal: 67108860 kB SwapFree: 66977240 kB Dirty: 26264 kB Writeback: 0 kB AnonPages: 117764 kB Mapped: 42132 kB Shmem: 24044 kB Slab: 130120 kB SReclaimable: 100816 kB SUnreclaim: 29304 kB KernelStack: 3632 kB PageTables: 5212 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506832 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61380 MiB End job on node121 at 2019-09-17 10:13:01