Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 44 | 27.1516 | 3.99367 |
Name | GolombRuler/ GolombRuler-a3v18-09_c18.xml |
MD5SUM | 967738086e80168f9eb4b0337d9e8cf6 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 44 |
Best CPU time to get the best result obtained on this benchmark | 3.78942 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 90 |
Number of constraints | 37 |
Number of domains | 2 |
Minimum domain size | 81 |
Maximum domain size | 82 |
Distribution of domain sizes | [{"size":81,"count":36},{"size":82,"count":9}] |
Minimum variable degree | 0 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":0,"count":45},{"degree":2,"count":36},{"degree":8,"count":8},{"degree":9,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 36 |
Distribution of constraint arities | [{"arity":3,"count":36},{"arity":36,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 36 |
Distribution of constraint types | [{"type":"intension","count":36},{"type":"allDifferent","count":1}] |
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-4394449-1568448771.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394449-1568448771.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.25/0.64 c solve instance... 1.63/0.75 o 65 1.63/0.77 o 65 1.63/0.77 o 61 1.63/0.78 o 59 2.21/0.80 o 57 2.21/0.85 o 53 2.21/0.86 o 52 2.21/0.87 o 50 2.95/0.93 o 49 2.95/0.93 o 47 5.23/1.20 o 45 6.81/1.40 o 44 26.67/3.96 s OPTIMUM FOUND 26.67/3.96 v <instantiation> 26.67/3.96 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[4][5] y[4][6] y[4][7] y[4][8] y[5][6] y[5][7] y[5][8] y[6][7] y[6][8] y[7][8] </list> 26.67/3.96 v <values>0 1 5 12 25 27 35 41 44 1 5 12 25 27 35 41 44 4 11 24 26 34 40 43 7 20 22 30 36 39 13 15 23 29 32 2 10 16 19 8 14 17 6 9 3 </values> 26.67/3.96 v </instantiation>
OK 44
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 (12661 MiB free) memory of node 1: 16384 MiB (12376 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394449-1568448771/watcher-4394449-1568448771 -o /tmp/evaluation-result-4394449-1568448771/solver-4394449-1568448771 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1568443229-6674 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 497336241 HOME/instance-4394449-1568448771.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=8175, runsolver pid=8172 [startup+0.100173 s]* /proc/loadavg: 6.24 6.76 7.15 2/212 8196 /proc/meminfo: memFree=25622912/32770624 swapFree=67004764/67108860 [pid=8175] ppid=8172 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8175/stat : 8175 (xcsp3-exec) S 8172 8175 6647 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421144941 115843072 363 33554432000 4194304 5098028 140729197904816 140729197902920 140094699684476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13582336 140729197908854 140729197909097 140729197909097 140729197912010 0 /proc/8175/statm: 28282 363 304 221 0 87 0 [pid=8177] ppid=8175 vsize=28227388 memory=28504 CPUtime=0.12 cores=0-7 /proc/8177/stat : 8177 (java) S 8175 8175 6647 0 -1 1077944320 5623 0 0 0 11 1 0 0 20 0 20 0 421144942 28904845312 7126 33554432000 4194304 4196468 140724133388128 140724133370672 139662485319415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 /proc/8177/statm: 7056847 7126 3111 1 0 7019032 0 [pid=8177/tid=8178] ppid=8175 vsize=28227388 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/8177/task/8178/stat : 8178 (java) R 8175 8175 6647 0 -1 4202560 3564 0 0 0 8 0 0 0 20 0 20 0 421144942 28904845312 7126 33554432000 4194304 4196468 140724133388128 139662489554432 139662485331350 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8179] ppid=8175 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/8177/task/8179/stat : 8179 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421144943 28904845312 7126 33554432000 4194304 4196468 140724133388128 139662036425744 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8180] ppid=8175 vsize=28227388 memory=140305315546752 CPUtime=0 cores=0-7 /proc/8177/task/8180/stat : 8180 (java) S 8175 8175 6647 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421144943 28904845312 7126 33554432000 4194304 4196468 140724133388128 139662035373200 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8181] ppid=8175 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8181/stat : 8181 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421144943 28904845312 7126 33554432000 4194304 4196468 140724133388128 139662034320144 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8182] ppid=8175 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8182/stat : 8182 (java) S 8175 8175 6647 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421144943 28904845312 7126 33554432000 4194304 4196468 140724133388128 139662033267600 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8183] ppid=8175 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8183/stat : 8183 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421144943 28904845312 7126 33554432000 4194304 4196468 140724133388128 139662032214544 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8184] ppid=8175 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/8177/task/8184/stat : 8184 (java) S 8175 8175 6647 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421144943 28904845312 7126 33554432000 4194304 4196468 140724133388128 139662031162000 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8185] ppid=8175 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8185/stat : 8185 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421144943 28904845312 7126 33554432000 4194304 4196468 140724133388128 139662030108944 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8186] ppid=8175 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8186/stat : 8186 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421144943 28904845312 7126 33554432000 4194304 4196468 140724133388128 139662029056400 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8187] ppid=8175 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8187/stat : 8187 (java) S 8175 8175 6647 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421144944 28904845312 7126 33554432000 4194304 4196468 140724133388128 139661199956720 139662485330562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8188] ppid=8175 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8188/stat : 8188 (java) S 8175 8175 6647 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421144945 28904845312 7126 33554432000 4194304 4196468 140724133388128 139661198902944 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8189] ppid=8175 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8189/stat : 8189 (java) S 8175 8175 6647 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421144945 28904845312 7126 33554432000 4194304 4196468 140724133388128 139661197849840 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8190] ppid=8175 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8190/stat : 8190 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421144947 28904845312 7126 33554432000 4194304 4196468 140724133388128 139661080127952 139662485338011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8191] ppid=8175 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8191/stat : 8191 (java) S 8175 8175 6647 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 421144947 28904845312 7126 33554432000 4194304 4196468 140724133388128 139661079075056 139662485330562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8192] ppid=8175 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8192/stat : 8192 (java) S 8175 8175 6647 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 421144947 28904845312 7126 33554432000 4194304 4196468 140724133388128 139661078022512 139662485330562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8193] ppid=8175 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8193/stat : 8193 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421144947 28904845312 7126 33554432000 4194304 4196468 140724133388128 139661076969456 139662485330562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8194] ppid=8175 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/8177/task/8194/stat : 8194 (java) S 8175 8175 6647 0 -1 1077944384 326 0 0 0 1 0 0 0 20 0 20 0 421144947 28904845312 7126 33554432000 4194304 4196468 140724133388128 139661075916912 139662485330562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8195] ppid=8175 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8195/stat : 8195 (java) S 8175 8175 6647 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421144948 28904845312 7126 33554432000 4194304 4196468 140724133388128 139661074865120 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8196] ppid=8175 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/8177/task/8196/stat : 8196 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421144948 28904845312 7126 33554432000 4194304 4196468 140724133388128 139661073812656 139662485330562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 29956 KiB [startup+0.210122 s]* /proc/loadavg: 6.24 6.76 7.15 2/212 8196 /proc/meminfo: memFree=25607368/32770624 swapFree=67004764/67108860 [pid=8175] ppid=8172 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8175/stat : 8175 (xcsp3-exec) S 8172 8175 6647 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421144941 115843072 363 33554432000 4194304 5098028 140729197904816 140729197902920 140094699684476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13582336 140729197908854 140729197909097 140729197909097 140729197912010 0 /proc/8175/statm: 28282 363 304 221 0 87 0 [pid=8177] ppid=8175 vsize=28227388 memory=41212 CPUtime=0.34 cores=0-7 /proc/8177/stat : 8177 (java) S 8175 8175 6647 0 -1 1077944320 9532 0 0 0 31 3 0 0 20 0 20 0 421144942 28904845312 10303 33554432000 4194304 4196468 140724133388128 140724133370672 139662485319415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 /proc/8177/statm: 7056847 10303 3302 1 0 7019032 0 [pid=8177/tid=8178] ppid=8175 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/8177/task/8178/stat : 8178 (java) R 8175 8175 6647 0 -1 4202560 6607 0 0 0 18 2 0 0 20 0 20 0 421144942 28904845312 10303 33554432000 4194304 4196468 140724133388128 139662489549136 139662485331350 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8179] ppid=8175 vsize=28227388 memory=328 CPUtime=0 cores=0-7 /proc/8177/task/8179/stat : 8179 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421144943 28904845312 10303 33554432000 4194304 4196468 140724133388128 139662036425744 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8180] ppid=8175 vsize=28227388 memory=140305315555180 CPUtime=0 cores=0-7 /proc/8177/task/8180/stat : 8180 (java) S 8175 8175 6647 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421144943 28904845312 10303 33554432000 4194304 4196468 140724133388128 139662035373200 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8181] ppid=8175 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/8177/task/8181/stat : 8181 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421144943 28904845312 10303 33554432000 4194304 4196468 140724133388128 139662034320144 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8182] ppid=8175 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8182/stat : 8182 (java) S 8175 8175 6647 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421144943 28904845312 10303 33554432000 4194304 4196468 140724133388128 139662033267600 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8183] ppid=8175 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8183/stat : 8183 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421144943 28904845312 10303 33554432000 4194304 4196468 140724133388128 139662032214544 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8184] ppid=8175 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/8177/task/8184/stat : 8184 (java) S 8175 8175 6647 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421144943 28904845312 10303 33554432000 4194304 4196468 140724133388128 139662031162000 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8185] ppid=8175 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8185/stat : 8185 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421144943 28904845312 10303 33554432000 4194304 4196468 140724133388128 139662030108944 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8186] ppid=8175 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8186/stat : 8186 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421144943 28904845312 10303 33554432000 4194304 4196468 140724133388128 139662029056400 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8187] ppid=8175 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8187/stat : 8187 (java) S 8175 8175 6647 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421144944 28904845312 10303 33554432000 4194304 4196468 140724133388128 139661199956720 139662485330562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8188] ppid=8175 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8188/stat : 8188 (java) S 8175 8175 6647 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421144945 28904845312 10303 33554432000 4194304 4196468 140724133388128 139661198902944 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8189] ppid=8175 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8189/stat : 8189 (java) S 8175 8175 6647 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421144945 28904845312 10303 33554432000 4194304 4196468 140724133388128 139661197849840 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8190] ppid=8175 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8190/stat : 8190 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421144947 28904845312 10303 33554432000 4194304 4196468 140724133388128 139661080127952 139662485338011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8191] ppid=8175 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/8177/task/8191/stat : 8191 (java) S 8175 8175 6647 0 -1 1077944384 332 0 0 0 1 0 0 0 20 0 20 0 421144947 28904845312 10303 33554432000 4194304 4196468 140724133388128 139661079075056 139662485330562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8192] ppid=8175 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/8177/task/8192/stat : 8192 (java) S 8175 8175 6647 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 20 0 421144947 28904845312 10303 33554432000 4194304 4196468 140724133388128 139661078022512 139662485330562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8193] ppid=8175 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/8177/task/8193/stat : 8193 (java) S 8175 8175 6647 0 -1 1077944384 144 0 0 0 1 0 0 0 20 0 20 0 421144947 28904845312 10303 33554432000 4194304 4196468 140724133388128 139661076969552 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8194] ppid=8175 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/8177/task/8194/stat : 8194 (java) R 8175 8175 6647 0 -1 4202560 785 0 0 0 7 0 0 0 20 0 20 0 421144947 28904845312 10303 33554432000 4194304 4196468 140724133388128 139661075916912 139662485331350 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8195] ppid=8175 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8195/stat : 8195 (java) S 8175 8175 6647 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421144948 28904845312 10303 33554432000 4194304 4196468 140724133388128 139661074865120 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8196] ppid=8175 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/8177/task/8196/stat : 8196 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421144948 28904845312 10303 33554432000 4194304 4196468 140724133388128 139661073812656 139662485330562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42664 KiB [startup+0.32107 s]* /proc/loadavg: 6.24 6.76 7.15 3/212 8196 /proc/meminfo: memFree=25601504/32770624 swapFree=67004764/67108860 [pid=8175] ppid=8172 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8175/stat : 8175 (xcsp3-exec) S 8172 8175 6647 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421144941 115843072 363 33554432000 4194304 5098028 140729197904816 140729197902920 140094699684476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13582336 140729197908854 140729197909097 140729197909097 140729197912010 0 /proc/8175/statm: 28282 363 304 221 0 87 0 [pid=8177] ppid=8175 vsize=28231644 memory=50684 CPUtime=0.54 cores=0-7 /proc/8177/stat : 8177 (java) S 8175 8175 6647 0 -1 1077944320 11044 0 0 0 50 4 0 0 20 0 20 0 421144942 28909203456 12671 33554432000 4194304 4196468 140724133388128 140724133370672 139662485319415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 /proc/8177/statm: 7057911 12671 3341 1 0 7019032 0 [pid=8177/tid=8178] ppid=8175 vsize=28231644 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/8177/task/8178/stat : 8178 (java) R 8175 8175 6647 0 -1 4202560 7885 0 0 0 28 2 0 0 20 0 20 0 421144942 28909203456 12671 33554432000 4194304 4196468 140724133388128 139662489550528 139662469399902 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8179] ppid=8175 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8179/stat : 8179 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421144943 28909203456 12671 33554432000 4194304 4196468 140724133388128 139662036425744 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8180] ppid=8175 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8180/stat : 8180 (java) S 8175 8175 6647 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421144943 28909203456 12671 33554432000 4194304 4196468 140724133388128 139662035373200 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8181] ppid=8175 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8181/stat : 8181 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421144943 28909203456 12671 33554432000 4194304 4196468 140724133388128 139662034320144 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8182] ppid=8175 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8182/stat : 8182 (java) S 8175 8175 6647 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421144943 28909203456 12671 33554432000 4194304 4196468 140724133388128 139662033267600 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8183] ppid=8175 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8183/stat : 8183 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421144943 28909203456 12671 33554432000 4194304 4196468 140724133388128 139662032214544 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8184] ppid=8175 vsize=28231644 memory=140305173146287 CPUtime=0 cores=0-7 /proc/8177/task/8184/stat : 8184 (java) S 8175 8175 6647 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421144943 28909203456 12671 33554432000 4194304 4196468 140724133388128 139662031162000 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8185] ppid=8175 vsize=28231644 memory=140305173148592 CPUtime=0 cores=0-7 /proc/8177/task/8185/stat : 8185 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421144943 28909203456 12671 33554432000 4194304 4196468 140724133388128 139662030108944 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8186] ppid=8175 vsize=28231644 memory=140305173150896 CPUtime=0 cores=0-7 /proc/8177/task/8186/stat : 8186 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421144943 28909203456 12671 33554432000 4194304 4196468 140724133388128 139662029056400 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8187] ppid=8175 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8187/stat : 8187 (java) S 8175 8175 6647 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421144944 28909203456 12671 33554432000 4194304 4196468 140724133388128 139661199956720 139662485330562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8188] ppid=8175 vsize=28231644 memory=280610346315664 CPUtime=0 cores=0-7 /proc/8177/task/8188/stat : 8188 (java) S 8175 8175 6647 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421144945 28909203456 12671 33554432000 4194304 4196468 140724133388128 139661198902944 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8189] ppid=8175 vsize=28231644 memory=280610346313360 CPUtime=0 cores=0-7 /proc/8177/task/8189/stat : 8189 (java) S 8175 8175 6647 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421144945 28909203456 12671 33554432000 4194304 4196468 140724133388128 139661197849840 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8190] ppid=8175 vsize=28231644 memory=280610346320272 CPUtime=0 cores=0-7 /proc/8177/task/8190/stat : 8190 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421144947 28909203456 12671 33554432000 4194304 4196468 140724133388128 139661080127952 139662485338011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8191] ppid=8175 vsize=28231644 memory=280610346261552 CPUtime=0.02 cores=0-7 /proc/8177/task/8191/stat : 8191 (java) S 8175 8175 6647 0 -1 1077944384 449 0 0 0 2 0 0 0 20 0 20 0 421144947 28909203456 12671 33554432000 4194304 4196468 140724133388128 139661079075056 139662485330562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8192] ppid=8175 vsize=28231644 memory=280610346334096 CPUtime=0.03 cores=0-7 /proc/8177/task/8192/stat : 8192 (java) S 8175 8175 6647 0 -1 1077944384 370 0 0 0 3 0 0 0 20 0 20 0 421144947 28909203456 12671 33554432000 4194304 4196468 140724133388128 139661078022512 139662485330562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8193] ppid=8175 vsize=28231644 memory=280610346341008 CPUtime=0.02 cores=0-7 /proc/8177/task/8193/stat : 8193 (java) S 8175 8175 6647 0 -1 1077944384 156 0 0 0 2 0 0 0 20 0 20 0 421144947 28909203456 12671 33554432000 4194304 4196468 140724133388128 139661076969456 139662485330562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8194] ppid=8175 vsize=28231644 memory=280610346338704 CPUtime=0.12 cores=0-7 /proc/8177/task/8194/stat : 8194 (java) S 8175 8175 6647 0 -1 1077944384 883 0 0 0 12 0 0 0 20 0 20 0 421144947 28909203456 12671 33554432000 4194304 4196468 140724133388128 139661075916912 139662485330562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8195] ppid=8175 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8195/stat : 8195 (java) S 8175 8175 6647 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421144948 28909203456 12671 33554432000 4194304 4196468 140724133388128 139661074865120 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8196] ppid=8175 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/8177/task/8196/stat : 8196 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421144948 28909203456 12671 33554432000 4194304 4196468 140724133388128 139661073812656 139662485330562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 52136 KiB [startup+0.701079 s] /proc/loadavg: 6.24 6.76 7.15 4/212 8196 /proc/meminfo: memFree=25587796/32770624 swapFree=67004764/67108860 [pid=8175] ppid=8172 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8175/stat : 8175 (xcsp3-exec) S 8172 8175 6647 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421144941 115843072 363 33554432000 4194304 5098028 140729197904816 140729197902920 140094699684476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13582336 140729197908854 140729197909097 140729197909097 140729197912010 0 /proc/8175/statm: 28282 363 304 221 0 87 0 [pid=8177] ppid=8175 vsize=28766280 memory=95752 CPUtime=1.63 cores=0-7 /proc/8177/stat : 8177 (java) S 8175 8175 6647 0 -1 1077944320 14828 0 0 0 156 7 0 0 20 0 28 0 421144942 29456670720 23938 33554432000 4194304 4196468 140724133388128 140724133370672 139662485319415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 /proc/8177/statm: 7191570 23938 3450 1 0 7152672 0 [pid=8177/tid=8178] ppid=8175 vsize=28766280 memory=0 CPUtime=0.64 cores=0-7 /proc/8177/task/8178/stat : 8178 (java) S 8175 8175 6647 0 -1 1077944384 9316 0 0 0 61 3 0 0 20 0 28 0 421144942 29456670720 23938 33554432000 4194304 4196468 140724133388128 139662489560192 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8179] ppid=8175 vsize=28766280 memory=140305173357424 CPUtime=0 cores=0-7 /proc/8177/task/8179/stat : 8179 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421144943 29456670720 23938 33554432000 4194304 4196468 140724133388128 139662036425744 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8180] ppid=8175 vsize=28766280 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8180/stat : 8180 (java) S 8175 8175 6647 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 421144943 29456670720 23938 33554432000 4194304 4196468 140724133388128 139662035373200 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8181] ppid=8175 vsize=28766280 memory=772 CPUtime=0 cores=0-7 /proc/8177/task/8181/stat : 8181 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421144943 29456670720 23938 33554432000 4194304 4196468 140724133388128 139662034320144 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 ################ # More data... # ################ [pid=8177/tid=8194] ppid=8175 vsize=28769356 memory=1660 CPUtime=0.88 cores=0-7 /proc/8177/task/8194/stat : 8194 (java) R 8175 8175 6647 0 -1 1077944384 4659 0 0 0 86 2 0 0 20 0 28 0 421144947 29459820544 65094 33554432000 4194304 4196468 140724133388128 139661075916912 139662485330562 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8195] ppid=8175 vsize=28769356 memory=1984 CPUtime=0 cores=0-7 /proc/8177/task/8195/stat : 8195 (java) S 8175 8175 6647 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421144948 29459820544 65094 33554432000 4194304 4196468 140724133388128 139661074865120 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8196] ppid=8175 vsize=28769356 memory=2472 CPUtime=0 cores=0-7 /proc/8177/task/8196/stat : 8196 (java) S 8175 8175 6647 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421144948 29459820544 65094 33554432000 4194304 4196468 140724133388128 139661073812656 139662485330562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8293] ppid=8175 vsize=28769356 memory=1440 CPUtime=1.59 cores=0-7 /proc/8177/task/8293/stat : 8293 (java) R 8175 8175 6647 0 -1 4202560 27 0 0 0 159 0 0 0 20 0 28 0 421145082 29459820544 65094 33554432000 4194304 4196468 140724133388128 139660280790504 139662092302250 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8294] ppid=8175 vsize=28769356 memory=816 CPUtime=1.72 cores=0-7 /proc/8177/task/8294/stat : 8294 (java) R 8175 8175 6647 0 -1 4202560 28 0 0 0 172 0 0 0 20 0 28 0 421145082 29459820544 65094 33554432000 4194304 4196468 140724133388128 139660281843816 139662090581119 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8295] ppid=8175 vsize=28769356 memory=1764 CPUtime=1.35 cores=0-7 /proc/8177/task/8295/stat : 8295 (java) R 8175 8175 6647 0 -1 4202560 60 0 0 0 135 0 0 0 20 0 28 0 421145082 29459820544 65094 33554432000 4194304 4196468 140724133388128 139661064838848 139662085697639 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8296] ppid=8175 vsize=28769356 memory=111628 CPUtime=1.73 cores=0-7 /proc/8177/task/8296/stat : 8296 (java) R 8175 8175 6647 0 -1 4202560 29 0 0 0 172 1 0 0 20 0 28 0 421145082 29459820544 65094 33554432000 4194304 4196468 140724133388128 139660276588352 139662090795859 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8297] ppid=8175 vsize=28769356 memory=804 CPUtime=1.74 cores=0-7 /proc/8177/task/8297/stat : 8297 (java) R 8175 8175 6647 0 -1 4202560 24 0 0 0 174 0 0 0 20 0 28 0 421145082 29459820544 65094 33554432000 4194304 4196468 140724133388128 139660283947792 139662091297629 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8298] ppid=8175 vsize=28769356 memory=1808 CPUtime=1.57 cores=0-7 /proc/8177/task/8298/stat : 8298 (java) R 8175 8175 6647 0 -1 4202560 25 0 0 0 157 0 0 0 20 0 28 0 421145082 29459820544 65094 33554432000 4194304 4196468 140724133388128 139660282896056 139662094740455 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8299] ppid=8175 vsize=28769356 memory=924 CPUtime=1.75 cores=0-7 /proc/8177/task/8299/stat : 8299 (java) R 8175 8175 6647 0 -1 4202560 24 0 0 0 175 0 0 0 20 0 28 0 421145082 29459820544 65094 33554432000 4194304 4196468 140724133388128 139660285002320 139662090683661 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8300] ppid=8175 vsize=28769356 memory=4412 CPUtime=1.69 cores=0-7 /proc/8177/task/8300/stat : 8300 (java) R 8175 8175 6647 0 -1 4202560 24 0 0 0 169 0 0 0 20 0 28 0 421145082 29459820544 65094 33554432000 4194304 4196468 140724133388128 139660279739384 139662090580648 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 Current children cumulated CPU time: 24.28 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 261828 KiB [startup+3.80908 s] /proc/loadavg: 6.86 6.88 7.18 13/220 8300 /proc/meminfo: memFree=25403996/32770624 swapFree=67004764/67108860 [pid=8175] ppid=8172 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8175/stat : 8175 (xcsp3-exec) S 8172 8175 6647 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421144941 115843072 363 33554432000 4194304 5098028 140729197904816 140729197902920 140094699684476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13582336 140729197908854 140729197909097 140729197909097 140729197912010 0 /proc/8175/statm: 28282 363 304 221 0 87 0 [pid=8177] ppid=8175 vsize=28769356 memory=267124 CPUtime=25.9 cores=0-7 /proc/8177/stat : 8177 (java) S 8175 8175 6647 0 -1 1077944320 47971 0 0 0 2568 22 0 0 20 0 28 0 421144942 29459820544 66781 33554432000 4194304 4196468 140724133388128 140724133370672 139662485319415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 /proc/8177/statm: 7192339 66781 3507 1 0 7153441 0 [pid=8177/tid=8178] ppid=8175 vsize=28769356 memory=7971542655782669194 CPUtime=0.65 cores=0-7 /proc/8177/task/8178/stat : 8178 (java) S 8175 8175 6647 0 -1 1077944384 9320 0 0 0 62 3 0 0 20 0 28 0 421144942 29459820544 66781 33554432000 4194304 4196468 140724133388128 139662489560192 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8179] ppid=8175 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8179/stat : 8179 (java) S 8175 8175 6647 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 421144943 29459820544 66781 33554432000 4194304 4196468 140724133388128 139662036425744 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8180] ppid=8175 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8180/stat : 8180 (java) S 8175 8175 6647 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 421144943 29459820544 66781 33554432000 4194304 4196468 140724133388128 139662035373200 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8181] ppid=8175 vsize=28769356 memory=280610346547168 CPUtime=0 cores=0-7 /proc/8177/task/8181/stat : 8181 (java) S 8175 8175 6647 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 421144943 29459820544 66781 33554432000 4194304 4196468 140724133388128 139662034320144 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8182] ppid=8175 vsize=28769356 memory=280610346703136 CPUtime=0 cores=0-7 /proc/8177/task/8182/stat : 8182 (java) S 8175 8175 6647 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 421144943 29459820544 66781 33554432000 4194304 4196468 140724133388128 139662033267600 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8183] ppid=8175 vsize=28769356 memory=15259250825889593 CPUtime=0 cores=0-7 /proc/8177/task/8183/stat : 8183 (java) S 8175 8175 6647 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 421144943 29459820544 66781 33554432000 4194304 4196468 140724133388128 139662032214544 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8184] ppid=8175 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8184/stat : 8184 (java) S 8175 8175 6647 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 421144943 29459820544 66781 33554432000 4194304 4196468 140724133388128 139662031162000 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8185] ppid=8175 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8185/stat : 8185 (java) S 8175 8175 6647 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 421144943 29459820544 66781 33554432000 4194304 4196468 140724133388128 139662030108944 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8186] ppid=8175 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8186/stat : 8186 (java) S 8175 8175 6647 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 421144943 29459820544 66781 33554432000 4194304 4196468 140724133388128 139662029056400 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8187] ppid=8175 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8187/stat : 8187 (java) S 8175 8175 6647 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 421144944 29459820544 66781 33554432000 4194304 4196468 140724133388128 139661199956720 139662485330562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8188] ppid=8175 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8188/stat : 8188 (java) S 8175 8175 6647 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 421144945 29459820544 66781 33554432000 4194304 4196468 140724133388128 139661198903008 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8189] ppid=8175 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8189/stat : 8189 (java) S 8175 8175 6647 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 421144945 29459820544 66781 33554432000 4194304 4196468 140724133388128 139661197849840 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8190] ppid=8175 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8190/stat : 8190 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421144947 29459820544 66781 33554432000 4194304 4196468 140724133388128 139661080127952 139662485338011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8191] ppid=8175 vsize=28769356 memory=0 CPUtime=1.97 cores=0-7 /proc/8177/task/8191/stat : 8191 (java) R 8175 8175 6647 0 -1 4202560 21496 0 0 0 193 4 0 0 20 0 28 0 421144947 29459820544 66781 33554432000 4194304 4196468 140724133388128 139661079065792 139662471352912 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8192] ppid=8175 vsize=28769356 memory=0 CPUtime=2.08 cores=0-7 /proc/8177/task/8192/stat : 8192 (java) R 8175 8175 6647 0 -1 4202560 4687 0 0 0 207 1 0 0 20 0 28 0 421144947 29459820544 66781 33554432000 4194304 4196468 140724133388128 139661078008736 139662470445702 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8193] ppid=8175 vsize=28769356 memory=0 CPUtime=1.96 cores=0-7 /proc/8177/task/8193/stat : 8193 (java) R 8175 8175 6647 0 -1 4202560 4030 0 0 0 195 1 0 0 20 0 28 0 421144947 29459820544 66781 33554432000 4194304 4196468 140724133388128 139661076959376 139662470201074 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8194] ppid=8175 vsize=28769356 memory=0 CPUtime=0.89 cores=0-7 /proc/8177/task/8194/stat : 8194 (java) S 8175 8175 6647 0 -1 1077944384 4670 0 0 0 87 2 0 0 20 0 28 0 421144947 29459820544 66781 33554432000 4194304 4196468 140724133388128 139661075916912 139662485330562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8195] ppid=8175 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8195/stat : 8195 (java) S 8175 8175 6647 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421144948 29459820544 66781 33554432000 4194304 4196468 140724133388128 139661074865120 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8196] ppid=8175 vsize=28769356 memory=8514700759951242141 CPUtime=0 cores=0-7 /proc/8177/task/8196/stat : 8196 (java) S 8175 8175 6647 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421144948 29459820544 66781 33554432000 4194304 4196468 140724133388128 139661073812656 139662485330562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8293] ppid=8175 vsize=28769356 memory=-8383301583103171957 CPUtime=1.79 cores=0-7 /proc/8177/task/8293/stat : 8293 (java) R 8175 8175 6647 0 -1 4202560 28 0 0 0 179 0 0 0 20 0 28 0 421145082 29459820544 66781 33554432000 4194304 4196468 140724133388128 139660280790248 139662090580454 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8294] ppid=8175 vsize=28769356 memory=7245577201579234449 CPUtime=1.84 cores=0-7 /proc/8177/task/8294/stat : 8294 (java) R 8175 8175 6647 0 -1 4202560 28 0 0 0 184 0 0 0 20 0 28 0 421145082 29459820544 66781 33554432000 4194304 4196468 140724133388128 139660281844744 139662090795537 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8295] ppid=8175 vsize=28769356 memory=3054156605335180436 CPUtime=1.46 cores=0-7 /proc/8177/task/8295/stat : 8295 (java) R 8175 8175 6647 0 -1 4202560 62 0 0 0 146 0 0 0 20 0 28 0 421145082 29459820544 66781 33554432000 4194304 4196468 140724133388128 139661064838488 139662094464353 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8296] ppid=8175 vsize=28769356 memory=-3705176732362986910 CPUtime=1.85 cores=0-7 /proc/8177/task/8296/stat : 8296 (java) R 8175 8175 6647 0 -1 4202560 29 0 0 0 184 1 0 0 20 0 28 0 421145082 29459820544 66781 33554432000 4194304 4196468 140724133388128 139660276588920 139662093193727 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8297] ppid=8175 vsize=28769356 memory=-8253362762721549229 CPUtime=1.9 cores=0-7 /proc/8177/task/8297/stat : 8297 (java) R 8175 8175 6647 0 -1 4202560 24 0 0 0 190 0 0 0 20 0 28 0 421145082 29459820544 66781 33554432000 4194304 4196468 140724133388128 139660283948224 139662093615712 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8298] ppid=8175 vsize=28769356 memory=8514726395715219252 CPUtime=1.74 cores=0-7 /proc/8177/task/8298/stat : 8298 (java) R 8175 8175 6647 0 -1 4202560 25 0 0 0 174 0 0 0 20 0 28 0 421145082 29459820544 66781 33554432000 4194304 4196468 140724133388128 139660282895928 139662090682944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8299] ppid=8175 vsize=28769356 memory=8514726395714825875 CPUtime=1.93 cores=0-7 /proc/8177/task/8299/stat : 8299 (java) R 8175 8175 6647 0 -1 4202560 24 0 0 0 193 0 0 0 20 0 28 0 421145082 29459820544 66781 33554432000 4194304 4196468 140724133388128 139660285002408 139662090795788 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8300] ppid=8175 vsize=28769356 memory=-8099263777153863638 CPUtime=1.86 cores=0-7 /proc/8177/task/8300/stat : 8300 (java) R 8175 8175 6647 0 -1 4202560 24 0 0 0 186 0 0 0 20 0 28 0 421145082 29459820544 66781 33554432000 4194304 4196468 140724133388128 139660279738872 139662091297866 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 Current children cumulated CPU time: 25.9 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 268576 KiB [startup+3.90608 s] /proc/loadavg: 6.86 6.88 7.18 13/220 8300 /proc/meminfo: memFree=25403996/32770624 swapFree=67004764/67108860 [pid=8175] ppid=8172 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/8175/stat : 8175 (xcsp3-exec) S 8172 8175 6647 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421144941 115843072 363 33554432000 4194304 5098028 140729197904816 140729197902920 140094699684476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13582336 140729197908854 140729197909097 140729197909097 140729197912010 0 /proc/8175/statm: 28282 363 304 221 0 87 0 [pid=8177] ppid=8175 vsize=28769356 memory=267292 CPUtime=26.67 cores=0-7 /proc/8177/stat : 8177 (java) S 8175 8175 6647 0 -1 1077944320 48012 0 0 0 2645 22 0 0 20 0 28 0 421144942 29459820544 66823 33554432000 4194304 4196468 140724133388128 140724133370672 139662485319415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 /proc/8177/statm: 7192339 66823 3509 1 0 7153441 0 [pid=8177/tid=8178] ppid=8175 vsize=28769356 memory=0 CPUtime=0.65 cores=0-7 /proc/8177/task/8178/stat : 8178 (java) S 8175 8175 6647 0 -1 1077944384 9320 0 0 0 62 3 0 0 20 0 28 0 421144942 29459820544 66823 33554432000 4194304 4196468 140724133388128 139662489560192 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8179] ppid=8175 vsize=28769356 memory=222952 CPUtime=0 cores=0-7 /proc/8177/task/8179/stat : 8179 (java) S 8175 8175 6647 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 421144943 29459820544 66823 33554432000 4194304 4196468 140724133388128 139662036425744 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8180] ppid=8175 vsize=28769356 memory=917 CPUtime=0 cores=0-7 /proc/8177/task/8180/stat : 8180 (java) S 8175 8175 6647 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 421144943 29459820544 66823 33554432000 4194304 4196468 140724133388128 139662035373200 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8181] ppid=8175 vsize=28769356 memory=65 CPUtime=0 cores=0-7 /proc/8177/task/8181/stat : 8181 (java) S 8175 8175 6647 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 421144943 29459820544 66823 33554432000 4194304 4196468 140724133388128 139662034320144 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8182] ppid=8175 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8182/stat : 8182 (java) S 8175 8175 6647 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 421144943 29459820544 66823 33554432000 4194304 4196468 140724133388128 139662033267600 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8183] ppid=8175 vsize=28769356 memory=56 CPUtime=0 cores=0-7 /proc/8177/task/8183/stat : 8183 (java) S 8175 8175 6647 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 421144943 29459820544 66823 33554432000 4194304 4196468 140724133388128 139662032214544 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8184] ppid=8175 vsize=28769356 memory=9214 CPUtime=0 cores=0-7 /proc/8177/task/8184/stat : 8184 (java) S 8175 8175 6647 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 421144943 29459820544 66823 33554432000 4194304 4196468 140724133388128 139662031162000 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8185] ppid=8175 vsize=28769356 memory=21811 CPUtime=0 cores=0-7 /proc/8177/task/8185/stat : 8185 (java) S 8175 8175 6647 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 421144943 29459820544 66823 33554432000 4194304 4196468 140724133388128 139662030108944 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8186] ppid=8175 vsize=28769356 memory=0 CPUtime=0 cores=0-7 /proc/8177/task/8186/stat : 8186 (java) S 8175 8175 6647 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 421144943 29459820544 66823 33554432000 4194304 4196468 140724133388128 139662029056400 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8187] ppid=8175 vsize=28769356 memory=65 CPUtime=0 cores=0-7 /proc/8177/task/8187/stat : 8187 (java) S 8175 8175 6647 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 421144944 29459820544 66823 33554432000 4194304 4196468 140724133388128 139661199956720 139662485330562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8188] ppid=8175 vsize=28769356 memory=8623210815775344262 CPUtime=0 cores=0-7 /proc/8177/task/8188/stat : 8188 (java) S 8175 8175 6647 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 421144945 29459820544 66823 33554432000 4194304 4196468 140724133388128 139661198903008 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8189] ppid=8175 vsize=28769356 memory=-2970219127293634922 CPUtime=0 cores=0-7 /proc/8177/task/8189/stat : 8189 (java) S 8175 8175 6647 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 421144945 29459820544 66823 33554432000 4194304 4196468 140724133388128 139661197849840 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8190] ppid=8175 vsize=28769356 memory=-7025452035942946156 CPUtime=0 cores=0-7 /proc/8177/task/8190/stat : 8190 (java) S 8175 8175 6647 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421144947 29459820544 66823 33554432000 4194304 4196468 140724133388128 139661080127952 139662485338011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8191] ppid=8175 vsize=28769356 memory=0 CPUtime=2.02 cores=0-7 /proc/8177/task/8191/stat : 8191 (java) R 8175 8175 6647 0 -1 4202560 21496 0 0 0 198 4 0 0 20 0 28 0 421144947 29459820544 66823 33554432000 4194304 4196468 140724133388128 139661079056448 139662464974625 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8192] ppid=8175 vsize=28769356 memory=14008 CPUtime=2.15 cores=0-7 /proc/8177/task/8192/stat : 8192 (java) R 8175 8175 6647 0 -1 4202560 4710 0 0 0 214 1 0 0 20 0 28 0 421144947 29459820544 66823 33554432000 4194304 4196468 140724133388128 139661078015704 139662464588324 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8193] ppid=8175 vsize=28769356 memory=22776 CPUtime=2.04 cores=0-7 /proc/8177/task/8193/stat : 8193 (java) R 8175 8175 6647 0 -1 4202560 4047 0 0 0 203 1 0 0 20 0 28 0 421144947 29459820544 66823 33554432000 4194304 4196468 140724133388128 139661076959936 139662468813877 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8194] ppid=8175 vsize=28769356 memory=2116 CPUtime=0.89 cores=0-7 /proc/8177/task/8194/stat : 8194 (java) R 8175 8175 6647 0 -1 1077944384 4671 0 0 0 87 2 0 0 20 0 28 0 421144947 29459820544 66823 33554432000 4194304 4196468 140724133388128 139661075917008 139662485329621 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8195] ppid=8175 vsize=28769356 memory=12028 CPUtime=0 cores=0-7 /proc/8177/task/8195/stat : 8195 (java) S 8175 8175 6647 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421144948 29459820544 66823 33554432000 4194304 4196468 140724133388128 139661074865120 139662485329621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8196] ppid=8175 vsize=28769356 memory=496 CPUtime=0 cores=0-7 /proc/8177/task/8196/stat : 8196 (java) S 8175 8175 6647 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421144948 29459820544 66823 33554432000 4194304 4196468 140724133388128 139661073812656 139662485330562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8293] ppid=8175 vsize=28769356 memory=1564 CPUtime=1.86 cores=0-7 /proc/8177/task/8293/stat : 8293 (java) R 8175 8175 6647 0 -1 4202560 28 0 0 0 186 0 0 0 20 0 28 0 421145082 29459820544 66823 33554432000 4194304 4196468 140724133388128 139660280790728 139662091297545 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8294] ppid=8175 vsize=28769356 memory=140309610514047 CPUtime=1.94 cores=0-7 /proc/8177/task/8294/stat : 8294 (java) R 8175 8175 6647 0 -1 4202560 28 0 0 0 194 0 0 0 20 0 28 0 421145082 29459820544 66823 33554432000 4194304 4196468 140724133388128 139660281844552 139662090683919 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8295] ppid=8175 vsize=28769356 memory=6080235982264156256 CPUtime=1.51 cores=0-7 /proc/8177/task/8295/stat : 8295 (java) R 8175 8175 6647 0 -1 4202560 62 0 0 0 151 0 0 0 20 0 28 0 421145082 29459820544 66823 33554432000 4194304 4196468 140724133388128 139661064839016 139662094463765 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8296] ppid=8175 vsize=28769356 memory=7302977570837718119 CPUtime=1.9 cores=0-7 /proc/8177/task/8296/stat : 8296 (java) R 8175 8175 6647 0 -1 4202560 29 0 0 0 189 1 0 0 20 0 28 0 421145082 29459820544 66823 33554432000 4194304 4196468 140724133388128 139660276588920 139662090579983 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8297] ppid=8175 vsize=28769356 memory=5859271421085237344 CPUtime=1.99 cores=0-7 /proc/8177/task/8297/stat : 8297 (java) R 8175 8175 6647 0 -1 4202560 24 0 0 0 199 0 0 0 20 0 28 0 421145082 29459820544 66823 33554432000 4194304 4196468 140724133388128 139660283948112 139662093614560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8298] ppid=8175 vsize=28769356 memory=0 CPUtime=1.84 cores=0-7 /proc/8177/task/8298/stat : 8298 (java) R 8175 8175 6647 0 -1 4202560 25 0 0 0 184 0 0 0 20 0 28 0 421145082 29459820544 66823 33554432000 4194304 4196468 140724133388128 139660282895928 139662094991780 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8299] ppid=8175 vsize=28769356 memory=0 CPUtime=2.02 cores=0-7 /proc/8177/task/8299/stat : 8299 (java) R 8175 8175 6647 0 -1 4202560 24 0 0 0 202 0 0 0 20 0 28 0 421145082 29459820544 66823 33554432000 4194304 4196468 140724133388128 139660285004296 139662093614848 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 [pid=8177/tid=8300] ppid=8175 vsize=28769356 memory=71262097391822 CPUtime=1.91 cores=0-7 /proc/8177/task/8300/stat : 8300 (java) R 8175 8175 6647 0 -1 4202560 24 0 0 0 191 0 0 0 20 0 28 0 421145082 29459820544 66823 33554432000 4194304 4196468 140724133388128 139660279738872 139662093614681 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30048256 140724133389290 140724133389462 140724133389462 140724133392335 0 Current children cumulated CPU time: 26.67 s Current children cumulated vsize: 28882484 KiB Current children cumulated memory: 268744 KiB Child status: 0 Real time (s): 3.99367 CPU time (s): 27.1516 CPU user time (s): 26.9129 CPU system time (s): 0.238659 CPU usage (%): 679.866 Max. virtual memory (cumulated for all children) (KiB): 28885412 Max. memory (cumulated for all children) (KiB): 268744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 26.9129 system time used= 0.238659 maximum resident set size= 268572 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48586 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4869 involuntary context switches= 980 # summary of solver processes directly reported to runsolver: # pid: 8175 # total CPU time (s): 27.1516 # total CPU user time (s): 26.9129 # total CPU system time (s): 0.238659 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.052471 second user time and 0.080893 second system time The end
Begin job on node126 at 2019-09-14 10:12:14 IDJOB=4394449 IDBENCH=141376 IDSOLVER=2843 FILE ID=node126/4394449-1568448771 RUNJOBID= node126-1568443229-6674 PBS_JOBID= 21702346 Free space on /tmp= 55748 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP18/GolombRuler/GolombRuler-a3v18-09_c18.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-4394449-1568448771/watcher-4394449-1568448771 -o /tmp/evaluation-result-4394449-1568448771/solver-4394449-1568448771 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1568443229-6674 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 497336241 HOME/instance-4394449-1568448771.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 967738086e80168f9eb4b0337d9e8cf6 RANDOM SEED=497336241 node126.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.45 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.56 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.45 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.56 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.45 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.56 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.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25638360 kB MemAvailable: 31860684 kB Buffers: 168588 kB Cached: 6304472 kB SwapCached: 2880 kB Active: 2767608 kB Inactive: 3712432 kB Active(anon): 3876 kB Inactive(anon): 44688 kB Active(file): 2763732 kB Inactive(file): 3667744 kB Unevictable: 107980 kB Mlocked: 107980 kB SwapTotal: 67108860 kB SwapFree: 67004764 kB Dirty: 26272 kB Writeback: 4 kB AnonPages: 113472 kB Mapped: 45088 kB Shmem: 32816 kB Slab: 243468 kB SReclaimable: 213364 kB SUnreclaim: 30104 kB KernelStack: 3424 kB PageTables: 5544 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498140 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: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 55724 MiB End job on node126 at 2019-09-14 10:12:18