Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 55 | 64.4681 | 8.69824 |
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 | 30.6851 |
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-4400085-1568720550.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400085-1568720550.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 1.30/0.66 c solve instance... 1.64/0.77 o 80 1.64/0.78 o 75 1.64/0.78 o 74 1.64/0.79 o 73 2.30/0.81 o 72 2.30/0.84 o 71 2.30/0.86 o 65 3.05/0.94 o 63 3.05/1.01 o 62 6.13/1.37 o 60 14.02/2.40 o 55 63.76/8.68 s OPTIMUM FOUND 63.76/8.68 v <instantiation> 63.76/8.68 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> 63.76/8.68 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> 63.76/8.68 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 (15358 MiB free) memory of node 1: 16384 MiB (15004 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400085-1568720550/watcher-4400085-1568720550 -o /tmp/evaluation-result-4400085-1568720550/solver-4400085-1568720550 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node126-1568710964-23678 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 564887736 HOME/instance-4400085-1568720550.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 Current StackSize limit: 8192 KiB solver pid=26764, runsolver pid=26761 [startup+0.10016 s]* /proc/loadavg: 8.65 8.36 8.22 2/212 26785 /proc/meminfo: memFree=31074580/32770624 swapFree=66989132/67108860 [pid=26764] ppid=26761 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26764/stat : 26764 (xcsp3-exec) S 26761 26764 23651 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 448322832 115843072 363 33554432000 4194304 5098028 140737080743072 140737080741176 140119579861628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20672512 140737080746876 140737080747118 140737080747118 140737080750026 0 /proc/26764/statm: 28282 363 304 221 0 87 0 [pid=26766] ppid=26764 vsize=28227396 memory=30064 CPUtime=0.12 cores=0-7 /proc/26766/stat : 26766 (java) S 26764 26764 23651 0 -1 1077944320 5488 0 0 0 11 1 0 0 20 0 20 0 448322832 28904853504 7516 33554432000 4194304 4196468 140721954092864 140721954075408 139699157847799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 /proc/26766/statm: 7056849 7516 3099 1 0 7019032 0 [pid=26766/tid=26767] ppid=26764 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/26766/task/26767/stat : 26767 (java) R 26764 26764 23651 0 -1 4202560 3393 0 0 0 8 1 0 0 20 0 20 0 448322832 28904853504 7516 33554432000 4194304 4196468 140721954092864 139699162082080 139699157859734 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26768] ppid=26764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26768/stat : 26768 (java) S 26764 26764 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448322833 28904853504 7516 33554432000 4194304 4196468 140721954092864 139699114400144 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26769] ppid=26764 vsize=28227396 memory=288370230619272832 CPUtime=0 cores=0-7 /proc/26766/task/26769/stat : 26769 (java) S 26764 26764 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448322833 28904853504 7516 33554432000 4194304 4196468 140721954092864 139698708273424 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26770] ppid=26764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26770/stat : 26770 (java) S 26764 26764 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448322833 28904853504 7516 33554432000 4194304 4196468 140721954092864 139698707221136 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26771] ppid=26764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26771/stat : 26771 (java) S 26764 26764 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448322833 28904853504 7516 33554432000 4194304 4196468 140721954092864 139698706168336 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26772] ppid=26764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26772/stat : 26772 (java) S 26764 26764 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448322833 28904853504 7516 33554432000 4194304 4196468 140721954092864 139698705116048 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26773] ppid=26764 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26766/task/26773/stat : 26773 (java) S 26764 26764 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448322833 28904853504 7516 33554432000 4194304 4196468 140721954092864 139698704063248 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26774] ppid=26764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26774/stat : 26774 (java) S 26764 26764 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448322833 28904853504 7516 33554432000 4194304 4196468 140721954092864 139698703010960 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26775] ppid=26764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26775/stat : 26775 (java) S 26764 26764 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448322833 28904853504 7516 33554432000 4194304 4196468 140721954092864 139698701958160 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26776] ppid=26764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26776/stat : 26776 (java) S 26764 26764 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448322835 28904853504 7516 33554432000 4194304 4196468 140721954092864 139697805228144 139699157858946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26777] ppid=26764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26777/stat : 26777 (java) S 26764 26764 23651 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448322835 28904853504 7516 33554432000 4194304 4196468 140721954092864 139697804174112 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26778] ppid=26764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26778/stat : 26778 (java) S 26764 26764 23651 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448322835 28904853504 7516 33554432000 4194304 4196468 140721954092864 139697803121776 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26779] ppid=26764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26779/stat : 26779 (java) S 26764 26764 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448322838 28904853504 7516 33554432000 4194304 4196468 140721954092864 139697802070096 139699157866395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26780] ppid=26764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26780/stat : 26780 (java) S 26764 26764 23651 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 448322838 28904853504 7516 33554432000 4194304 4196468 140721954092864 139697801017968 139699157858946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26781] ppid=26764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26781/stat : 26781 (java) R 26764 26764 23651 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 448322838 28904853504 7516 33554432000 4194304 4196468 140721954092864 139697799965168 139699157858946 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26782] ppid=26764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26782/stat : 26782 (java) S 26764 26764 23651 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 20 0 448322838 28904853504 7516 33554432000 4194304 4196468 140721954092864 139697798912880 139699157858946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26783] ppid=26764 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/26766/task/26783/stat : 26783 (java) R 26764 26764 23651 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 20 0 448322838 28904853504 7516 33554432000 4194304 4196468 140721954092864 139697797860080 139699157869146 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26784] ppid=26764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26784/stat : 26784 (java) S 26764 26764 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448322838 28904853504 7516 33554432000 4194304 4196468 140721954092864 139697796807008 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26785] ppid=26764 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26766/task/26785/stat : 26785 (java) S 26764 26764 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448322838 28904853504 7516 33554432000 4194304 4196468 140721954092864 139697795754288 139699157858946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31516 KiB [startup+0.210533 s]* /proc/loadavg: 8.65 8.36 8.22 3/212 26785 /proc/meminfo: memFree=31062040/32770624 swapFree=66989132/67108860 [pid=26764] ppid=26761 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26764/stat : 26764 (xcsp3-exec) S 26761 26764 23651 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 448322832 115843072 363 33554432000 4194304 5098028 140737080743072 140737080741176 140119579861628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20672512 140737080746876 140737080747118 140737080747118 140737080750026 0 /proc/26764/statm: 28282 363 304 221 0 87 0 [pid=26766] ppid=26764 vsize=28227396 memory=41116 CPUtime=0.34 cores=0-7 /proc/26766/stat : 26766 (java) S 26764 26764 23651 0 -1 1077944320 9019 0 0 0 31 3 0 0 20 0 20 0 448322832 28904853504 10279 33554432000 4194304 4196468 140721954092864 140721954075408 139699157847799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 /proc/26766/statm: 7056849 10279 3285 1 0 7019032 0 [pid=26766/tid=26767] ppid=26764 vsize=28227396 memory=8316850467074736180 CPUtime=0.2 cores=0-7 /proc/26766/task/26767/stat : 26767 (java) R 26764 26764 23651 0 -1 4202560 6220 0 0 0 18 2 0 0 20 0 20 0 448322832 28904853504 10279 33554432000 4194304 4196468 140721954092864 139699162081728 139699150081711 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26768] ppid=26764 vsize=28227396 memory=9318 CPUtime=0 cores=0-7 /proc/26766/task/26768/stat : 26768 (java) S 26764 26764 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448322833 28904853504 10279 33554432000 4194304 4196468 140721954092864 139699114400144 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26769] ppid=26764 vsize=28227396 memory=139854467585711 CPUtime=0 cores=0-7 /proc/26766/task/26769/stat : 26769 (java) S 26764 26764 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448322833 28904853504 10279 33554432000 4194304 4196468 140721954092864 139698708273424 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26770] ppid=26764 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26766/task/26770/stat : 26770 (java) S 26764 26764 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448322833 28904853504 10279 33554432000 4194304 4196468 140721954092864 139698707221136 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26771] ppid=26764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26771/stat : 26771 (java) S 26764 26764 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448322833 28904853504 10279 33554432000 4194304 4196468 140721954092864 139698706168336 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26772] ppid=26764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26772/stat : 26772 (java) S 26764 26764 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448322833 28904853504 10279 33554432000 4194304 4196468 140721954092864 139698705116048 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26773] ppid=26764 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26766/task/26773/stat : 26773 (java) S 26764 26764 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448322833 28904853504 10279 33554432000 4194304 4196468 140721954092864 139698704063248 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26774] ppid=26764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26774/stat : 26774 (java) S 26764 26764 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448322833 28904853504 10279 33554432000 4194304 4196468 140721954092864 139698703010960 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26775] ppid=26764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26775/stat : 26775 (java) S 26764 26764 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448322833 28904853504 10279 33554432000 4194304 4196468 140721954092864 139698701958160 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26776] ppid=26764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26776/stat : 26776 (java) S 26764 26764 23651 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 448322835 28904853504 10279 33554432000 4194304 4196468 140721954092864 139697805228144 139699157858946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26777] ppid=26764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26777/stat : 26777 (java) S 26764 26764 23651 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448322835 28904853504 10279 33554432000 4194304 4196468 140721954092864 139697804174112 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26778] ppid=26764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26778/stat : 26778 (java) S 26764 26764 23651 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448322835 28904853504 10279 33554432000 4194304 4196468 140721954092864 139697803121776 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26779] ppid=26764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26779/stat : 26779 (java) S 26764 26764 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448322838 28904853504 10279 33554432000 4194304 4196468 140721954092864 139697802070096 139699157866395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26780] ppid=26764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26780/stat : 26780 (java) S 26764 26764 23651 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 448322838 28904853504 10279 33554432000 4194304 4196468 140721954092864 139697801017968 139699157858946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26781] ppid=26764 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/26766/task/26781/stat : 26781 (java) S 26764 26764 23651 0 -1 1077944384 387 0 0 0 2 0 0 0 20 0 20 0 448322838 28904853504 10279 33554432000 4194304 4196468 140721954092864 139697799965168 139699157858946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26782] ppid=26764 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/26766/task/26782/stat : 26782 (java) S 26764 26764 23651 0 -1 1077944384 302 0 0 0 1 0 0 0 20 0 20 0 448322838 28904853504 10279 33554432000 4194304 4196468 140721954092864 139697798912880 139699157858946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26783] ppid=26764 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/26766/task/26783/stat : 26783 (java) R 26764 26764 23651 0 -1 4202560 752 0 0 0 8 0 0 0 20 0 20 0 448322838 28904853504 10279 33554432000 4194304 4196468 140721954092864 139697797860080 139699143013352 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26784] ppid=26764 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26784/stat : 26784 (java) S 26764 26764 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448322838 28904853504 10279 33554432000 4194304 4196468 140721954092864 139697796807008 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26785] ppid=26764 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/26766/task/26785/stat : 26785 (java) S 26764 26764 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448322838 28904853504 10279 33554432000 4194304 4196468 140721954092864 139697795754288 139699157858946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42568 KiB [startup+0.31024 s]* /proc/loadavg: 8.65 8.36 8.22 3/212 26785 /proc/meminfo: memFree=31055276/32770624 swapFree=66989132/67108860 [pid=26764] ppid=26761 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26764/stat : 26764 (xcsp3-exec) S 26761 26764 23651 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 448322832 115843072 363 33554432000 4194304 5098028 140737080743072 140737080741176 140119579861628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20672512 140737080746876 140737080747118 140737080747118 140737080750026 0 /proc/26764/statm: 28282 363 304 221 0 87 0 [pid=26766] ppid=26764 vsize=28231652 memory=50020 CPUtime=0.52 cores=0-7 /proc/26766/stat : 26766 (java) S 26764 26764 23651 0 -1 1077944320 10364 0 0 0 48 4 0 0 20 0 20 0 448322832 28909211648 12505 33554432000 4194304 4196468 140721954092864 140721954075408 139699157847799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 /proc/26766/statm: 7057913 12505 3364 1 0 7019032 0 [pid=26766/tid=26767] ppid=26764 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/26766/task/26767/stat : 26767 (java) R 26764 26764 23651 0 -1 4202560 7273 0 0 0 27 3 0 0 20 0 20 0 448322832 28909211648 12505 33554432000 4194304 4196468 140721954092864 139699162088008 139699141928286 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26768] ppid=26764 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26768/stat : 26768 (java) S 26764 26764 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448322833 28909211648 12505 33554432000 4194304 4196468 140721954092864 139699114400144 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26769] ppid=26764 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26769/stat : 26769 (java) S 26764 26764 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448322833 28909211648 12505 33554432000 4194304 4196468 140721954092864 139698708273424 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26770] ppid=26764 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26770/stat : 26770 (java) S 26764 26764 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448322833 28909211648 12505 33554432000 4194304 4196468 140721954092864 139698707221136 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26771] ppid=26764 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26771/stat : 26771 (java) S 26764 26764 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448322833 28909211648 12505 33554432000 4194304 4196468 140721954092864 139698706168336 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26772] ppid=26764 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26772/stat : 26772 (java) S 26764 26764 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448322833 28909211648 12505 33554432000 4194304 4196468 140721954092864 139698705116048 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26773] ppid=26764 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26773/stat : 26773 (java) S 26764 26764 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448322833 28909211648 12505 33554432000 4194304 4196468 140721954092864 139698704063248 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26774] ppid=26764 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26774/stat : 26774 (java) S 26764 26764 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448322833 28909211648 12505 33554432000 4194304 4196468 140721954092864 139698703010960 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26775] ppid=26764 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26775/stat : 26775 (java) S 26764 26764 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448322833 28909211648 12505 33554432000 4194304 4196468 140721954092864 139698701958160 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26776] ppid=26764 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26776/stat : 26776 (java) S 26764 26764 23651 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 448322835 28909211648 12505 33554432000 4194304 4196468 140721954092864 139697805228144 139699157858946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26777] ppid=26764 vsize=28231652 memory=279708671614336 CPUtime=0 cores=0-7 /proc/26766/task/26777/stat : 26777 (java) S 26764 26764 23651 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448322835 28909211648 12505 33554432000 4194304 4196468 140721954092864 139697804174112 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26778] ppid=26764 vsize=28231652 memory=279708671618944 CPUtime=0 cores=0-7 /proc/26766/task/26778/stat : 26778 (java) S 26764 26764 23651 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448322835 28909211648 12505 33554432000 4194304 4196468 140721954092864 139697803121776 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26779] ppid=26764 vsize=28231652 memory=279708671623552 CPUtime=0 cores=0-7 /proc/26766/task/26779/stat : 26779 (java) S 26764 26764 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448322838 28909211648 12505 33554432000 4194304 4196468 140721954092864 139697802070096 139699157866395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26780] ppid=26764 vsize=28231652 memory=279708671628160 CPUtime=0.01 cores=0-7 /proc/26766/task/26780/stat : 26780 (java) S 26764 26764 23651 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 20 0 448322838 28909211648 12505 33554432000 4194304 4196468 140721954092864 139697801017968 139699157858946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26781] ppid=26764 vsize=28231652 memory=279708671632768 CPUtime=0.04 cores=0-7 /proc/26766/task/26781/stat : 26781 (java) R 26764 26764 23651 0 -1 4202560 482 0 0 0 4 0 0 0 20 0 20 0 448322838 28909211648 12505 33554432000 4194304 4196468 140721954092864 139697799946184 139699138234632 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26782] ppid=26764 vsize=28231652 memory=279708671637376 CPUtime=0.02 cores=0-7 /proc/26766/task/26782/stat : 26782 (java) S 26764 26764 23651 0 -1 1077944384 319 0 0 0 2 0 0 0 20 0 20 0 448322838 28909211648 12505 33554432000 4194304 4196468 140721954092864 139697798912880 139699157858946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26783] ppid=26764 vsize=28231652 memory=279708671641984 CPUtime=0.12 cores=0-7 /proc/26766/task/26783/stat : 26783 (java) S 26764 26764 23651 0 -1 1077944384 906 0 0 0 12 0 0 0 20 0 20 0 448322838 28909211648 12505 33554432000 4194304 4196468 140721954092864 139697797860080 139699157858946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26784] ppid=26764 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26784/stat : 26784 (java) S 26764 26764 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448322838 28909211648 12505 33554432000 4194304 4196468 140721954092864 139697796807008 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26785] ppid=26764 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/26766/task/26785/stat : 26785 (java) S 26764 26764 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448322838 28909211648 12505 33554432000 4194304 4196468 140721954092864 139697795754288 139699157858946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51472 KiB [startup+0.700899 s] /proc/loadavg: 8.65 8.36 8.22 4/212 26785 /proc/meminfo: memFree=31039600/32770624 swapFree=66989132/67108860 [pid=26764] ppid=26761 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26764/stat : 26764 (xcsp3-exec) S 26761 26764 23651 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 448322832 115843072 363 33554432000 4194304 5098028 140737080743072 140737080741176 140119579861628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20672512 140737080746876 140737080747118 140737080747118 140737080750026 0 /proc/26764/statm: 28282 363 304 221 0 87 0 [pid=26766] ppid=26764 vsize=28766288 memory=104220 CPUtime=1.64 cores=0-7 /proc/26766/stat : 26766 (java) S 26764 26764 23651 0 -1 1077944320 14900 0 0 0 156 8 0 0 20 0 28 0 448322832 29456678912 26055 33554432000 4194304 4196468 140721954092864 140721954075408 139699157847799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 /proc/26766/statm: 7191572 26055 3452 1 0 7152672 0 [pid=26766/tid=26767] ppid=26764 vsize=28766288 memory=0 CPUtime=0.65 cores=0-7 /proc/26766/task/26767/stat : 26767 (java) S 26764 26764 23651 0 -1 1077944384 8806 0 0 0 61 4 0 0 20 0 28 0 448322832 29456678912 26055 33554432000 4194304 4196468 140721954092864 139699162088576 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26768] ppid=26764 vsize=28766288 memory=139854336009088 CPUtime=0 cores=0-7 /proc/26766/task/26768/stat : 26768 (java) S 26764 26764 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 448322833 29456678912 26055 33554432000 4194304 4196468 140721954092864 139699114400144 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26769] ppid=26764 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26769/stat : 26769 (java) S 26764 26764 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 448322833 29456678912 26055 33554432000 4194304 4196468 140721954092864 139698708273424 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26770] ppid=26764 vsize=28766288 memory=1228 CPUtime=0 cores=0-7 /proc/26766/task/26770/stat : 26770 (java) S 26764 26764 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448322833 29456678912 26055 33554432000 4194304 4196468 140721954092864 139698707221136 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 ################ # More data... # ################ [pid=26766/tid=26783] ppid=26764 vsize=28901464 memory=7230638415855316055 CPUtime=0.75 cores=0-7 /proc/26766/task/26783/stat : 26783 (java) S 26764 26764 23651 0 -1 1077944384 3502 0 0 0 74 1 0 0 20 0 28 0 448322838 29595099136 56601 33554432000 4194304 4196468 140721954092864 139697797860080 139699157858946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26784] ppid=26764 vsize=28901464 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26784/stat : 26784 (java) S 26764 26764 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448322838 29595099136 56601 33554432000 4194304 4196468 140721954092864 139697796807008 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26785] ppid=26764 vsize=28901464 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26785/stat : 26785 (java) S 26764 26764 23651 0 -1 1077944384 438 0 0 0 0 0 0 0 20 0 28 0 448322838 29595099136 56601 33554432000 4194304 4196468 140721954092864 139697795754288 139699157858946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26874] ppid=26764 vsize=28901464 memory=139854336373909 CPUtime=5.32 cores=0-7 /proc/26766/task/26874/stat : 26874 (java) R 26764 26764 23651 0 -1 4202560 95 0 0 0 532 0 0 0 20 0 28 0 448323072 29595099136 56601 33554432000 4194304 4196468 140721954092864 139697781272088 139699143058414 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26875] ppid=26764 vsize=28901464 memory=279708672790368 CPUtime=5.23 cores=0-7 /proc/26766/task/26875/stat : 26875 (java) R 26764 26764 23651 0 -1 4202560 82 0 0 0 522 1 0 0 20 0 28 0 448323072 29595099136 56601 33554432000 4194304 4196468 140721954092864 139697728123368 139698799341754 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26876] ppid=26764 vsize=28901464 memory=0 CPUtime=5.42 cores=0-7 /proc/26766/task/26876/stat : 26876 (java) R 26764 26764 23651 0 -1 4202560 112 0 0 0 542 0 0 0 20 0 28 0 448323072 29595099136 56601 33554432000 4194304 4196468 140721954092864 139697724973280 139698799936776 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26877] ppid=26764 vsize=28901464 memory=0 CPUtime=5.33 cores=0-7 /proc/26766/task/26877/stat : 26877 (java) R 26764 26764 23651 0 -1 4202560 241 0 0 0 532 1 0 0 20 0 28 0 448323072 29595099136 56601 33554432000 4194304 4196468 140721954092864 139697782325136 139698799341915 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26878] ppid=26764 vsize=28901464 memory=0 CPUtime=5.27 cores=0-7 /proc/26766/task/26878/stat : 26878 (java) R 26764 26764 23651 0 -1 4202560 144 0 0 0 526 1 0 0 20 0 28 0 448323072 29595099136 56601 33554432000 4194304 4196468 140721954092864 139697785483880 139698799342794 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26879] ppid=26764 vsize=28901464 memory=0 CPUtime=5.51 cores=0-7 /proc/26766/task/26879/stat : 26879 (java) R 26764 26764 23651 0 -1 4202560 86 0 0 0 551 0 0 0 20 0 28 0 448323072 29595099136 56601 33554432000 4194304 4196468 140721954092864 139697784431424 139698799902104 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26880] ppid=26764 vsize=28901464 memory=0 CPUtime=5.46 cores=0-7 /proc/26766/task/26880/stat : 26880 (java) R 26764 26764 23651 0 -1 4202560 340 0 0 0 546 0 0 0 20 0 28 0 448323072 29595099136 56601 33554432000 4194304 4196468 140721954092864 139697783377488 139698800056659 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26881] ppid=26764 vsize=28901464 memory=0 CPUtime=5.32 cores=0-7 /proc/26766/task/26881/stat : 26881 (java) R 26764 26764 23651 0 -1 4202560 181 0 0 0 532 0 0 0 20 0 28 0 448323072 29595099136 56601 33554432000 4194304 4196468 140721954092864 139697780219560 139698799902199 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 Current children cumulated CPU time: 59.07 s Current children cumulated vsize: 29014592 KiB Current children cumulated memory: 227856 KiB [startup+8.40179 s] /proc/loadavg: 8.60 8.36 8.22 9/220 26881 /proc/meminfo: memFree=30878780/32770624 swapFree=66989132/67108860 [pid=26764] ppid=26761 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26764/stat : 26764 (xcsp3-exec) S 26761 26764 23651 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 448322832 115843072 363 33554432000 4194304 5098028 140737080743072 140737080741176 140119579861628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20672512 140737080746876 140737080747118 140737080747118 140737080750026 0 /proc/26764/statm: 28282 363 304 221 0 87 0 [pid=26766] ppid=26764 vsize=28901464 memory=226412 CPUtime=62.16 cores=0-7 /proc/26766/stat : 26766 (java) S 26764 26764 23651 0 -1 1077944320 32734 0 0 0 6196 20 0 0 20 0 28 0 448322832 29595099136 56603 33554432000 4194304 4196468 140721954092864 140721954075408 139699157847799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 /proc/26766/statm: 7225366 56603 3524 1 0 7186466 0 [pid=26766/tid=26767] ppid=26764 vsize=28901464 memory=1398722017469774279 CPUtime=0.65 cores=0-7 /proc/26766/task/26767/stat : 26767 (java) S 26764 26764 23651 0 -1 1077944384 8809 0 0 0 61 4 0 0 20 0 28 0 448322832 29595099136 56603 33554432000 4194304 4196468 140721954092864 139699162088576 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26768] ppid=26764 vsize=28901464 memory=12 CPUtime=0.01 cores=0-7 /proc/26766/task/26768/stat : 26768 (java) S 26764 26764 23651 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 28 0 448322833 29595099136 56603 33554432000 4194304 4196468 140721954092864 139699114400144 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26769] ppid=26764 vsize=28901464 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26769/stat : 26769 (java) S 26764 26764 23651 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 448322833 29595099136 56603 33554432000 4194304 4196468 140721954092864 139698708273424 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26770] ppid=26764 vsize=28901464 memory=2756 CPUtime=0 cores=0-7 /proc/26766/task/26770/stat : 26770 (java) S 26764 26764 23651 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 448322833 29595099136 56603 33554432000 4194304 4196468 140721954092864 139698707221136 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26771] ppid=26764 vsize=28901464 memory=0 CPUtime=0.01 cores=0-7 /proc/26766/task/26771/stat : 26771 (java) S 26764 26764 23651 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 28 0 448322833 29595099136 56603 33554432000 4194304 4196468 140721954092864 139698706168336 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26772] ppid=26764 vsize=28901464 memory=0 CPUtime=0.01 cores=0-7 /proc/26766/task/26772/stat : 26772 (java) S 26764 26764 23651 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 28 0 448322833 29595099136 56603 33554432000 4194304 4196468 140721954092864 139698705116048 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26773] ppid=26764 vsize=28901464 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26773/stat : 26773 (java) S 26764 26764 23651 0 -1 1077944384 862 0 0 0 0 0 0 0 20 0 28 0 448322833 29595099136 56603 33554432000 4194304 4196468 140721954092864 139698704063248 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26774] ppid=26764 vsize=28901464 memory=0 CPUtime=0.01 cores=0-7 /proc/26766/task/26774/stat : 26774 (java) S 26764 26764 23651 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 28 0 448322833 29595099136 56603 33554432000 4194304 4196468 140721954092864 139698703010960 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26775] ppid=26764 vsize=28901464 memory=0 CPUtime=0.01 cores=0-7 /proc/26766/task/26775/stat : 26775 (java) S 26764 26764 23651 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 28 0 448322833 29595099136 56603 33554432000 4194304 4196468 140721954092864 139698701958160 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26776] ppid=26764 vsize=28901464 memory=2116 CPUtime=0.01 cores=0-7 /proc/26766/task/26776/stat : 26776 (java) S 26764 26764 23651 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 28 0 448322835 29595099136 56603 33554432000 4194304 4196468 140721954092864 139697805228144 139699157858946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26777] ppid=26764 vsize=28901464 memory=12028 CPUtime=0 cores=0-7 /proc/26766/task/26777/stat : 26777 (java) S 26764 26764 23651 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 448322835 29595099136 56603 33554432000 4194304 4196468 140721954092864 139697804174176 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26778] ppid=26764 vsize=28901464 memory=496 CPUtime=0 cores=0-7 /proc/26766/task/26778/stat : 26778 (java) S 26764 26764 23651 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 448322835 29595099136 56603 33554432000 4194304 4196468 140721954092864 139697803121792 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26779] ppid=26764 vsize=28901464 memory=1564 CPUtime=0 cores=0-7 /proc/26766/task/26779/stat : 26779 (java) S 26764 26764 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448322838 29595099136 56603 33554432000 4194304 4196468 140721954092864 139697802070096 139699157866395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26780] ppid=26764 vsize=28901464 memory=928 CPUtime=1.56 cores=0-7 /proc/26766/task/26780/stat : 26780 (java) S 26764 26764 23651 0 -1 1077944384 3210 0 0 0 156 0 0 0 20 0 28 0 448322838 29595099136 56603 33554432000 4194304 4196468 140721954092864 139697801017968 139699157858946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26781] ppid=26764 vsize=28901464 memory=1688 CPUtime=1.85 cores=0-7 /proc/26766/task/26781/stat : 26781 (java) S 26764 26764 23651 0 -1 1077944384 5155 0 0 0 183 2 0 0 20 0 28 0 448322838 29595099136 56603 33554432000 4194304 4196468 140721954092864 139697799965168 139699157858946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26782] ppid=26764 vsize=28901464 memory=1984 CPUtime=1.7 cores=0-7 /proc/26766/task/26782/stat : 26782 (java) S 26764 26764 23651 0 -1 1077944384 5406 0 0 0 170 0 0 0 20 0 28 0 448322838 29595099136 56603 33554432000 4194304 4196468 140721954092864 139697798912880 139699157858946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26783] ppid=26764 vsize=28901464 memory=2404 CPUtime=0.75 cores=0-7 /proc/26766/task/26783/stat : 26783 (java) S 26764 26764 23651 0 -1 1077944384 3534 0 0 0 74 1 0 0 20 0 28 0 448322838 29595099136 56603 33554432000 4194304 4196468 140721954092864 139697797860080 139699157858946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26784] ppid=26764 vsize=28901464 memory=1440 CPUtime=0 cores=0-7 /proc/26766/task/26784/stat : 26784 (java) S 26764 26764 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448322838 29595099136 56603 33554432000 4194304 4196468 140721954092864 139697796807008 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26785] ppid=26764 vsize=28901464 memory=800 CPUtime=0 cores=0-7 /proc/26766/task/26785/stat : 26785 (java) S 26764 26764 23651 0 -1 1077944384 438 0 0 0 0 0 0 0 20 0 28 0 448322838 29595099136 56603 33554432000 4194304 4196468 140721954092864 139697795754288 139699157858946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26874] ppid=26764 vsize=28901464 memory=1764 CPUtime=5.7 cores=0-7 /proc/26766/task/26874/stat : 26874 (java) R 26764 26764 23651 0 -1 4202560 96 0 0 0 570 0 0 0 20 0 28 0 448323072 29595099136 56603 33554432000 4194304 4196468 140721954092864 139697781272056 139698799902471 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26875] ppid=26764 vsize=28901464 memory=111628 CPUtime=5.62 cores=0-7 /proc/26766/task/26875/stat : 26875 (java) R 26764 26764 23651 0 -1 4202560 82 0 0 0 561 1 0 0 20 0 28 0 448323072 29595099136 56603 33554432000 4194304 4196468 140721954092864 139697728122560 139698799903832 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26876] ppid=26764 vsize=28901464 memory=804 CPUtime=5.81 cores=0-7 /proc/26766/task/26876/stat : 26876 (java) R 26764 26764 23651 0 -1 4202560 116 0 0 0 581 0 0 0 20 0 28 0 448323072 29595099136 56603 33554432000 4194304 4196468 140721954092864 139697724973960 139698799341727 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26877] ppid=26764 vsize=28901464 memory=1808 CPUtime=5.71 cores=0-7 /proc/26766/task/26877/stat : 26877 (java) R 26764 26764 23651 0 -1 4202560 241 0 0 0 570 1 0 0 20 0 28 0 448323072 29595099136 56603 33554432000 4194304 4196468 140721954092864 139697782325976 139698800056859 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26878] ppid=26764 vsize=28901464 memory=924 CPUtime=5.66 cores=0-7 /proc/26766/task/26878/stat : 26878 (java) R 26764 26764 23651 0 -1 4202560 144 0 0 0 565 1 0 0 20 0 28 0 448323072 29595099136 56603 33554432000 4194304 4196468 140721954092864 139697785486576 139698799381446 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26879] ppid=26764 vsize=28901464 memory=5292 CPUtime=5.9 cores=0-7 /proc/26766/task/26879/stat : 26879 (java) R 26764 26764 23651 0 -1 4202560 87 0 0 0 590 0 0 0 20 0 28 0 448323072 29595099136 56603 33554432000 4194304 4196468 140721954092864 139697784431560 139698799342700 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26880] ppid=26764 vsize=28901464 memory=7163351671404258390 CPUtime=5.85 cores=0-7 /proc/26766/task/26880/stat : 26880 (java) R 26764 26764 23651 0 -1 4202560 341 0 0 0 585 0 0 0 20 0 28 0 448323072 29595099136 56603 33554432000 4194304 4196468 140721954092864 139697783377976 139698794474224 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26881] ppid=26764 vsize=28901464 memory=7163351671404258390 CPUtime=5.7 cores=0-7 /proc/26766/task/26881/stat : 26881 (java) R 26764 26764 23651 0 -1 4202560 181 0 0 0 570 0 0 0 20 0 28 0 448323072 29595099136 56603 33554432000 4194304 4196468 140721954092864 139697780220120 139698799381768 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 Current children cumulated CPU time: 62.16 s Current children cumulated vsize: 29014592 KiB Current children cumulated memory: 227864 KiB [startup+8.60178 s] /proc/loadavg: 8.60 8.36 8.22 9/220 26881 /proc/meminfo: memFree=30878780/32770624 swapFree=66989132/67108860 [pid=26764] ppid=26761 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/26764/stat : 26764 (xcsp3-exec) S 26761 26764 23651 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 448322832 115843072 363 33554432000 4194304 5098028 140737080743072 140737080741176 140119579861628 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20672512 140737080746876 140737080747118 140737080747118 140737080750026 0 /proc/26764/statm: 28282 363 304 221 0 87 0 [pid=26766] ppid=26764 vsize=28901464 memory=226432 CPUtime=63.76 cores=0-7 /proc/26766/stat : 26766 (java) S 26764 26764 23651 0 -1 1077944320 33123 0 0 0 6356 20 0 0 20 0 28 0 448322832 29595099136 56608 33554432000 4194304 4196468 140721954092864 140721954075408 139699157847799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 /proc/26766/statm: 7225366 56608 3524 1 0 7186466 0 [pid=26766/tid=26767] ppid=26764 vsize=28901464 memory=0 CPUtime=0.65 cores=0-7 /proc/26766/task/26767/stat : 26767 (java) S 26764 26764 23651 0 -1 1077944384 8809 0 0 0 61 4 0 0 20 0 28 0 448322832 29595099136 56608 33554432000 4194304 4196468 140721954092864 139699162088576 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26768] ppid=26764 vsize=28901464 memory=0 CPUtime=0.01 cores=0-7 /proc/26766/task/26768/stat : 26768 (java) S 26764 26764 23651 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 28 0 448322833 29595099136 56608 33554432000 4194304 4196468 140721954092864 139699114400144 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26769] ppid=26764 vsize=28901464 memory=2209 CPUtime=0 cores=0-7 /proc/26766/task/26769/stat : 26769 (java) S 26764 26764 23651 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 448322833 29595099136 56608 33554432000 4194304 4196468 140721954092864 139698708273424 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26770] ppid=26764 vsize=28901464 memory=65 CPUtime=0 cores=0-7 /proc/26766/task/26770/stat : 26770 (java) S 26764 26764 23651 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 448322833 29595099136 56608 33554432000 4194304 4196468 140721954092864 139698707221136 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26771] ppid=26764 vsize=28901464 memory=288230600329134386 CPUtime=0.01 cores=0-7 /proc/26766/task/26771/stat : 26771 (java) S 26764 26764 23651 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 28 0 448322833 29595099136 56608 33554432000 4194304 4196468 140721954092864 139698706168336 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26772] ppid=26764 vsize=28901464 memory=22074 CPUtime=0.01 cores=0-7 /proc/26766/task/26772/stat : 26772 (java) S 26764 26764 23651 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 28 0 448322833 29595099136 56608 33554432000 4194304 4196468 140721954092864 139698705116048 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26773] ppid=26764 vsize=28901464 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26773/stat : 26773 (java) S 26764 26764 23651 0 -1 1077944384 862 0 0 0 0 0 0 0 20 0 28 0 448322833 29595099136 56608 33554432000 4194304 4196468 140721954092864 139698704063248 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26774] ppid=26764 vsize=28901464 memory=0 CPUtime=0.01 cores=0-7 /proc/26766/task/26774/stat : 26774 (java) S 26764 26764 23651 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 28 0 448322833 29595099136 56608 33554432000 4194304 4196468 140721954092864 139698703010960 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26775] ppid=26764 vsize=28901464 memory=0 CPUtime=0.01 cores=0-7 /proc/26766/task/26775/stat : 26775 (java) S 26764 26764 23651 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 28 0 448322833 29595099136 56608 33554432000 4194304 4196468 140721954092864 139698701958160 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26776] ppid=26764 vsize=28901464 memory=0 CPUtime=0.01 cores=0-7 /proc/26766/task/26776/stat : 26776 (java) S 26764 26764 23651 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 28 0 448322835 29595099136 56608 33554432000 4194304 4196468 140721954092864 139697805228144 139699157858946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26777] ppid=26764 vsize=28901464 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26777/stat : 26777 (java) S 26764 26764 23651 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 448322835 29595099136 56608 33554432000 4194304 4196468 140721954092864 139697804174176 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26778] ppid=26764 vsize=28901464 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26778/stat : 26778 (java) S 26764 26764 23651 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 448322835 29595099136 56608 33554432000 4194304 4196468 140721954092864 139697803121792 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26779] ppid=26764 vsize=28901464 memory=0 CPUtime=0 cores=0-7 /proc/26766/task/26779/stat : 26779 (java) S 26764 26764 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448322838 29595099136 56608 33554432000 4194304 4196468 140721954092864 139697802070096 139699157866395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26780] ppid=26764 vsize=28901464 memory=0 CPUtime=1.57 cores=0-7 /proc/26766/task/26780/stat : 26780 (java) S 26764 26764 23651 0 -1 1077944384 3245 0 0 0 157 0 0 0 20 0 28 0 448322838 29595099136 56608 33554432000 4194304 4196468 140721954092864 139697801017968 139699157858946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26781] ppid=26764 vsize=28901464 memory=0 CPUtime=1.85 cores=0-7 /proc/26766/task/26781/stat : 26781 (java) S 26764 26764 23651 0 -1 1077944384 5215 0 0 0 183 2 0 0 20 0 28 0 448322838 29595099136 56608 33554432000 4194304 4196468 140721954092864 139697799965168 139699157858946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26782] ppid=26764 vsize=28901464 memory=117132348097514 CPUtime=1.7 cores=0-7 /proc/26766/task/26782/stat : 26782 (java) S 26764 26764 23651 0 -1 1077944384 5406 0 0 0 170 0 0 0 20 0 28 0 448322838 29595099136 56608 33554432000 4194304 4196468 140721954092864 139697798912880 139699157858946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26783] ppid=26764 vsize=28901464 memory=30043421974 CPUtime=0.75 cores=0-7 /proc/26766/task/26783/stat : 26783 (java) S 26764 26764 23651 0 -1 1077944384 3820 0 0 0 74 1 0 0 20 0 28 0 448322838 29595099136 56608 33554432000 4194304 4196468 140721954092864 139697797860080 139699157858946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26784] ppid=26764 vsize=28901464 memory=7590400733474172311 CPUtime=0 cores=0-7 /proc/26766/task/26784/stat : 26784 (java) S 26764 26764 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448322838 29595099136 56608 33554432000 4194304 4196468 140721954092864 139697796807008 139699157858005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26785] ppid=26764 vsize=28901464 memory=7452448394218518588 CPUtime=0 cores=0-7 /proc/26766/task/26785/stat : 26785 (java) S 26764 26764 23651 0 -1 1077944384 438 0 0 0 0 0 0 0 20 0 28 0 448322838 29595099136 56608 33554432000 4194304 4196468 140721954092864 139697795754288 139699157858946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26874] ppid=26764 vsize=28901464 memory=7230054558034387536 CPUtime=5.9 cores=0-7 /proc/26766/task/26874/stat : 26874 (java) R 26764 26764 23651 0 -1 4202560 99 0 0 0 590 0 0 0 20 0 28 0 448323072 29595099136 56608 33554432000 4194304 4196468 140721954092864 139697781272056 139698799342652 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26875] ppid=26764 vsize=28901464 memory=7590399633962544535 CPUtime=5.82 cores=0-7 /proc/26766/task/26875/stat : 26875 (java) R 26764 26764 23651 0 -1 4202560 83 0 0 0 581 1 0 0 20 0 28 0 448323072 29595099136 56608 33554432000 4194304 4196468 140721954092864 139697728125432 139698800743458 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26876] ppid=26764 vsize=28901464 memory=0 CPUtime=6 cores=0-7 /proc/26766/task/26876/stat : 26876 (java) R 26764 26764 23651 0 -1 4202560 118 0 0 0 600 0 0 0 20 0 28 0 448323072 29595099136 56608 33554432000 4194304 4196468 140721954092864 139697724973960 139698802915422 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26877] ppid=26764 vsize=28901464 memory=30043422208 CPUtime=5.9 cores=0-7 /proc/26766/task/26877/stat : 26877 (java) R 26764 26764 23651 0 -1 4202560 241 0 0 0 589 1 0 0 20 0 28 0 448323072 29595099136 56608 33554432000 4194304 4196468 140721954092864 139697782325976 139698799343306 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26878] ppid=26764 vsize=28901464 memory=239 CPUtime=5.86 cores=0-7 /proc/26766/task/26878/stat : 26878 (java) R 26764 26764 23651 0 -1 4202560 144 0 0 0 585 1 0 0 20 0 28 0 448323072 29595099136 56608 33554432000 4194304 4196468 140721954092864 139697785486576 139698799342474 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26879] ppid=26764 vsize=28901464 memory=279708672344864 CPUtime=6.1 cores=0-7 /proc/26766/task/26879/stat : 26879 (java) R 26764 26764 23651 0 -1 4202560 87 0 0 0 610 0 0 0 20 0 28 0 448323072 29595099136 56608 33554432000 4194304 4196468 140721954092864 139697784431560 139698799936565 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26880] ppid=26764 vsize=28901464 memory=139854336487295 CPUtime=6.05 cores=0-7 /proc/26766/task/26880/stat : 26880 (java) R 26764 26764 23651 0 -1 4202560 342 0 0 0 605 0 0 0 20 0 28 0 448323072 29595099136 56608 33554432000 4194304 4196468 140721954092864 139697783377976 139698800871089 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 [pid=26766/tid=26881] ppid=26764 vsize=28901464 memory=279708672934512 CPUtime=5.9 cores=0-7 /proc/26766/task/26881/stat : 26881 (java) R 26764 26764 23651 0 -1 4202560 182 0 0 0 590 0 0 0 20 0 28 0 448323072 29595099136 56608 33554432000 4194304 4196468 140721954092864 139697780220120 139698799343608 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12845056 140721954096112 140721954096283 140721954096283 140721954099151 0 Current children cumulated CPU time: 63.76 s Current children cumulated vsize: 29014592 KiB Current children cumulated memory: 227884 KiB Child status: 0 Real time (s): 8.69824 CPU time (s): 64.4681 CPU user time (s): 64.2461 CPU system time (s): 0.222071 CPU usage (%): 741.163 Max. virtual memory (cumulated for all children) (KiB): 29014592 Max. memory (cumulated for all children) (KiB): 230960 getrusage(RUSAGE_CHILDREN,...) data: user time used= 64.2461 system time used= 0.222071 maximum resident set size= 229512 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33961 page faults= 0 swaps= 0 block input operations= 0 block output operations= 128 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5247 involuntary context switches= 1392 # summary of solver processes directly reported to runsolver: # pid: 26764 # total CPU time (s): 64.4681 # total CPU user time (s): 64.2461 # total CPU system time (s): 0.222071 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.091047 second user time and 0.140164 second system time The end
Begin job on node126 at 2019-09-17 13:41:53 IDJOB=4400085 IDBENCH=141365 IDSOLVER=2855 FILE ID=node126/4400085-1568720550 RUNJOBID= node126-1568710964-23678 PBS_JOBID= 21703921 Free space on /tmp= 55708 MiB SOLVER NAME= choco-solver 2019-09-16 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-4400085-1568720550/watcher-4400085-1568720550 -o /tmp/evaluation-result-4400085-1568720550/solver-4400085-1568720550 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node126-1568710964-23678 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 564887736 HOME/instance-4400085-1568720550.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 769ec0f26c47f1b96bb609b2e4d8d5d6 RANDOM SEED=564887736 node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.45 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31092392 kB MemAvailable: 31886508 kB Buffers: 81120 kB Cached: 979556 kB SwapCached: 8624 kB Active: 632340 kB Inactive: 444004 kB Active(anon): 24540 kB Inactive(anon): 25108 kB Active(file): 607800 kB Inactive(file): 418896 kB Unevictable: 106948 kB Mlocked: 106948 kB SwapTotal: 67108860 kB SwapFree: 66989132 kB Dirty: 26036 kB Writeback: 0 kB AnonPages: 114200 kB Mapped: 43516 kB Shmem: 25492 kB Slab: 196148 kB SReclaimable: 166508 kB SUnreclaim: 29640 kB KernelStack: 3424 kB PageTables: 5644 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507620 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 55680 MiB End job on node126 at 2019-09-17 13:42:01