Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 103 | 140.366 | 18.312 |
Name | Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-21-01.xml |
MD5SUM | 90855c6c3ff0f3816786e6ae00e0aae6 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 103 |
Best CPU time to get the best result obtained on this benchmark | 80.7366 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 62 |
Number of constraints | 116 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 332 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":332,"count":61}] |
Minimum variable degree | 3 |
Maximum variable degree | 8 |
Distribution of variable degrees | [{"degree":3,"count":2},{"degree":4,"count":9},{"degree":5,"count":20},{"degree":6,"count":15},{"degree":7,"count":14},{"degree":8,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 36 |
Distribution of constraint arities | [{"arity":2,"count":112},{"arity":26,"count":1},{"arity":28,"count":1},{"arity":31,"count":1},{"arity":36,"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-4394533-1568431312.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394533-1568431312.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.70/0.77 c solve instance... 2.81/0.90 o 118 2.81/0.96 o 116 2.81/0.99 o 113 3.45/1.07 o 112 4.15/1.12 o 110 19.24/3.08 o 109 20.02/3.12 o 108 23.83/3.63 o 107 37.36/5.39 o 106 38.04/5.42 o 104 73.61/9.99 o 103 139.62/18.29 s OPTIMUM FOUND 139.62/18.29 v <instantiation> 139.62/18.29 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> 139.62/18.29 v <values>0 3 0 0 3 8 9 24 21 16 32 7 24 39 8 9 31 18 49 72 39 29 38 18 43 49 43 47 44 58 31 59 52 68 48 41 48 49 66 67 57 70 57 77 66 77 87 81 77 87 81 89 94 85 95 75 75 93 99 102 77 103 </values> 139.62/18.29 v </instantiation>
OK 103
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 (14085 MiB free) memory of node 1: 16384 MiB (14084 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394533-1568431312/watcher-4394533-1568431312 -o /tmp/evaluation-result-4394533-1568431312/solver-4394533-1568431312 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568426152-22892 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 412859990 HOME/instance-4394533-1568431312.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=24608, runsolver pid=24605 Current StackSize limit: 8192 KiB [startup+0.100184 s]* /proc/loadavg: 7.25 8.00 8.07 5/212 24629 /proc/meminfo: memFree=28829484/32770624 swapFree=66998528/67108860 [pid=24608] ppid=24605 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24608/stat : 24608 (xcsp3-exec) S 24605 24608 22865 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419400022 115843072 363 33554432000 4194304 5098028 140729321876352 140729321874456 139999918174844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23314432 140729321878390 140729321878633 140729321878633 140729321881546 0 /proc/24608/statm: 28282 363 305 221 0 87 0 [pid=24610] ppid=24608 vsize=28227388 memory=28916 CPUtime=0.12 cores=0-7 /proc/24610/stat : 24610 (java) S 24608 24608 22865 0 -1 1077944320 5715 0 0 0 11 1 0 0 20 0 20 0 419400022 28904845312 7229 33554432000 4194304 4196468 140729407021648 140729407004192 140243954929399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 /proc/24610/statm: 7056847 7229 3122 1 0 7019032 0 [pid=24610/tid=24611] ppid=24608 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/24610/task/24611/stat : 24611 (java) R 24608 24608 22865 0 -1 4202560 3613 0 0 0 8 1 0 0 20 0 20 0 419400023 28904845312 7229 33554432000 4194304 4196468 140729407021648 140243959155232 140243954952989 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24612] ppid=24608 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24612/stat : 24612 (java) S 24608 24608 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419400023 28904845312 7229 33554432000 4194304 4196468 140729407021648 140243907550096 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24613] ppid=24608 vsize=28227388 memory=139782835281677 CPUtime=0 cores=0-7 /proc/24610/task/24613/stat : 24613 (java) S 24608 24608 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419400023 28904845312 7229 33554432000 4194304 4196468 140729407021648 140243906497296 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24614] ppid=24608 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24614/stat : 24614 (java) S 24608 24608 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419400023 28904845312 7229 33554432000 4194304 4196468 140729407021648 140243905445008 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24615] ppid=24608 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24615/stat : 24615 (java) S 24608 24608 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419400023 28904845312 7229 33554432000 4194304 4196468 140729407021648 140243904392208 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24616] ppid=24608 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24616/stat : 24616 (java) S 24608 24608 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419400023 28904845312 7229 33554432000 4194304 4196468 140729407021648 140243501963664 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24617] ppid=24608 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/24610/task/24617/stat : 24617 (java) S 24608 24608 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419400023 28904845312 7229 33554432000 4194304 4196468 140729407021648 140243500910864 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24618] ppid=24608 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24618/stat : 24618 (java) S 24608 24608 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419400023 28904845312 7229 33554432000 4194304 4196468 140729407021648 140243499858576 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24619] ppid=24608 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24619/stat : 24619 (java) S 24608 24608 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419400023 28904845312 7229 33554432000 4194304 4196468 140729407021648 140243498805776 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24620] ppid=24608 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24620/stat : 24620 (java) S 24608 24608 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419400025 28904845312 7229 33554432000 4194304 4196468 140729407021648 140242553109104 140243954940546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24621] ppid=24608 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24621/stat : 24621 (java) S 24608 24608 22865 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419400025 28904845312 7229 33554432000 4194304 4196468 140729407021648 140242552055072 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24622] ppid=24608 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24622/stat : 24622 (java) S 24608 24608 22865 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419400026 28904845312 7229 33554432000 4194304 4196468 140729407021648 140242551002736 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24623] ppid=24608 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24623/stat : 24623 (java) S 24608 24608 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419400028 28904845312 7229 33554432000 4194304 4196468 140729407021648 140242549951056 140243954947995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24624] ppid=24608 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24624/stat : 24624 (java) R 24608 24608 22865 0 -1 4202560 322 0 0 0 0 0 0 0 20 0 20 0 419400028 28904845312 7229 33554432000 4194304 4196468 140729407021648 140242548889408 140243938455181 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24625] ppid=24608 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24625/stat : 24625 (java) S 24608 24608 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419400028 28904845312 7229 33554432000 4194304 4196468 140729407021648 140242547845104 140243954940546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24626] ppid=24608 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24626/stat : 24626 (java) S 24608 24608 22865 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 419400028 28904845312 7229 33554432000 4194304 4196468 140729407021648 140242546792816 140243954940546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24627] ppid=24608 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/24610/task/24627/stat : 24627 (java) R 24608 24608 22865 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 20 0 419400028 28904845312 7229 33554432000 4194304 4196468 140729407021648 140242545740016 140243954950746 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24628] ppid=24608 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24628/stat : 24628 (java) S 24608 24608 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419400028 28904845312 7229 33554432000 4194304 4196468 140729407021648 140242544687968 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24629] ppid=24608 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/24610/task/24629/stat : 24629 (java) S 24608 24608 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419400028 28904845312 7229 33554432000 4194304 4196468 140729407021648 140242543635248 140243954940546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30368 KiB [startup+0.210513 s]* /proc/loadavg: 7.25 8.00 8.07 3/212 24629 /proc/meminfo: memFree=28816460/32770624 swapFree=66998528/67108860 [pid=24608] ppid=24605 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24608/stat : 24608 (xcsp3-exec) S 24605 24608 22865 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419400022 115843072 363 33554432000 4194304 5098028 140729321876352 140729321874456 139999918174844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23314432 140729321878390 140729321878633 140729321878633 140729321881546 0 /proc/24608/statm: 28282 363 305 221 0 87 0 [pid=24610] ppid=24608 vsize=28227388 memory=41148 CPUtime=0.34 cores=0-7 /proc/24610/stat : 24610 (java) S 24608 24608 22865 0 -1 1077944320 9535 0 0 0 31 3 0 0 20 0 20 0 419400022 28904845312 10287 33554432000 4194304 4196468 140729407021648 140729407004192 140243954929399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 /proc/24610/statm: 7056847 10287 3304 1 0 7019032 0 [pid=24610/tid=24611] ppid=24608 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/24610/task/24611/stat : 24611 (java) R 24608 24608 22865 0 -1 4202560 6655 0 0 0 18 2 0 0 20 0 20 0 419400023 28904845312 10287 33554432000 4194304 4196468 140729407021648 140243959160624 140243954951325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24612] ppid=24608 vsize=28227388 memory=288230596134830447 CPUtime=0 cores=0-7 /proc/24610/task/24612/stat : 24612 (java) S 24608 24608 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419400023 28904845312 10287 33554432000 4194304 4196468 140729407021648 140243907550096 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24613] ppid=24608 vsize=28227388 memory=288370158986970752 CPUtime=0 cores=0-7 /proc/24610/task/24613/stat : 24613 (java) S 24608 24608 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419400023 28904845312 10287 33554432000 4194304 4196468 140729407021648 140243906497296 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24614] ppid=24608 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/24610/task/24614/stat : 24614 (java) S 24608 24608 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419400023 28904845312 10287 33554432000 4194304 4196468 140729407021648 140243905445008 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24615] ppid=24608 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24615/stat : 24615 (java) S 24608 24608 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419400023 28904845312 10287 33554432000 4194304 4196468 140729407021648 140243904392208 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24616] ppid=24608 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24616/stat : 24616 (java) S 24608 24608 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419400023 28904845312 10287 33554432000 4194304 4196468 140729407021648 140243501963664 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24617] ppid=24608 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/24610/task/24617/stat : 24617 (java) S 24608 24608 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419400023 28904845312 10287 33554432000 4194304 4196468 140729407021648 140243500910864 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24618] ppid=24608 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24618/stat : 24618 (java) S 24608 24608 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419400023 28904845312 10287 33554432000 4194304 4196468 140729407021648 140243499858576 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24619] ppid=24608 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24619/stat : 24619 (java) S 24608 24608 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419400023 28904845312 10287 33554432000 4194304 4196468 140729407021648 140243498805776 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24620] ppid=24608 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24620/stat : 24620 (java) S 24608 24608 22865 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419400025 28904845312 10287 33554432000 4194304 4196468 140729407021648 140242553109104 140243954940546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24621] ppid=24608 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24621/stat : 24621 (java) S 24608 24608 22865 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419400025 28904845312 10287 33554432000 4194304 4196468 140729407021648 140242552055072 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24622] ppid=24608 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24622/stat : 24622 (java) S 24608 24608 22865 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419400026 28904845312 10287 33554432000 4194304 4196468 140729407021648 140242551002736 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24623] ppid=24608 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24623/stat : 24623 (java) S 24608 24608 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419400028 28904845312 10287 33554432000 4194304 4196468 140729407021648 140242549951056 140243954947995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24624] ppid=24608 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/24610/task/24624/stat : 24624 (java) S 24608 24608 22865 0 -1 1077944384 429 0 0 0 1 0 0 0 20 0 20 0 419400028 28904845312 10287 33554432000 4194304 4196468 140729407021648 140242548897904 140243954940546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24625] ppid=24608 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/24610/task/24625/stat : 24625 (java) S 24608 24608 22865 0 -1 1077944384 238 0 0 0 1 0 0 0 20 0 20 0 419400028 28904845312 10287 33554432000 4194304 4196468 140729407021648 140242547845104 140243954940546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24626] ppid=24608 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/24610/task/24626/stat : 24626 (java) S 24608 24608 22865 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 20 0 419400028 28904845312 10287 33554432000 4194304 4196468 140729407021648 140242546792816 140243954940546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24627] ppid=24608 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7 /proc/24610/task/24627/stat : 24627 (java) S 24608 24608 22865 0 -1 1077944384 755 0 0 0 7 0 0 0 20 0 20 0 419400028 28904845312 10287 33554432000 4194304 4196468 140729407021648 140242545740016 140243954940546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24628] ppid=24608 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24628/stat : 24628 (java) S 24608 24608 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419400028 28904845312 10287 33554432000 4194304 4196468 140729407021648 140242544687968 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24629] ppid=24608 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/24610/task/24629/stat : 24629 (java) S 24608 24608 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419400028 28904845312 10287 33554432000 4194304 4196468 140729407021648 140242543635248 140243954940546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42600 KiB [startup+0.317812 s]* /proc/loadavg: 7.25 8.00 8.07 2/212 24629 /proc/meminfo: memFree=28809084/32770624 swapFree=66998528/67108860 [pid=24608] ppid=24605 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24608/stat : 24608 (xcsp3-exec) S 24605 24608 22865 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419400022 115843072 363 33554432000 4194304 5098028 140729321876352 140729321874456 139999918174844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23314432 140729321878390 140729321878633 140729321878633 140729321881546 0 /proc/24608/statm: 28282 363 305 221 0 87 0 [pid=24610] ppid=24608 vsize=28231644 memory=50808 CPUtime=0.53 cores=0-7 /proc/24610/stat : 24610 (java) S 24608 24608 22865 0 -1 1077944320 11072 0 0 0 49 4 0 0 20 0 20 0 419400022 28909203456 12702 33554432000 4194304 4196468 140729407021648 140729407004192 140243954929399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 /proc/24610/statm: 7057911 12702 3352 1 0 7019032 0 [pid=24610/tid=24611] ppid=24608 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/24610/task/24611/stat : 24611 (java) R 24608 24608 22865 0 -1 4202560 7955 0 0 0 28 2 0 0 20 0 20 0 419400023 28909203456 12702 33554432000 4194304 4196468 140729407021648 140243959161984 140243939009886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24612] ppid=24608 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24612/stat : 24612 (java) S 24608 24608 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419400023 28909203456 12702 33554432000 4194304 4196468 140729407021648 140243907550096 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24613] ppid=24608 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24613/stat : 24613 (java) S 24608 24608 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419400023 28909203456 12702 33554432000 4194304 4196468 140729407021648 140243906497296 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24614] ppid=24608 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24614/stat : 24614 (java) S 24608 24608 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419400023 28909203456 12702 33554432000 4194304 4196468 140729407021648 140243905445008 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24615] ppid=24608 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24615/stat : 24615 (java) S 24608 24608 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419400023 28909203456 12702 33554432000 4194304 4196468 140729407021648 140243904392208 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24616] ppid=24608 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24616/stat : 24616 (java) S 24608 24608 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419400023 28909203456 12702 33554432000 4194304 4196468 140729407021648 140243501963664 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24617] ppid=24608 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24617/stat : 24617 (java) S 24608 24608 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419400023 28909203456 12702 33554432000 4194304 4196468 140729407021648 140243500910864 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24618] ppid=24608 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24618/stat : 24618 (java) S 24608 24608 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419400023 28909203456 12702 33554432000 4194304 4196468 140729407021648 140243499858576 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24619] ppid=24608 vsize=28231644 memory=6872598998417432672 CPUtime=0 cores=0-7 /proc/24610/task/24619/stat : 24619 (java) S 24608 24608 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419400023 28909203456 12702 33554432000 4194304 4196468 140729407021648 140243498805776 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24620] ppid=24608 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24620/stat : 24620 (java) S 24608 24608 22865 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419400025 28909203456 12702 33554432000 4194304 4196468 140729407021648 140242553109104 140243954940546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24621] ppid=24608 vsize=28231644 memory=279565461298560 CPUtime=0 cores=0-7 /proc/24610/task/24621/stat : 24621 (java) S 24608 24608 22865 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419400025 28909203456 12702 33554432000 4194304 4196468 140729407021648 140242552055072 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24622] ppid=24608 vsize=28231644 memory=279565461303168 CPUtime=0 cores=0-7 /proc/24610/task/24622/stat : 24622 (java) S 24608 24608 22865 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419400026 28909203456 12702 33554432000 4194304 4196468 140729407021648 140242551002736 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24623] ppid=24608 vsize=28231644 memory=279565461307776 CPUtime=0 cores=0-7 /proc/24610/task/24623/stat : 24623 (java) S 24608 24608 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419400028 28909203456 12702 33554432000 4194304 4196468 140729407021648 140242549951056 140243954947995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24624] ppid=24608 vsize=28231644 memory=279565461312384 CPUtime=0.02 cores=0-7 /proc/24610/task/24624/stat : 24624 (java) S 24608 24608 22865 0 -1 1077944384 432 0 0 0 2 0 0 0 20 0 20 0 419400028 28909203456 12702 33554432000 4194304 4196468 140729407021648 140242548897904 140243954940546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24625] ppid=24608 vsize=28231644 memory=279565461316992 CPUtime=0.03 cores=0-7 /proc/24610/task/24625/stat : 24625 (java) S 24608 24608 22865 0 -1 1077944384 249 0 0 0 3 0 0 0 20 0 20 0 419400028 28909203456 12702 33554432000 4194304 4196468 140729407021648 140242547845104 140243954940546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24626] ppid=24608 vsize=28231644 memory=279565461321600 CPUtime=0.03 cores=0-7 /proc/24610/task/24626/stat : 24626 (java) S 24608 24608 22865 0 -1 1077944384 272 0 0 0 3 0 0 0 20 0 20 0 419400028 28909203456 12702 33554432000 4194304 4196468 140729407021648 140242546792816 140243954940546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24627] ppid=24608 vsize=28231644 memory=279565461326208 CPUtime=0.12 cores=0-7 /proc/24610/task/24627/stat : 24627 (java) S 24608 24608 22865 0 -1 1077944384 850 0 0 0 12 0 0 0 20 0 20 0 419400028 28909203456 12702 33554432000 4194304 4196468 140729407021648 140242545740016 140243954940546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24628] ppid=24608 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24628/stat : 24628 (java) S 24608 24608 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419400028 28909203456 12702 33554432000 4194304 4196468 140729407021648 140242544687968 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24629] ppid=24608 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/24610/task/24629/stat : 24629 (java) S 24608 24608 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419400028 28909203456 12702 33554432000 4194304 4196468 140729407021648 140242543635248 140243954940546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 52260 KiB [startup+0.701041 s] /proc/loadavg: 7.25 8.00 8.07 3/212 24629 /proc/meminfo: memFree=28792892/32770624 swapFree=66998528/67108860 [pid=24608] ppid=24605 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24608/stat : 24608 (xcsp3-exec) S 24605 24608 22865 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419400022 115843072 363 33554432000 4194304 5098028 140729321876352 140729321874456 139999918174844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23314432 140729321878390 140729321878633 140729321878633 140729321881546 0 /proc/24608/statm: 28282 363 305 221 0 87 0 [pid=24610] ppid=24608 vsize=28233768 memory=92256 CPUtime=1.7 cores=0-7 /proc/24610/stat : 24610 (java) S 24608 24608 22865 0 -1 1077944320 15794 0 0 0 163 7 0 0 20 0 20 0 419400022 28911378432 23064 33554432000 4194304 4196468 140729407021648 140729407004192 140243954929399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 /proc/24610/statm: 7058442 23064 3454 1 0 7019544 0 [pid=24610/tid=24611] ppid=24608 vsize=28233768 memory=4580 CPUtime=0.68 cores=0-7 /proc/24610/task/24611/stat : 24611 (java) R 24608 24608 22865 0 -1 4202560 9376 0 0 0 64 4 0 0 20 0 20 0 419400023 28911378432 23064 33554432000 4194304 4196468 140729407021648 140243959163056 140243584034561 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24612] ppid=24608 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24612/stat : 24612 (java) S 24608 24608 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419400023 28911378432 23064 33554432000 4194304 4196468 140729407021648 140243907550096 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24613] ppid=24608 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/24610/task/24613/stat : 24613 (java) S 24608 24608 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419400023 28911378432 23064 33554432000 4194304 4196468 140729407021648 140243906497296 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24614] ppid=24608 vsize=28233768 memory=1204 CPUtime=0 cores=0-7 /proc/24610/task/24614/stat : 24614 (java) S 24608 24608 22865 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419400023 28911378432 23064 33554432000 4194304 4196468 140729407021648 140243905445008 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 ################ # More data... # ################ [pid=24610/tid=24720] ppid=24608 vsize=28769356 memory=-6221781267475802396 CPUtime=7.53 cores=0-7 /proc/24610/task/24720/stat : 24720 (java) R 24608 24608 22865 0 -1 4202560 1265 0 0 0 753 0 0 0 20 0 28 0 419401022 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242527066432 140243595441488 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24721] ppid=24608 vsize=28769356 memory=6944656575208382560 CPUtime=7.5 cores=0-7 /proc/24610/task/24721/stat : 24721 (java) R 24608 24608 22865 0 -1 4202560 356 0 0 0 750 0 0 0 20 0 28 0 419401022 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242523905280 140243593993688 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24722] ppid=24608 vsize=28769356 memory=6944656592455360604 CPUtime=7.45 cores=0-7 /proc/24610/task/24722/stat : 24722 (java) R 24608 24608 22865 0 -1 4202560 357 0 0 0 745 0 0 0 20 0 28 0 419401022 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242530221832 140243585045791 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24723] ppid=24608 vsize=28769356 memory=0 CPUtime=7.47 cores=0-7 /proc/24610/task/24723/stat : 24723 (java) R 24608 24608 22865 0 -1 4202560 204 0 0 0 747 0 0 0 20 0 28 0 419401022 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242524958520 140243589803456 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24724] ppid=24608 vsize=28769356 memory=105690555269200 CPUtime=7.54 cores=0-7 /proc/24610/task/24724/stat : 24724 (java) R 24608 24608 22865 0 -1 4202560 221 0 0 0 754 0 0 0 20 0 28 0 419401022 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242531274624 140243591269476 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24725] ppid=24608 vsize=28769356 memory=105690555269201 CPUtime=7.41 cores=0-7 /proc/24610/task/24725/stat : 24725 (java) R 24608 24608 22865 0 -1 4202560 488 0 0 0 741 0 0 0 20 0 28 0 419401022 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242532327288 140243592387446 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 Current children cumulated CPU time: 134.84 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 415380 KiB [startup+18.0018 s]* /proc/loadavg: 7.77 8.08 8.10 9/220 24725 /proc/meminfo: memFree=28445504/32770624 swapFree=66998528/67108860 [pid=24608] ppid=24605 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24608/stat : 24608 (xcsp3-exec) S 24605 24608 22865 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419400022 115843072 363 33554432000 4194304 5098028 140729321876352 140729321874456 139999918174844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23314432 140729321878390 140729321878633 140729321878633 140729321881546 0 /proc/24608/statm: 28282 363 305 221 0 87 0 [pid=24610] ppid=24608 vsize=28769356 memory=413928 CPUtime=138.1 cores=0-7 /proc/24610/stat : 24610 (java) S 24608 24608 22865 0 -1 1077944320 61037 0 0 0 13772 38 0 0 20 0 28 0 419400022 29459820544 103482 33554432000 4194304 4196468 140729407021648 140729407004192 140243954929399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 /proc/24610/statm: 7192339 103482 3533 1 0 7153441 0 [pid=24610/tid=24611] ppid=24608 vsize=28769356 memory=8317482817917895235 CPUtime=0.78 cores=0-7 /proc/24610/task/24611/stat : 24611 (java) S 24608 24608 22865 0 -1 1077944384 9673 0 0 0 74 4 0 0 20 0 28 0 419400023 29459820544 103482 33554432000 4194304 4196468 140729407021648 140243959170176 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24612] ppid=24608 vsize=28769356 memory=-7814691523512926820 CPUtime=0.04 cores=0-7 /proc/24610/task/24612/stat : 24612 (java) S 24608 24608 22865 0 -1 1077944384 1467 0 0 0 3 1 0 0 20 0 28 0 419400023 29459820544 103482 33554432000 4194304 4196468 140729407021648 140243907550096 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24613] ppid=24608 vsize=28769356 memory=-7361183220417257581 CPUtime=0.04 cores=0-7 /proc/24610/task/24613/stat : 24613 (java) S 24608 24608 22865 0 -1 1077944384 396 0 0 0 4 0 0 0 20 0 28 0 419400023 29459820544 103482 33554432000 4194304 4196468 140729407021648 140243906497296 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24614] ppid=24608 vsize=28769356 memory=7681407940103534239 CPUtime=0.04 cores=0-7 /proc/24610/task/24614/stat : 24614 (java) S 24608 24608 22865 0 -1 1077944384 316 0 0 0 4 0 0 0 20 0 28 0 419400023 29459820544 103482 33554432000 4194304 4196468 140729407021648 140243905445008 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24615] ppid=24608 vsize=28769356 memory=-4866526891258710369 CPUtime=0.03 cores=0-7 /proc/24610/task/24615/stat : 24615 (java) S 24608 24608 22865 0 -1 1077944384 919 0 0 0 2 1 0 0 20 0 28 0 419400023 29459820544 103482 33554432000 4194304 4196468 140729407021648 140243904392208 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24616] ppid=24608 vsize=28769356 memory=-6667966544890519924 CPUtime=0.05 cores=0-7 /proc/24610/task/24616/stat : 24616 (java) S 24608 24608 22865 0 -1 1077944384 173 0 0 0 4 1 0 0 20 0 28 0 419400023 29459820544 103482 33554432000 4194304 4196468 140729407021648 140243501963664 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24617] ppid=24608 vsize=28769356 memory=-8312670058677691234 CPUtime=0.04 cores=0-7 /proc/24610/task/24617/stat : 24617 (java) S 24608 24608 22865 0 -1 1077944384 131 0 0 0 3 1 0 0 20 0 28 0 419400023 29459820544 103482 33554432000 4194304 4196468 140729407021648 140243500910864 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24618] ppid=24608 vsize=28769356 memory=-3621219715169225006 CPUtime=0.05 cores=0-7 /proc/24610/task/24618/stat : 24618 (java) S 24608 24608 22865 0 -1 1077944384 334 0 0 0 4 1 0 0 20 0 28 0 419400023 29459820544 103482 33554432000 4194304 4196468 140729407021648 140243499858576 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24619] ppid=24608 vsize=28769356 memory=-8312670058677691234 CPUtime=0.02 cores=0-7 /proc/24610/task/24619/stat : 24619 (java) S 24608 24608 22865 0 -1 1077944384 341 0 0 0 1 1 0 0 20 0 28 0 419400023 29459820544 103482 33554432000 4194304 4196468 140729407021648 140243498805776 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24620] ppid=24608 vsize=28769356 memory=7681407940103534239 CPUtime=0.02 cores=0-7 /proc/24610/task/24620/stat : 24620 (java) S 24608 24608 22865 0 -1 1077944384 1004 0 0 0 2 0 0 0 20 0 28 0 419400025 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242553109104 140243954940546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24621] ppid=24608 vsize=28769356 memory=2116 CPUtime=0 cores=0-7 /proc/24610/task/24621/stat : 24621 (java) S 24608 24608 22865 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 419400025 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242552055136 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24622] ppid=24608 vsize=28769356 memory=22536 CPUtime=0 cores=0-7 /proc/24610/task/24622/stat : 24622 (java) S 24608 24608 22865 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 419400026 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242551002752 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24623] ppid=24608 vsize=28769356 memory=14068 CPUtime=0 cores=0-7 /proc/24610/task/24623/stat : 24623 (java) S 24608 24608 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419400028 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242549951056 140243954947995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24624] ppid=24608 vsize=28769356 memory=524 CPUtime=3.19 cores=0-7 /proc/24610/task/24624/stat : 24624 (java) S 24608 24608 22865 0 -1 1077944384 9147 0 0 0 317 2 0 0 20 0 28 0 419400028 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242548897904 140243954940546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24625] ppid=24608 vsize=28769356 memory=1568 CPUtime=3.64 cores=0-7 /proc/24610/task/24625/stat : 24625 (java) S 24608 24608 22865 0 -1 1077944384 11391 0 0 0 362 2 0 0 20 0 28 0 419400028 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242547845104 140243954940546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24626] ppid=24608 vsize=28769356 memory=928 CPUtime=3.11 cores=0-7 /proc/24610/task/24626/stat : 24626 (java) S 24608 24608 22865 0 -1 1077944384 8871 0 0 0 308 3 0 0 20 0 28 0 419400028 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242546792816 140243954940546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24627] ppid=24608 vsize=28769356 memory=3704 CPUtime=1.16 cores=0-7 /proc/24610/task/24627/stat : 24627 (java) S 24608 24608 22865 0 -1 1077944384 7524 0 0 0 114 2 0 0 20 0 28 0 419400028 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242545740016 140243954940546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24628] ppid=24608 vsize=28769356 memory=1976 CPUtime=0 cores=0-7 /proc/24610/task/24628/stat : 24628 (java) S 24608 24608 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419400028 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242544687968 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24629] ppid=24608 vsize=28769356 memory=2580 CPUtime=0 cores=0-7 /proc/24610/task/24629/stat : 24629 (java) S 24608 24608 22865 0 -1 1077944384 495 0 0 0 0 0 0 0 20 0 28 0 419400028 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242543635248 140243954940546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24718] ppid=24608 vsize=28769356 memory=820 CPUtime=7.94 cores=0-7 /proc/24610/task/24718/stat : 24718 (java) R 24608 24608 22865 0 -1 4202560 150 0 0 0 794 0 0 0 20 0 28 0 419401022 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242526010688 140243592933689 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24719] ppid=24608 vsize=28769356 memory=1448 CPUtime=7.84 cores=0-7 /proc/24610/task/24719/stat : 24719 (java) R 24608 24608 22865 0 -1 4202560 159 0 0 0 784 0 0 0 20 0 28 0 419401022 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242529169592 140243585045488 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24720] ppid=24608 vsize=28769356 memory=1764 CPUtime=7.94 cores=0-7 /proc/24610/task/24720/stat : 24720 (java) R 24608 24608 22865 0 -1 4202560 1273 0 0 0 794 0 0 0 20 0 28 0 419401022 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242527066432 140243592878621 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24721] ppid=24608 vsize=28769356 memory=111632 CPUtime=7.9 cores=0-7 /proc/24610/task/24721/stat : 24721 (java) R 24608 24608 22865 0 -1 4202560 360 0 0 0 790 0 0 0 20 0 28 0 419401022 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242523905280 140243592846601 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24722] ppid=24608 vsize=28769356 memory=800 CPUtime=7.86 cores=0-7 /proc/24610/task/24722/stat : 24722 (java) R 24608 24608 22865 0 -1 4202560 358 0 0 0 786 0 0 0 20 0 28 0 419401022 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242530221832 140243592847018 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24723] ppid=24608 vsize=28769356 memory=1808 CPUtime=7.88 cores=0-7 /proc/24610/task/24723/stat : 24723 (java) R 24608 24608 22865 0 -1 4202560 204 0 0 0 788 0 0 0 20 0 28 0 419401022 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242524958520 140243593561664 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24724] ppid=24608 vsize=28769356 memory=920 CPUtime=7.95 cores=0-7 /proc/24610/task/24724/stat : 24724 (java) R 24608 24608 22865 0 -1 4202560 221 0 0 0 795 0 0 0 20 0 28 0 419401022 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242531274760 140243592452672 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24725] ppid=24608 vsize=28769356 memory=7883952819098709357 CPUtime=7.8 cores=0-7 /proc/24610/task/24725/stat : 24725 (java) R 24608 24608 22865 0 -1 4202560 491 0 0 0 780 0 0 0 20 0 28 0 419401022 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242532327288 140243593288506 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 Current children cumulated CPU time: 138.1 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 415380 KiB [startup+18.2018 s] /proc/loadavg: 7.77 8.08 8.10 9/220 24725 /proc/meminfo: memFree=28445504/32770624 swapFree=66998528/67108860 [pid=24608] ppid=24605 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24608/stat : 24608 (xcsp3-exec) S 24605 24608 22865 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419400022 115843072 363 33554432000 4194304 5098028 140729321876352 140729321874456 139999918174844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23314432 140729321878390 140729321878633 140729321878633 140729321881546 0 /proc/24608/statm: 28282 363 305 221 0 87 0 [pid=24610] ppid=24608 vsize=28769356 memory=413928 CPUtime=139.62 cores=0-7 /proc/24610/stat : 24610 (java) S 24608 24608 22865 0 -1 1077944320 61330 0 0 0 13924 38 0 0 20 0 28 0 419400022 29459820544 103482 33554432000 4194304 4196468 140729407021648 140729407004192 140243954929399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 /proc/24610/statm: 7192339 103482 3533 1 0 7153441 0 [pid=24610/tid=24611] ppid=24608 vsize=28769356 memory=16100368647981698 CPUtime=0.78 cores=0-7 /proc/24610/task/24611/stat : 24611 (java) S 24608 24608 22865 0 -1 1077944384 9673 0 0 0 74 4 0 0 20 0 28 0 419400023 29459820544 103482 33554432000 4194304 4196468 140729407021648 140243959170176 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24612] ppid=24608 vsize=28769356 memory=6944656575208382560 CPUtime=0.04 cores=0-7 /proc/24610/task/24612/stat : 24612 (java) S 24608 24608 22865 0 -1 1077944384 1467 0 0 0 3 1 0 0 20 0 28 0 419400023 29459820544 103482 33554432000 4194304 4196468 140729407021648 140243907550096 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24613] ppid=24608 vsize=28769356 memory=6944656592455360604 CPUtime=0.04 cores=0-7 /proc/24610/task/24613/stat : 24613 (java) S 24608 24608 22865 0 -1 1077944384 396 0 0 0 4 0 0 0 20 0 28 0 419400023 29459820544 103482 33554432000 4194304 4196468 140729407021648 140243906497296 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24614] ppid=24608 vsize=28769356 memory=7517780189549538453 CPUtime=0.04 cores=0-7 /proc/24610/task/24614/stat : 24614 (java) S 24608 24608 22865 0 -1 1077944384 316 0 0 0 4 0 0 0 20 0 28 0 419400023 29459820544 103482 33554432000 4194304 4196468 140729407021648 140243905445008 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24615] ppid=24608 vsize=28769356 memory=29879220567 CPUtime=0.03 cores=0-7 /proc/24610/task/24615/stat : 24615 (java) S 24608 24608 22865 0 -1 1077944384 919 0 0 0 2 1 0 0 20 0 28 0 419400023 29459820544 103482 33554432000 4194304 4196468 140729407021648 140243904392208 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24616] ppid=24608 vsize=28769356 memory=139782731476443 CPUtime=0.05 cores=0-7 /proc/24610/task/24616/stat : 24616 (java) S 24608 24608 22865 0 -1 1077944384 173 0 0 0 4 1 0 0 20 0 28 0 419400023 29459820544 103482 33554432000 4194304 4196468 140729407021648 140243501963664 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24617] ppid=24608 vsize=28769356 memory=6944656592455360604 CPUtime=0.04 cores=0-7 /proc/24610/task/24617/stat : 24617 (java) S 24608 24608 22865 0 -1 1077944384 131 0 0 0 3 1 0 0 20 0 28 0 419400023 29459820544 103482 33554432000 4194304 4196468 140729407021648 140243500910864 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24618] ppid=24608 vsize=28769356 memory=6944656592455097440 CPUtime=0.05 cores=0-7 /proc/24610/task/24618/stat : 24618 (java) S 24608 24608 22865 0 -1 1077944384 334 0 0 0 4 1 0 0 20 0 28 0 419400023 29459820544 103482 33554432000 4194304 4196468 140729407021648 140243499858576 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24619] ppid=24608 vsize=28769356 memory=6944656592455360604 CPUtime=0.02 cores=0-7 /proc/24610/task/24619/stat : 24619 (java) S 24608 24608 22865 0 -1 1077944384 341 0 0 0 1 1 0 0 20 0 28 0 419400023 29459820544 103482 33554432000 4194304 4196468 140729407021648 140243498805776 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24620] ppid=24608 vsize=28769356 memory=6944656592387989600 CPUtime=0.02 cores=0-7 /proc/24610/task/24620/stat : 24620 (java) S 24608 24608 22865 0 -1 1077944384 1004 0 0 0 2 0 0 0 20 0 28 0 419400025 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242553109104 140243954940546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24621] ppid=24608 vsize=28769356 memory=6655300316396806240 CPUtime=0 cores=0-7 /proc/24610/task/24621/stat : 24621 (java) S 24608 24608 22865 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 419400025 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242552055136 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24622] ppid=24608 vsize=28769356 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/24610/task/24622/stat : 24622 (java) S 24608 24608 22865 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 419400026 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242551002752 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24623] ppid=24608 vsize=28769356 memory=7737867391768161381 CPUtime=0 cores=0-7 /proc/24610/task/24623/stat : 24623 (java) S 24608 24608 22865 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419400028 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242549951056 140243954947995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24624] ppid=24608 vsize=28769356 memory=5787213827163908199 CPUtime=3.19 cores=0-7 /proc/24610/task/24624/stat : 24624 (java) S 24608 24608 22865 0 -1 1077944384 9147 0 0 0 317 2 0 0 20 0 28 0 419400028 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242548897904 140243954940546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24625] ppid=24608 vsize=28769356 memory=7525061348836010064 CPUtime=3.64 cores=0-7 /proc/24610/task/24625/stat : 24625 (java) S 24608 24608 22865 0 -1 1077944384 11399 0 0 0 362 2 0 0 20 0 28 0 419400028 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242547845104 140243954940546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24626] ppid=24608 vsize=28769356 memory=7525061348836010064 CPUtime=3.11 cores=0-7 /proc/24610/task/24626/stat : 24626 (java) S 24608 24608 22865 0 -1 1077944384 8885 0 0 0 308 3 0 0 20 0 28 0 419400028 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242546792816 140243954940546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24627] ppid=24608 vsize=28769356 memory=7525061348836010064 CPUtime=1.16 cores=0-7 /proc/24610/task/24627/stat : 24627 (java) S 24608 24608 22865 0 -1 1077944384 7524 0 0 0 114 2 0 0 20 0 28 0 419400028 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242545740016 140243954940546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24628] ppid=24608 vsize=28769356 memory=7954321636225208424 CPUtime=0 cores=0-7 /proc/24610/task/24628/stat : 24628 (java) S 24608 24608 22865 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419400028 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242544687968 140243954939605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24629] ppid=24608 vsize=28769356 memory=139782835259008 CPUtime=0 cores=0-7 /proc/24610/task/24629/stat : 24629 (java) S 24608 24608 22865 0 -1 1077944384 497 0 0 0 0 0 0 0 20 0 28 0 419400028 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242543635248 140243954940546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24718] ppid=24608 vsize=28769356 memory=5865184676375455076 CPUtime=8.13 cores=0-7 /proc/24610/task/24718/stat : 24718 (java) R 24608 24608 22865 0 -1 4202560 159 0 0 0 813 0 0 0 20 0 28 0 419401022 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242526010688 140243592384048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24719] ppid=24608 vsize=28769356 memory=6369311852926952298 CPUtime=8.03 cores=0-7 /proc/24610/task/24719/stat : 24719 (java) R 24608 24608 22865 0 -1 4202560 168 0 0 0 803 0 0 0 20 0 28 0 419401022 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242529169592 140243592708683 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24720] ppid=24608 vsize=28769356 memory=5793127082337264749 CPUtime=8.13 cores=0-7 /proc/24610/task/24720/stat : 24720 (java) R 24608 24608 22865 0 -1 4202560 1326 0 0 0 813 0 0 0 20 0 28 0 419401022 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242527066432 140243594131391 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24721] ppid=24608 vsize=28769356 memory=6082208476193711207 CPUtime=8.09 cores=0-7 /proc/24610/task/24721/stat : 24721 (java) R 24608 24608 22865 0 -1 4202560 438 0 0 0 809 0 0 0 20 0 28 0 419401022 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242523905416 140243590637994 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24722] ppid=24608 vsize=28769356 memory=6442208378631841129 CPUtime=8.05 cores=0-7 /proc/24610/task/24722/stat : 24722 (java) R 24608 24608 22865 0 -1 4202560 376 0 0 0 805 0 0 0 20 0 28 0 419401022 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242530221832 140243593603306 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24723] ppid=24608 vsize=28769356 memory=4947159701091100040 CPUtime=8.07 cores=0-7 /proc/24610/task/24723/stat : 24723 (java) R 24608 24608 22865 0 -1 4202560 217 0 0 0 807 0 0 0 20 0 28 0 419401022 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242524958520 140243589832030 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24724] ppid=24608 vsize=28769356 memory=0 CPUtime=8.14 cores=0-7 /proc/24610/task/24724/stat : 24724 (java) R 24608 24608 22865 0 -1 4202560 235 0 0 0 814 0 0 0 20 0 28 0 419401022 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242531274760 140243593172544 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 [pid=24610/tid=24725] ppid=24608 vsize=28769356 memory=38609 CPUtime=7.99 cores=0-7 /proc/24610/task/24725/stat : 24725 (java) R 24608 24608 22865 0 -1 4202560 566 0 0 0 799 0 0 0 20 0 28 0 419401022 29459820544 103482 33554432000 4194304 4196468 140729407021648 140242532327288 140243592916887 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31891456 140729407026154 140729407026326 140729407026326 140729407029199 0 Current children cumulated CPU time: 139.62 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 415380 KiB [startup+18.3012 s] /proc/loadavg: 7.77 8.08 8.10 9/220 24725 /proc/meminfo: memFree=28445504/32770624 swapFree=66998528/67108860 [pid=24608] ppid=24605 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/24608/stat : 24608 (xcsp3-exec) S 24605 24608 22865 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 419400022 115843072 363 33554432000 4194304 5098028 140729321876352 140729321874456 139999918174844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23314432 140729321878390 140729321878633 140729321878633 140729321881546 0 /proc/24608/statm: 28282 363 305 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1452 KiB Child status: 0 Real time (s): 18.312 CPU time (s): 140.366 CPU user time (s): 139.962 CPU system time (s): 0.403521 CPU usage (%): 766.524 Max. virtual memory (cumulated for all children) (KiB): 28884292 Max. memory (cumulated for all children) (KiB): 418428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 139.962 system time used= 0.403521 maximum resident set size= 429320 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 62785 page faults= 0 swaps= 0 block input operations= 0 block output operations= 120 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6656 involuntary context switches= 3187 # summary of solver processes directly reported to runsolver: # pid: 24608 # total CPU time (s): 140.366 # total CPU user time (s): 139.962 # total CPU system time (s): 0.403521 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.19833 second user time and 0.225611 second system time The end
Begin job on node127 at 2019-09-14 05:21:11 IDJOB=4394533 IDBENCH=128339 IDSOLVER=2843 FILE ID=node127/4394533-1568431312 RUNJOBID= node127-1568426152-22892 PBS_JOBID= 21702286 Free space on /tmp= 61308 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j60/Rcpsp-j60-21-01.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-4394533-1568431312/watcher-4394533-1568431312 -o /tmp/evaluation-result-4394533-1568431312/solver-4394533-1568431312 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568426152-22892 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 412859990 HOME/instance-4394533-1568431312.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 90855c6c3ff0f3816786e6ae00e0aae6 RANDOM SEED=412859990 node127.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.55 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.55 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.55 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.55 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: 28846220 kB MemAvailable: 31871596 kB Buffers: 184100 kB Cached: 3107616 kB SwapCached: 6772 kB Active: 1904620 kB Inactive: 1399228 kB Active(anon): 5140 kB Inactive(anon): 48308 kB Active(file): 1899480 kB Inactive(file): 1350920 kB Unevictable: 109300 kB Mlocked: 109300 kB SwapTotal: 67108860 kB SwapFree: 66998528 kB Dirty: 26412 kB Writeback: 0 kB AnonPages: 129124 kB Mapped: 44992 kB Shmem: 32700 kB Slab: 211812 kB SReclaimable: 181624 kB SUnreclaim: 30188 kB KernelStack: 3728 kB PageTables: 5272 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498572 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 83968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 61284 MiB End job on node127 at 2019-09-14 05:21:30