Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 55 | 61.4887 | 8.81773 |
Name | GolombRuler/ GolombRuler-a3v18-nodv-10_c18.xml |
MD5SUM | 769ec0f26c47f1b96bb609b2e4d8d5d6 |
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 | 31.0004 |
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-4406985-1569364019.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406985-1569364019.xml, -tl, 20160s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 1.25/0.66 c solve instance... 1.60/0.77 o 80 1.60/0.80 o 75 2.21/0.81 o 74 2.21/0.82 o 73 2.21/0.83 o 72 2.21/0.85 o 71 2.21/0.89 o 68 2.87/0.90 o 65 2.87/1.00 o 62 6.77/1.48 o 60 14.70/2.43 o 55 61.44/8.80 s OPTIMUM FOUND 61.44/8.80 v <instantiation> 61.44/8.80 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> 61.44/8.80 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> 61.44/8.80 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 (13818 MiB free) memory of node 1: 16384 MiB (11287 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406985-1569364019/watcher-4406985-1569364019 -o /tmp/evaluation-result-4406985-1569364019/solver-4406985-1569364019 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569358553-23378 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 495609019 HOME/instance-4406985-1569364019.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 Starting watchdog thread solver pid=24320, runsolver pid=24317 Current StackSize limit: 8192 KiB [startup+0.100116 s]* /proc/loadavg: 6.04 6.81 6.78 2/211 24341 /proc/meminfo: memFree=25691196/32770624 swapFree=66959708/67108860 [pid=24320] ppid=24317 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/24320/stat : 24320 (xcsp3-exec) S 24317 24320 23351 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512670688 115843072 364 33554432000 4194304 5098028 140727656232544 140727656230648 139648048988796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29560832 140727656239990 140727656240233 140727656240233 140727656243146 0 /proc/24320/statm: 28282 364 305 221 0 87 0 [pid=24322] ppid=24320 vsize=28227396 memory=29896 CPUtime=0.12 cores=0-7 /proc/24322/stat : 24322 (java) S 24320 24320 23351 0 -1 1077944320 5452 0 0 0 10 2 0 0 20 0 20 0 512670688 28904853504 7474 33554432000 4194304 4196468 140725877961488 140725877944032 139896523132663 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 /proc/24322/statm: 7056849 7474 3127 1 0 7019032 0 [pid=24322/tid=24323] ppid=24320 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/24322/task/24323/stat : 24323 (java) R 24320 24320 23351 0 -1 4202560 3390 0 0 0 8 1 0 0 20 0 20 0 512670688 28904853504 7474 33554432000 4194304 4196468 140725877961488 139896527367808 139896523144598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24324] ppid=24320 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24324/stat : 24324 (java) S 24320 24320 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512670689 28904853504 7474 33554432000 4194304 4196468 140725877961488 139896481893264 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24325] ppid=24320 vsize=28227396 memory=288370104385762944 CPUtime=0 cores=0-7 /proc/24322/task/24325/stat : 24325 (java) S 24320 24320 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512670689 28904853504 7474 33554432000 4194304 4196468 140725877961488 139896073235216 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24326] ppid=24320 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24326/stat : 24326 (java) S 24320 24320 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512670689 28904853504 7474 33554432000 4194304 4196468 140725877961488 139896072182928 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24327] ppid=24320 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24327/stat : 24327 (java) S 24320 24320 23351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512670689 28904853504 7474 33554432000 4194304 4196468 140725877961488 139896071130128 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24328] ppid=24320 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24328/stat : 24328 (java) S 24320 24320 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512670689 28904853504 7474 33554432000 4194304 4196468 140725877961488 139896070076816 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24329] ppid=24320 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24322/task/24329/stat : 24329 (java) S 24320 24320 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512670689 28904853504 7474 33554432000 4194304 4196468 140725877961488 139896069024016 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24330] ppid=24320 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24330/stat : 24330 (java) S 24320 24320 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512670689 28904853504 7474 33554432000 4194304 4196468 140725877961488 139896067971728 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24331] ppid=24320 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24331/stat : 24331 (java) S 24320 24320 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512670689 28904853504 7474 33554432000 4194304 4196468 140725877961488 139896066918928 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24332] ppid=24320 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24332/stat : 24332 (java) S 24320 24320 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512670690 28904853504 7474 33554432000 4194304 4196468 140725877961488 139894651284080 139896523143810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24333] ppid=24320 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24333/stat : 24333 (java) S 24320 24320 23351 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512670691 28904853504 7474 33554432000 4194304 4196468 140725877961488 139894650230048 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24334] ppid=24320 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24334/stat : 24334 (java) S 24320 24320 23351 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512670691 28904853504 7474 33554432000 4194304 4196468 140725877961488 139894649177712 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24335] ppid=24320 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24335/stat : 24335 (java) S 24320 24320 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512670693 28904853504 7474 33554432000 4194304 4196468 140725877961488 139894648126032 139896523151259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24336] ppid=24320 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24336/stat : 24336 (java) S 24320 24320 23351 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 512670693 28904853504 7474 33554432000 4194304 4196468 140725877961488 139894647072880 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24337] ppid=24320 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24337/stat : 24337 (java) S 24320 24320 23351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512670693 28904853504 7474 33554432000 4194304 4196468 140725877961488 139894646020080 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24338] ppid=24320 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24338/stat : 24338 (java) S 24320 24320 23351 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 512670694 28904853504 7474 33554432000 4194304 4196468 140725877961488 139894644967792 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24339] ppid=24320 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/24322/task/24339/stat : 24339 (java) S 24320 24320 23351 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 20 0 512670694 28904853504 7474 33554432000 4194304 4196468 140725877961488 139894643914992 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24340] ppid=24320 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24340/stat : 24340 (java) S 24320 24320 23351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512670694 28904853504 7474 33554432000 4194304 4196468 140725877961488 139894642862944 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24341] ppid=24320 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24322/task/24341/stat : 24341 (java) S 24320 24320 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512670694 28904853504 7474 33554432000 4194304 4196468 140725877961488 139894641810224 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31352 KiB [startup+0.210364 s]* /proc/loadavg: 6.04 6.81 6.78 3/211 24341 /proc/meminfo: memFree=25677808/32770624 swapFree=66959708/67108860 [pid=24320] ppid=24317 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/24320/stat : 24320 (xcsp3-exec) S 24317 24320 23351 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512670688 115843072 364 33554432000 4194304 5098028 140727656232544 140727656230648 139648048988796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29560832 140727656239990 140727656240233 140727656240233 140727656243146 0 /proc/24320/statm: 28282 364 305 221 0 87 0 [pid=24322] ppid=24320 vsize=28227396 memory=41268 CPUtime=0.33 cores=0-7 /proc/24322/stat : 24322 (java) S 24320 24320 23351 0 -1 1077944320 9059 0 0 0 30 3 0 0 20 0 20 0 512670688 28904853504 10317 33554432000 4194304 4196468 140725877961488 140725877944032 139896523132663 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 /proc/24322/statm: 7056849 10317 3299 1 0 7019032 0 [pid=24322/tid=24323] ppid=24320 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/24322/task/24323/stat : 24323 (java) R 24320 24320 23351 0 -1 4202560 6211 0 0 0 18 2 0 0 20 0 20 0 512670688 28904853504 10317 33554432000 4194304 4196468 140725877961488 139896527363216 139896523144598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24324] ppid=24320 vsize=28227396 memory=288230609019732336 CPUtime=0 cores=0-7 /proc/24322/task/24324/stat : 24324 (java) S 24320 24320 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512670689 28904853504 10317 33554432000 4194304 4196468 140725877961488 139896481893264 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24325] ppid=24320 vsize=28227396 memory=139728234074834 CPUtime=0 cores=0-7 /proc/24322/task/24325/stat : 24325 (java) S 24320 24320 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512670689 28904853504 10317 33554432000 4194304 4196468 140725877961488 139896073235216 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24326] ppid=24320 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24322/task/24326/stat : 24326 (java) S 24320 24320 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512670689 28904853504 10317 33554432000 4194304 4196468 140725877961488 139896072182928 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24327] ppid=24320 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24327/stat : 24327 (java) S 24320 24320 23351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512670689 28904853504 10317 33554432000 4194304 4196468 140725877961488 139896071130128 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24328] ppid=24320 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24328/stat : 24328 (java) S 24320 24320 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512670689 28904853504 10317 33554432000 4194304 4196468 140725877961488 139896070076816 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24329] ppid=24320 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24322/task/24329/stat : 24329 (java) S 24320 24320 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512670689 28904853504 10317 33554432000 4194304 4196468 140725877961488 139896069024016 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24330] ppid=24320 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24330/stat : 24330 (java) S 24320 24320 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512670689 28904853504 10317 33554432000 4194304 4196468 140725877961488 139896067971728 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24331] ppid=24320 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24331/stat : 24331 (java) S 24320 24320 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512670689 28904853504 10317 33554432000 4194304 4196468 140725877961488 139896066918928 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24332] ppid=24320 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24332/stat : 24332 (java) S 24320 24320 23351 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512670690 28904853504 10317 33554432000 4194304 4196468 140725877961488 139894651284080 139896523143810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24333] ppid=24320 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24333/stat : 24333 (java) S 24320 24320 23351 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512670691 28904853504 10317 33554432000 4194304 4196468 140725877961488 139894650230048 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24334] ppid=24320 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24334/stat : 24334 (java) S 24320 24320 23351 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512670691 28904853504 10317 33554432000 4194304 4196468 140725877961488 139894649177712 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24335] ppid=24320 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24335/stat : 24335 (java) S 24320 24320 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512670693 28904853504 10317 33554432000 4194304 4196468 140725877961488 139894648126032 139896523151259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24336] ppid=24320 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24336/stat : 24336 (java) S 24320 24320 23351 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 512670693 28904853504 10317 33554432000 4194304 4196468 140725877961488 139894647072880 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24337] ppid=24320 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/24322/task/24337/stat : 24337 (java) S 24320 24320 23351 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 20 0 512670693 28904853504 10317 33554432000 4194304 4196468 140725877961488 139894646020080 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24338] ppid=24320 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7 /proc/24322/task/24338/stat : 24338 (java) S 24320 24320 23351 0 -1 1077944384 383 0 0 0 2 0 0 0 20 0 20 0 512670694 28904853504 10317 33554432000 4194304 4196468 140725877961488 139894644967792 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24339] ppid=24320 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/24322/task/24339/stat : 24339 (java) R 24320 24320 23351 0 -1 4202560 741 0 0 0 7 0 0 0 20 0 20 0 512670694 28904853504 10317 33554432000 4194304 4196468 140725877961488 139894643914992 139896502150527 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24340] ppid=24320 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24340/stat : 24340 (java) S 24320 24320 23351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512670694 28904853504 10317 33554432000 4194304 4196468 140725877961488 139894642862944 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24341] ppid=24320 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/24322/task/24341/stat : 24341 (java) S 24320 24320 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512670694 28904853504 10317 33554432000 4194304 4196468 140725877961488 139894641810224 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42724 KiB [startup+0.318377 s]* /proc/loadavg: 6.04 6.81 6.78 3/211 24341 /proc/meminfo: memFree=25670908/32770624 swapFree=66959708/67108860 [pid=24320] ppid=24317 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/24320/stat : 24320 (xcsp3-exec) S 24317 24320 23351 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512670688 115843072 364 33554432000 4194304 5098028 140727656232544 140727656230648 139648048988796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29560832 140727656239990 140727656240233 140727656240233 140727656243146 0 /proc/24320/statm: 28282 364 305 221 0 87 0 [pid=24322] ppid=24320 vsize=28231652 memory=50612 CPUtime=0.53 cores=0-7 /proc/24322/stat : 24322 (java) S 24320 24320 23351 0 -1 1077944320 10491 0 0 0 49 4 0 0 20 0 20 0 512670688 28909211648 12653 33554432000 4194304 4196468 140725877961488 140725877944032 139896523132663 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 /proc/24322/statm: 7057913 12653 3348 1 0 7019032 0 [pid=24322/tid=24323] ppid=24320 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/24322/task/24323/stat : 24323 (java) R 24320 24320 23351 0 -1 4202560 7419 0 0 0 28 2 0 0 20 0 20 0 512670688 28909211648 12653 33554432000 4194304 4196468 140725877961488 139896527363776 139896507213150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24324] ppid=24320 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24324/stat : 24324 (java) S 24320 24320 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512670689 28909211648 12653 33554432000 4194304 4196468 140725877961488 139896481893264 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24325] ppid=24320 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24325/stat : 24325 (java) S 24320 24320 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512670689 28909211648 12653 33554432000 4194304 4196468 140725877961488 139896073235216 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24326] ppid=24320 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24326/stat : 24326 (java) S 24320 24320 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512670689 28909211648 12653 33554432000 4194304 4196468 140725877961488 139896072182928 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24327] ppid=24320 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24327/stat : 24327 (java) S 24320 24320 23351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512670689 28909211648 12653 33554432000 4194304 4196468 140725877961488 139896071130128 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24328] ppid=24320 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24328/stat : 24328 (java) S 24320 24320 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512670689 28909211648 12653 33554432000 4194304 4196468 140725877961488 139896070076816 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24329] ppid=24320 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24329/stat : 24329 (java) S 24320 24320 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512670689 28909211648 12653 33554432000 4194304 4196468 140725877961488 139896069024016 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24330] ppid=24320 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24330/stat : 24330 (java) S 24320 24320 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512670689 28909211648 12653 33554432000 4194304 4196468 140725877961488 139896067971728 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24331] ppid=24320 vsize=28231652 memory=6872598998417432672 CPUtime=0 cores=0-7 /proc/24322/task/24331/stat : 24331 (java) S 24320 24320 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512670689 28909211648 12653 33554432000 4194304 4196468 140725877961488 139896066918928 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24332] ppid=24320 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24332/stat : 24332 (java) S 24320 24320 23351 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512670690 28909211648 12653 33554432000 4194304 4196468 140725877961488 139894651284080 139896523143810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24333] ppid=24320 vsize=28231652 memory=279456208067968 CPUtime=0 cores=0-7 /proc/24322/task/24333/stat : 24333 (java) S 24320 24320 23351 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512670691 28909211648 12653 33554432000 4194304 4196468 140725877961488 139894650230048 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24334] ppid=24320 vsize=28231652 memory=279456208072576 CPUtime=0 cores=0-7 /proc/24322/task/24334/stat : 24334 (java) S 24320 24320 23351 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512670691 28909211648 12653 33554432000 4194304 4196468 140725877961488 139894649177712 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24335] ppid=24320 vsize=28231652 memory=279456208077184 CPUtime=0 cores=0-7 /proc/24322/task/24335/stat : 24335 (java) S 24320 24320 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512670693 28909211648 12653 33554432000 4194304 4196468 140725877961488 139894648126032 139896523151259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24336] ppid=24320 vsize=28231652 memory=279456208081792 CPUtime=0.01 cores=0-7 /proc/24322/task/24336/stat : 24336 (java) S 24320 24320 23351 0 -1 1077944384 339 0 0 0 1 0 0 0 20 0 20 0 512670693 28909211648 12653 33554432000 4194304 4196468 140725877961488 139894647072880 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24337] ppid=24320 vsize=28231652 memory=279456208086400 CPUtime=0.04 cores=0-7 /proc/24322/task/24337/stat : 24337 (java) S 24320 24320 23351 0 -1 1077944384 205 0 0 0 4 0 0 0 20 0 20 0 512670693 28909211648 12653 33554432000 4194304 4196468 140725877961488 139894646020080 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24338] ppid=24320 vsize=28231652 memory=279456208091008 CPUtime=0.03 cores=0-7 /proc/24322/task/24338/stat : 24338 (java) S 24320 24320 23351 0 -1 1077944384 388 0 0 0 3 0 0 0 20 0 20 0 512670694 28909211648 12653 33554432000 4194304 4196468 140725877961488 139894644967792 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24339] ppid=24320 vsize=28231652 memory=279456208095616 CPUtime=0.12 cores=0-7 /proc/24322/task/24339/stat : 24339 (java) S 24320 24320 23351 0 -1 1077944384 829 0 0 0 12 0 0 0 20 0 20 0 512670694 28909211648 12653 33554432000 4194304 4196468 140725877961488 139894643914992 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24340] ppid=24320 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24340/stat : 24340 (java) S 24320 24320 23351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512670694 28909211648 12653 33554432000 4194304 4196468 140725877961488 139894642862944 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24341] ppid=24320 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/24322/task/24341/stat : 24341 (java) S 24320 24320 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512670694 28909211648 12653 33554432000 4194304 4196468 140725877961488 139894641810224 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 52068 KiB [startup+0.701631 s] /proc/loadavg: 6.04 6.81 6.78 3/211 24341 /proc/meminfo: memFree=25657696/32770624 swapFree=66959708/67108860 [pid=24320] ppid=24317 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/24320/stat : 24320 (xcsp3-exec) S 24317 24320 23351 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512670688 115843072 364 33554432000 4194304 5098028 140727656232544 140727656230648 139648048988796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29560832 140727656239990 140727656240233 140727656240233 140727656243146 0 /proc/24320/statm: 28282 364 305 221 0 87 0 [pid=24322] ppid=24320 vsize=28766288 memory=99428 CPUtime=1.6 cores=0-7 /proc/24322/stat : 24322 (java) S 24320 24320 23351 0 -1 1077944320 14066 0 0 0 152 8 0 0 20 0 28 0 512670688 29456678912 24857 33554432000 4194304 4196468 140725877961488 140725877944032 139896523132663 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 /proc/24322/statm: 7191572 24857 3453 1 0 7152672 0 [pid=24322/tid=24323] ppid=24320 vsize=28766288 memory=4580 CPUtime=0.65 cores=0-7 /proc/24322/task/24323/stat : 24323 (java) S 24320 24320 23351 0 -1 1077944384 8689 0 0 0 61 4 0 0 20 0 28 0 512670688 29456678912 24857 33554432000 4194304 4196468 140725877961488 139896527373440 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24324] ppid=24320 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24324/stat : 24324 (java) S 24320 24320 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512670689 29456678912 24857 33554432000 4194304 4196468 140725877961488 139896481893264 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24325] ppid=24320 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24325/stat : 24325 (java) S 24320 24320 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 512670689 29456678912 24857 33554432000 4194304 4196468 140725877961488 139896073235216 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24326] ppid=24320 vsize=28766288 memory=1188 CPUtime=0 cores=0-7 ################ # More data... # ################ [pid=24322/tid=24339] ppid=24320 vsize=28834900 memory=185 CPUtime=0.71 cores=0-7 /proc/24322/task/24339/stat : 24339 (java) S 24320 24320 23351 0 -1 1077944384 3290 0 0 0 70 1 0 0 20 0 28 0 512670694 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894643914992 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24340] ppid=24320 vsize=28834900 memory=71 CPUtime=0 cores=0-7 /proc/24322/task/24340/stat : 24340 (java) S 24320 24320 23351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512670694 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894642862944 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24341] ppid=24320 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24341/stat : 24341 (java) S 24320 24320 23351 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 28 0 512670694 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894641810224 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 56 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24432] ppid=24320 vsize=28834900 memory=279456208525152 CPUtime=4.94 cores=0-7 /proc/24322/task/24432/stat : 24432 (java) R 24320 24320 23351 0 -1 4202560 77 0 0 0 494 0 0 0 20 0 28 0 512670931 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894626512968 139896164337519 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24433] ppid=24320 vsize=28834900 memory=7667208389858781541 CPUtime=4.84 cores=0-7 /proc/24322/task/24433/stat : 24433 (java) R 24320 24320 23351 0 -1 4202560 99 0 0 0 484 0 0 0 20 0 28 0 512670931 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894628618712 139896164179350 0 4 0 16800975 0 0 0 -1 6 0 0 52 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24434] ppid=24320 vsize=28834900 memory=8099279071866868841 CPUtime=4.99 cores=0-7 /proc/24322/task/24434/stat : 24434 (java) R 24320 24320 23351 0 -1 4202560 96 0 0 0 499 0 0 0 20 0 28 0 512670931 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894624407992 139896165547141 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24435] ppid=24320 vsize=28834900 memory=7956005031678667109 CPUtime=4.59 cores=0-7 /proc/24322/task/24435/stat : 24435 (java) R 24320 24320 23351 0 -1 4202560 304 0 0 0 459 0 0 0 20 0 28 0 512670931 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894630723104 139896164339784 0 4 0 16800975 0 0 0 -1 7 0 0 53 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24436] ppid=24320 vsize=28834900 memory=6299802978650451056 CPUtime=4.83 cores=0-7 /proc/24322/task/24436/stat : 24436 (java) R 24320 24320 23351 0 -1 4202560 118 0 0 0 483 0 0 0 20 0 28 0 512670931 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894632829016 139896164774569 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24437] ppid=24320 vsize=28834900 memory=6299802978650451056 CPUtime=4.97 cores=0-7 /proc/24322/task/24437/stat : 24437 (java) R 24320 24320 23351 0 -1 4202560 108 0 0 0 497 0 0 0 20 0 28 0 512670931 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894625459992 139896165271354 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24438] ppid=24320 vsize=28834900 memory=6299802978650451056 CPUtime=4.6 cores=0-7 /proc/24322/task/24438/stat : 24438 (java) R 24320 24320 23351 0 -1 4202560 135 0 0 0 460 0 0 0 20 0 28 0 512670931 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894631777016 139896164169165 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24439] ppid=24320 vsize=28834900 memory=1456 CPUtime=4.93 cores=0-7 /proc/24322/task/24439/stat : 24439 (java) R 24320 24320 23351 0 -1 4202560 295 0 0 0 493 0 0 0 20 0 28 0 512670931 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894629671848 139896166808963 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 Current children cumulated CPU time: 55.11 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 226864 KiB [startup+8.40137 s] /proc/loadavg: 6.12 6.81 6.78 9/219 24439 /proc/meminfo: memFree=25496620/32770624 swapFree=66959708/67108860 [pid=24320] ppid=24317 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/24320/stat : 24320 (xcsp3-exec) S 24317 24320 23351 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512670688 115843072 364 33554432000 4194304 5098028 140727656232544 140727656230648 139648048988796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29560832 140727656239990 140727656240233 140727656240233 140727656243146 0 /proc/24320/statm: 28282 364 305 221 0 87 0 [pid=24322] ppid=24320 vsize=28834900 memory=225408 CPUtime=58.24 cores=0-7 /proc/24322/stat : 24322 (java) S 24320 24320 23351 0 -1 1077944320 34802 0 0 0 5805 19 0 0 20 0 28 0 512670688 29526937600 56352 33554432000 4194304 4196468 140725877961488 140725877944032 139896523132663 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 /proc/24322/statm: 7208725 56352 3524 1 0 7169825 0 [pid=24322/tid=24323] ppid=24320 vsize=28834900 memory=6072 CPUtime=0.66 cores=0-7 /proc/24322/task/24323/stat : 24323 (java) S 24320 24320 23351 0 -1 1077944384 8698 0 0 0 62 4 0 0 20 0 28 0 512670688 29526937600 56352 33554432000 4194304 4196468 140725877961488 139896527373440 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24324] ppid=24320 vsize=28834900 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/24322/task/24324/stat : 24324 (java) S 24320 24320 23351 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 512670689 29526937600 56352 33554432000 4194304 4196468 140725877961488 139896481893264 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24325] ppid=24320 vsize=28834900 memory=2820 CPUtime=0.01 cores=0-7 /proc/24322/task/24325/stat : 24325 (java) S 24320 24320 23351 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 28 0 512670689 29526937600 56352 33554432000 4194304 4196468 140725877961488 139896073235216 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24326] ppid=24320 vsize=28834900 memory=1456 CPUtime=0 cores=0-7 /proc/24322/task/24326/stat : 24326 (java) S 24320 24320 23351 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 28 0 512670689 29526937600 56352 33554432000 4194304 4196468 140725877961488 139896072182928 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24327] ppid=24320 vsize=28834900 memory=225408 CPUtime=0.01 cores=0-7 /proc/24322/task/24327/stat : 24327 (java) S 24320 24320 23351 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 28 0 512670689 29526937600 56352 33554432000 4194304 4196468 140725877961488 139896071130128 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24328] ppid=24320 vsize=28834900 memory=1768 CPUtime=0 cores=0-7 /proc/24322/task/24328/stat : 24328 (java) S 24320 24320 23351 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 512670689 29526937600 56352 33554432000 4194304 4196468 140725877961488 139896070076816 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24329] ppid=24320 vsize=28834900 memory=1398722017469774279 CPUtime=0.01 cores=0-7 /proc/24322/task/24329/stat : 24329 (java) S 24320 24320 23351 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 28 0 512670689 29526937600 56352 33554432000 4194304 4196468 140725877961488 139896069024016 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24330] ppid=24320 vsize=28834900 memory=227824 CPUtime=0.01 cores=0-7 /proc/24322/task/24330/stat : 24330 (java) S 24320 24320 23351 0 -1 1077944384 925 0 0 0 1 0 0 0 20 0 28 0 512670689 29526937600 56352 33554432000 4194304 4196468 140725877961488 139896067971728 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24331] ppid=24320 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24331/stat : 24331 (java) S 24320 24320 23351 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 512670689 29526937600 56352 33554432000 4194304 4196468 140725877961488 139896066918928 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24332] ppid=24320 vsize=28834900 memory=6791534058613427641 CPUtime=0.01 cores=0-7 /proc/24322/task/24332/stat : 24332 (java) S 24320 24320 23351 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 28 0 512670690 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894651284080 139896523143810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24333] ppid=24320 vsize=28834900 memory=1694 CPUtime=0 cores=0-7 /proc/24322/task/24333/stat : 24333 (java) S 24320 24320 23351 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 512670691 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894650230112 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24334] ppid=24320 vsize=28834900 memory=34575 CPUtime=0 cores=0-7 /proc/24322/task/24334/stat : 24334 (java) S 24320 24320 23351 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 512670691 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894649177728 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24335] ppid=24320 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24335/stat : 24335 (java) S 24320 24320 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512670693 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894648126032 139896523151259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24336] ppid=24320 vsize=28834900 memory=1 CPUtime=1.87 cores=0-7 /proc/24322/task/24336/stat : 24336 (java) S 24320 24320 23351 0 -1 1077944384 6337 0 0 0 185 2 0 0 20 0 28 0 512670693 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894647072880 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24337] ppid=24320 vsize=28834900 memory=0 CPUtime=1.74 cores=0-7 /proc/24322/task/24337/stat : 24337 (java) S 24320 24320 23351 0 -1 1077944384 3987 0 0 0 173 1 0 0 20 0 28 0 512670693 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894646020080 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24338] ppid=24320 vsize=28834900 memory=2943 CPUtime=1.85 cores=0-7 /proc/24322/task/24338/stat : 24338 (java) S 24320 24320 23351 0 -1 1077944384 6270 0 0 0 183 2 0 0 20 0 28 0 512670694 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894644967792 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 56 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24339] ppid=24320 vsize=28834900 memory=1361 CPUtime=0.71 cores=0-7 /proc/24322/task/24339/stat : 24339 (java) S 24320 24320 23351 0 -1 1077944384 3290 0 0 0 70 1 0 0 20 0 28 0 512670694 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894643914992 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24340] ppid=24320 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24340/stat : 24340 (java) S 24320 24320 23351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512670694 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894642862944 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24341] ppid=24320 vsize=28834900 memory=279456208436976 CPUtime=0 cores=0-7 /proc/24322/task/24341/stat : 24341 (java) S 24320 24320 23351 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 28 0 512670694 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894641810224 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 56 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24432] ppid=24320 vsize=28834900 memory=139728104144335 CPUtime=5.33 cores=0-7 /proc/24322/task/24432/stat : 24432 (java) R 24320 24320 23351 0 -1 4202560 77 0 0 0 533 0 0 0 20 0 28 0 512670931 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894626512968 139896164179797 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24433] ppid=24320 vsize=28834900 memory=318 CPUtime=5.23 cores=0-7 /proc/24322/task/24433/stat : 24433 (java) R 24320 24320 23351 0 -1 4202560 100 0 0 0 523 0 0 0 20 0 28 0 512670931 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894628618712 139896164180445 0 4 0 16800975 0 0 0 -1 6 0 0 52 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24434] ppid=24320 vsize=28834900 memory=275027 CPUtime=5.38 cores=0-7 /proc/24322/task/24434/stat : 24434 (java) R 24320 24320 23351 0 -1 4202560 96 0 0 0 538 0 0 0 20 0 28 0 512670931 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894624407992 139896164179764 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24435] ppid=24320 vsize=28834900 memory=1 CPUtime=4.98 cores=0-7 /proc/24322/task/24435/stat : 24435 (java) R 24320 24320 23351 0 -1 4202560 304 0 0 0 498 0 0 0 20 0 28 0 512670931 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894630723104 139896164337666 0 4 0 16800975 0 0 0 -1 7 0 0 53 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24436] ppid=24320 vsize=28834900 memory=0 CPUtime=5.22 cores=0-7 /proc/24322/task/24436/stat : 24436 (java) R 24320 24320 23351 0 -1 4202560 118 0 0 0 522 0 0 0 20 0 28 0 512670931 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894632829016 139896164339411 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24437] ppid=24320 vsize=28834900 memory=0 CPUtime=5.36 cores=0-7 /proc/24322/task/24437/stat : 24437 (java) R 24320 24320 23351 0 -1 4202560 108 0 0 0 536 0 0 0 20 0 28 0 512670931 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894625459992 139896164339312 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24438] ppid=24320 vsize=28834900 memory=31 CPUtime=4.99 cores=0-7 /proc/24322/task/24438/stat : 24438 (java) R 24320 24320 23351 0 -1 4202560 135 0 0 0 499 0 0 0 20 0 28 0 512670931 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894631777016 139896164339411 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24439] ppid=24320 vsize=28834900 memory=0 CPUtime=5.32 cores=0-7 /proc/24322/task/24439/stat : 24439 (java) R 24320 24320 23351 0 -1 4202560 295 0 0 0 532 0 0 0 20 0 28 0 512670931 29526937600 56352 33554432000 4194304 4196468 140725877961488 139894629671848 139896164339411 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 Current children cumulated CPU time: 58.24 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 226864 KiB [startup+8.80138 s] /proc/loadavg: 6.12 6.81 6.78 9/219 24439 /proc/meminfo: memFree=25496620/32770624 swapFree=66959708/67108860 [pid=24320] ppid=24317 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/24320/stat : 24320 (xcsp3-exec) S 24317 24320 23351 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 512670688 115843072 364 33554432000 4194304 5098028 140727656232544 140727656230648 139648048988796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29560832 140727656239990 140727656240233 140727656240233 140727656243146 0 /proc/24320/statm: 28282 364 305 221 0 87 0 [pid=24322] ppid=24320 vsize=28834900 memory=225448 CPUtime=61.44 cores=0-7 /proc/24322/stat : 24322 (java) S 24320 24320 23351 0 -1 1077944320 35018 0 0 0 6124 20 0 0 20 0 28 0 512670688 29526937600 56362 33554432000 4194304 4196468 140725877961488 140725877944032 139896523132663 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 /proc/24322/statm: 7208725 56362 3524 1 0 7169825 0 [pid=24322/tid=24323] ppid=24320 vsize=28834900 memory=6943526294502006880 CPUtime=0.66 cores=0-7 /proc/24322/task/24323/stat : 24323 (java) S 24320 24320 23351 0 -1 1077944384 8698 0 0 0 62 4 0 0 20 0 28 0 512670688 29526937600 56362 33554432000 4194304 4196468 140725877961488 139896527373440 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24324] ppid=24320 vsize=28834900 memory=6872598998417432672 CPUtime=0 cores=0-7 /proc/24322/task/24324/stat : 24324 (java) S 24320 24320 23351 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 512670689 29526937600 56362 33554432000 4194304 4196468 140725877961488 139896481893264 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24325] ppid=24320 vsize=28834900 memory=7649399392821261362 CPUtime=0.01 cores=0-7 /proc/24322/task/24325/stat : 24325 (java) S 24320 24320 23351 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 28 0 512670689 29526937600 56362 33554432000 4194304 4196468 140725877961488 139896073235216 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24326] ppid=24320 vsize=28834900 memory=0 CPUtime=0 cores=0-7 /proc/24322/task/24326/stat : 24326 (java) S 24320 24320 23351 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 28 0 512670689 29526937600 56362 33554432000 4194304 4196468 140725877961488 139896072182928 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24327] ppid=24320 vsize=28834900 memory=1536 CPUtime=0.01 cores=0-7 /proc/24322/task/24327/stat : 24327 (java) S 24320 24320 23351 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 28 0 512670689 29526937600 56362 33554432000 4194304 4196468 140725877961488 139896071130128 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24328] ppid=24320 vsize=28834900 memory=9592 CPUtime=0 cores=0-7 /proc/24322/task/24328/stat : 24328 (java) S 24320 24320 23351 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 512670689 29526937600 56362 33554432000 4194304 4196468 140725877961488 139896070076816 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24329] ppid=24320 vsize=28834900 memory=2828 CPUtime=0.01 cores=0-7 /proc/24322/task/24329/stat : 24329 (java) S 24320 24320 23351 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 28 0 512670689 29526937600 56362 33554432000 4194304 4196468 140725877961488 139896069024016 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24330] ppid=24320 vsize=28834900 memory=780 CPUtime=0.01 cores=0-7 /proc/24322/task/24330/stat : 24330 (java) S 24320 24320 23351 0 -1 1077944384 925 0 0 0 1 0 0 0 20 0 28 0 512670689 29526937600 56362 33554432000 4194304 4196468 140725877961488 139896067971728 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24331] ppid=24320 vsize=28834900 memory=620 CPUtime=0 cores=0-7 /proc/24322/task/24331/stat : 24331 (java) S 24320 24320 23351 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 512670689 29526937600 56362 33554432000 4194304 4196468 140725877961488 139896066918928 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24332] ppid=24320 vsize=28834900 memory=1496 CPUtime=0.01 cores=0-7 /proc/24322/task/24332/stat : 24332 (java) S 24320 24320 23351 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 28 0 512670690 29526937600 56362 33554432000 4194304 4196468 140725877961488 139894651284080 139896523143810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24333] ppid=24320 vsize=28834900 memory=1016 CPUtime=0 cores=0-7 /proc/24322/task/24333/stat : 24333 (java) S 24320 24320 23351 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 512670691 29526937600 56362 33554432000 4194304 4196468 140725877961488 139894650230112 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24334] ppid=24320 vsize=28834900 memory=6072 CPUtime=0 cores=0-7 /proc/24322/task/24334/stat : 24334 (java) S 24320 24320 23351 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 512670691 29526937600 56362 33554432000 4194304 4196468 140725877961488 139894649177728 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24335] ppid=24320 vsize=28834900 memory=14012 CPUtime=0 cores=0-7 /proc/24322/task/24335/stat : 24335 (java) S 24320 24320 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512670693 29526937600 56362 33554432000 4194304 4196468 140725877961488 139894648126032 139896523151259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24336] ppid=24320 vsize=28834900 memory=6791534058613427641 CPUtime=1.87 cores=0-7 /proc/24322/task/24336/stat : 24336 (java) S 24320 24320 23351 0 -1 1077944384 6340 0 0 0 185 2 0 0 20 0 28 0 512670693 29526937600 56362 33554432000 4194304 4196468 140725877961488 139894647072880 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24337] ppid=24320 vsize=28834900 memory=65576 CPUtime=1.74 cores=0-7 /proc/24322/task/24337/stat : 24337 (java) S 24320 24320 23351 0 -1 1077944384 4041 0 0 0 173 1 0 0 20 0 28 0 512670693 29526937600 56362 33554432000 4194304 4196468 140725877961488 139894646020080 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24338] ppid=24320 vsize=28834900 memory=988 CPUtime=1.88 cores=0-7 /proc/24322/task/24338/stat : 24338 (java) S 24320 24320 23351 0 -1 1077944384 6423 0 0 0 185 3 0 0 20 0 28 0 512670694 29526937600 56362 33554432000 4194304 4196468 140725877961488 139894644967792 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 56 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24339] ppid=24320 vsize=28834900 memory=2024 CPUtime=0.71 cores=0-7 /proc/24322/task/24339/stat : 24339 (java) S 24320 24320 23351 0 -1 1077944384 3290 0 0 0 70 1 0 0 20 0 28 0 512670694 29526937600 56362 33554432000 4194304 4196468 140725877961488 139894643914992 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24340] ppid=24320 vsize=28834900 memory=1384 CPUtime=0 cores=0-7 /proc/24322/task/24340/stat : 24340 (java) S 24320 24320 23351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512670694 29526937600 56362 33554432000 4194304 4196468 140725877961488 139894642862944 139896523142869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24341] ppid=24320 vsize=28834900 memory=3672 CPUtime=0 cores=0-7 /proc/24322/task/24341/stat : 24341 (java) S 24320 24320 23351 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 28 0 512670694 29526937600 56362 33554432000 4194304 4196468 140725877961488 139894641810224 139896523143810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 56 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24432] ppid=24320 vsize=28834900 memory=1056 CPUtime=5.73 cores=0-7 /proc/24322/task/24432/stat : 24432 (java) R 24320 24320 23351 0 -1 4202560 77 0 0 0 573 0 0 0 20 0 28 0 512670931 29526937600 56362 33554432000 4194304 4196468 140725877961488 139894626512968 139896160248976 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24433] ppid=24320 vsize=28834900 memory=1188 CPUtime=5.63 cores=0-7 /proc/24322/task/24433/stat : 24433 (java) R 24320 24320 23351 0 -1 4202560 101 0 0 0 563 0 0 0 20 0 28 0 512670931 29526937600 56362 33554432000 4194304 4196468 140725877961488 139894628618712 139896164338205 0 4 0 16800975 0 0 0 -1 6 0 0 52 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24434] ppid=24320 vsize=28834900 memory=1536 CPUtime=5.77 cores=0-7 /proc/24322/task/24434/stat : 24434 (java) R 24320 24320 23351 0 -1 4202560 96 0 0 0 577 0 0 0 20 0 28 0 512670931 29526937600 56362 33554432000 4194304 4196468 140725877961488 139894624407992 139896164697397 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24435] ppid=24320 vsize=28834900 memory=9592 CPUtime=5.37 cores=0-7 /proc/24322/task/24435/stat : 24435 (java) R 24320 24320 23351 0 -1 4202560 304 0 0 0 537 0 0 0 20 0 28 0 512670931 29526937600 56362 33554432000 4194304 4196468 140725877961488 139894630723104 139896164180276 0 4 0 16800975 0 0 0 -1 7 0 0 53 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24436] ppid=24320 vsize=28834900 memory=2828 CPUtime=5.62 cores=0-7 /proc/24322/task/24436/stat : 24436 (java) R 24320 24320 23351 0 -1 4202560 118 0 0 0 562 0 0 0 20 0 28 0 512670931 29526937600 56362 33554432000 4194304 4196468 140725877961488 139894632829016 139896165393323 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24437] ppid=24320 vsize=28834900 memory=780 CPUtime=5.74 cores=0-7 /proc/24322/task/24437/stat : 24437 (java) R 24320 24320 23351 0 -1 4202560 108 0 0 0 574 0 0 0 20 0 28 0 512670931 29526937600 56362 33554432000 4194304 4196468 140725877961488 139894625459992 139896164774488 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24438] ppid=24320 vsize=28834900 memory=620 CPUtime=5.39 cores=0-7 /proc/24322/task/24438/stat : 24438 (java) R 24320 24320 23351 0 -1 4202560 135 0 0 0 539 0 0 0 20 0 28 0 512670931 29526937600 56362 33554432000 4194304 4196468 140725877961488 139894631777016 139896164338320 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 [pid=24322/tid=24439] ppid=24320 vsize=28834900 memory=1496 CPUtime=5.71 cores=0-7 /proc/24322/task/24439/stat : 24439 (java) R 24320 24320 23351 0 -1 4202560 300 0 0 0 571 0 0 0 20 0 28 0 512670931 29526937600 56362 33554432000 4194304 4196468 140725877961488 139894629671896 139896164169286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30781440 140725877965802 140725877965974 140725877965974 140725877968847 0 Current children cumulated CPU time: 61.44 s Current children cumulated vsize: 28948028 KiB Current children cumulated memory: 226904 KiB Child status: 0 Real time (s): 8.81773 CPU time (s): 61.4887 CPU user time (s): 61.2758 CPU system time (s): 0.212855 CPU usage (%): 697.33 Max. virtual memory (cumulated for all children) (KiB): 28948028 Max. memory (cumulated for all children) (KiB): 230220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 61.2758 system time used= 0.212855 maximum resident set size= 228768 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35923 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= 5294 involuntary context switches= 1338 # summary of solver processes directly reported to runsolver: # pid: 24320 # total CPU time (s): 61.4887 # total CPU user time (s): 61.2758 # total CPU system time (s): 0.212855 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.092502 second user time and 0.138137 second system time The end
Begin job on node127 at 2019-09-25 00:26:18 IDJOB=4406985 IDBENCH=141365 IDSOLVER=2871 FILE ID=node127/4406985-1569364019 RUNJOBID= node127-1569358553-23378 PBS_JOBID= 21705112 Free space on /tmp= 35924 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP18/GolombRuler/GolombRuler-a3v18-nodv-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-4406985-1569364019/watcher-4406985-1569364019 -o /tmp/evaluation-result-4406985-1569364019/solver-4406985-1569364019 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569358553-23378 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 495609019 HOME/instance-4406985-1569364019.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 769ec0f26c47f1b96bb609b2e4d8d5d6 RANDOM SEED=495609019 node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25708968 kB MemAvailable: 31796480 kB Buffers: 97416 kB Cached: 6190064 kB SwapCached: 44644 kB Active: 3062732 kB Inactive: 3275472 kB Active(anon): 3344 kB Inactive(anon): 105024 kB Active(file): 3059388 kB Inactive(file): 3170448 kB Unevictable: 107516 kB Mlocked: 107516 kB SwapTotal: 67108860 kB SwapFree: 66959708 kB Dirty: 26004 kB Writeback: 0 kB AnonPages: 115484 kB Mapped: 57844 kB Shmem: 49032 kB Slab: 315180 kB SReclaimable: 286136 kB SUnreclaim: 29044 kB KernelStack: 3360 kB PageTables: 5364 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514952 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 35896 MiB End job on node127 at 2019-09-25 00:26:27