Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 139 | 588.703 | 74.5246 |
Name | Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-37-03.xml |
MD5SUM | 7e8aca8f1f1855a8a689daa123caec8a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 139 |
Best CPU time to get the best result obtained on this benchmark | 248.551 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 62 |
Number of constraints | 135 |
Number of domains | 2 |
Minimum domain size | 1 |
Maximum domain size | 391 |
Distribution of domain sizes | [{"size":1,"count":1},{"size":391,"count":61}] |
Minimum variable degree | 3 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":2},{"degree":5,"count":13},{"degree":6,"count":23},{"degree":7,"count":16},{"degree":8,"count":5},{"degree":9,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 34 |
Distribution of constraint arities | [{"arity":2,"count":131},{"arity":28,"count":2},{"arity":31,"count":1},{"arity":34,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 131 |
Distribution of constraint types | [{"type":"intension","count":131},{"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-4400188-1568711050.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400188-1568711050.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 2.07/0.80 c solve instance... 2.75/0.93 o 171 2.75/0.99 o 170 3.46/1.05 o 168 14.38/2.43 o 167 14.38/2.47 o 166 15.08/2.54 o 163 16.62/2.74 o 158 16.62/2.79 o 157 19.05/3.02 o 156 20.59/3.29 o 155 21.33/3.30 o 150 22.15/3.42 o 149 24.47/3.79 o 148 29.22/4.36 o 147 30.81/4.53 o 146 33.10/4.83 o 145 68.94/9.37 o 144 72.90/9.81 o 143 87.21/11.70 o 142 103.93/13.73 o 141 123.09/16.20 o 140 227.41/29.23 o 139 588.61/74.51 s OPTIMUM FOUND 588.61/74.51 v <instantiation> 588.61/74.51 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> 588.61/74.51 v <values>0 0 8 0 16 1 3 1 13 8 4 30 25 25 34 36 18 44 14 19 65 50 51 24 47 23 55 41 34 56 93 60 45 60 113 74 79 60 55 74 109 93 119 79 79 92 106 103 69 113 86 115 103 83 106 127 115 121 131 129 129 139 </values> 588.61/74.51 v </instantiation>
OK 139
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 (14612 MiB free) memory of node 1: 16384 MiB (15384 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400188-1568711050/watcher-4400188-1568711050 -o /tmp/evaluation-result-4400188-1568711050/solver-4400188-1568711050 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568700865-599 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 956613392 HOME/instance-4400188-1568711050.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=5126, runsolver pid=5123 Current StackSize limit: 8192 KiB [startup+0.100136 s]* /proc/loadavg: 7.90 8.00 8.05 3/214 5147 /proc/meminfo: memFree=30698236/32770624 swapFree=66954172/67108860 [pid=5126] ppid=5123 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5126/stat : 5126 (xcsp3-exec) S 5123 5126 561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447046920 115843072 362 33554432000 4194304 5098028 140735938556128 140735938554232 140302986007164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26071040 140735938560892 140735938561134 140735938561134 140735938564042 0 /proc/5126/statm: 28282 362 304 221 0 87 0 [pid=5128] ppid=5126 vsize=28227396 memory=30468 CPUtime=0.12 cores=0-7 /proc/5128/stat : 5128 (java) S 5126 5126 561 0 -1 1077944320 5514 0 0 0 11 1 0 0 20 0 20 0 447046920 28904853504 7617 33554432000 4194304 4196468 140730658529200 140730658511744 140475870699255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 /proc/5128/statm: 7056849 7617 3152 1 0 7019032 0 [pid=5128/tid=5129] ppid=5126 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/5128/task/5129/stat : 5129 (java) R 5126 5126 561 0 -1 4202560 3429 0 0 0 8 1 0 0 20 0 20 0 447046920 28904853504 7617 33554432000 4194304 4196468 140730658529200 140475874931520 140475870720602 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5130] ppid=5126 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/5128/task/5130/stat : 5130 (java) S 5126 5126 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447046921 28904853504 7617 33554432000 4194304 4196468 140730658529200 140475421858960 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5131] ppid=5126 vsize=28227396 memory=139915147716224 CPUtime=0 cores=0-7 /proc/5128/task/5131/stat : 5131 (java) S 5126 5126 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447046921 28904853504 7617 33554432000 4194304 4196468 140730658529200 140475420806160 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5132] ppid=5126 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5132/stat : 5132 (java) S 5126 5126 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447046921 28904853504 7617 33554432000 4194304 4196468 140730658529200 140475419753360 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5133] ppid=5126 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5133/stat : 5133 (java) S 5126 5126 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447046921 28904853504 7617 33554432000 4194304 4196468 140730658529200 140475418700560 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5134] ppid=5126 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5134/stat : 5134 (java) S 5126 5126 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447046921 28904853504 7617 33554432000 4194304 4196468 140730658529200 140475417647760 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5135] ppid=5126 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5128/task/5135/stat : 5135 (java) S 5126 5126 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447046921 28904853504 7617 33554432000 4194304 4196468 140730658529200 140475416594960 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5136] ppid=5126 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5136/stat : 5136 (java) S 5126 5126 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447046921 28904853504 7617 33554432000 4194304 4196468 140730658529200 140475415542160 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5137] ppid=5126 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5137/stat : 5137 (java) S 5126 5126 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447046921 28904853504 7617 33554432000 4194304 4196468 140730658529200 140475414489360 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5138] ppid=5126 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5138/stat : 5138 (java) S 5126 5126 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447046923 28904853504 7617 33554432000 4194304 4196468 140730658529200 140474987076464 140475870710402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5139] ppid=5126 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5139/stat : 5139 (java) S 5126 5126 561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447046923 28904853504 7617 33554432000 4194304 4196468 140730658529200 140474986022432 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5140] ppid=5126 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5140/stat : 5140 (java) S 5126 5126 561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447046923 28904853504 7617 33554432000 4194304 4196468 140730658529200 140474984969584 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5141] ppid=5126 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5141/stat : 5141 (java) S 5126 5126 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447046926 28904853504 7617 33554432000 4194304 4196468 140730658529200 140474983917904 140475870717851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5142] ppid=5126 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5142/stat : 5142 (java) S 5126 5126 561 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 20 0 447046926 28904853504 7617 33554432000 4194304 4196468 140730658529200 140474982865264 140475870710402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5143] ppid=5126 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5143/stat : 5143 (java) S 5126 5126 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447046926 28904853504 7617 33554432000 4194304 4196468 140730658529200 140474981812464 140475870710402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5144] ppid=5126 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5144/stat : 5144 (java) S 5126 5126 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447046926 28904853504 7617 33554432000 4194304 4196468 140730658529200 140474980759664 140475870710402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5145] ppid=5126 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/5128/task/5145/stat : 5145 (java) S 5126 5126 561 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 20 0 447046926 28904853504 7617 33554432000 4194304 4196468 140730658529200 140474979706864 140475870710402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5146] ppid=5126 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5146/stat : 5146 (java) S 5126 5126 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447046926 28904853504 7617 33554432000 4194304 4196468 140730658529200 140474978655328 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5147] ppid=5126 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5128/task/5147/stat : 5147 (java) S 5126 5126 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447046926 28904853504 7617 33554432000 4194304 4196468 140730658529200 140474977602608 140475870710402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31916 KiB [startup+0.210766 s]* /proc/loadavg: 7.90 8.00 8.05 3/214 5147 /proc/meminfo: memFree=30685480/32770624 swapFree=66954172/67108860 [pid=5126] ppid=5123 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5126/stat : 5126 (xcsp3-exec) S 5123 5126 561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447046920 115843072 362 33554432000 4194304 5098028 140735938556128 140735938554232 140302986007164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26071040 140735938560892 140735938561134 140735938561134 140735938564042 0 /proc/5126/statm: 28282 362 304 221 0 87 0 [pid=5128] ppid=5126 vsize=28227396 memory=41424 CPUtime=0.34 cores=0-7 /proc/5128/stat : 5128 (java) S 5126 5126 561 0 -1 1077944320 9121 0 0 0 31 3 0 0 20 0 20 0 447046920 28904853504 10356 33554432000 4194304 4196468 140730658529200 140730658511744 140475870699255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 /proc/5128/statm: 7056849 10356 3305 1 0 7019032 0 [pid=5128/tid=5129] ppid=5126 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/5128/task/5129/stat : 5129 (java) R 5126 5126 561 0 -1 4202560 6237 0 0 0 18 2 0 0 20 0 20 0 447046920 28904853504 10356 33554432000 4194304 4196468 140730658529200 140475874932704 140475507847016 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5130] ppid=5126 vsize=28227396 memory=329 CPUtime=0 cores=0-7 /proc/5128/task/5130/stat : 5130 (java) S 5126 5126 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447046921 28904853504 10356 33554432000 4194304 4196468 140730658529200 140475421858960 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5131] ppid=5126 vsize=28227396 memory=139915147731770 CPUtime=0 cores=0-7 /proc/5128/task/5131/stat : 5131 (java) S 5126 5126 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447046921 28904853504 10356 33554432000 4194304 4196468 140730658529200 140475420806160 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5132] ppid=5126 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5128/task/5132/stat : 5132 (java) S 5126 5126 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447046921 28904853504 10356 33554432000 4194304 4196468 140730658529200 140475419753360 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5133] ppid=5126 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5133/stat : 5133 (java) S 5126 5126 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447046921 28904853504 10356 33554432000 4194304 4196468 140730658529200 140475418700560 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5134] ppid=5126 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5134/stat : 5134 (java) S 5126 5126 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447046921 28904853504 10356 33554432000 4194304 4196468 140730658529200 140475417647760 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5135] ppid=5126 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5128/task/5135/stat : 5135 (java) S 5126 5126 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447046921 28904853504 10356 33554432000 4194304 4196468 140730658529200 140475416594960 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5136] ppid=5126 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5136/stat : 5136 (java) S 5126 5126 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447046921 28904853504 10356 33554432000 4194304 4196468 140730658529200 140475415542160 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5137] ppid=5126 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5137/stat : 5137 (java) S 5126 5126 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447046921 28904853504 10356 33554432000 4194304 4196468 140730658529200 140475414489360 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5138] ppid=5126 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5138/stat : 5138 (java) S 5126 5126 561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447046923 28904853504 10356 33554432000 4194304 4196468 140730658529200 140474987076464 140475870710402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5139] ppid=5126 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5139/stat : 5139 (java) S 5126 5126 561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447046923 28904853504 10356 33554432000 4194304 4196468 140730658529200 140474986022432 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5140] ppid=5126 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5140/stat : 5140 (java) S 5126 5126 561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447046923 28904853504 10356 33554432000 4194304 4196468 140730658529200 140474984969584 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5141] ppid=5126 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5141/stat : 5141 (java) S 5126 5126 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447046926 28904853504 10356 33554432000 4194304 4196468 140730658529200 140474983917904 140475870717851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5142] ppid=5126 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/5128/task/5142/stat : 5142 (java) S 5126 5126 561 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 20 0 447046926 28904853504 10356 33554432000 4194304 4196468 140730658529200 140474982865264 140475870710402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5143] ppid=5126 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/5128/task/5143/stat : 5143 (java) S 5126 5126 561 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 20 0 447046926 28904853504 10356 33554432000 4194304 4196468 140730658529200 140474981812464 140475870710402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5144] ppid=5126 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/5128/task/5144/stat : 5144 (java) R 5126 5126 561 0 -1 1077944384 251 0 0 0 1 0 0 0 20 0 20 0 447046926 28904853504 10356 33554432000 4194304 4196468 140730658529200 140474980759664 140475870710402 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5145] ppid=5126 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/5128/task/5145/stat : 5145 (java) R 5126 5126 561 0 -1 4202560 717 0 0 0 8 0 0 0 20 0 20 0 447046926 28904853504 10356 33554432000 4194304 4196468 140730658529200 140474979706672 140475849219406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5146] ppid=5126 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5146/stat : 5146 (java) S 5126 5126 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447046926 28904853504 10356 33554432000 4194304 4196468 140730658529200 140474978655328 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5147] ppid=5126 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5128/task/5147/stat : 5147 (java) S 5126 5126 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447046926 28904853504 10356 33554432000 4194304 4196468 140730658529200 140474977602608 140475870710402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42872 KiB [startup+0.310791 s]* /proc/loadavg: 7.90 8.00 8.05 4/214 5147 /proc/meminfo: memFree=30678580/32770624 swapFree=66954172/67108860 [pid=5126] ppid=5123 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5126/stat : 5126 (xcsp3-exec) S 5123 5126 561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447046920 115843072 362 33554432000 4194304 5098028 140735938556128 140735938554232 140302986007164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26071040 140735938560892 140735938561134 140735938561134 140735938564042 0 /proc/5126/statm: 28282 362 304 221 0 87 0 [pid=5128] ppid=5126 vsize=28231652 memory=50340 CPUtime=0.52 cores=0-7 /proc/5128/stat : 5128 (java) S 5126 5126 561 0 -1 1077944320 10411 0 0 0 48 4 0 0 20 0 20 0 447046920 28909211648 12585 33554432000 4194304 4196468 140730658529200 140730658511744 140475870699255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 /proc/5128/statm: 7057913 12585 3354 1 0 7019032 0 [pid=5128/tid=5129] ppid=5126 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/5128/task/5129/stat : 5129 (java) R 5126 5126 561 0 -1 4202560 7344 0 0 0 27 3 0 0 20 0 20 0 447046920 28909211648 12585 33554432000 4194304 4196468 140730658529200 140475874930368 140475854779742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5130] ppid=5126 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5130/stat : 5130 (java) S 5126 5126 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447046921 28909211648 12585 33554432000 4194304 4196468 140730658529200 140475421858960 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5131] ppid=5126 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5131/stat : 5131 (java) S 5126 5126 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447046921 28909211648 12585 33554432000 4194304 4196468 140730658529200 140475420806160 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5132] ppid=5126 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5132/stat : 5132 (java) S 5126 5126 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447046921 28909211648 12585 33554432000 4194304 4196468 140730658529200 140475419753360 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5133] ppid=5126 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5133/stat : 5133 (java) S 5126 5126 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447046921 28909211648 12585 33554432000 4194304 4196468 140730658529200 140475418700560 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5134] ppid=5126 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5134/stat : 5134 (java) S 5126 5126 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447046921 28909211648 12585 33554432000 4194304 4196468 140730658529200 140475417647760 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5135] ppid=5126 vsize=28231652 memory=139915002210991 CPUtime=0 cores=0-7 /proc/5128/task/5135/stat : 5135 (java) S 5126 5126 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447046921 28909211648 12585 33554432000 4194304 4196468 140730658529200 140475416594960 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5136] ppid=5126 vsize=28231652 memory=139915002213296 CPUtime=0 cores=0-7 /proc/5128/task/5136/stat : 5136 (java) S 5126 5126 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447046921 28909211648 12585 33554432000 4194304 4196468 140730658529200 140475415542160 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5137] ppid=5126 vsize=28231652 memory=139915002215600 CPUtime=0 cores=0-7 /proc/5128/task/5137/stat : 5137 (java) S 5126 5126 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447046921 28909211648 12585 33554432000 4194304 4196468 140730658529200 140475414489360 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5138] ppid=5126 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5138/stat : 5138 (java) S 5126 5126 561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447046923 28909211648 12585 33554432000 4194304 4196468 140730658529200 140474987076464 140475870710402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5139] ppid=5126 vsize=28231652 memory=279830004445072 CPUtime=0 cores=0-7 /proc/5128/task/5139/stat : 5139 (java) S 5126 5126 561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447046923 28909211648 12585 33554432000 4194304 4196468 140730658529200 140474986022432 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5140] ppid=5126 vsize=28231652 memory=279830004442768 CPUtime=0 cores=0-7 /proc/5128/task/5140/stat : 5140 (java) S 5126 5126 561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447046923 28909211648 12585 33554432000 4194304 4196468 140730658529200 140474984969584 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5141] ppid=5126 vsize=28231652 memory=279830004449680 CPUtime=0 cores=0-7 /proc/5128/task/5141/stat : 5141 (java) S 5126 5126 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447046926 28909211648 12585 33554432000 4194304 4196468 140730658529200 140474983917904 140475870717851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5142] ppid=5126 vsize=28231652 memory=279830004390960 CPUtime=0.03 cores=0-7 /proc/5128/task/5142/stat : 5142 (java) S 5126 5126 561 0 -1 1077944384 519 0 0 0 3 0 0 0 20 0 20 0 447046926 28909211648 12585 33554432000 4194304 4196468 140730658529200 140474982865264 140475870710402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5143] ppid=5126 vsize=28231652 memory=279830004463504 CPUtime=0.02 cores=0-7 /proc/5128/task/5143/stat : 5143 (java) S 5126 5126 561 0 -1 1077944384 104 0 0 0 2 0 0 0 20 0 20 0 447046926 28909211648 12585 33554432000 4194304 4196468 140730658529200 140474981812464 140475870710402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5144] ppid=5126 vsize=28231652 memory=279830004470416 CPUtime=0.03 cores=0-7 /proc/5128/task/5144/stat : 5144 (java) R 5126 5126 561 0 -1 4202560 368 0 0 0 3 0 0 0 20 0 20 0 447046926 28909211648 12585 33554432000 4194304 4196468 140730658529200 140474980759664 140475852220501 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5145] ppid=5126 vsize=28231652 memory=279830004468112 CPUtime=0.12 cores=0-7 /proc/5128/task/5145/stat : 5145 (java) S 5126 5126 561 0 -1 1077944384 783 0 0 0 12 0 0 0 20 0 20 0 447046926 28909211648 12585 33554432000 4194304 4196468 140730658529200 140474979706864 140475870710402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5146] ppid=5126 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5146/stat : 5146 (java) S 5126 5126 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447046926 28909211648 12585 33554432000 4194304 4196468 140730658529200 140474978655328 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5147] ppid=5126 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/5128/task/5147/stat : 5147 (java) S 5126 5126 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447046926 28909211648 12585 33554432000 4194304 4196468 140730658529200 140474977602608 140475870710402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51788 KiB [startup+0.700996 s] /proc/loadavg: 7.90 8.00 8.05 7/214 5147 /proc/meminfo: memFree=30665916/32770624 swapFree=66954172/67108860 [pid=5126] ppid=5123 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5126/stat : 5126 (xcsp3-exec) S 5123 5126 561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447046920 115843072 362 33554432000 4194304 5098028 140735938556128 140735938554232 140302986007164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26071040 140735938560892 140735938561134 140735938561134 140735938564042 0 /proc/5126/statm: 28282 362 304 221 0 87 0 [pid=5128] ppid=5126 vsize=28233776 memory=85792 CPUtime=1.61 cores=0-7 /proc/5128/stat : 5128 (java) S 5126 5126 561 0 -1 1077944320 14183 0 0 0 155 6 0 0 20 0 20 0 447046920 28911386624 21448 33554432000 4194304 4196468 140730658529200 140730658511744 140475870699255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 /proc/5128/statm: 7058444 21448 3447 1 0 7019544 0 [pid=5128/tid=5129] ppid=5126 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/5128/task/5129/stat : 5129 (java) R 5126 5126 561 0 -1 4202560 8882 0 0 0 63 4 0 0 20 0 20 0 447046920 28911386624 21448 33554432000 4194304 4196468 140730658529200 140475874933888 140475507816865 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5130] ppid=5126 vsize=28233776 memory=139915002422128 CPUtime=0 cores=0-7 /proc/5128/task/5130/stat : 5130 (java) S 5126 5126 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447046921 28911386624 21448 33554432000 4194304 4196468 140730658529200 140475421858960 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5131] ppid=5126 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/5128/task/5131/stat : 5131 (java) S 5126 5126 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447046921 28911386624 21448 33554432000 4194304 4196468 140730658529200 140475420806160 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5132] ppid=5126 vsize=28233776 memory=780 CPUtime=0 cores=0-7 /proc/5128/task/5132/stat : 5132 (java) S 5126 5126 561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447046921 28911386624 21448 33554432000 4194304 4196468 140730658529200 140475419753360 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 ################ # More data... # ################ [pid=5128/tid=5145] ppid=5126 vsize=28834900 memory=780 CPUtime=0.91 cores=0-7 /proc/5128/task/5145/stat : 5145 (java) S 5126 5126 561 0 -1 1077944384 7272 0 0 0 90 1 0 0 20 0 28 0 447046926 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474979706864 140475870710402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5146] ppid=5126 vsize=28834900 memory=1436 CPUtime=0 cores=0-7 /proc/5128/task/5146/stat : 5146 (java) S 5126 5126 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447046926 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474978655328 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5147] ppid=5126 vsize=28834900 memory=1984 CPUtime=0 cores=0-7 /proc/5128/task/5147/stat : 5147 (java) S 5126 5126 561 0 -1 1077944384 1980 0 0 0 0 0 0 0 20 0 28 0 447046926 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474977602608 140475870710402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5326] ppid=5126 vsize=28834900 memory=2424 CPUtime=44.67 cores=0-7 /proc/5128/task/5326/stat : 5326 (java) R 5126 5126 561 0 -1 4202560 1735 0 0 0 4466 1 0 0 20 0 28 0 447049843 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474962074984 140475514236731 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5327] ppid=5126 vsize=28834900 memory=1764 CPUtime=44.67 cores=0-7 /proc/5128/task/5327/stat : 5327 (java) R 5126 5126 561 0 -1 4202560 538 0 0 0 4467 0 0 0 20 0 28 0 447049843 29526937600 56852 33554432000 4194304 4196468 140730658529200 140473902546968 140475515329200 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5328] ppid=5126 vsize=28834900 memory=111636 CPUtime=44.62 cores=0-7 /proc/5128/task/5328/stat : 5328 (java) R 5126 5126 561 0 -1 4202560 490 0 0 0 4462 0 0 0 20 0 28 0 447049843 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474961022896 140475515829832 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5329] ppid=5126 vsize=28834900 memory=804 CPUtime=44.39 cores=0-7 /proc/5128/task/5329/stat : 5329 (java) R 5126 5126 561 0 -1 4202560 1397 0 0 0 4438 1 0 0 20 0 28 0 447049843 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474964180920 140475518015617 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5330] ppid=5126 vsize=28834900 memory=1412 CPUtime=44.26 cores=0-7 /proc/5128/task/5330/stat : 5330 (java) R 5126 5126 561 0 -1 4202560 1063 0 0 0 4426 0 0 0 20 0 28 0 447049843 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474966285824 140475513518400 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5331] ppid=5126 vsize=28834900 memory=3444 CPUtime=44.66 cores=0-7 /proc/5128/task/5331/stat : 5331 (java) R 5126 5126 561 0 -1 4202560 755 0 0 0 4466 0 0 0 20 0 28 0 447049843 29526937600 56852 33554432000 4194304 4196468 140730658529200 140473903599032 140475515831741 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5332] ppid=5126 vsize=28834900 memory=1448 CPUtime=44.6 cores=0-7 /proc/5128/task/5332/stat : 5332 (java) R 5126 5126 561 0 -1 4202560 688 0 0 0 4460 0 0 0 20 0 28 0 447049843 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474965233576 140475515831298 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5333] ppid=5126 vsize=28834900 memory=227408 CPUtime=44.67 cores=0-7 /proc/5128/task/5333/stat : 5333 (java) R 5126 5126 561 0 -1 4202560 524 0 0 0 4467 0 0 0 20 0 28 0 447049843 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474963131696 140475515985230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 Current children cumulated CPU time: 584.68 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 228856 KiB [startup+74.4012 s] /proc/loadavg: 8.53 8.17 8.11 9/223 5336 /proc/meminfo: memFree=30502352/32770624 swapFree=66954172/67108860 [pid=5126] ppid=5123 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5126/stat : 5126 (xcsp3-exec) S 5123 5126 561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447046920 115843072 362 33554432000 4194304 5098028 140735938556128 140735938554232 140302986007164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26071040 140735938560892 140735938561134 140735938561134 140735938564042 0 /proc/5126/statm: 28282 362 304 221 0 87 0 [pid=5128] ppid=5126 vsize=28834900 memory=227408 CPUtime=587.81 cores=0-7 /proc/5128/stat : 5128 (java) S 5126 5126 561 0 -1 1077944320 91459 0 0 0 58738 43 0 0 20 0 28 0 447046920 29526937600 56852 33554432000 4194304 4196468 140730658529200 140730658511744 140475870699255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 /proc/5128/statm: 7208725 56852 3533 1 0 7169825 0 [pid=5128/tid=5129] ppid=5126 vsize=28834900 memory=8112282956445269571 CPUtime=0.81 cores=0-7 /proc/5128/task/5129/stat : 5129 (java) S 5126 5126 561 0 -1 1077944384 9435 0 0 0 76 5 0 0 20 0 28 0 447046920 29526937600 56852 33554432000 4194304 4196468 140730658529200 140475874940032 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5130] ppid=5126 vsize=28834900 memory=992 CPUtime=0.03 cores=0-7 /proc/5128/task/5130/stat : 5130 (java) S 5126 5126 561 0 -1 1077944384 1630 0 0 0 3 0 0 0 20 0 28 0 447046921 29526937600 56852 33554432000 4194304 4196468 140730658529200 140475421858960 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5131] ppid=5126 vsize=28834900 memory=2044 CPUtime=0.03 cores=0-7 /proc/5128/task/5131/stat : 5131 (java) S 5126 5126 561 0 -1 1077944384 2319 0 0 0 2 1 0 0 20 0 28 0 447046921 29526937600 56852 33554432000 4194304 4196468 140730658529200 140475420806160 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5132] ppid=5126 vsize=28834900 memory=1428 CPUtime=0.03 cores=0-7 /proc/5128/task/5132/stat : 5132 (java) S 5126 5126 561 0 -1 1077944384 1104 0 0 0 3 0 0 0 20 0 28 0 447046921 29526937600 56852 33554432000 4194304 4196468 140730658529200 140475419753360 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5133] ppid=5126 vsize=28834900 memory=1808 CPUtime=0.04 cores=0-7 /proc/5128/task/5133/stat : 5133 (java) S 5126 5126 561 0 -1 1077944384 1940 0 0 0 4 0 0 0 20 0 28 0 447046921 29526937600 56852 33554432000 4194304 4196468 140730658529200 140475418700560 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5134] ppid=5126 vsize=28834900 memory=11624 CPUtime=0.03 cores=0-7 /proc/5128/task/5134/stat : 5134 (java) S 5126 5126 561 0 -1 1077944384 631 0 0 0 3 0 0 0 20 0 28 0 447046921 29526937600 56852 33554432000 4194304 4196468 140730658529200 140475417647760 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5135] ppid=5126 vsize=28834900 memory=740 CPUtime=0.03 cores=0-7 /proc/5128/task/5135/stat : 5135 (java) S 5126 5126 561 0 -1 1077944384 435 0 0 0 3 0 0 0 20 0 28 0 447046921 29526937600 56852 33554432000 4194304 4196468 140730658529200 140475416594960 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5136] ppid=5126 vsize=28834900 memory=1056 CPUtime=0.04 cores=0-7 /proc/5128/task/5136/stat : 5136 (java) S 5126 5126 561 0 -1 1077944384 1876 0 0 0 3 1 0 0 20 0 28 0 447046921 29526937600 56852 33554432000 4194304 4196468 140730658529200 140475415542160 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5137] ppid=5126 vsize=28834900 memory=1552 CPUtime=0.03 cores=0-7 /proc/5128/task/5137/stat : 5137 (java) S 5126 5126 561 0 -1 1077944384 551 0 0 0 3 0 0 0 20 0 28 0 447046921 29526937600 56852 33554432000 4194304 4196468 140730658529200 140475414489360 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5138] ppid=5126 vsize=28834900 memory=1040 CPUtime=0.03 cores=0-7 /proc/5128/task/5138/stat : 5138 (java) S 5126 5126 561 0 -1 1077944384 3298 0 0 0 2 1 0 0 20 0 28 0 447046923 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474987076464 140475870710402 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5139] ppid=5126 vsize=28834900 memory=924 CPUtime=0 cores=0-7 /proc/5128/task/5139/stat : 5139 (java) S 5126 5126 561 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 447046923 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474986022496 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5140] ppid=5126 vsize=28834900 memory=4492 CPUtime=0 cores=0-7 /proc/5128/task/5140/stat : 5140 (java) S 5126 5126 561 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 447046923 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474984969600 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5141] ppid=5126 vsize=28834900 memory=4132 CPUtime=0 cores=0-7 /proc/5128/task/5141/stat : 5141 (java) S 5126 5126 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447046926 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474983917904 140475870717851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5142] ppid=5126 vsize=28834900 memory=780 CPUtime=2.32 cores=0-7 /proc/5128/task/5142/stat : 5142 (java) S 5126 5126 561 0 -1 1077944384 12924 0 0 0 230 2 0 0 20 0 28 0 447046926 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474982865264 140475870710402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5143] ppid=5126 vsize=28834900 memory=3612 CPUtime=2.26 cores=0-7 /proc/5128/task/5143/stat : 5143 (java) S 5126 5126 561 0 -1 1077944384 13260 0 0 0 223 3 0 0 20 0 28 0 447046926 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474981812464 140475870710402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5144] ppid=5126 vsize=28834900 memory=34016 CPUtime=2.57 cores=0-7 /proc/5128/task/5144/stat : 5144 (java) S 5126 5126 561 0 -1 1077944384 13326 0 0 0 254 3 0 0 20 0 28 0 447046926 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474980759664 140475870710402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5145] ppid=5126 vsize=28834900 memory=1448 CPUtime=0.91 cores=0-7 /proc/5128/task/5145/stat : 5145 (java) S 5126 5126 561 0 -1 1077944384 7272 0 0 0 90 1 0 0 20 0 28 0 447046926 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474979706864 140475870710402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5146] ppid=5126 vsize=28834900 memory=1448 CPUtime=0 cores=0-7 /proc/5128/task/5146/stat : 5146 (java) S 5126 5126 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447046926 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474978655328 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5147] ppid=5126 vsize=28834900 memory=232532 CPUtime=0 cores=0-7 /proc/5128/task/5147/stat : 5147 (java) S 5126 5126 561 0 -1 1077944384 1980 0 0 0 0 0 0 0 20 0 28 0 447046926 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474977602608 140475870710402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5326] ppid=5126 vsize=28834900 memory=15823308880873484 CPUtime=45.06 cores=0-7 /proc/5128/task/5326/stat : 5326 (java) R 5126 5126 561 0 -1 4202560 1735 0 0 0 4505 1 0 0 20 0 28 0 447049843 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474962074984 140475513509533 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5327] ppid=5126 vsize=28834900 memory=1732 CPUtime=45.06 cores=0-7 /proc/5128/task/5327/stat : 5327 (java) R 5126 5126 561 0 -1 4202560 538 0 0 0 4506 0 0 0 20 0 28 0 447049843 29526937600 56852 33554432000 4194304 4196468 140730658529200 140473902546968 140475515662999 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5328] ppid=5126 vsize=28834900 memory=8317482817917895235 CPUtime=45.01 cores=0-7 /proc/5128/task/5328/stat : 5328 (java) R 5126 5126 561 0 -1 4202560 490 0 0 0 4501 0 0 0 20 0 28 0 447049843 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474961022896 140475515831632 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5329] ppid=5126 vsize=28834900 memory=4126316290023845779 CPUtime=44.78 cores=0-7 /proc/5128/task/5329/stat : 5329 (java) R 5126 5126 561 0 -1 4202560 1398 0 0 0 4477 1 0 0 20 0 28 0 447049843 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474964180920 140475515328407 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5330] ppid=5126 vsize=28834900 memory=2424 CPUtime=44.64 cores=0-7 /proc/5128/task/5330/stat : 5330 (java) R 5126 5126 561 0 -1 4202560 1063 0 0 0 4464 0 0 0 20 0 28 0 447049843 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474966285824 140475515329200 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5331] ppid=5126 vsize=28834900 memory=1764 CPUtime=45.05 cores=0-7 /proc/5128/task/5331/stat : 5331 (java) R 5126 5126 561 0 -1 4202560 755 0 0 0 4505 0 0 0 20 0 28 0 447049843 29526937600 56852 33554432000 4194304 4196468 140730658529200 140473903599032 140475515329200 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5332] ppid=5126 vsize=28834900 memory=1448 CPUtime=44.99 cores=0-7 /proc/5128/task/5332/stat : 5332 (java) R 5126 5126 561 0 -1 4202560 700 0 0 0 4499 0 0 0 20 0 28 0 447049843 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474965233576 140475515585266 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5333] ppid=5126 vsize=28834900 memory=230484 CPUtime=45.06 cores=0-7 /proc/5128/task/5333/stat : 5333 (java) R 5126 5126 561 0 -1 4202560 524 0 0 0 4506 0 0 0 20 0 28 0 447049843 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474963131696 140475514718285 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 Current children cumulated CPU time: 587.81 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 228856 KiB [startup+74.5012 s] /proc/loadavg: 8.53 8.17 8.11 9/223 5336 /proc/meminfo: memFree=30502352/32770624 swapFree=66954172/67108860 [pid=5126] ppid=5123 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5126/stat : 5126 (xcsp3-exec) S 5123 5126 561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447046920 115843072 362 33554432000 4194304 5098028 140735938556128 140735938554232 140302986007164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26071040 140735938560892 140735938561134 140735938561134 140735938564042 0 /proc/5126/statm: 28282 362 304 221 0 87 0 [pid=5128] ppid=5126 vsize=28834900 memory=227408 CPUtime=588.61 cores=0-7 /proc/5128/stat : 5128 (java) S 5126 5126 561 0 -1 1077944320 91459 0 0 0 58818 43 0 0 20 0 28 0 447046920 29526937600 56852 33554432000 4194304 4196468 140730658529200 140730658511744 140475870699255 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 /proc/5128/statm: 7208725 56852 3533 1 0 7169825 0 [pid=5128/tid=5129] ppid=5126 vsize=28834900 memory=227408 CPUtime=0.81 cores=0-7 /proc/5128/task/5129/stat : 5129 (java) S 5126 5126 561 0 -1 1077944384 9435 0 0 0 76 5 0 0 20 0 28 0 447046920 29526937600 56852 33554432000 4194304 4196468 140730658529200 140475874940032 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5130] ppid=5126 vsize=28834900 memory=227408 CPUtime=0.03 cores=0-7 /proc/5128/task/5130/stat : 5130 (java) S 5126 5126 561 0 -1 1077944384 1630 0 0 0 3 0 0 0 20 0 28 0 447046921 29526937600 56852 33554432000 4194304 4196468 140730658529200 140475421858960 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5131] ppid=5126 vsize=28834900 memory=227408 CPUtime=0.03 cores=0-7 /proc/5128/task/5131/stat : 5131 (java) S 5126 5126 561 0 -1 1077944384 2319 0 0 0 2 1 0 0 20 0 28 0 447046921 29526937600 56852 33554432000 4194304 4196468 140730658529200 140475420806160 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5132] ppid=5126 vsize=28834900 memory=1448 CPUtime=0.03 cores=0-7 /proc/5128/task/5132/stat : 5132 (java) S 5126 5126 561 0 -1 1077944384 1104 0 0 0 3 0 0 0 20 0 28 0 447046921 29526937600 56852 33554432000 4194304 4196468 140730658529200 140475419753360 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5133] ppid=5126 vsize=28834900 memory=1412 CPUtime=0.04 cores=0-7 /proc/5128/task/5133/stat : 5133 (java) S 5126 5126 561 0 -1 1077944384 1940 0 0 0 4 0 0 0 20 0 28 0 447046921 29526937600 56852 33554432000 4194304 4196468 140730658529200 140475418700560 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5134] ppid=5126 vsize=28834900 memory=1448 CPUtime=0.03 cores=0-7 /proc/5128/task/5134/stat : 5134 (java) S 5126 5126 561 0 -1 1077944384 631 0 0 0 3 0 0 0 20 0 28 0 447046921 29526937600 56852 33554432000 4194304 4196468 140730658529200 140475417647760 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5135] ppid=5126 vsize=28834900 memory=230484 CPUtime=0.03 cores=0-7 /proc/5128/task/5135/stat : 5135 (java) S 5126 5126 561 0 -1 1077944384 435 0 0 0 3 0 0 0 20 0 28 0 447046921 29526937600 56852 33554432000 4194304 4196468 140730658529200 140475416594960 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5136] ppid=5126 vsize=28834900 memory=3612 CPUtime=0.04 cores=0-7 /proc/5128/task/5136/stat : 5136 (java) S 5126 5126 561 0 -1 1077944384 1876 0 0 0 3 1 0 0 20 0 28 0 447046921 29526937600 56852 33554432000 4194304 4196468 140730658529200 140475415542160 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5137] ppid=5126 vsize=28834900 memory=34016 CPUtime=0.03 cores=0-7 /proc/5128/task/5137/stat : 5137 (java) S 5126 5126 561 0 -1 1077944384 551 0 0 0 3 0 0 0 20 0 28 0 447046921 29526937600 56852 33554432000 4194304 4196468 140730658529200 140475414489360 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5138] ppid=5126 vsize=28834900 memory=8112282956445269571 CPUtime=0.03 cores=0-7 /proc/5128/task/5138/stat : 5138 (java) S 5126 5126 561 0 -1 1077944384 3298 0 0 0 2 1 0 0 20 0 28 0 447046923 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474987076464 140475870710402 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5139] ppid=5126 vsize=28834900 memory=1448 CPUtime=0 cores=0-7 /proc/5128/task/5139/stat : 5139 (java) S 5126 5126 561 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 447046923 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474986022496 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5140] ppid=5126 vsize=28834900 memory=1200 CPUtime=0 cores=0-7 /proc/5128/task/5140/stat : 5140 (java) S 5126 5126 561 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 447046923 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474984969600 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5141] ppid=5126 vsize=28834900 memory=5996 CPUtime=0 cores=0-7 /proc/5128/task/5141/stat : 5141 (java) S 5126 5126 561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447046926 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474983917904 140475870717851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5142] ppid=5126 vsize=28834900 memory=8112282956445269571 CPUtime=2.32 cores=0-7 /proc/5128/task/5142/stat : 5142 (java) S 5126 5126 561 0 -1 1077944384 12924 0 0 0 230 2 0 0 20 0 28 0 447046926 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474982865264 140475870710402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5143] ppid=5126 vsize=28834900 memory=7163372497887848043 CPUtime=2.26 cores=0-7 /proc/5128/task/5143/stat : 5143 (java) S 5126 5126 561 0 -1 1077944384 13260 0 0 0 223 3 0 0 20 0 28 0 447046926 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474981812464 140475870710402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5144] ppid=5126 vsize=28834900 memory=243092 CPUtime=2.57 cores=0-7 /proc/5128/task/5144/stat : 5144 (java) S 5126 5126 561 0 -1 1077944384 13326 0 0 0 254 3 0 0 20 0 28 0 447046926 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474980759664 140475870710402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5145] ppid=5126 vsize=28834900 memory=243192 CPUtime=0.91 cores=0-7 /proc/5128/task/5145/stat : 5145 (java) S 5126 5126 561 0 -1 1077944384 7272 0 0 0 90 1 0 0 20 0 28 0 447046926 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474979706864 140475870710402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5146] ppid=5126 vsize=28834900 memory=1448 CPUtime=0 cores=0-7 /proc/5128/task/5146/stat : 5146 (java) S 5126 5126 561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447046926 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474978655328 140475870709461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5147] ppid=5126 vsize=28834900 memory=232532 CPUtime=0 cores=0-7 /proc/5128/task/5147/stat : 5147 (java) R 5126 5126 561 0 -1 1077944384 1980 0 0 0 0 0 0 0 20 0 28 0 447046926 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474977602608 140475870710402 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5326] ppid=5126 vsize=28834900 memory=3612 CPUtime=45.16 cores=0-7 /proc/5128/task/5326/stat : 5326 (java) R 5126 5126 561 0 -1 4202560 1735 0 0 0 4515 1 0 0 20 0 28 0 447049843 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474962074984 140475515583919 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5327] ppid=5126 vsize=28834900 memory=34016 CPUtime=45.16 cores=0-7 /proc/5128/task/5327/stat : 5327 (java) R 5126 5126 561 0 -1 4202560 538 0 0 0 4516 0 0 0 20 0 28 0 447049843 29526937600 56852 33554432000 4194304 4196468 140730658529200 140473902546968 140475515329200 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5328] ppid=5126 vsize=28834900 memory=992 CPUtime=45.11 cores=0-7 /proc/5128/task/5328/stat : 5328 (java) R 5126 5126 561 0 -1 4202560 490 0 0 0 4511 0 0 0 20 0 28 0 447049843 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474961022896 140475515985046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5329] ppid=5126 vsize=28834900 memory=1448 CPUtime=44.88 cores=0-7 /proc/5128/task/5329/stat : 5329 (java) R 5126 5126 561 0 -1 4202560 1398 0 0 0 4487 1 0 0 20 0 28 0 447049843 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474964180920 140475515732091 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5330] ppid=5126 vsize=28834900 memory=232532 CPUtime=44.74 cores=0-7 /proc/5128/task/5330/stat : 5330 (java) R 5126 5126 561 0 -1 4202560 1063 0 0 0 4474 0 0 0 20 0 28 0 447049843 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474966285824 140475515328518 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5331] ppid=5126 vsize=28834900 memory=7595693993068031849 CPUtime=45.15 cores=0-7 /proc/5128/task/5331/stat : 5331 (java) R 5126 5126 561 0 -1 4202560 755 0 0 0 4515 0 0 0 20 0 28 0 447049843 29526937600 56852 33554432000 4194304 4196468 140730658529200 140473903599032 140475515831880 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5332] ppid=5126 vsize=28834900 memory=237148 CPUtime=45.09 cores=0-7 /proc/5128/task/5332/stat : 5332 (java) R 5126 5126 561 0 -1 4202560 700 0 0 0 4509 0 0 0 20 0 28 0 447049843 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474965233576 140475514236710 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 [pid=5128/tid=5333] ppid=5126 vsize=28834900 memory=139915147716224 CPUtime=45.16 cores=0-7 /proc/5128/task/5333/stat : 5333 (java) R 5126 5126 561 0 -1 4202560 524 0 0 0 4516 0 0 0 20 0 28 0 447049843 29526937600 56852 33554432000 4194304 4196468 140730658529200 140474963131696 140475515830478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38506496 140730658534384 140730658534555 140730658534555 140730658537423 0 Current children cumulated CPU time: 588.61 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 228856 KiB Child status: 0 Real time (s): 74.5246 CPU time (s): 588.703 CPU user time (s): 588.26 CPU system time (s): 0.442488 CPU usage (%): 789.944 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 250876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 588.26 system time used= 0.442488 maximum resident set size= 249428 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 92621 page faults= 0 swaps= 0 block input operations= 0 block output operations= 232 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9187 involuntary context switches= 7696 # summary of solver processes directly reported to runsolver: # pid: 5126 # total CPU time (s): 588.703 # total CPU user time (s): 588.26 # total CPU system time (s): 0.442488 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.59081 second user time and 0.883733 second system time The end
Begin job on node117 at 2019-09-17 11:03:27 IDJOB=4400188 IDBENCH=128242 IDSOLVER=2855 FILE ID=node117/4400188-1568711050 RUNJOBID= node117-1568700865-599 PBS_JOBID= 21703907 Free space on /tmp= 61184 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j60/Rcpsp-j60-37-03.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-4400188-1568711050/watcher-4400188-1568711050 -o /tmp/evaluation-result-4400188-1568711050/solver-4400188-1568711050 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568700865-599 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 956613392 HOME/instance-4400188-1568711050.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7e8aca8f1f1855a8a689daa123caec8a RANDOM SEED=956613392 node117.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: 30717516 kB MemAvailable: 31850352 kB Buffers: 136616 kB Cached: 1275796 kB SwapCached: 49684 kB Active: 585720 kB Inactive: 880744 kB Active(anon): 5128 kB Inactive(anon): 87576 kB Active(file): 580592 kB Inactive(file): 793168 kB Unevictable: 109132 kB Mlocked: 109132 kB SwapTotal: 67108860 kB SwapFree: 66954172 kB Dirty: 26140 kB Writeback: 0 kB AnonPages: 154272 kB Mapped: 42548 kB Shmem: 30128 kB Slab: 178168 kB SReclaimable: 149824 kB SUnreclaim: 28344 kB KernelStack: 3760 kB PageTables: 5760 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506372 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 108544 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 61160 MiB End job on node117 at 2019-09-17 11:04:42