Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 139 | 492.885 | 62.526 |
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-4407388-1569347521.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407388-1569347521.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 2.11/0.81 c solve instance... 2.71/0.97 o 171 3.44/1.02 o 168 10.41/2.00 o 166 11.98/2.15 o 163 17.45/2.80 o 162 17.45/2.81 o 161 17.45/2.84 o 158 18.99/3.03 o 156 19.77/3.19 o 155 20.46/3.29 o 154 25.95/3.97 o 148 56.15/7.76 o 147 57.72/7.98 o 146 57.72/8.00 o 145 98.38/13.04 o 144 126.99/16.70 o 143 146.16/19.07 o 142 162.06/21.05 o 141 181.11/23.44 o 140 374.00/47.61 o 139 492.80/62.51 s OPTIMUM FOUND 492.80/62.51 v <instantiation> 492.80/62.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> 492.80/62.51 v <values>0 0 8 0 16 6 3 1 13 8 4 31 25 24 34 36 18 41 14 18 65 50 51 24 46 33 55 41 34 74 81 54 45 60 108 74 93 60 56 74 100 93 115 79 79 84 110 103 69 113 99 115 103 83 103 124 115 121 131 129 128 139 </values> 492.80/62.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 (13216 MiB free) memory of node 1: 16384 MiB (11603 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407388-1569347521/watcher-4407388-1569347521 -o /tmp/evaluation-result-4407388-1569347521/solver-4407388-1569347521 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569336112-9884 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1403632523 HOME/instance-4407388-1569347521.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=15502, runsolver pid=15499 Current StackSize limit: 8192 KiB [startup+0.100187 s]* /proc/loadavg: 8.02 8.09 8.17 2/209 15523 /proc/meminfo: memFree=25399136/32770624 swapFree=66941040/67108860 [pid=15502] ppid=15499 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/15502/stat : 15502 (xcsp3-exec) S 15499 15502 9857 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511022895 115843072 362 33554432000 4194304 5098028 140734267961360 140734267959464 139846887662204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23912448 140734267970427 140734267970670 140734267970670 140734267973578 0 /proc/15502/statm: 28282 362 304 221 0 87 0 [pid=15504] ppid=15502 vsize=28227396 memory=29040 CPUtime=0.12 cores=0-7 /proc/15504/stat : 15504 (java) S 15502 15502 9857 0 -1 1077944320 5747 0 0 0 10 2 0 0 20 0 20 0 511022896 28904853504 7260 33554432000 4194304 4196468 140732383541824 140732383524368 140338853822199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 /proc/15504/statm: 7056849 7260 3119 1 0 7019032 0 [pid=15504/tid=15505] ppid=15502 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/15504/task/15505/stat : 15505 (java) R 15502 15502 9857 0 -1 4202560 3640 0 0 0 7 1 0 0 20 0 20 0 511022896 28904853504 7260 33554432000 4194304 4196468 140732383541824 140338858055472 140338837865829 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15506] ppid=15502 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/15504/task/15506/stat : 15506 (java) S 15502 15502 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511022897 28904853504 7260 33554432000 4194304 4196468 140732383541824 140338806443152 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15507] ppid=15502 vsize=28227396 memory=139710526858880 CPUtime=0 cores=0-7 /proc/15504/task/15507/stat : 15507 (java) S 15502 15502 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511022897 28904853504 7260 33554432000 4194304 4196468 140732383541824 140338805390352 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15508] ppid=15502 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15508/stat : 15508 (java) S 15502 15502 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511022897 28904853504 7260 33554432000 4194304 4196468 140732383541824 140338804337552 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15509] ppid=15502 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15509/stat : 15509 (java) S 15502 15502 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511022897 28904853504 7260 33554432000 4194304 4196468 140732383541824 140338803284752 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15510] ppid=15502 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15510/stat : 15510 (java) S 15502 15502 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511022897 28904853504 7260 33554432000 4194304 4196468 140732383541824 140338802231952 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15511] ppid=15502 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15504/task/15511/stat : 15511 (java) S 15502 15502 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511022897 28904853504 7260 33554432000 4194304 4196468 140732383541824 140338801179152 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15512] ppid=15502 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15512/stat : 15512 (java) S 15502 15502 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511022897 28904853504 7260 33554432000 4194304 4196468 140732383541824 140338800126352 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15513] ppid=15502 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15513/stat : 15513 (java) S 15502 15502 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511022897 28904853504 7260 33554432000 4194304 4196468 140732383541824 140338799073552 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15514] ppid=15502 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15514/stat : 15514 (java) S 15502 15502 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511022898 28904853504 7260 33554432000 4194304 4196468 140732383541824 140337317141360 140338853833346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15515] ppid=15502 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15515/stat : 15515 (java) S 15502 15502 9857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511022899 28904853504 7260 33554432000 4194304 4196468 140732383541824 140337316087328 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15516] ppid=15502 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15516/stat : 15516 (java) S 15502 15502 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511022899 28904853504 7260 33554432000 4194304 4196468 140732383541824 140337315034480 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15517] ppid=15502 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15517/stat : 15517 (java) S 15502 15502 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511022901 28904853504 7260 33554432000 4194304 4196468 140732383541824 140337313982800 140338853840795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15518] ppid=15502 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15518/stat : 15518 (java) S 15502 15502 9857 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 20 0 511022901 28904853504 7260 33554432000 4194304 4196468 140732383541824 140337312930160 140338853833346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15519] ppid=15502 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15519/stat : 15519 (java) R 15502 15502 9857 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 511022901 28904853504 7260 33554432000 4194304 4196468 140732383541824 140337311877360 140338838466227 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15520] ppid=15502 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15520/stat : 15520 (java) R 15502 15502 9857 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 511022901 28904853504 7260 33554432000 4194304 4196468 140732383541824 140337310824560 140338853833346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15521] ppid=15502 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/15504/task/15521/stat : 15521 (java) R 15502 15502 9857 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 20 0 511022901 28904853504 7260 33554432000 4194304 4196468 140732383541824 140337309771760 140338846059326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15522] ppid=15502 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15522/stat : 15522 (java) S 15502 15502 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511022902 28904853504 7260 33554432000 4194304 4196468 140732383541824 140337308720224 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15523] ppid=15502 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15504/task/15523/stat : 15523 (java) S 15502 15502 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511022902 28904853504 7260 33554432000 4194304 4196468 140732383541824 140337307667504 140338853833346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30488 KiB [startup+0.210431 s]* /proc/loadavg: 8.02 8.09 8.17 3/209 15523 /proc/meminfo: memFree=25386120/32770624 swapFree=66941040/67108860 [pid=15502] ppid=15499 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/15502/stat : 15502 (xcsp3-exec) S 15499 15502 9857 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511022895 115843072 362 33554432000 4194304 5098028 140734267961360 140734267959464 139846887662204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23912448 140734267970427 140734267970670 140734267970670 140734267973578 0 /proc/15502/statm: 28282 362 304 221 0 87 0 [pid=15504] ppid=15502 vsize=28227396 memory=40556 CPUtime=0.33 cores=0-7 /proc/15504/stat : 15504 (java) S 15502 15502 9857 0 -1 1077944320 9386 0 0 0 29 4 0 0 20 0 20 0 511022896 28904853504 10139 33554432000 4194304 4196468 140732383541824 140732383524368 140338853822199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 /proc/15504/statm: 7056849 10139 3300 1 0 7019032 0 [pid=15504/tid=15505] ppid=15502 vsize=28227396 memory=32758254098972862 CPUtime=0.2 cores=0-7 /proc/15504/task/15505/stat : 15505 (java) R 15502 15502 9857 0 -1 4202560 6632 0 0 0 17 3 0 0 20 0 20 0 511022896 28904853504 10139 33554432000 4194304 4196468 140732383541824 140338858051920 140338475925916 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15506] ppid=15502 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15506/stat : 15506 (java) S 15502 15502 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511022897 28904853504 10139 33554432000 4194304 4196468 140732383541824 140338806443152 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15507] ppid=15502 vsize=28227396 memory=4050768173769961557 CPUtime=0 cores=0-7 /proc/15504/task/15507/stat : 15507 (java) S 15502 15502 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511022897 28904853504 10139 33554432000 4194304 4196468 140732383541824 140338805390352 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15508] ppid=15502 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15504/task/15508/stat : 15508 (java) S 15502 15502 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511022897 28904853504 10139 33554432000 4194304 4196468 140732383541824 140338804337552 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15509] ppid=15502 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15509/stat : 15509 (java) S 15502 15502 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511022897 28904853504 10139 33554432000 4194304 4196468 140732383541824 140338803284752 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15510] ppid=15502 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15510/stat : 15510 (java) S 15502 15502 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511022897 28904853504 10139 33554432000 4194304 4196468 140732383541824 140338802231952 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15511] ppid=15502 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15504/task/15511/stat : 15511 (java) S 15502 15502 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511022897 28904853504 10139 33554432000 4194304 4196468 140732383541824 140338801179152 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15512] ppid=15502 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15512/stat : 15512 (java) S 15502 15502 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511022897 28904853504 10139 33554432000 4194304 4196468 140732383541824 140338800126352 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15513] ppid=15502 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15513/stat : 15513 (java) S 15502 15502 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511022897 28904853504 10139 33554432000 4194304 4196468 140732383541824 140338799073552 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15514] ppid=15502 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15514/stat : 15514 (java) S 15502 15502 9857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511022898 28904853504 10139 33554432000 4194304 4196468 140732383541824 140337317141360 140338853833346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15515] ppid=15502 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15515/stat : 15515 (java) S 15502 15502 9857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511022899 28904853504 10139 33554432000 4194304 4196468 140732383541824 140337316087328 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15516] ppid=15502 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15516/stat : 15516 (java) S 15502 15502 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511022899 28904853504 10139 33554432000 4194304 4196468 140732383541824 140337315034480 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15517] ppid=15502 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15517/stat : 15517 (java) S 15502 15502 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511022901 28904853504 10139 33554432000 4194304 4196468 140732383541824 140337313982800 140338853840795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15518] ppid=15502 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/15504/task/15518/stat : 15518 (java) S 15502 15502 9857 0 -1 1077944384 333 0 0 0 1 0 0 0 20 0 20 0 511022901 28904853504 10139 33554432000 4194304 4196468 140732383541824 140337312930160 140338853833346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15519] ppid=15502 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/15504/task/15519/stat : 15519 (java) R 15502 15502 9857 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 20 0 511022901 28904853504 10139 33554432000 4194304 4196468 140732383541824 140337311877360 140338853833346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15520] ppid=15502 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/15504/task/15520/stat : 15520 (java) S 15502 15502 9857 0 -1 1077944384 227 0 0 0 1 0 0 0 20 0 20 0 511022901 28904853504 10139 33554432000 4194304 4196468 140732383541824 140337310824560 140338853833346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15521] ppid=15502 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/15504/task/15521/stat : 15521 (java) R 15502 15502 9857 0 -1 4202560 774 0 0 0 8 0 0 0 20 0 20 0 511022901 28904853504 10139 33554432000 4194304 4196468 140732383541824 140337309771760 140338853834134 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15522] ppid=15502 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15522/stat : 15522 (java) S 15502 15502 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511022902 28904853504 10139 33554432000 4194304 4196468 140732383541824 140337308720224 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15523] ppid=15502 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/15504/task/15523/stat : 15523 (java) S 15502 15502 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511022902 28904853504 10139 33554432000 4194304 4196468 140732383541824 140337307667504 140338853833346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42004 KiB [startup+0.310993 s]* /proc/loadavg: 8.02 8.09 8.17 3/209 15523 /proc/meminfo: memFree=25378240/32770624 swapFree=66941040/67108860 [pid=15502] ppid=15499 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/15502/stat : 15502 (xcsp3-exec) S 15499 15502 9857 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511022895 115843072 362 33554432000 4194304 5098028 140734267961360 140734267959464 139846887662204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23912448 140734267970427 140734267970670 140734267970670 140734267973578 0 /proc/15502/statm: 28282 362 304 221 0 87 0 [pid=15504] ppid=15502 vsize=28231652 memory=50000 CPUtime=0.52 cores=0-7 /proc/15504/stat : 15504 (java) S 15502 15502 9857 0 -1 1077944320 10911 0 0 0 47 5 0 0 20 0 20 0 511022896 28909211648 12500 33554432000 4194304 4196468 140732383541824 140732383524368 140338853822199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 /proc/15504/statm: 7057913 12500 3340 1 0 7019032 0 [pid=15504/tid=15505] ppid=15502 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/15504/task/15505/stat : 15505 (java) R 15502 15502 9857 0 -1 4202560 7825 0 0 0 26 3 0 0 20 0 20 0 511022896 28909211648 12569 33554432000 4194304 4196468 140732383541824 140338858055984 140338837902686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15506] ppid=15502 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/15504/task/15506/stat : 15506 (java) S 15502 15502 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511022897 28909211648 12569 33554432000 4194304 4196468 140732383541824 140338806443152 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15507] ppid=15502 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15507/stat : 15507 (java) S 15502 15502 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511022897 28909211648 12569 33554432000 4194304 4196468 140732383541824 140338805390352 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15508] ppid=15502 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15508/stat : 15508 (java) S 15502 15502 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511022897 28909211648 12569 33554432000 4194304 4196468 140732383541824 140338804337552 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15509] ppid=15502 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15509/stat : 15509 (java) S 15502 15502 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511022897 28909211648 12569 33554432000 4194304 4196468 140732383541824 140338803284752 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15510] ppid=15502 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15510/stat : 15510 (java) S 15502 15502 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511022897 28909211648 12569 33554432000 4194304 4196468 140732383541824 140338802231952 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15511] ppid=15502 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15511/stat : 15511 (java) S 15502 15502 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511022897 28909211648 12569 33554432000 4194304 4196468 140732383541824 140338801179152 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15512] ppid=15502 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/15504/task/15512/stat : 15512 (java) S 15502 15502 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511022897 28909211648 12569 33554432000 4194304 4196468 140732383541824 140338800126352 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15513] ppid=15502 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/15504/task/15513/stat : 15513 (java) S 15502 15502 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511022897 28909211648 12569 33554432000 4194304 4196468 140732383541824 140338799073552 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15514] ppid=15502 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15514/stat : 15514 (java) S 15502 15502 9857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511022898 28909211648 12569 33554432000 4194304 4196468 140732383541824 140337317141360 140338853833346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15515] ppid=15502 vsize=28231652 memory=139710387282383 CPUtime=0 cores=0-7 /proc/15504/task/15515/stat : 15515 (java) S 15502 15502 9857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511022899 28909211648 12569 33554432000 4194304 4196468 140732383541824 140337316087328 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15516] ppid=15502 vsize=28231652 memory=279420774592400 CPUtime=0 cores=0-7 /proc/15504/task/15516/stat : 15516 (java) S 15502 15502 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511022899 28909211648 12569 33554432000 4194304 4196468 140732383541824 140337315034480 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15517] ppid=15502 vsize=28231652 memory=279420774590096 CPUtime=0 cores=0-7 /proc/15504/task/15517/stat : 15517 (java) S 15502 15502 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511022901 28909211648 12569 33554432000 4194304 4196468 140732383541824 140337313982800 140338853840795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15518] ppid=15502 vsize=28231652 memory=279420774597008 CPUtime=0.01 cores=0-7 /proc/15504/task/15518/stat : 15518 (java) S 15502 15502 9857 0 -1 1077944384 366 0 0 0 1 0 0 0 20 0 20 0 511022901 28909211648 12569 33554432000 4194304 4196468 140732383541824 140337312930160 140338853833346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15519] ppid=15502 vsize=28231652 memory=279420774538288 CPUtime=0.03 cores=0-7 /proc/15504/task/15519/stat : 15519 (java) S 15502 15502 9857 0 -1 1077944384 119 0 0 0 3 0 0 0 20 0 20 0 511022901 28909211648 12569 33554432000 4194304 4196468 140732383541824 140337311877360 140338853833346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15520] ppid=15502 vsize=28231652 memory=279420774610832 CPUtime=0.03 cores=0-7 /proc/15504/task/15520/stat : 15520 (java) R 15502 15502 9857 0 -1 4202560 369 0 0 0 3 0 0 0 20 0 20 0 511022901 28909211648 12569 33554432000 4194304 4196468 140732383541824 140337310814944 140338838751665 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15521] ppid=15502 vsize=28231652 memory=279420774617712 CPUtime=0.12 cores=0-7 /proc/15504/task/15521/stat : 15521 (java) S 15502 15502 9857 0 -1 1077944384 937 0 0 0 12 0 0 0 20 0 20 0 511022901 28909211648 12569 33554432000 4194304 4196468 140732383541824 140337309771760 140338853833346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15522] ppid=15502 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15522/stat : 15522 (java) S 15502 15502 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511022902 28909211648 12569 33554432000 4194304 4196468 140732383541824 140337308720224 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15523] ppid=15502 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/15504/task/15523/stat : 15523 (java) S 15502 15502 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511022902 28909211648 12569 33554432000 4194304 4196468 140732383541824 140337307667504 140338853833346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51448 KiB [startup+0.701032 s] /proc/loadavg: 8.02 8.09 8.17 6/209 15523 /proc/meminfo: memFree=25361192/32770624 swapFree=66941040/67108860 [pid=15502] ppid=15499 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/15502/stat : 15502 (xcsp3-exec) S 15499 15502 9857 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511022895 115843072 362 33554432000 4194304 5098028 140734267961360 140734267959464 139846887662204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23912448 140734267970427 140734267970670 140734267970670 140734267973578 0 /proc/15502/statm: 28282 362 304 221 0 87 0 [pid=15504] ppid=15502 vsize=28233776 memory=88644 CPUtime=1.65 cores=0-7 /proc/15504/stat : 15504 (java) S 15502 15502 9857 0 -1 1077944320 15363 0 0 0 158 7 0 0 20 0 20 0 511022896 28911386624 22161 33554432000 4194304 4196468 140732383541824 140732383524368 140338853822199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 /proc/15504/statm: 7058444 22161 3452 1 0 7019544 0 [pid=15504/tid=15505] ppid=15502 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/15504/task/15505/stat : 15505 (java) R 15502 15502 9857 0 -1 4202560 9367 0 0 0 63 4 0 0 20 0 20 0 511022896 28911386624 22161 33554432000 4194304 4196468 140732383541824 140338858056656 140338834647493 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15506] ppid=15502 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15506/stat : 15506 (java) S 15502 15502 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511022897 28911386624 22161 33554432000 4194304 4196468 140732383541824 140338806443152 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15507] ppid=15502 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15507/stat : 15507 (java) S 15502 15502 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511022897 28911386624 22161 33554432000 4194304 4196468 140732383541824 140338805390352 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15508] ppid=15502 vsize=28233776 memory=1228 CPUtime=0 cores=0-7 /proc/15504/task/15508/stat : 15508 (java) S 15502 15502 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511022897 28911386624 22161 33554432000 4194304 4196468 140732383541824 140338804337552 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 ################ # More data... # ################ [pid=15504/tid=15521] ppid=15502 vsize=28769364 memory=0 CPUtime=0.92 cores=0-7 /proc/15504/task/15521/stat : 15521 (java) S 15502 15502 9857 0 -1 1077944384 7518 0 0 0 90 2 0 0 20 0 28 0 511022901 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337309771760 140338853833346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15522] ppid=15502 vsize=28769364 memory=279420775210384 CPUtime=0 cores=0-7 /proc/15504/task/15522/stat : 15522 (java) S 15502 15502 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511022902 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337308720224 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15523] ppid=15502 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/15504/task/15523/stat : 15523 (java) S 15502 15502 9857 0 -1 1077944384 894 0 0 0 0 1 0 0 20 0 28 0 511022902 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337307667504 140338853833346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15689] ppid=15502 vsize=28769364 memory=279420775777760 CPUtime=14.37 cores=0-7 /proc/15504/task/15689/stat : 15689 (java) R 15502 15502 9857 0 -1 4202560 303 0 0 0 1437 0 0 0 20 0 28 0 511027657 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337289219240 140338483089632 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15690] ppid=15502 vsize=28769364 memory=0 CPUtime=14.37 cores=0-7 /proc/15504/task/15690/stat : 15690 (java) R 15502 15502 9857 0 -1 4202560 183 0 0 0 1437 0 0 0 20 0 28 0 511027657 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337295536040 140338476979680 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15691] ppid=15502 vsize=28769364 memory=7379825719839386473 CPUtime=14.35 cores=0-7 /proc/15504/task/15691/stat : 15691 (java) R 15502 15502 9857 0 -1 4202560 128 0 0 0 1435 0 0 0 20 0 28 0 511027657 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337291325104 140338483521162 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15692] ppid=15502 vsize=28769364 memory=279420775747360 CPUtime=14.21 cores=0-7 /proc/15504/task/15692/stat : 15692 (java) R 15502 15502 9857 0 -1 4202560 436 0 0 0 1421 0 0 0 20 0 28 0 511027657 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337296588504 140338486882967 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15693] ppid=15502 vsize=28769364 memory=288230376990847276 CPUtime=14.37 cores=0-7 /proc/15504/task/15693/stat : 15693 (java) R 15502 15502 9857 0 -1 4202560 171 0 0 0 1437 0 0 0 20 0 28 0 511027657 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337292377992 140338483777891 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15694] ppid=15502 vsize=28769364 memory=16103654281200165 CPUtime=14.26 cores=0-7 /proc/15504/task/15694/stat : 15694 (java) R 15502 15502 9857 0 -1 4202560 155 0 0 0 1426 0 0 0 20 0 28 0 511027657 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337294482320 140338483522054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15695] ppid=15502 vsize=28769364 memory=0 CPUtime=14.37 cores=0-7 /proc/15504/task/15695/stat : 15695 (java) R 15502 15502 9857 0 -1 4202560 237 0 0 0 1437 0 0 0 20 0 28 0 511027657 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337290275704 140338484143692 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15696] ppid=15502 vsize=28769364 memory=-8961168018402230209 CPUtime=14.37 cores=0-7 /proc/15504/task/15696/stat : 15696 (java) R 15502 15502 9857 0 -1 4202560 119 0 0 0 1437 0 0 0 20 0 28 0 511027657 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337293434544 140338486549443 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 Current children cumulated CPU time: 488.88 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 219588 KiB [startup+62.4017 s] /proc/loadavg: 7.94 8.05 8.15 9/217 15696 /proc/meminfo: memFree=25209244/32770624 swapFree=66941040/67108860 [pid=15502] ppid=15499 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/15502/stat : 15502 (xcsp3-exec) S 15499 15502 9857 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511022895 115843072 362 33554432000 4194304 5098028 140734267961360 140734267959464 139846887662204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23912448 140734267970427 140734267970670 140734267970670 140734267973578 0 /proc/15502/statm: 28282 362 304 221 0 87 0 [pid=15504] ppid=15502 vsize=28769364 memory=218140 CPUtime=492 cores=0-7 /proc/15504/stat : 15504 (java) S 15502 15502 9857 0 -1 1077944320 87106 0 0 0 49156 44 0 0 20 0 28 0 511022896 29459828736 54535 33554432000 4194304 4196468 140732383541824 140732383524368 140338853822199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 /proc/15504/statm: 7192341 54535 3533 1 0 7153441 0 [pid=15504/tid=15505] ppid=15502 vsize=28769364 memory=1448 CPUtime=0.81 cores=0-7 /proc/15504/task/15505/stat : 15505 (java) S 15502 15502 9857 0 -1 1077944384 10216 0 0 0 77 4 0 0 20 0 28 0 511022896 29459828736 54535 33554432000 4194304 4196468 140732383541824 140338858062976 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15506] ppid=15502 vsize=28769364 memory=3620 CPUtime=0.03 cores=0-7 /proc/15504/task/15506/stat : 15506 (java) S 15502 15502 9857 0 -1 1077944384 570 0 0 0 3 0 0 0 20 0 28 0 511022897 29459828736 54535 33554432000 4194304 4196468 140732383541824 140338806443152 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15507] ppid=15502 vsize=28769364 memory=63088 CPUtime=0.04 cores=0-7 /proc/15504/task/15507/stat : 15507 (java) S 15502 15502 9857 0 -1 1077944384 413 0 0 0 3 1 0 0 20 0 28 0 511022897 29459828736 54535 33554432000 4194304 4196468 140732383541824 140338805390352 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15508] ppid=15502 vsize=28769364 memory=988 CPUtime=0.02 cores=0-7 /proc/15504/task/15508/stat : 15508 (java) S 15502 15502 9857 0 -1 1077944384 167 0 0 0 2 0 0 0 20 0 28 0 511022897 29459828736 54535 33554432000 4194304 4196468 140732383541824 140338804337552 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15509] ppid=15502 vsize=28769364 memory=2016 CPUtime=0.04 cores=0-7 /proc/15504/task/15509/stat : 15509 (java) S 15502 15502 9857 0 -1 1077944384 320 0 0 0 3 1 0 0 20 0 28 0 511022897 29459828736 54535 33554432000 4194304 4196468 140732383541824 140338803284752 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15510] ppid=15502 vsize=28769364 memory=1416 CPUtime=0.04 cores=0-7 /proc/15504/task/15510/stat : 15510 (java) S 15502 15502 9857 0 -1 1077944384 998 0 0 0 3 1 0 0 20 0 28 0 511022897 29459828736 54535 33554432000 4194304 4196468 140732383541824 140338802231952 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15511] ppid=15502 vsize=28769364 memory=6791534058613427641 CPUtime=0.03 cores=0-7 /proc/15504/task/15511/stat : 15511 (java) S 15502 15502 9857 0 -1 1077944384 2868 0 0 0 2 1 0 0 20 0 28 0 511022897 29459828736 54535 33554432000 4194304 4196468 140732383541824 140338801179152 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15512] ppid=15502 vsize=28769364 memory=1552 CPUtime=0.02 cores=0-7 /proc/15504/task/15512/stat : 15512 (java) S 15502 15502 9857 0 -1 1077944384 879 0 0 0 2 0 0 0 20 0 28 0 511022897 29459828736 54535 33554432000 4194304 4196468 140732383541824 140338800126352 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15513] ppid=15502 vsize=28769364 memory=3984 CPUtime=0.04 cores=0-7 /proc/15504/task/15513/stat : 15513 (java) S 15502 15502 9857 0 -1 1077944384 606 0 0 0 3 1 0 0 20 0 28 0 511022897 29459828736 54535 33554432000 4194304 4196468 140732383541824 140338799073552 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15514] ppid=15502 vsize=28769364 memory=2832 CPUtime=0.04 cores=0-7 /proc/15504/task/15514/stat : 15514 (java) S 15502 15502 9857 0 -1 1077944384 2412 0 0 0 3 1 0 0 20 0 28 0 511022898 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337317141360 140338853833346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15515] ppid=15502 vsize=28769364 memory=784 CPUtime=0 cores=0-7 /proc/15504/task/15515/stat : 15515 (java) S 15502 15502 9857 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 511022899 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337316087392 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15516] ppid=15502 vsize=28769364 memory=1060 CPUtime=0 cores=0-7 /proc/15504/task/15516/stat : 15516 (java) S 15502 15502 9857 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 511022899 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337315034496 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15517] ppid=15502 vsize=28769364 memory=1724 CPUtime=0 cores=0-7 /proc/15504/task/15517/stat : 15517 (java) S 15502 15502 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511022901 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337313982800 140338853840795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15518] ppid=15502 vsize=28769364 memory=1096 CPUtime=2.6 cores=0-7 /proc/15504/task/15518/stat : 15518 (java) S 15502 15502 9857 0 -1 1077944384 16166 0 0 0 256 4 0 0 20 0 28 0 511022901 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337312930160 140338853833346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15519] ppid=15502 vsize=28769364 memory=1228 CPUtime=2.84 cores=0-7 /proc/15504/task/15519/stat : 15519 (java) S 15502 15502 9857 0 -1 1077944384 12939 0 0 0 279 5 0 0 20 0 28 0 511022901 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337311877360 140338853833346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15520] ppid=15502 vsize=28769364 memory=6140 CPUtime=3.06 cores=0-7 /proc/15504/task/15520/stat : 15520 (java) S 15502 15502 9857 0 -1 1077944384 14588 0 0 0 302 4 0 0 20 0 28 0 511022901 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337310824560 140338853833346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15521] ppid=15502 vsize=28769364 memory=780 CPUtime=0.92 cores=0-7 /proc/15504/task/15521/stat : 15521 (java) S 15502 15502 9857 0 -1 1077944384 7518 0 0 0 90 2 0 0 20 0 28 0 511022901 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337309771760 140338853833346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15522] ppid=15502 vsize=28769364 memory=14008 CPUtime=0 cores=0-7 /proc/15504/task/15522/stat : 15522 (java) S 15502 15502 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511022902 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337308720224 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15523] ppid=15502 vsize=28769364 memory=220704 CPUtime=0.01 cores=0-7 /proc/15504/task/15523/stat : 15523 (java) S 15502 15502 9857 0 -1 1077944384 896 0 0 0 0 1 0 0 20 0 28 0 511022902 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337307667504 140338853833346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15689] ppid=15502 vsize=28769364 memory=111632 CPUtime=14.76 cores=0-7 /proc/15504/task/15689/stat : 15689 (java) R 15502 15502 9857 0 -1 4202560 303 0 0 0 1476 0 0 0 20 0 28 0 511027657 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337289219240 140338483089191 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15690] ppid=15502 vsize=28769364 memory=808 CPUtime=14.76 cores=0-7 /proc/15504/task/15690/stat : 15690 (java) R 15502 15502 9857 0 -1 4202560 183 0 0 0 1476 0 0 0 20 0 28 0 511027657 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337295536040 140338483263354 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15691] ppid=15502 vsize=28769364 memory=1804 CPUtime=14.74 cores=0-7 /proc/15504/task/15691/stat : 15691 (java) R 15502 15502 9857 0 -1 4202560 128 0 0 0 1474 0 0 0 20 0 28 0 511027657 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337291324992 140338483455161 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15692] ppid=15502 vsize=28769364 memory=916 CPUtime=14.6 cores=0-7 /proc/15504/task/15692/stat : 15692 (java) R 15502 15502 9857 0 -1 4202560 436 0 0 0 1460 0 0 0 20 0 28 0 511027657 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337296588504 140338484119284 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15693] ppid=15502 vsize=28769364 memory=4472 CPUtime=14.76 cores=0-7 /proc/15504/task/15693/stat : 15693 (java) R 15502 15502 9857 0 -1 4202560 171 0 0 0 1476 0 0 0 20 0 28 0 511027657 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337292377992 140338483259624 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15694] ppid=15502 vsize=28769364 memory=1412 CPUtime=14.65 cores=0-7 /proc/15504/task/15694/stat : 15694 (java) R 15502 15502 9857 0 -1 4202560 155 0 0 0 1465 0 0 0 20 0 28 0 511027657 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337294482320 140338483987140 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15695] ppid=15502 vsize=28769364 memory=3620 CPUtime=14.76 cores=0-7 /proc/15504/task/15695/stat : 15695 (java) R 15502 15502 9857 0 -1 4202560 237 0 0 0 1476 0 0 0 20 0 28 0 511027657 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337290275704 140338483854666 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15696] ppid=15502 vsize=28769364 memory=924 CPUtime=14.76 cores=0-7 /proc/15504/task/15696/stat : 15696 (java) R 15502 15502 9857 0 -1 4202560 141 0 0 0 1476 0 0 0 20 0 28 0 511027657 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337293434544 140338483089204 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 Current children cumulated CPU time: 492 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 219588 KiB [startup+62.5017 s] /proc/loadavg: 7.94 8.05 8.15 9/217 15696 /proc/meminfo: memFree=25209244/32770624 swapFree=66941040/67108860 [pid=15502] ppid=15499 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/15502/stat : 15502 (xcsp3-exec) S 15499 15502 9857 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511022895 115843072 362 33554432000 4194304 5098028 140734267961360 140734267959464 139846887662204 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23912448 140734267970427 140734267970670 140734267970670 140734267973578 0 /proc/15502/statm: 28282 362 304 221 0 87 0 [pid=15504] ppid=15502 vsize=28769364 memory=218140 CPUtime=492.8 cores=0-7 /proc/15504/stat : 15504 (java) S 15502 15502 9857 0 -1 1077944320 87108 0 0 0 49236 44 0 0 20 0 28 0 511022896 29459828736 54535 33554432000 4194304 4196468 140732383541824 140732383524368 140338853822199 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 /proc/15504/statm: 7192341 54535 3533 1 0 7153441 0 [pid=15504/tid=15505] ppid=15502 vsize=28769364 memory=218140 CPUtime=0.81 cores=0-7 /proc/15504/task/15505/stat : 15505 (java) S 15502 15502 9857 0 -1 1077944384 10216 0 0 0 77 4 0 0 20 0 28 0 511022896 29459828736 54535 33554432000 4194304 4196468 140732383541824 140338858062976 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15506] ppid=15502 vsize=28769364 memory=1448 CPUtime=0.03 cores=0-7 /proc/15504/task/15506/stat : 15506 (java) S 15502 15502 9857 0 -1 1077944384 570 0 0 0 3 0 0 0 20 0 28 0 511022897 29459828736 54535 33554432000 4194304 4196468 140732383541824 140338806443152 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15507] ppid=15502 vsize=28769364 memory=230420 CPUtime=0.04 cores=0-7 /proc/15504/task/15507/stat : 15507 (java) S 15502 15502 9857 0 -1 1077944384 413 0 0 0 3 1 0 0 20 0 28 0 511022897 29459828736 54535 33554432000 4194304 4196468 140732383541824 140338805390352 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15508] ppid=15502 vsize=28769364 memory=233008 CPUtime=0.02 cores=0-7 /proc/15504/task/15508/stat : 15508 (java) S 15502 15502 9857 0 -1 1077944384 167 0 0 0 2 0 0 0 20 0 28 0 511022897 29459828736 54535 33554432000 4194304 4196468 140732383541824 140338804337552 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15509] ppid=15502 vsize=28769364 memory=0 CPUtime=0.04 cores=0-7 /proc/15504/task/15509/stat : 15509 (java) S 15502 15502 9857 0 -1 1077944384 320 0 0 0 3 1 0 0 20 0 28 0 511022897 29459828736 54535 33554432000 4194304 4196468 140732383541824 140338803284752 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15510] ppid=15502 vsize=28769364 memory=4441022742330605600 CPUtime=0.04 cores=0-7 /proc/15504/task/15510/stat : 15510 (java) S 15502 15502 9857 0 -1 1077944384 998 0 0 0 3 1 0 0 20 0 28 0 511022897 29459828736 54535 33554432000 4194304 4196468 140732383541824 140338802231952 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15511] ppid=15502 vsize=28769364 memory=230420 CPUtime=0.03 cores=0-7 /proc/15504/task/15511/stat : 15511 (java) S 15502 15502 9857 0 -1 1077944384 2868 0 0 0 2 1 0 0 20 0 28 0 511022897 29459828736 54535 33554432000 4194304 4196468 140732383541824 140338801179152 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15512] ppid=15502 vsize=28769364 memory=236080 CPUtime=0.02 cores=0-7 /proc/15504/task/15512/stat : 15512 (java) S 15502 15502 9857 0 -1 1077944384 879 0 0 0 2 0 0 0 20 0 28 0 511022897 29459828736 54535 33554432000 4194304 4196468 140732383541824 140338800126352 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15513] ppid=15502 vsize=28769364 memory=230556 CPUtime=0.04 cores=0-7 /proc/15504/task/15513/stat : 15513 (java) S 15502 15502 9857 0 -1 1077944384 606 0 0 0 3 1 0 0 20 0 28 0 511022897 29459828736 54535 33554432000 4194304 4196468 140732383541824 140338799073552 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15514] ppid=15502 vsize=28769364 memory=236088 CPUtime=0.04 cores=0-7 /proc/15504/task/15514/stat : 15514 (java) S 15502 15502 9857 0 -1 1077944384 2412 0 0 0 3 1 0 0 20 0 28 0 511022898 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337317141360 140338853833346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15515] ppid=15502 vsize=28769364 memory=1448 CPUtime=0 cores=0-7 /proc/15504/task/15515/stat : 15515 (java) S 15502 15502 9857 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 511022899 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337316087392 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15516] ppid=15502 vsize=28769364 memory=241680 CPUtime=0 cores=0-7 /proc/15504/task/15516/stat : 15516 (java) S 15502 15502 9857 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 511022899 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337315034496 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15517] ppid=15502 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/15504/task/15517/stat : 15517 (java) S 15502 15502 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511022901 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337313982800 140338853840795 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15518] ppid=15502 vsize=28769364 memory=44734 CPUtime=2.6 cores=0-7 /proc/15504/task/15518/stat : 15518 (java) S 15502 15502 9857 0 -1 1077944384 16166 0 0 0 256 4 0 0 20 0 28 0 511022901 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337312930160 140338853833346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15519] ppid=15502 vsize=28769364 memory=81 CPUtime=2.84 cores=0-7 /proc/15504/task/15519/stat : 15519 (java) S 15502 15502 9857 0 -1 1077944384 12939 0 0 0 279 5 0 0 20 0 28 0 511022901 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337311877360 140338853833346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15520] ppid=15502 vsize=28769364 memory=1448 CPUtime=3.06 cores=0-7 /proc/15504/task/15520/stat : 15520 (java) S 15502 15502 9857 0 -1 1077944384 14588 0 0 0 302 4 0 0 20 0 28 0 511022901 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337310824560 140338853833346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15521] ppid=15502 vsize=28769364 memory=1448 CPUtime=0.92 cores=0-7 /proc/15504/task/15521/stat : 15521 (java) S 15502 15502 9857 0 -1 1077944384 7518 0 0 0 90 2 0 0 20 0 28 0 511022901 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337309771760 140338853833346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15522] ppid=15502 vsize=28769364 memory=220704 CPUtime=0 cores=0-7 /proc/15504/task/15522/stat : 15522 (java) S 15502 15502 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511022902 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337308720224 140338853832405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15523] ppid=15502 vsize=28769364 memory=3620 CPUtime=0.01 cores=0-7 /proc/15504/task/15523/stat : 15523 (java) S 15502 15502 9857 0 -1 1077944384 896 0 0 0 0 1 0 0 20 0 28 0 511022902 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337307667504 140338853833346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15689] ppid=15502 vsize=28769364 memory=63088 CPUtime=14.86 cores=0-7 /proc/15504/task/15689/stat : 15689 (java) R 15502 15502 9857 0 -1 4202560 303 0 0 0 1486 0 0 0 20 0 28 0 511027657 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337289219240 140338476979224 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15690] ppid=15502 vsize=28769364 memory=988 CPUtime=14.86 cores=0-7 /proc/15504/task/15690/stat : 15690 (java) R 15502 15502 9857 0 -1 4202560 183 0 0 0 1486 0 0 0 20 0 28 0 511027657 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337295536040 140338483853583 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15691] ppid=15502 vsize=28769364 memory=5931329015123361888 CPUtime=14.84 cores=0-7 /proc/15504/task/15691/stat : 15691 (java) R 15502 15502 9857 0 -1 4202560 128 0 0 0 1484 0 0 0 20 0 28 0 511027657 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337291324992 140338483853792 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15692] ppid=15502 vsize=28769364 memory=7158023360496030032 CPUtime=14.7 cores=0-7 /proc/15504/task/15692/stat : 15692 (java) R 15502 15502 9857 0 -1 4202560 438 0 0 0 1470 0 0 0 20 0 28 0 511027657 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337296588504 140338483089381 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15693] ppid=15502 vsize=28769364 memory=1448 CPUtime=14.86 cores=0-7 /proc/15504/task/15693/stat : 15693 (java) R 15502 15502 9857 0 -1 4202560 171 0 0 0 1486 0 0 0 20 0 28 0 511027657 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337292377992 140338483868464 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15694] ppid=15502 vsize=28769364 memory=1 CPUtime=14.75 cores=0-7 /proc/15504/task/15694/stat : 15694 (java) R 15502 15502 9857 0 -1 4202560 155 0 0 0 1475 0 0 0 20 0 28 0 511027657 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337294482320 140338483808411 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15695] ppid=15502 vsize=28769364 memory=1327 CPUtime=14.86 cores=0-7 /proc/15504/task/15695/stat : 15695 (java) R 15502 15502 9857 0 -1 4202560 237 0 0 0 1486 0 0 0 20 0 28 0 511027657 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337290275704 140338483527153 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 [pid=15504/tid=15696] ppid=15502 vsize=28769364 memory=1327 CPUtime=14.86 cores=0-7 /proc/15504/task/15696/stat : 15696 (java) R 15502 15502 9857 0 -1 4202560 141 0 0 0 1486 0 0 0 20 0 28 0 511027657 29459828736 54535 33554432000 4194304 4196468 140732383541824 140337293434544 140338481497804 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6967296 140732383544304 140732383544475 140732383544475 140732383547343 0 Current children cumulated CPU time: 492.8 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 219588 KiB Child status: 0 Real time (s): 62.526 CPU time (s): 492.885 CPU user time (s): 492.426 CPU system time (s): 0.458751 CPU usage (%): 788.288 Max. virtual memory (cumulated for all children) (KiB): 28883380 Max. memory (cumulated for all children) (KiB): 248632 getrusage(RUSAGE_CHILDREN,...) data: user time used= 492.426 system time used= 0.458751 maximum resident set size= 249348 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 88573 page faults= 0 swaps= 0 block input operations= 0 block output operations= 288 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9043 involuntary context switches= 6295 # summary of solver processes directly reported to runsolver: # pid: 15502 # total CPU time (s): 492.885 # total CPU user time (s): 492.426 # total CPU system time (s): 0.458751 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.45261 second user time and 0.774503 second system time The end
Begin job on node139 at 2019-09-24 19:54:14 IDJOB=4407388 IDBENCH=128242 IDSOLVER=2872 FILE ID=node139/4407388-1569347521 RUNJOBID= node139-1569336112-9884 PBS_JOBID= 21705055 Free space on /tmp= 5144 MiB SOLVER NAME= choco-solver 2019-09-24 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-4407388-1569347521/watcher-4407388-1569347521 -o /tmp/evaluation-result-4407388-1569347521/solver-4407388-1569347521 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569336112-9884 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1403632523 HOME/instance-4407388-1569347521.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7e8aca8f1f1855a8a689daa123caec8a RANDOM SEED=1403632523 node139.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.57 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.57 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.57 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.57 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: 25415768 kB MemAvailable: 31781732 kB Buffers: 105820 kB Cached: 6348500 kB SwapCached: 64832 kB Active: 3225464 kB Inactive: 3298176 kB Active(anon): 3564 kB Inactive(anon): 121752 kB Active(file): 3221900 kB Inactive(file): 3176424 kB Unevictable: 107100 kB Mlocked: 107100 kB SwapTotal: 67108860 kB SwapFree: 66941040 kB Dirty: 26068 kB Writeback: 12 kB AnonPages: 112460 kB Mapped: 56216 kB Shmem: 47380 kB Slab: 425900 kB SReclaimable: 396100 kB SUnreclaim: 29800 kB KernelStack: 3392 kB PageTables: 5420 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 503448 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 5120 MiB End job on node139 at 2019-09-24 19:55:17