Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 55 | 68.9575 | 9.26338 |
Name | GolombRuler/ GolombRuler-a3v18-10_c18.xml |
MD5SUM | fd7701f01011f2453d3fac3f444f25b8 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 55 |
Best CPU time to get the best result obtained on this benchmark | 28.5824 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 110 |
Number of constraints | 46 |
Number of domains | 2 |
Minimum domain size | 100 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":100,"count":45},{"size":101,"count":10}] |
Minimum variable degree | 0 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":0,"count":55},{"degree":2,"count":45},{"degree":9,"count":9},{"degree":10,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 45 |
Distribution of constraint arities | [{"arity":3,"count":45},{"arity":45,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 45 |
Distribution of constraint types | [{"type":"intension","count":45},{"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-4407316-1569350572.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407316-1569350572.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.29/0.66 c solve instance... 1.70/0.77 o 80 1.70/0.79 o 75 2.28/0.80 o 74 2.28/0.84 o 72 2.28/0.88 o 71 2.90/0.91 o 65 3.69/1.08 o 62 7.59/1.57 o 60 17.85/2.80 o 55 68.70/9.24 s OPTIMUM FOUND 68.70/9.24 v <instantiation> 68.70/9.24 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] 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[0][9] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][6] y[5][7] y[5][8] y[5][9] y[6][7] y[6][8] y[6][9] y[7][8] y[7][9] y[8][9] </list> 68.70/9.24 v <values>0 1 6 10 23 26 34 41 53 55 1 6 10 23 26 34 41 53 55 5 9 22 25 33 40 52 54 4 17 20 28 35 47 49 13 16 24 31 43 45 3 11 18 30 32 8 15 27 29 7 19 21 12 14 2 </values> 68.70/9.24 v </instantiation>
OK 55
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 (9655 MiB free) memory of node 1: 16384 MiB (14984 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407316-1569350572/watcher-4407316-1569350572 -o /tmp/evaluation-result-4407316-1569350572/solver-4407316-1569350572 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569332296-31508 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1678333843 HOME/instance-4407316-1569350572.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=5164, runsolver pid=5161 Current StackSize limit: 8192 KiB [startup+0.100133 s]* /proc/loadavg: 2.12 3.00 5.03 2/211 5185 /proc/meminfo: memFree=25214492/32770624 swapFree=66999760/67108860 [pid=5164] ppid=5161 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5164/stat : 5164 (xcsp3-exec) S 5161 5164 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511311183 115843072 362 33554432000 4194304 5098028 140729370304800 140729370302904 139669323227772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12005376 140729370309499 140729370309742 140729370309742 140729370312650 0 /proc/5164/statm: 28282 362 304 221 0 87 0 [pid=5166] ppid=5164 vsize=28227396 memory=29048 CPUtime=0.12 cores=0-7 /proc/5166/stat : 5166 (java) S 5164 5164 31481 0 -1 1077944320 5686 0 0 0 11 1 0 0 20 0 20 0 511311184 28904853504 7262 33554432000 4194304 4196468 140725648795888 140725648778432 139810124783351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 /proc/5166/statm: 7056849 7262 3144 1 0 7019032 0 [pid=5166/tid=5167] ppid=5164 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/5166/task/5167/stat : 5167 (java) R 5164 5164 31481 0 -1 4202560 3601 0 0 0 8 1 0 0 20 0 20 0 511311184 28904853504 7262 33554432000 4194304 4196468 140725648795888 139810129015040 139810124795286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5168] ppid=5164 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5168/stat : 5168 (java) S 5164 5164 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511311185 28904853504 7262 33554432000 4194304 4196468 140725648795888 139809675925904 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5169] ppid=5164 vsize=28227396 memory=139953589521344 CPUtime=0 cores=0-7 /proc/5166/task/5169/stat : 5169 (java) S 5164 5164 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511311185 28904853504 7262 33554432000 4194304 4196468 140725648795888 139809674873104 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5170] ppid=5164 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5170/stat : 5170 (java) S 5164 5164 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511311185 28904853504 7262 33554432000 4194304 4196468 140725648795888 139809673820816 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5171] ppid=5164 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5171/stat : 5171 (java) S 5164 5164 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511311185 28904853504 7262 33554432000 4194304 4196468 140725648795888 139809672768016 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5172] ppid=5164 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5172/stat : 5172 (java) S 5164 5164 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511311185 28904853504 7262 33554432000 4194304 4196468 140725648795888 139809671715728 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5173] ppid=5164 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5166/task/5173/stat : 5173 (java) S 5164 5164 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511311185 28904853504 7262 33554432000 4194304 4196468 140725648795888 139809670662928 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5174] ppid=5164 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5174/stat : 5174 (java) S 5164 5164 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511311185 28904853504 7262 33554432000 4194304 4196468 140725648795888 139809669610640 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5175] ppid=5164 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5175/stat : 5175 (java) S 5164 5164 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511311185 28904853504 7262 33554432000 4194304 4196468 140725648795888 139809668557840 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5176] ppid=5164 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5176/stat : 5176 (java) S 5164 5164 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511311186 28904853504 7262 33554432000 4194304 4196468 140725648795888 139809241086064 139810124794498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5177] ppid=5164 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5177/stat : 5177 (java) S 5164 5164 31481 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511311187 28904853504 7262 33554432000 4194304 4196468 140725648795888 139809240032032 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5178] ppid=5164 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5178/stat : 5178 (java) S 5164 5164 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511311187 28904853504 7262 33554432000 4194304 4196468 140725648795888 139808183673968 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5179] ppid=5164 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5179/stat : 5179 (java) S 5164 5164 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511311189 28904853504 7262 33554432000 4194304 4196468 140725648795888 139808182622288 139810124801947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5180] ppid=5164 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5180/stat : 5180 (java) S 5164 5164 31481 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 20 0 511311189 28904853504 7262 33554432000 4194304 4196468 140725648795888 139808181570160 139810124794498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5181] ppid=5164 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5181/stat : 5181 (java) R 5164 5164 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511311189 28904853504 7262 33554432000 4194304 4196468 140725648795888 139808180517360 139810124794498 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5182] ppid=5164 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5182/stat : 5182 (java) S 5164 5164 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511311189 28904853504 7262 33554432000 4194304 4196468 140725648795888 139808179465072 139810124794498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5183] ppid=5164 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/5166/task/5183/stat : 5183 (java) R 5164 5164 31481 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 20 0 511311189 28904853504 7262 33554432000 4194304 4196468 140725648795888 139808178412272 139810124795286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5184] ppid=5164 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5184/stat : 5184 (java) S 5164 5164 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511311189 28904853504 7262 33554432000 4194304 4196468 140725648795888 139808177359200 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5185] ppid=5164 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5166/task/5185/stat : 5185 (java) S 5164 5164 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511311190 28904853504 7262 33554432000 4194304 4196468 140725648795888 139808176306480 139810124794498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30496 KiB [startup+0.210558 s]* /proc/loadavg: 2.12 3.00 5.03 3/211 5185 /proc/meminfo: memFree=25202172/32770624 swapFree=66999760/67108860 [pid=5164] ppid=5161 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5164/stat : 5164 (xcsp3-exec) S 5161 5164 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511311183 115843072 362 33554432000 4194304 5098028 140729370304800 140729370302904 139669323227772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12005376 140729370309499 140729370309742 140729370309742 140729370312650 0 /proc/5164/statm: 28282 362 304 221 0 87 0 [pid=5166] ppid=5164 vsize=28227396 memory=40544 CPUtime=0.33 cores=0-7 /proc/5166/stat : 5166 (java) S 5164 5164 31481 0 -1 1077944320 9371 0 0 0 30 3 0 0 20 0 20 0 511311184 28904853504 10136 33554432000 4194304 4196468 140725648795888 140725648778432 139810124783351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 /proc/5166/statm: 7056849 10136 3270 1 0 7019032 0 [pid=5166/tid=5167] ppid=5164 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/5166/task/5167/stat : 5167 (java) R 5164 5164 31481 0 -1 4202560 6615 0 0 0 17 2 0 0 20 0 20 0 511311184 28904853504 10136 33554432000 4194304 4196468 140725648795888 139810129016528 139810124795286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5168] ppid=5164 vsize=28227396 memory=288230596118053219 CPUtime=0 cores=0-7 /proc/5166/task/5168/stat : 5168 (java) S 5164 5164 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511311185 28904853504 10136 33554432000 4194304 4196468 140725648795888 139809675925904 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5169] ppid=5164 vsize=28227396 memory=4122396187256272544 CPUtime=0 cores=0-7 /proc/5166/task/5169/stat : 5169 (java) S 5164 5164 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511311185 28904853504 10136 33554432000 4194304 4196468 140725648795888 139809674873104 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5170] ppid=5164 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5166/task/5170/stat : 5170 (java) S 5164 5164 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511311185 28904853504 10136 33554432000 4194304 4196468 140725648795888 139809673820816 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5171] ppid=5164 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5171/stat : 5171 (java) S 5164 5164 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511311185 28904853504 10136 33554432000 4194304 4196468 140725648795888 139809672768016 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5172] ppid=5164 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5172/stat : 5172 (java) S 5164 5164 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511311185 28904853504 10136 33554432000 4194304 4196468 140725648795888 139809671715728 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5173] ppid=5164 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5166/task/5173/stat : 5173 (java) S 5164 5164 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511311185 28904853504 10136 33554432000 4194304 4196468 140725648795888 139809670662928 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5174] ppid=5164 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5174/stat : 5174 (java) S 5164 5164 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511311185 28904853504 10136 33554432000 4194304 4196468 140725648795888 139809669610640 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5175] ppid=5164 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5175/stat : 5175 (java) S 5164 5164 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511311185 28904853504 10136 33554432000 4194304 4196468 140725648795888 139809668557840 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5176] ppid=5164 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5176/stat : 5176 (java) S 5164 5164 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511311186 28904853504 10136 33554432000 4194304 4196468 140725648795888 139809241086064 139810124794498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5177] ppid=5164 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5177/stat : 5177 (java) S 5164 5164 31481 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511311187 28904853504 10136 33554432000 4194304 4196468 140725648795888 139809240032032 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5178] ppid=5164 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5178/stat : 5178 (java) S 5164 5164 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511311187 28904853504 10136 33554432000 4194304 4196468 140725648795888 139808183673968 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5179] ppid=5164 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5179/stat : 5179 (java) S 5164 5164 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511311189 28904853504 10136 33554432000 4194304 4196468 140725648795888 139808182622288 139810124801947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5180] ppid=5164 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5180/stat : 5180 (java) S 5164 5164 31481 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 20 0 511311189 28904853504 10136 33554432000 4194304 4196468 140725648795888 139808181570160 139810124794498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5181] ppid=5164 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/5166/task/5181/stat : 5181 (java) S 5164 5164 31481 0 -1 1077944384 180 0 0 0 2 0 0 0 20 0 20 0 511311189 28904853504 10136 33554432000 4194304 4196468 140725648795888 139808180517360 139810124794498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5182] ppid=5164 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/5166/task/5182/stat : 5182 (java) S 5164 5164 31481 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 20 0 511311189 28904853504 10136 33554432000 4194304 4196468 140725648795888 139808179465072 139810124794498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5183] ppid=5164 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/5166/task/5183/stat : 5183 (java) R 5164 5164 31481 0 -1 4202560 795 0 0 0 8 0 0 0 20 0 20 0 511311189 28904853504 10136 33554432000 4194304 4196468 140725648795888 139808178412080 139810109106692 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5184] ppid=5164 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5184/stat : 5184 (java) S 5164 5164 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511311189 28904853504 10136 33554432000 4194304 4196468 140725648795888 139808177359200 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5185] ppid=5164 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/5166/task/5185/stat : 5185 (java) S 5164 5164 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511311190 28904853504 10136 33554432000 4194304 4196468 140725648795888 139808176306480 139810124794498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41992 KiB [startup+0.310421 s]* /proc/loadavg: 2.12 3.00 5.03 4/211 5185 /proc/meminfo: memFree=25194760/32770624 swapFree=66999760/67108860 [pid=5164] ppid=5161 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5164/stat : 5164 (xcsp3-exec) S 5161 5164 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511311183 115843072 362 33554432000 4194304 5098028 140729370304800 140729370302904 139669323227772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12005376 140729370309499 140729370309742 140729370309742 140729370312650 0 /proc/5164/statm: 28282 362 304 221 0 87 0 [pid=5166] ppid=5164 vsize=28231652 memory=49816 CPUtime=0.52 cores=0-7 /proc/5166/stat : 5166 (java) S 5164 5164 31481 0 -1 1077944320 10870 0 0 0 48 4 0 0 20 0 20 0 511311184 28909211648 12454 33554432000 4194304 4196468 140725648795888 140725648778432 139810124783351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 /proc/5166/statm: 7057913 12454 3353 1 0 7019032 0 [pid=5166/tid=5167] ppid=5164 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/5166/task/5167/stat : 5167 (java) R 5164 5164 31481 0 -1 4202560 7762 0 0 0 26 3 0 0 20 0 20 0 511311184 28909211648 12454 33554432000 4194304 4196468 140725648795888 139810129016440 139810108863868 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5168] ppid=5164 vsize=28231652 memory=2116 CPUtime=0 cores=0-7 /proc/5166/task/5168/stat : 5168 (java) S 5164 5164 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511311185 28909211648 12454 33554432000 4194304 4196468 140725648795888 139809675925904 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5169] ppid=5164 vsize=28231652 memory=24092 CPUtime=0 cores=0-7 /proc/5166/task/5169/stat : 5169 (java) S 5164 5164 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511311185 28909211648 12454 33554432000 4194304 4196468 140725648795888 139809674873104 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5170] ppid=5164 vsize=28231652 memory=12024 CPUtime=0 cores=0-7 /proc/5166/task/5170/stat : 5170 (java) S 5164 5164 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511311185 28909211648 12454 33554432000 4194304 4196468 140725648795888 139809673820816 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5171] ppid=5164 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5171/stat : 5171 (java) S 5164 5164 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511311185 28909211648 12454 33554432000 4194304 4196468 140725648795888 139809672768016 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5172] ppid=5164 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5172/stat : 5172 (java) S 5164 5164 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511311185 28909211648 12454 33554432000 4194304 4196468 140725648795888 139809671715728 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5173] ppid=5164 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5173/stat : 5173 (java) S 5164 5164 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511311185 28909211648 12454 33554432000 4194304 4196468 140725648795888 139809670662928 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5174] ppid=5164 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5174/stat : 5174 (java) S 5164 5164 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511311185 28909211648 12454 33554432000 4194304 4196468 140725648795888 139809669610640 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5175] ppid=5164 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5175/stat : 5175 (java) S 5164 5164 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511311185 28909211648 12454 33554432000 4194304 4196468 140725648795888 139809668557840 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5176] ppid=5164 vsize=28231652 memory=139953455590112 CPUtime=0 cores=0-7 /proc/5166/task/5176/stat : 5176 (java) S 5164 5164 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511311186 28909211648 12454 33554432000 4194304 4196468 140725648795888 139809241086064 139810124794498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5177] ppid=5164 vsize=28231652 memory=279906911184768 CPUtime=0 cores=0-7 /proc/5166/task/5177/stat : 5177 (java) S 5164 5164 31481 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511311187 28909211648 12454 33554432000 4194304 4196468 140725648795888 139809240032032 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5178] ppid=5164 vsize=28231652 memory=279906911189376 CPUtime=0 cores=0-7 /proc/5166/task/5178/stat : 5178 (java) S 5164 5164 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511311187 28909211648 12454 33554432000 4194304 4196468 140725648795888 139808183673968 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5179] ppid=5164 vsize=28231652 memory=279906911193984 CPUtime=0 cores=0-7 /proc/5166/task/5179/stat : 5179 (java) S 5164 5164 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511311189 28909211648 12454 33554432000 4194304 4196468 140725648795888 139808182622288 139810124801947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5180] ppid=5164 vsize=28231652 memory=279906911198592 CPUtime=0.01 cores=0-7 /proc/5166/task/5180/stat : 5180 (java) S 5164 5164 31481 0 -1 1077944384 487 0 0 0 1 0 0 0 20 0 20 0 511311189 28909211648 12454 33554432000 4194304 4196468 140725648795888 139808181570160 139810124794498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5181] ppid=5164 vsize=28231652 memory=279906911203200 CPUtime=0.04 cores=0-7 /proc/5166/task/5181/stat : 5181 (java) R 5164 5164 31481 0 -1 4202560 300 0 0 0 4 0 0 0 20 0 20 0 511311189 28909211648 12454 33554432000 4194304 4196468 140725648795888 139808180498376 139810106307224 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5182] ppid=5164 vsize=28231652 memory=279906911207808 CPUtime=0.02 cores=0-7 /proc/5166/task/5182/stat : 5182 (java) S 5164 5164 31481 0 -1 1077944384 57 0 0 0 2 0 0 0 20 0 20 0 511311189 28909211648 12454 33554432000 4194304 4196468 140725648795888 139808179465072 139810124794498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5183] ppid=5164 vsize=28231652 memory=279906911212416 CPUtime=0.13 cores=0-7 /proc/5166/task/5183/stat : 5183 (java) S 5164 5164 31481 0 -1 1077944384 967 0 0 0 13 0 0 0 20 0 20 0 511311189 28909211648 12454 33554432000 4194304 4196468 140725648795888 139808178412272 139810124794498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5184] ppid=5164 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5184/stat : 5184 (java) S 5164 5164 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511311189 28909211648 12454 33554432000 4194304 4196468 140725648795888 139808177359200 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5185] ppid=5164 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/5166/task/5185/stat : 5185 (java) S 5164 5164 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511311190 28909211648 12454 33554432000 4194304 4196468 140725648795888 139808176306480 139810124794498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51264 KiB [startup+0.706774 s] /proc/loadavg: 2.12 3.00 5.03 3/211 5185 /proc/meminfo: memFree=25176444/32770624 swapFree=66999760/67108860 [pid=5164] ppid=5161 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5164/stat : 5164 (xcsp3-exec) S 5161 5164 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511311183 115843072 362 33554432000 4194304 5098028 140729370304800 140729370302904 139669323227772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12005376 140729370309499 140729370309742 140729370309742 140729370312650 0 /proc/5164/statm: 28282 362 304 221 0 87 0 [pid=5166] ppid=5164 vsize=28766288 memory=103072 CPUtime=1.7 cores=0-7 /proc/5166/stat : 5166 (java) S 5164 5164 31481 0 -1 1077944320 15478 0 0 0 162 8 0 0 20 0 28 0 511311184 29456678912 25768 33554432000 4194304 4196468 140725648795888 140725648778432 139810124783351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 /proc/5166/statm: 7191572 25768 3451 1 0 7152672 0 [pid=5166/tid=5167] ppid=5164 vsize=28766288 memory=5866315111698372012 CPUtime=0.65 cores=0-7 /proc/5166/task/5167/stat : 5167 (java) S 5164 5164 31481 0 -1 1077944384 9282 0 0 0 60 5 0 0 20 0 28 0 511311184 29456678912 25768 33554432000 4194304 4196468 140725648795888 139810129024128 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5168] ppid=5164 vsize=28766288 memory=44470091393136 CPUtime=0 cores=0-7 /proc/5166/task/5168/stat : 5168 (java) S 5164 5164 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511311185 29456678912 25768 33554432000 4194304 4196468 140725648795888 139809675925904 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5169] ppid=5164 vsize=28766288 memory=139953455705824 CPUtime=0 cores=0-7 /proc/5166/task/5169/stat : 5169 (java) S 5164 5164 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511311185 29456678912 25768 33554432000 4194304 4196468 140725648795888 139809674873104 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5170] ppid=5164 vsize=28766288 memory=9588 CPUtime=0 cores=0-7 /proc/5166/task/5170/stat : 5170 (java) S 5164 5164 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511311185 29456678912 25768 33554432000 4194304 4196468 140725648795888 139809673820816 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 ################ # More data... # ################ [pid=5166/tid=5183] ppid=5164 vsize=28768336 memory=6083918234290578789 CPUtime=0.74 cores=0-7 /proc/5166/task/5183/stat : 5183 (java) S 5164 5164 31481 0 -1 1077944384 4294 0 0 0 73 1 0 0 20 0 28 0 511311189 29458776064 58587 33554432000 4194304 4196468 140725648795888 139808178412272 139810124794498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5184] ppid=5164 vsize=28768336 memory=3834026952452551224 CPUtime=0 cores=0-7 /proc/5166/task/5184/stat : 5184 (java) S 5164 5164 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511311189 29458776064 58587 33554432000 4194304 4196468 140725648795888 139808177359200 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5185] ppid=5164 vsize=28768336 memory=139957881648767 CPUtime=0 cores=0-7 /proc/5166/task/5185/stat : 5185 (java) S 5164 5164 31481 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 511311190 29458776064 58587 33554432000 4194304 4196468 140725648795888 139808176306480 139810124794498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5258] ppid=5164 vsize=28768336 memory=7589804987382325356 CPUtime=5.05 cores=0-7 /proc/5166/task/5258/stat : 5258 (java) R 5164 5164 31481 0 -1 4202560 103 0 0 0 505 0 0 0 20 0 28 0 511311464 29458776064 58587 33554432000 4194304 4196468 140725648795888 139807855287864 139809731390476 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5259] ppid=5164 vsize=28768336 memory=0 CPUtime=5.07 cores=0-7 /proc/5166/task/5259/stat : 5259 (java) R 5164 5164 31481 0 -1 4202560 73 0 0 0 507 0 0 0 20 0 28 0 511311464 29458776064 58587 33554432000 4194304 4196468 140725648795888 139807852130856 139809731138431 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5260] ppid=5164 vsize=28768336 memory=2321943399389741672 CPUtime=4.97 cores=0-7 /proc/5166/task/5260/stat : 5260 (java) R 5164 5164 31481 0 -1 4202560 74 0 0 0 497 0 0 0 20 0 28 0 511311464 29458776064 58587 33554432000 4194304 4196468 140725648795888 139808166273960 139809730258685 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5261] ppid=5164 vsize=28768336 memory=4050196501665967976 CPUtime=4.89 cores=0-7 /proc/5166/task/5261/stat : 5261 (java) R 5164 5164 31481 0 -1 4202560 204 0 0 0 487 2 0 0 20 0 28 0 511311464 29458776064 58587 33554432000 4194304 4196468 140725648795888 139807854236488 139809730258372 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5262] ppid=5164 vsize=28768336 memory=4050196501665967976 CPUtime=4.86 cores=0-7 /proc/5166/task/5262/stat : 5262 (java) R 5164 5164 31481 0 -1 4202560 257 0 0 0 486 0 0 0 20 0 28 0 511311464 29458776064 58587 33554432000 4194304 4196468 140725648795888 139807857394096 139809731164820 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5263] ppid=5164 vsize=28768336 memory=3690758376018957423 CPUtime=4.59 cores=0-7 /proc/5166/task/5263/stat : 5263 (java) R 5164 5164 31481 0 -1 4202560 341 0 0 0 459 0 0 0 20 0 28 0 511311464 29458776064 58587 33554432000 4194304 4196468 140725648795888 139808167328296 139809731137972 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5264] ppid=5164 vsize=28768336 memory=2321943399389741672 CPUtime=5.07 cores=0-7 /proc/5166/task/5264/stat : 5264 (java) R 5164 5164 31481 0 -1 4202560 112 0 0 0 507 0 0 0 20 0 28 0 511311464 29458776064 58587 33554432000 4194304 4196468 140725648795888 139807856340968 139809730258492 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5265] ppid=5164 vsize=28768336 memory=279906910997160 CPUtime=5.06 cores=0-7 /proc/5166/task/5265/stat : 5265 (java) R 5164 5164 31481 0 -1 4202560 135 0 0 0 506 0 0 0 20 0 28 0 511311464 29458776064 58587 33554432000 4194304 4196468 140725648795888 139807853182952 139809730259026 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 Current children cumulated CPU time: 59.19 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 235796 KiB [startup+8.80137 s] /proc/loadavg: 2.43 3.04 5.02 9/219 5267 /proc/meminfo: memFree=25010416/32770624 swapFree=66999760/67108860 [pid=5164] ppid=5161 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5164/stat : 5164 (xcsp3-exec) S 5161 5164 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511311183 115843072 362 33554432000 4194304 5098028 140729370304800 140729370302904 139669323227772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12005376 140729370309499 140729370309742 140729370309742 140729370312650 0 /proc/5164/statm: 28282 362 304 221 0 87 0 [pid=5166] ppid=5164 vsize=28768336 memory=234348 CPUtime=65.52 cores=0-7 /proc/5166/stat : 5166 (java) S 5164 5164 31481 0 -1 1077944320 46773 0 0 0 6529 23 0 0 20 0 28 0 511311184 29458776064 58587 33554432000 4194304 4196468 140725648795888 140725648778432 139810124783351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 /proc/5166/statm: 7192084 58587 3510 1 0 7153184 0 [pid=5166/tid=5167] ppid=5164 vsize=28768336 memory=-8961168018402230209 CPUtime=0.66 cores=0-7 /proc/5166/task/5167/stat : 5167 (java) S 5164 5164 31481 0 -1 1077944384 9320 0 0 0 61 5 0 0 20 0 28 0 511311184 29458776064 58587 33554432000 4194304 4196468 140725648795888 139810129024128 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5168] ppid=5164 vsize=28768336 memory=-8253362762722141311 CPUtime=0.01 cores=0-7 /proc/5166/task/5168/stat : 5168 (java) S 5164 5164 31481 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 28 0 511311185 29458776064 58587 33554432000 4194304 4196468 140725648795888 139809675925904 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5169] ppid=5164 vsize=28768336 memory=7100839861465685612 CPUtime=0.01 cores=0-7 /proc/5166/task/5169/stat : 5169 (java) S 5164 5164 31481 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 28 0 511311185 29458776064 58587 33554432000 4194304 4196468 140725648795888 139809674873104 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5170] ppid=5164 vsize=28768336 memory=-7175204567652784766 CPUtime=0 cores=0-7 /proc/5166/task/5170/stat : 5170 (java) S 5164 5164 31481 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 511311185 29458776064 58587 33554432000 4194304 4196468 140725648795888 139809673820816 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5171] ppid=5164 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5171/stat : 5171 (java) S 5164 5164 31481 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 511311185 29458776064 58587 33554432000 4194304 4196468 140725648795888 139809672768016 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5172] ppid=5164 vsize=28768336 memory=10 CPUtime=0 cores=0-7 /proc/5166/task/5172/stat : 5172 (java) S 5164 5164 31481 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 511311185 29458776064 58587 33554432000 4194304 4196468 140725648795888 139809671715728 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5173] ppid=5164 vsize=28768336 memory=800 CPUtime=0.01 cores=0-7 /proc/5166/task/5173/stat : 5173 (java) S 5164 5164 31481 0 -1 1077944384 153 0 0 0 1 0 0 0 20 0 28 0 511311185 29458776064 58587 33554432000 4194304 4196468 140725648795888 139809670662928 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5174] ppid=5164 vsize=28768336 memory=8112282956445269571 CPUtime=0 cores=0-7 /proc/5166/task/5174/stat : 5174 (java) S 5164 5164 31481 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 511311185 29458776064 58587 33554432000 4194304 4196468 140725648795888 139809669610640 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5175] ppid=5164 vsize=28768336 memory=1412 CPUtime=0 cores=0-7 /proc/5166/task/5175/stat : 5175 (java) S 5164 5164 31481 0 -1 1077944384 805 0 0 0 0 0 0 0 20 0 28 0 511311185 29458776064 58587 33554432000 4194304 4196468 140725648795888 139809668557840 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5176] ppid=5164 vsize=28768336 memory=2684 CPUtime=0.01 cores=0-7 /proc/5166/task/5176/stat : 5176 (java) S 5164 5164 31481 0 -1 1077944384 473 0 0 0 1 0 0 0 20 0 28 0 511311186 29458776064 58587 33554432000 4194304 4196468 140725648795888 139809241086064 139810124794498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5177] ppid=5164 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/5166/task/5177/stat : 5177 (java) S 5164 5164 31481 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 511311187 29458776064 58587 33554432000 4194304 4196468 140725648795888 139809240032096 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5178] ppid=5164 vsize=28768336 memory=231280 CPUtime=0 cores=0-7 /proc/5166/task/5178/stat : 5178 (java) S 5164 5164 31481 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 511311187 29458776064 58587 33554432000 4194304 4196468 140725648795888 139808183673984 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5179] ppid=5164 vsize=28768336 memory=1804 CPUtime=0 cores=0-7 /proc/5166/task/5179/stat : 5179 (java) S 5164 5164 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511311189 29458776064 58587 33554432000 4194304 4196468 140725648795888 139808182622288 139810124801947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5180] ppid=5164 vsize=28768336 memory=916 CPUtime=1.84 cores=0-7 /proc/5166/task/5180/stat : 5180 (java) S 5164 5164 31481 0 -1 1077944384 11089 0 0 0 181 3 0 0 20 0 28 0 511311189 29458776064 58587 33554432000 4194304 4196468 140725648795888 139808181570160 139810124794498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5181] ppid=5164 vsize=28768336 memory=5308 CPUtime=2.16 cores=0-7 /proc/5166/task/5181/stat : 5181 (java) S 5164 5164 31481 0 -1 1077944384 4995 0 0 0 215 1 0 0 20 0 28 0 511311189 29458776064 58587 33554432000 4194304 4196468 140725648795888 139808180517360 139810124794498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5182] ppid=5164 vsize=28768336 memory=12024 CPUtime=2.35 cores=0-7 /proc/5166/task/5182/stat : 5182 (java) S 5164 5164 31481 0 -1 1077944384 9926 0 0 0 234 1 0 0 20 0 28 0 511311189 29458776064 58587 33554432000 4194304 4196468 140725648795888 139808179465072 139810124794498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5183] ppid=5164 vsize=28768336 memory=1556 CPUtime=0.74 cores=0-7 /proc/5166/task/5183/stat : 5183 (java) S 5164 5164 31481 0 -1 1077944384 4341 0 0 0 73 1 0 0 20 0 28 0 511311189 29458776064 58587 33554432000 4194304 4196468 140725648795888 139808178412272 139810124794498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5184] ppid=5164 vsize=28768336 memory=500 CPUtime=0 cores=0-7 /proc/5166/task/5184/stat : 5184 (java) S 5164 5164 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511311189 29458776064 58587 33554432000 4194304 4196468 140725648795888 139808177359200 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5185] ppid=5164 vsize=28768336 memory=928 CPUtime=0 cores=0-7 /proc/5166/task/5185/stat : 5185 (java) S 5164 5164 31481 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 511311190 29458776064 58587 33554432000 4194304 4196468 140725648795888 139808176306480 139810124794498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5258] ppid=5164 vsize=28768336 memory=1728 CPUtime=5.84 cores=0-7 /proc/5166/task/5258/stat : 5258 (java) R 5164 5164 31481 0 -1 4202560 177 0 0 0 584 0 0 0 20 0 28 0 511311464 29458776064 58587 33554432000 4194304 4196468 140725648795888 139807855287864 139809732111168 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5259] ppid=5164 vsize=28768336 memory=1448 CPUtime=5.86 cores=0-7 /proc/5166/task/5259/stat : 5259 (java) R 5164 5164 31481 0 -1 4202560 129 0 0 0 586 0 0 0 20 0 28 0 511311464 29458776064 58587 33554432000 4194304 4196468 140725648795888 139807852130752 139809730259527 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5260] ppid=5164 vsize=28768336 memory=860 CPUtime=5.76 cores=0-7 /proc/5166/task/5260/stat : 5260 (java) R 5164 5164 31481 0 -1 4202560 101 0 0 0 576 0 0 0 20 0 28 0 511311464 29458776064 58587 33554432000 4194304 4196468 140725648795888 139808166273824 139809731139461 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5261] ppid=5164 vsize=28768336 memory=1980 CPUtime=5.68 cores=0-7 /proc/5166/task/5261/stat : 5261 (java) R 5164 5164 31481 0 -1 4202560 281 0 0 0 566 2 0 0 20 0 28 0 511311464 29458776064 58587 33554432000 4194304 4196468 140725648795888 139807854235568 139809732004366 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5262] ppid=5164 vsize=28768336 memory=2552 CPUtime=5.64 cores=0-7 /proc/5166/task/5262/stat : 5262 (java) R 5164 5164 31481 0 -1 4202560 332 0 0 0 564 0 0 0 20 0 28 0 511311464 29458776064 58587 33554432000 4194304 4196468 140725648795888 139807857394344 139809731996735 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5263] ppid=5164 vsize=28768336 memory=1448 CPUtime=5.37 cores=0-7 /proc/5166/task/5263/stat : 5263 (java) R 5164 5164 31481 0 -1 4202560 490 0 0 0 537 0 0 0 20 0 28 0 511311464 29458776064 58587 33554432000 4194304 4196468 140725648795888 139808167326656 139809730258492 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5264] ppid=5164 vsize=28768336 memory=234348 CPUtime=5.86 cores=0-7 /proc/5166/task/5264/stat : 5264 (java) R 5164 5164 31481 0 -1 4202560 136 0 0 0 586 0 0 0 20 0 28 0 511311464 29458776064 58587 33554432000 4194304 4196468 140725648795888 139807856340536 139809730258855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5265] ppid=5164 vsize=28768336 memory=288230574492221466 CPUtime=5.84 cores=0-7 /proc/5166/task/5265/stat : 5265 (java) R 5164 5164 31481 0 -1 4202560 178 0 0 0 584 0 0 0 20 0 28 0 511311464 29458776064 58587 33554432000 4194304 4196468 140725648795888 139807853182992 139809730280151 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 Current children cumulated CPU time: 65.52 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 235796 KiB [startup+9.20137 s] /proc/loadavg: 2.43 3.04 5.02 9/219 5267 /proc/meminfo: memFree=25010656/32770624 swapFree=66999760/67108860 [pid=5164] ppid=5161 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/5164/stat : 5164 (xcsp3-exec) S 5161 5164 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511311183 115843072 362 33554432000 4194304 5098028 140729370304800 140729370302904 139669323227772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12005376 140729370309499 140729370309742 140729370309742 140729370312650 0 /proc/5164/statm: 28282 362 304 221 0 87 0 [pid=5166] ppid=5164 vsize=28768336 memory=234348 CPUtime=68.7 cores=0-7 /proc/5166/stat : 5166 (java) S 5164 5164 31481 0 -1 1077944320 47793 0 0 0 6847 23 0 0 20 0 28 0 511311184 29458776064 58587 33554432000 4194304 4196468 140725648795888 140725648778432 139810124783351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 /proc/5166/statm: 7192084 58587 3510 1 0 7153184 0 [pid=5166/tid=5167] ppid=5164 vsize=28768336 memory=7878876378226582892 CPUtime=0.66 cores=0-7 /proc/5166/task/5167/stat : 5167 (java) S 5164 5164 31481 0 -1 1077944384 9320 0 0 0 61 5 0 0 20 0 28 0 511311184 29458776064 58587 33554432000 4194304 4196468 140725648795888 139810129024128 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5168] ppid=5164 vsize=28768336 memory=6083614760038394213 CPUtime=0.01 cores=0-7 /proc/5166/task/5168/stat : 5168 (java) S 5164 5164 31481 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 28 0 511311185 29458776064 58587 33554432000 4194304 4196468 140725648795888 139809675925904 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5169] ppid=5164 vsize=28768336 memory=6226320378519443300 CPUtime=0.01 cores=0-7 /proc/5166/task/5169/stat : 5169 (java) S 5164 5164 31481 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 28 0 511311185 29458776064 58587 33554432000 4194304 4196468 140725648795888 139809674873104 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5170] ppid=5164 vsize=28768336 memory=7591208960684155986 CPUtime=0 cores=0-7 /proc/5166/task/5170/stat : 5170 (java) S 5164 5164 31481 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 511311185 29458776064 58587 33554432000 4194304 4196468 140725648795888 139809673820816 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5171] ppid=5164 vsize=28768336 memory=7811867844595379815 CPUtime=0 cores=0-7 /proc/5166/task/5171/stat : 5171 (java) S 5164 5164 31481 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 511311185 29458776064 58587 33554432000 4194304 4196468 140725648795888 139809672768016 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5172] ppid=5164 vsize=28768336 memory=734122169305937200 CPUtime=0 cores=0-7 /proc/5166/task/5172/stat : 5172 (java) S 5164 5164 31481 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 511311185 29458776064 58587 33554432000 4194304 4196468 140725648795888 139809671715728 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5173] ppid=5164 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/5166/task/5173/stat : 5173 (java) S 5164 5164 31481 0 -1 1077944384 153 0 0 0 1 0 0 0 20 0 28 0 511311185 29458776064 58587 33554432000 4194304 4196468 140725648795888 139809670662928 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5174] ppid=5164 vsize=28768336 memory=279906912282880 CPUtime=0 cores=0-7 /proc/5166/task/5174/stat : 5174 (java) S 5164 5164 31481 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 511311185 29458776064 58587 33554432000 4194304 4196468 140725648795888 139809669610640 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5175] ppid=5164 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5175/stat : 5175 (java) S 5164 5164 31481 0 -1 1077944384 805 0 0 0 0 0 0 0 20 0 28 0 511311185 29458776064 58587 33554432000 4194304 4196468 140725648795888 139809668557840 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5176] ppid=5164 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/5166/task/5176/stat : 5176 (java) S 5164 5164 31481 0 -1 1077944384 473 0 0 0 1 0 0 0 20 0 28 0 511311186 29458776064 58587 33554432000 4194304 4196468 140725648795888 139809241086064 139810124794498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5177] ppid=5164 vsize=28768336 memory=7447078439541630058 CPUtime=0 cores=0-7 /proc/5166/task/5177/stat : 5177 (java) S 5164 5164 31481 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 511311187 29458776064 58587 33554432000 4194304 4196468 140725648795888 139809240032096 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5178] ppid=5164 vsize=28768336 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/5166/task/5178/stat : 5178 (java) S 5164 5164 31481 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 511311187 29458776064 58587 33554432000 4194304 4196468 140725648795888 139808183673984 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5179] ppid=5164 vsize=28768336 memory=288230617509003574 CPUtime=0 cores=0-7 /proc/5166/task/5179/stat : 5179 (java) S 5164 5164 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511311189 29458776064 58587 33554432000 4194304 4196468 140725648795888 139808182622288 139810124801947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5180] ppid=5164 vsize=28768336 memory=14978875360806793 CPUtime=1.86 cores=0-7 /proc/5166/task/5180/stat : 5180 (java) S 5164 5164 31481 0 -1 1077944384 12057 0 0 0 183 3 0 0 20 0 28 0 511311189 29458776064 58587 33554432000 4194304 4196468 140725648795888 139808181570160 139810124794498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5181] ppid=5164 vsize=28768336 memory=1 CPUtime=2.16 cores=0-7 /proc/5166/task/5181/stat : 5181 (java) S 5164 5164 31481 0 -1 1077944384 4995 0 0 0 215 1 0 0 20 0 28 0 511311189 29458776064 58587 33554432000 4194304 4196468 140725648795888 139808180517360 139810124794498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5182] ppid=5164 vsize=28768336 memory=0 CPUtime=2.35 cores=0-7 /proc/5166/task/5182/stat : 5182 (java) S 5164 5164 31481 0 -1 1077944384 9926 0 0 0 234 1 0 0 20 0 28 0 511311189 29458776064 58587 33554432000 4194304 4196468 140725648795888 139808179465072 139810124794498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5183] ppid=5164 vsize=28768336 memory=0 CPUtime=0.74 cores=0-7 /proc/5166/task/5183/stat : 5183 (java) S 5164 5164 31481 0 -1 1077944384 4341 0 0 0 73 1 0 0 20 0 28 0 511311189 29458776064 58587 33554432000 4194304 4196468 140725648795888 139808178412272 139810124794498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5184] ppid=5164 vsize=28768336 memory=1 CPUtime=0 cores=0-7 /proc/5166/task/5184/stat : 5184 (java) S 5164 5164 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511311189 29458776064 58587 33554432000 4194304 4196468 140725648795888 139808177359200 139810124793557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5185] ppid=5164 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/5166/task/5185/stat : 5185 (java) S 5164 5164 31481 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 511311190 29458776064 58587 33554432000 4194304 4196468 140725648795888 139808176306480 139810124794498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5258] ppid=5164 vsize=28768336 memory=0 CPUtime=6.24 cores=0-7 /proc/5166/task/5258/stat : 5258 (java) R 5164 5164 31481 0 -1 4202560 189 0 0 0 624 0 0 0 20 0 28 0 511311464 29458776064 58587 33554432000 4194304 4196468 140725648795888 139807855287864 139809730280326 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5259] ppid=5164 vsize=28768336 memory=0 CPUtime=6.26 cores=0-7 /proc/5166/task/5259/stat : 5259 (java) R 5164 5164 31481 0 -1 4202560 132 0 0 0 626 0 0 0 20 0 28 0 511311464 29458776064 58587 33554432000 4194304 4196468 140725648795888 139807852130888 139809730258855 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5260] ppid=5164 vsize=28768336 memory=183 CPUtime=6.16 cores=0-7 /proc/5166/task/5260/stat : 5260 (java) R 5164 5164 31481 0 -1 4202560 101 0 0 0 616 0 0 0 20 0 28 0 511311464 29458776064 58587 33554432000 4194304 4196468 140725648795888 139808166273960 139809731338955 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5261] ppid=5164 vsize=28768336 memory=216 CPUtime=6.08 cores=0-7 /proc/5166/task/5261/stat : 5261 (java) R 5164 5164 31481 0 -1 4202560 285 0 0 0 606 2 0 0 20 0 28 0 511311464 29458776064 58587 33554432000 4194304 4196468 140725648795888 139807854235568 139809731096612 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5262] ppid=5164 vsize=28768336 memory=233 CPUtime=6.03 cores=0-7 /proc/5166/task/5262/stat : 5262 (java) R 5164 5164 31481 0 -1 4202560 336 0 0 0 603 0 0 0 20 0 28 0 511311464 29458776064 58587 33554432000 4194304 4196468 140725648795888 139807857394344 139809731092433 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5263] ppid=5164 vsize=28768336 memory=74 CPUtime=5.75 cores=0-7 /proc/5166/task/5263/stat : 5263 (java) R 5164 5164 31481 0 -1 4202560 516 0 0 0 575 0 0 0 20 0 28 0 511311464 29458776064 58587 33554432000 4194304 4196468 140725648795888 139808167326224 139809730259708 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5264] ppid=5164 vsize=28768336 memory=55 CPUtime=6.26 cores=0-7 /proc/5166/task/5264/stat : 5264 (java) R 5164 5164 31481 0 -1 4202560 137 0 0 0 626 0 0 0 20 0 28 0 511311464 29458776064 58587 33554432000 4194304 4196468 140725648795888 139807856340536 139809731338955 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 [pid=5166/tid=5265] ppid=5164 vsize=28768336 memory=7019467088074322229 CPUtime=6.24 cores=0-7 /proc/5166/task/5265/stat : 5265 (java) R 5164 5164 31481 0 -1 4202560 180 0 0 0 624 0 0 0 20 0 28 0 511311464 29458776064 58587 33554432000 4194304 4196468 140725648795888 139807853183128 139809731339082 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29077504 140725648802800 140725648802971 140725648802971 140725648805839 0 Current children cumulated CPU time: 68.7 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 235796 KiB Child status: 0 Real time (s): 9.26338 CPU time (s): 68.9575 CPU user time (s): 68.7076 CPU system time (s): 0.249872 CPU usage (%): 744.41 Max. virtual memory (cumulated for all children) (KiB): 28883336 Max. memory (cumulated for all children) (KiB): 235796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 68.7077 system time used= 0.249872 maximum resident set size= 234444 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50345 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5285 involuntary context switches= 1598 # summary of solver processes directly reported to runsolver: # pid: 5164 # total CPU time (s): 68.9575 # total CPU user time (s): 68.7076 # total CPU system time (s): 0.249872 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.096271 second user time and 0.143797 second system time The end
Begin job on node106 at 2019-09-24 19:41:28 IDJOB=4407316 IDBENCH=141371 IDSOLVER=2872 FILE ID=node106/4407316-1569350572 RUNJOBID= node106-1569332296-31508 PBS_JOBID= 21705069 Free space on /tmp= 23488 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP18/GolombRuler/GolombRuler-a3v18-10_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-4407316-1569350572/watcher-4407316-1569350572 -o /tmp/evaluation-result-4407316-1569350572/solver-4407316-1569350572 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569332296-31508 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1678333843 HOME/instance-4407316-1569350572.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= fd7701f01011f2453d3fac3f444f25b8 RANDOM SEED=1678333843 node106.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.79 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.79 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.79 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.79 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: 25231668 kB MemAvailable: 31842408 kB Buffers: 96268 kB Cached: 6685380 kB SwapCached: 4572 kB Active: 3397440 kB Inactive: 3395256 kB Active(anon): 5016 kB Inactive(anon): 58172 kB Active(file): 3392424 kB Inactive(file): 3337084 kB Unevictable: 107312 kB Mlocked: 107312 kB SwapTotal: 67108860 kB SwapFree: 66999760 kB Dirty: 26028 kB Writeback: 0 kB AnonPages: 191480 kB Mapped: 53720 kB Shmem: 43716 kB Slab: 338780 kB SReclaimable: 309692 kB SUnreclaim: 29088 kB KernelStack: 3776 kB PageTables: 5536 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507452 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 147456 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= 23464 MiB End job on node106 at 2019-09-24 19:41:38