Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 3078 | 364.768 | 46.405 |
Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr22a.xml |
MD5SUM | 8cf591d8b3ba65ef1650a88ec52af52c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3078 |
Best CPU time to get the best result obtained on this benchmark | 10.3826 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 506 |
Number of constraints | 22 |
Number of domains | 2 |
Minimum domain size | 22 |
Maximum domain size | 45 |
Distribution of domain sizes | [{"size":22,"count":22},{"size":45,"count":21}] |
Minimum variable degree | 0 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":0,"count":463},{"degree":2,"count":32},{"degree":3,"count":4},{"degree":4,"count":5},{"degree":5,"count":2}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 22 |
Distribution of constraint arities | [{"arity":3,"count":21},{"arity":22,"count":1}] |
Number of extensional constraints | 21 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":21},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407254-1569346854.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407254-1569346854.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 1.39/0.62 c solve instance... 2.58/0.81 o 10534 2.58/0.82 o 6036 2.58/0.83 o 5810 2.58/0.83 o 5622 2.58/0.86 o 4992 2.58/0.86 o 4370 2.58/0.87 o 4280 2.58/0.87 o 4153 2.58/0.87 o 4034 2.58/0.88 o 3990 2.58/0.89 o 3979 2.58/0.90 o 3903 3.10/0.90 o 3854 3.10/0.91 o 3851 3.10/0.92 o 3763 3.10/0.93 o 3761 3.10/0.93 o 3740 3.10/0.94 o 3676 3.10/0.95 o 3597 3.10/0.98 o 3561 3.10/0.98 o 3552 3.10/0.99 o 3533 3.10/1.00 o 3523 3.10/1.00 o 3509 3.10/1.01 o 3501 3.68/1.01 o 3487 3.68/1.03 o 3484 3.68/1.04 o 3415 3.68/1.05 o 3401 3.68/1.06 o 3382 3.68/1.07 o 3376 3.68/1.08 o 3357 4.30/1.12 o 3354 4.30/1.12 o 3343 4.30/1.13 o 3339 4.30/1.13 o 3332 9.75/1.81 o 3317 10.49/1.90 o 3302 11.32/2.07 o 3293 12.10/2.14 o 3278 12.86/2.23 o 3268 15.15/2.57 o 3266 15.15/2.57 o 3215 16.78/2.74 o 3214 16.78/2.77 o 3211 18.31/2.97 o 3173 19.94/3.19 o 3162 20.67/3.22 o 3160 23.03/3.53 o 3138 54.05/7.44 o 3134 54.05/7.50 o 3132 55.65/7.65 o 3118 73.09/9.82 o 3097 85.03/11.34 o 3096 191.83/24.73 o 3094 191.83/24.74 o 3083 191.83/24.74 o 3078 364.05/46.39 s OPTIMUM FOUND 364.05/46.39 v <instantiation> 364.05/46.39 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] d[0][1] d[0][2] d[0][3] d[0][4] d[1][5] d[1][6] d[2][7] d[2][8] d[4][9] d[4][10] d[5][11] d[5][12] d[6][13] d[9][14] d[9][15] d[9][16] d[10][17] d[13][18] d[13][19] d[14][20] d[15][21] </list> 364.05/46.39 v <values>14 1 20 7 15 0 6 17 13 12 4 16 5 10 2 3 19 18 8 21 9 11 12 14 10 12 8 11 14 13 14 10 10 9 10 14 10 14 12 10 12 12 10 </values> 364.05/46.39 v </instantiation>
OK 3078
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 (11219 MiB free) memory of node 1: 16384 MiB (12436 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407254-1569346854/watcher-4407254-1569346854 -o /var/tmp/evaluation-result-4407254-1569346854/solver-4407254-1569346854 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569335938-19122 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1201978005 HOME/instance-4407254-1569346854.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=21801, runsolver pid=21798 [startup+0.101653 s]* /proc/loadavg: 8.32 8.15 7.97 3/212 21822 /proc/meminfo: memFree=24208104/32770624 swapFree=66976772/67108860 [pid=21801] ppid=21798 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21801/stat : 21801 (xcsp3-exec) S 21798 21801 19095 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510625446 115843072 364 33554432000 4194304 5098028 140723989190720 140723989188824 140680765817468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38543360 140723989197655 140723989197914 140723989197914 140723989200838 0 /proc/21801/statm: 28282 364 305 221 0 87 0 [pid=21803] ppid=21801 vsize=28227396 memory=28648 CPUtime=0.12 cores=0-7 /proc/21803/stat : 21803 (java) S 21801 21801 19095 0 -1 1077944320 5656 0 0 0 11 1 0 0 20 0 20 0 510625447 28904853504 7162 33554432000 4194304 4196468 140725973617920 140725973600464 139813260013303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 /proc/21803/statm: 7056849 7162 3123 1 0 7019032 0 [pid=21803/tid=21804] ppid=21801 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/21803/task/21804/stat : 21804 (java) R 21801 21801 19095 0 -1 4202560 3588 0 0 0 8 0 0 0 20 0 20 0 510625447 28904853504 7162 33554432000 4194304 4196468 140725973617920 139813264243520 139813260025238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21805] ppid=21801 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/21803/task/21805/stat : 21805 (java) S 21801 21801 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510625448 28904853504 7162 33554432000 4194304 4196468 140725973617920 139813212633872 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21806] ppid=21801 vsize=28227396 memory=140659808106112 CPUtime=0 cores=0-7 /proc/21803/task/21806/stat : 21806 (java) S 21801 21801 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510625448 28904853504 7162 33554432000 4194304 4196468 140725973617920 139813211581328 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21807] ppid=21801 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21807/stat : 21807 (java) S 21801 21801 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510625448 28904853504 7162 33554432000 4194304 4196468 140725973617920 139813210528784 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21808] ppid=21801 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21808/stat : 21808 (java) S 21801 21801 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510625448 28904853504 7162 33554432000 4194304 4196468 140725973617920 139813209476240 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21809] ppid=21801 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21809/stat : 21809 (java) S 21801 21801 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510625448 28904853504 7162 33554432000 4194304 4196468 140725973617920 139813208422672 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21810] ppid=21801 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21803/task/21810/stat : 21810 (java) S 21801 21801 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510625448 28904853504 7162 33554432000 4194304 4196468 140725973617920 139813207370128 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21811] ppid=21801 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21811/stat : 21811 (java) S 21801 21801 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510625448 28904853504 7162 33554432000 4194304 4196468 140725973617920 139813206317584 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21812] ppid=21801 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21812/stat : 21812 (java) S 21801 21801 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510625448 28904853504 7162 33554432000 4194304 4196468 140725973617920 139813205265040 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21813] ppid=21801 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21813/stat : 21813 (java) S 21801 21801 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510625449 28904853504 7162 33554432000 4194304 4196468 140725973617920 139811455166960 139813260024450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21814] ppid=21801 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21814/stat : 21814 (java) S 21801 21801 19095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510625450 28904853504 7162 33554432000 4194304 4196468 140725973617920 139811386025376 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21815] ppid=21801 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21815/stat : 21815 (java) S 21801 21801 19095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510625450 28904853504 7162 33554432000 4194304 4196468 140725973617920 139811384972784 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21816] ppid=21801 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21816/stat : 21816 (java) S 21801 21801 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510625452 28904853504 7162 33554432000 4194304 4196468 140725973617920 139811383921360 139813260031899 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21817] ppid=21801 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21817/stat : 21817 (java) S 21801 21801 19095 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 20 0 510625452 28904853504 7162 33554432000 4194304 4196468 140725973617920 139811382867952 139813260024450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21818] ppid=21801 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21818/stat : 21818 (java) S 21801 21801 19095 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 510625452 28904853504 7162 33554432000 4194304 4196468 140725973617920 139811381815408 139813260024450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21819] ppid=21801 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21819/stat : 21819 (java) R 21801 21801 19095 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 20 0 510625452 28904853504 7162 33554432000 4194304 4196468 140725973617920 139811380762864 139813243507507 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21820] ppid=21801 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/21803/task/21820/stat : 21820 (java) R 21801 21801 19095 0 -1 4202560 313 0 0 0 1 0 0 0 20 0 20 0 510625452 28904853504 7162 33554432000 4194304 4196468 140725973617920 139811379710320 139813238640205 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21821] ppid=21801 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21821/stat : 21821 (java) S 21801 21801 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510625453 28904853504 7162 33554432000 4194304 4196468 140725973617920 139811378658016 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21822] ppid=21801 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21803/task/21822/stat : 21822 (java) S 21801 21801 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510625453 28904853504 7162 33554432000 4194304 4196468 140725973617920 139811377605552 139813260024450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30104 KiB [startup+0.210644 s]* /proc/loadavg: 8.32 8.15 7.97 2/212 21822 /proc/meminfo: memFree=24194008/32770624 swapFree=66976772/67108860 [pid=21801] ppid=21798 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21801/stat : 21801 (xcsp3-exec) S 21798 21801 19095 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510625446 115843072 364 33554432000 4194304 5098028 140723989190720 140723989188824 140680765817468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38543360 140723989197655 140723989197914 140723989197914 140723989200838 0 /proc/21801/statm: 28282 364 305 221 0 87 0 [pid=21803] ppid=21801 vsize=28227396 memory=41328 CPUtime=0.34 cores=0-7 /proc/21803/stat : 21803 (java) S 21801 21801 19095 0 -1 1077944320 9568 0 0 0 31 3 0 0 20 0 20 0 510625447 28904853504 10332 33554432000 4194304 4196468 140725973617920 140725973600464 139813260013303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 /proc/21803/statm: 7056849 10332 3310 1 0 7019032 0 [pid=21803/tid=21804] ppid=21801 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/21803/task/21804/stat : 21804 (java) R 21801 21801 19095 0 -1 4202560 6637 0 0 0 17 2 0 0 20 0 20 0 510625447 28904853504 10332 33554432000 4194304 4196468 140725973617920 139813264245216 139813260025238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21805] ppid=21801 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/21803/task/21805/stat : 21805 (java) S 21801 21801 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510625448 28904853504 10332 33554432000 4194304 4196468 140725973617920 139813212633872 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21806] ppid=21801 vsize=28227396 memory=288371035959817856 CPUtime=0 cores=0-7 /proc/21803/task/21806/stat : 21806 (java) S 21801 21801 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510625448 28904853504 10332 33554432000 4194304 4196468 140725973617920 139813211581328 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21807] ppid=21801 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21803/task/21807/stat : 21807 (java) S 21801 21801 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510625448 28904853504 10332 33554432000 4194304 4196468 140725973617920 139813210528784 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21808] ppid=21801 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21808/stat : 21808 (java) S 21801 21801 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510625448 28904853504 10332 33554432000 4194304 4196468 140725973617920 139813209476240 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21809] ppid=21801 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21809/stat : 21809 (java) S 21801 21801 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510625448 28904853504 10332 33554432000 4194304 4196468 140725973617920 139813208422672 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21810] ppid=21801 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21803/task/21810/stat : 21810 (java) S 21801 21801 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510625448 28904853504 10332 33554432000 4194304 4196468 140725973617920 139813207370128 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21811] ppid=21801 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21811/stat : 21811 (java) S 21801 21801 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510625448 28904853504 10332 33554432000 4194304 4196468 140725973617920 139813206317584 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21812] ppid=21801 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21812/stat : 21812 (java) S 21801 21801 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510625448 28904853504 10332 33554432000 4194304 4196468 140725973617920 139813205265040 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21813] ppid=21801 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21813/stat : 21813 (java) S 21801 21801 19095 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510625449 28904853504 10332 33554432000 4194304 4196468 140725973617920 139811455166960 139813260024450 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21814] ppid=21801 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21814/stat : 21814 (java) S 21801 21801 19095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510625450 28904853504 10332 33554432000 4194304 4196468 140725973617920 139811386025376 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21815] ppid=21801 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21815/stat : 21815 (java) S 21801 21801 19095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510625450 28904853504 10332 33554432000 4194304 4196468 140725973617920 139811384972784 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21816] ppid=21801 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21816/stat : 21816 (java) S 21801 21801 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510625452 28904853504 10332 33554432000 4194304 4196468 140725973617920 139811383921360 139813260031899 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21817] ppid=21801 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/21803/task/21817/stat : 21817 (java) S 21801 21801 19095 0 -1 1077944384 369 0 0 0 1 0 0 0 20 0 20 0 510625452 28904853504 10332 33554432000 4194304 4196468 140725973617920 139811382867952 139813260024450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21818] ppid=21801 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/21803/task/21818/stat : 21818 (java) S 21801 21801 19095 0 -1 1077944384 214 0 0 0 1 0 0 0 20 0 20 0 510625452 28904853504 10332 33554432000 4194304 4196468 140725973617920 139811381815408 139813260024450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21819] ppid=21801 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/21803/task/21819/stat : 21819 (java) S 21801 21801 19095 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 20 0 510625452 28904853504 10332 33554432000 4194304 4196468 140725973617920 139811380762864 139813260024450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21820] ppid=21801 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/21803/task/21820/stat : 21820 (java) R 21801 21801 19095 0 -1 4202560 733 0 0 0 8 0 0 0 20 0 20 0 510625452 28904853504 10332 33554432000 4194304 4196468 140725973617920 139811379710128 139813245493574 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21821] ppid=21801 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21821/stat : 21821 (java) S 21801 21801 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510625453 28904853504 10332 33554432000 4194304 4196468 140725973617920 139811378658016 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21822] ppid=21801 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/21803/task/21822/stat : 21822 (java) S 21801 21801 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510625453 28904853504 10332 33554432000 4194304 4196468 140725973617920 139811377605552 139813260024450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42784 KiB [startup+0.312051 s]* /proc/loadavg: 8.32 8.15 7.97 3/212 21822 /proc/meminfo: memFree=24187532/32770624 swapFree=66976772/67108860 [pid=21801] ppid=21798 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21801/stat : 21801 (xcsp3-exec) S 21798 21801 19095 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510625446 115843072 364 33554432000 4194304 5098028 140723989190720 140723989188824 140680765817468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38543360 140723989197655 140723989197914 140723989197914 140723989200838 0 /proc/21801/statm: 28282 364 305 221 0 87 0 [pid=21803] ppid=21801 vsize=28231652 memory=50044 CPUtime=0.52 cores=0-7 /proc/21803/stat : 21803 (java) S 21801 21801 19095 0 -1 1077944320 10921 0 0 0 49 3 0 0 20 0 20 0 510625447 28909211648 12511 33554432000 4194304 4196468 140725973617920 140725973600464 139813260013303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 /proc/21803/statm: 7057913 12511 3354 1 0 7019032 0 [pid=21803/tid=21804] ppid=21801 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/21803/task/21804/stat : 21804 (java) R 21801 21801 19095 0 -1 4202560 7831 0 0 0 27 3 0 0 20 0 20 0 510625447 28909211648 12581 33554432000 4194304 4196468 140725973617920 139813264247088 139813244093790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21805] ppid=21801 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21805/stat : 21805 (java) S 21801 21801 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510625448 28909211648 12581 33554432000 4194304 4196468 140725973617920 139813212633872 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21806] ppid=21801 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21806/stat : 21806 (java) S 21801 21801 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510625448 28909211648 12581 33554432000 4194304 4196468 140725973617920 139813211581328 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21807] ppid=21801 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21807/stat : 21807 (java) S 21801 21801 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510625448 28909211648 12581 33554432000 4194304 4196468 140725973617920 139813210528784 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21808] ppid=21801 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21808/stat : 21808 (java) S 21801 21801 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510625448 28909211648 12581 33554432000 4194304 4196468 140725973617920 139813209476240 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21809] ppid=21801 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/21803/task/21809/stat : 21809 (java) S 21801 21801 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510625448 28909211648 12581 33554432000 4194304 4196468 140725973617920 139813208422672 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21810] ppid=21801 vsize=28231652 memory=140659709277103 CPUtime=0 cores=0-7 /proc/21803/task/21810/stat : 21810 (java) S 21801 21801 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510625448 28909211648 12581 33554432000 4194304 4196468 140725973617920 139813207370128 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21811] ppid=21801 vsize=28231652 memory=140659709279408 CPUtime=0 cores=0-7 /proc/21803/task/21811/stat : 21811 (java) S 21801 21801 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510625448 28909211648 12581 33554432000 4194304 4196468 140725973617920 139813206317584 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21812] ppid=21801 vsize=28231652 memory=140659709281712 CPUtime=0 cores=0-7 /proc/21803/task/21812/stat : 21812 (java) S 21801 21801 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510625448 28909211648 12581 33554432000 4194304 4196468 140725973617920 139813205265040 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21813] ppid=21801 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21813/stat : 21813 (java) S 21801 21801 19095 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510625449 28909211648 12581 33554432000 4194304 4196468 140725973617920 139811455166960 139813260024450 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21814] ppid=21801 vsize=28231652 memory=281319418570384 CPUtime=0 cores=0-7 /proc/21803/task/21814/stat : 21814 (java) S 21801 21801 19095 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510625450 28909211648 12581 33554432000 4194304 4196468 140725973617920 139811386025376 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21815] ppid=21801 vsize=28231652 memory=281319418577296 CPUtime=0 cores=0-7 /proc/21803/task/21815/stat : 21815 (java) S 21801 21801 19095 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510625450 28909211648 12581 33554432000 4194304 4196468 140725973617920 139811384972784 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21816] ppid=21801 vsize=28231652 memory=281319418518576 CPUtime=0 cores=0-7 /proc/21803/task/21816/stat : 21816 (java) S 21801 21801 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510625452 28909211648 12581 33554432000 4194304 4196468 140725973617920 139811383921360 139813260031899 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21817] ppid=21801 vsize=28231652 memory=281319418591120 CPUtime=0.03 cores=0-7 /proc/21803/task/21817/stat : 21817 (java) R 21801 21801 19095 0 -1 4202560 460 0 0 0 3 0 0 0 20 0 20 0 510625452 28909211648 12581 33554432000 4194304 4196468 140725973617920 139811382849064 139813237274560 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21818] ppid=21801 vsize=28231652 memory=281319418598032 CPUtime=0.02 cores=0-7 /proc/21803/task/21818/stat : 21818 (java) S 21801 21801 19095 0 -1 1077944384 222 0 0 0 2 0 0 0 20 0 20 0 510625452 28909211648 12581 33554432000 4194304 4196468 140725973617920 139811381815408 139813260024450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21819] ppid=21801 vsize=28231652 memory=281319418595728 CPUtime=0.02 cores=0-7 /proc/21803/task/21819/stat : 21819 (java) S 21801 21801 19095 0 -1 1077944384 305 0 0 0 2 0 0 0 20 0 20 0 510625452 28909211648 12581 33554432000 4194304 4196468 140725973617920 139811380762864 139813260024450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21820] ppid=21801 vsize=28231652 memory=281319418611888 CPUtime=0.12 cores=0-7 /proc/21803/task/21820/stat : 21820 (java) S 21801 21801 19095 0 -1 1077944384 798 0 0 0 12 0 0 0 20 0 20 0 510625452 28909211648 12581 33554432000 4194304 4196468 140725973617920 139811379710320 139813260024450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21821] ppid=21801 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21821/stat : 21821 (java) S 21801 21801 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510625453 28909211648 12581 33554432000 4194304 4196468 140725973617920 139811378658016 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21822] ppid=21801 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/21803/task/21822/stat : 21822 (java) S 21801 21801 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510625453 28909211648 12581 33554432000 4194304 4196468 140725973617920 139811377605552 139813260024450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51500 KiB [startup+0.707651 s] /proc/loadavg: 8.32 8.15 7.97 6/212 21822 /proc/meminfo: memFree=24172088/32770624 swapFree=66976772/67108860 [pid=21801] ppid=21798 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21801/stat : 21801 (xcsp3-exec) S 21798 21801 19095 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510625446 115843072 364 33554432000 4194304 5098028 140723989190720 140723989188824 140680765817468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38543360 140723989197655 140723989197914 140723989197914 140723989200838 0 /proc/21801/statm: 28282 364 305 221 0 87 0 [pid=21803] ppid=21801 vsize=28766288 memory=102552 CPUtime=1.99 cores=0-7 /proc/21803/stat : 21803 (java) S 21801 21801 19095 0 -1 1077944320 15459 0 0 0 194 5 0 0 20 0 28 0 510625447 29456678912 25638 33554432000 4194304 4196468 140725973617920 140725973600464 139813260013303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 /proc/21803/statm: 7191572 25638 3461 1 0 7152672 0 [pid=21803/tid=21804] ppid=21801 vsize=28766288 memory=281319418969776 CPUtime=0.61 cores=0-7 /proc/21803/task/21804/stat : 21804 (java) S 21801 21801 19095 0 -1 1077944384 9230 0 0 0 57 4 0 0 20 0 28 0 510625447 29456678912 25638 33554432000 4194304 4196468 140725973617920 139813264254080 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21805] ppid=21801 vsize=28766288 memory=140659709485936 CPUtime=0 cores=0-7 /proc/21803/task/21805/stat : 21805 (java) S 21801 21801 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510625448 29456678912 25638 33554432000 4194304 4196468 140725973617920 139813212633872 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21806] ppid=21801 vsize=28766288 memory=0 CPUtime=0 cores=0-7 /proc/21803/task/21806/stat : 21806 (java) S 21801 21801 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510625448 29456678912 25638 33554432000 4194304 4196468 140725973617920 139813211581328 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21807] ppid=21801 vsize=28766288 memory=1060 CPUtime=0 cores=0-7 /proc/21803/task/21807/stat : 21807 (java) S 21801 21801 19095 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 510625448 29456678912 25638 33554432000 4194304 4196468 140725973617920 139813210528784 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 ################ # More data... # ################ [pid=21803/tid=22284] ppid=21801 vsize=28835928 memory=1060 CPUtime=20.02 cores=0-7 /proc/21803/task/22284/stat : 22284 (java) R 21801 21801 19095 0 -1 4202560 615 0 0 0 2002 0 0 0 20 0 28 0 510627921 29527990272 88474 33554432000 4194304 4196468 140725973617920 139811357052304 139812884043162 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=22285] ppid=21801 vsize=28835928 memory=2828 CPUtime=20.01 cores=0-7 /proc/21803/task/22285/stat : 22285 (java) R 21801 21801 19095 0 -1 4202560 1454 0 0 0 1999 2 0 0 20 0 28 0 510627921 29527990272 88474 33554432000 4194304 4196468 140725973617920 139811363360272 139812884886642 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=22286] ppid=21801 vsize=28835928 memory=3620 CPUtime=19.83 cores=0-7 /proc/21803/task/22286/stat : 22286 (java) R 21801 21801 19095 0 -1 4202560 902 0 0 0 1982 1 0 0 20 0 28 0 510627921 29527990272 88474 33554432000 4194304 4196468 140725973617920 139811360202696 139812884778905 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=22287] ppid=21801 vsize=28835928 memory=1660 CPUtime=19.8 cores=0-7 /proc/21803/task/22287/stat : 22287 (java) R 21801 21801 19095 0 -1 4202560 590 0 0 0 1980 0 0 0 20 0 28 0 510627921 29527990272 88474 33554432000 4194304 4196468 140725973617920 139811366521504 139812884778652 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=22288] ppid=21801 vsize=28835928 memory=65080 CPUtime=20.01 cores=0-7 /proc/21803/task/22288/stat : 22288 (java) R 21801 21801 19095 0 -1 4202560 680 0 0 0 2001 0 0 0 20 0 28 0 510627921 29527990272 88474 33554432000 4194304 4196468 140725973617920 139811364413368 139812884105881 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=22289] ppid=21801 vsize=28835928 memory=988 CPUtime=20.02 cores=0-7 /proc/21803/task/22289/stat : 22289 (java) R 21801 21801 19095 0 -1 4202560 679 0 0 0 2002 0 0 0 20 0 28 0 510627921 29527990272 88474 33554432000 4194304 4196468 140725973617920 139811368624112 139812884104845 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 Current children cumulated CPU time: 352.09 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 355352 KiB [startup+45.6016 s] /proc/loadavg: 8.44 8.22 8.00 9/220 22290 /proc/meminfo: memFree=23883068/32770624 swapFree=66976772/67108860 [pid=21801] ppid=21798 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21801/stat : 21801 (xcsp3-exec) S 21798 21801 19095 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510625446 115843072 364 33554432000 4194304 5098028 140723989190720 140723989188824 140680765817468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38543360 140723989197655 140723989197914 140723989197914 140723989200838 0 /proc/21801/statm: 28282 364 305 221 0 87 0 [pid=21803] ppid=21801 vsize=28835928 memory=353912 CPUtime=358.47 cores=0-7 /proc/21803/stat : 21803 (java) S 21801 21801 19095 0 -1 1077944320 66326 0 0 0 35804 43 0 0 20 0 28 0 510625447 29527990272 88478 33554432000 4194304 4196468 140725973617920 140725973600464 139813260013303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 /proc/21803/statm: 7208982 88478 3519 1 0 7170082 0 [pid=21803/tid=21804] ppid=21801 vsize=28835928 memory=1660 CPUtime=0.64 cores=0-7 /proc/21803/task/21804/stat : 21804 (java) S 21801 21801 19095 0 -1 1077944384 9636 0 0 0 60 4 0 0 20 0 28 0 510625447 29527990272 88478 33554432000 4194304 4196468 140725973617920 139813264254080 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21805] ppid=21801 vsize=28835928 memory=65080 CPUtime=0.02 cores=0-7 /proc/21803/task/21805/stat : 21805 (java) S 21801 21801 19095 0 -1 1077944384 512 0 0 0 1 1 0 0 20 0 28 0 510625448 29527990272 88478 33554432000 4194304 4196468 140725973617920 139813212633872 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21806] ppid=21801 vsize=28835928 memory=988 CPUtime=0.02 cores=0-7 /proc/21803/task/21806/stat : 21806 (java) S 21801 21801 19095 0 -1 1077944384 150 0 0 0 2 0 0 0 20 0 28 0 510625448 29527990272 88478 33554432000 4194304 4196468 140725973617920 139813211581328 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21807] ppid=21801 vsize=28835928 memory=2008 CPUtime=0.03 cores=0-7 /proc/21803/task/21807/stat : 21807 (java) S 21801 21801 19095 0 -1 1077944384 1517 0 0 0 2 1 0 0 20 0 28 0 510625448 29527990272 88478 33554432000 4194304 4196468 140725973617920 139813210528784 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21808] ppid=21801 vsize=28835928 memory=1436 CPUtime=0.03 cores=0-7 /proc/21803/task/21808/stat : 21808 (java) S 21801 21801 19095 0 -1 1077944384 330 0 0 0 2 1 0 0 20 0 28 0 510625448 29527990272 88478 33554432000 4194304 4196468 140725973617920 139813209476240 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21809] ppid=21801 vsize=28835928 memory=580 CPUtime=0.03 cores=0-7 /proc/21803/task/21809/stat : 21809 (java) S 21801 21801 19095 0 -1 1077944384 232 0 0 0 2 1 0 0 20 0 28 0 510625448 29527990272 88478 33554432000 4194304 4196468 140725973617920 139813208422672 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21810] ppid=21801 vsize=28835928 memory=1716 CPUtime=0.03 cores=0-7 /proc/21803/task/21810/stat : 21810 (java) S 21801 21801 19095 0 -1 1077944384 563 0 0 0 2 1 0 0 20 0 28 0 510625448 29527990272 88478 33554432000 4194304 4196468 140725973617920 139813207370128 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21811] ppid=21801 vsize=28835928 memory=10604 CPUtime=0.03 cores=0-7 /proc/21803/task/21811/stat : 21811 (java) S 21801 21801 19095 0 -1 1077944384 696 0 0 0 2 1 0 0 20 0 28 0 510625448 29527990272 88478 33554432000 4194304 4196468 140725973617920 139813206317584 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21812] ppid=21801 vsize=28835928 memory=3636 CPUtime=0.03 cores=0-7 /proc/21803/task/21812/stat : 21812 (java) S 21801 21801 19095 0 -1 1077944384 1424 0 0 0 2 1 0 0 20 0 28 0 510625448 29527990272 88478 33554432000 4194304 4196468 140725973617920 139813205265040 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21813] ppid=21801 vsize=28835928 memory=776 CPUtime=0.02 cores=0-7 /proc/21803/task/21813/stat : 21813 (java) S 21801 21801 19095 0 -1 1077944384 1584 0 0 0 2 0 0 0 20 0 28 0 510625449 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811455166960 139813260024450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21814] ppid=21801 vsize=28835928 memory=1564 CPUtime=0 cores=0-7 /proc/21803/task/21814/stat : 21814 (java) S 21801 21801 19095 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510625450 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811386025440 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21815] ppid=21801 vsize=28835928 memory=6116 CPUtime=0 cores=0-7 /proc/21803/task/21815/stat : 21815 (java) S 21801 21801 19095 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510625450 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811384972800 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21816] ppid=21801 vsize=28835928 memory=1060 CPUtime=0 cores=0-7 /proc/21803/task/21816/stat : 21816 (java) S 21801 21801 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510625452 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811383921360 139813260031899 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21817] ppid=21801 vsize=28835928 memory=2828 CPUtime=1.95 cores=0-7 /proc/21803/task/21817/stat : 21817 (java) S 21801 21801 19095 0 -1 1077944384 9375 0 0 0 194 1 0 0 20 0 28 0 510625452 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811382867952 139813260024450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21818] ppid=21801 vsize=28835928 memory=1216 CPUtime=2 cores=0-7 /proc/21803/task/21818/stat : 21818 (java) S 21801 21801 19095 0 -1 1077944384 5454 0 0 0 199 1 0 0 20 0 28 0 510625452 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811381815408 139813260024450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21819] ppid=21801 vsize=28835928 memory=984 CPUtime=2.03 cores=0-7 /proc/21803/task/21819/stat : 21819 (java) S 21801 21801 19095 0 -1 1077944384 9760 0 0 0 202 1 0 0 20 0 28 0 510625452 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811380762864 139813260024450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21820] ppid=21801 vsize=28835928 memory=14004 CPUtime=0.73 cores=0-7 /proc/21803/task/21820/stat : 21820 (java) S 21801 21801 19095 0 -1 1077944384 4730 0 0 0 72 1 0 0 20 0 28 0 510625452 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811379710320 139813260024450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21821] ppid=21801 vsize=28835928 memory=35324 CPUtime=0 cores=0-7 /proc/21803/task/21821/stat : 21821 (java) S 21801 21801 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510625453 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811378658016 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21822] ppid=21801 vsize=28835928 memory=14048 CPUtime=0 cores=0-7 /proc/21803/task/21822/stat : 21822 (java) S 21801 21801 19095 0 -1 1077944384 370 0 0 0 0 0 0 0 20 0 28 0 510625453 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811377605552 139813260024450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=22282] ppid=21801 vsize=28835928 memory=2124 CPUtime=20.8 cores=0-7 /proc/21803/task/22282/stat : 22282 (java) R 21801 21801 19095 0 -1 4202560 707 0 0 0 2080 0 0 0 20 0 28 0 510627921 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811361254576 139812884106016 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=22283] ppid=21801 vsize=28835928 memory=500 CPUtime=20.82 cores=0-7 /proc/21803/task/22283/stat : 22283 (java) R 21801 21801 19095 0 -1 4202560 379 0 0 0 2082 0 0 0 20 0 28 0 510627921 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811367571808 139812884778207 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=22284] ppid=21801 vsize=28835928 memory=1556 CPUtime=20.82 cores=0-7 /proc/21803/task/22284/stat : 22284 (java) R 21801 21801 19095 0 -1 4202560 619 0 0 0 2082 0 0 0 20 0 28 0 510627921 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811357052080 139812884105948 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=22285] ppid=21801 vsize=28835928 memory=928 CPUtime=20.81 cores=0-7 /proc/21803/task/22285/stat : 22285 (java) R 21801 21801 19095 0 -1 4202560 1458 0 0 0 2079 2 0 0 20 0 28 0 510627921 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811363360568 139812884776256 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=22286] ppid=21801 vsize=28835928 memory=1772 CPUtime=20.61 cores=0-7 /proc/21803/task/22286/stat : 22286 (java) R 21801 21801 19095 0 -1 4202560 903 0 0 0 2060 1 0 0 20 0 28 0 510627921 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811360202680 139812885712179 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=22287] ppid=21801 vsize=28835928 memory=816 CPUtime=20.6 cores=0-7 /proc/21803/task/22287/stat : 22287 (java) R 21801 21801 19095 0 -1 4202560 592 0 0 0 2060 0 0 0 20 0 28 0 510627921 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811366518512 139812885041607 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=22288] ppid=21801 vsize=28835928 memory=1436 CPUtime=20.79 cores=0-7 /proc/21803/task/22288/stat : 22288 (java) R 21801 21801 19095 0 -1 4202560 682 0 0 0 2079 0 0 0 20 0 28 0 510627921 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811364414024 139812884572557 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=22289] ppid=21801 vsize=28835928 memory=1984 CPUtime=20.82 cores=0-7 /proc/21803/task/22289/stat : 22289 (java) R 21801 21801 19095 0 -1 4202560 681 0 0 0 2082 0 0 0 20 0 28 0 510627921 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811368624064 139812884106804 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 Current children cumulated CPU time: 358.47 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 355368 KiB [startup+46.0016 s]* /proc/loadavg: 8.44 8.22 8.00 9/220 22290 /proc/meminfo: memFree=23883740/32770624 swapFree=66976772/67108860 [pid=21801] ppid=21798 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21801/stat : 21801 (xcsp3-exec) S 21798 21801 19095 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510625446 115843072 364 33554432000 4194304 5098028 140723989190720 140723989188824 140680765817468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38543360 140723989197655 140723989197914 140723989197914 140723989200838 0 /proc/21801/statm: 28282 364 305 221 0 87 0 [pid=21803] ppid=21801 vsize=28835928 memory=353912 CPUtime=361.72 cores=0-7 /proc/21803/stat : 21803 (java) S 21801 21801 19095 0 -1 1077944320 66706 0 0 0 36129 43 0 0 20 0 28 0 510625447 29527990272 88478 33554432000 4194304 4196468 140725973617920 140725973600464 139813260013303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 /proc/21803/statm: 7208982 88478 3519 1 0 7170082 0 [pid=21803/tid=21804] ppid=21801 vsize=28835928 memory=6791534058613427641 CPUtime=0.64 cores=0-7 /proc/21803/task/21804/stat : 21804 (java) S 21801 21801 19095 0 -1 1077944384 9636 0 0 0 60 4 0 0 20 0 28 0 510625447 29527990272 88478 33554432000 4194304 4196468 140725973617920 139813264254080 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21805] ppid=21801 vsize=28835928 memory=4872558044660077418 CPUtime=0.02 cores=0-7 /proc/21803/task/21805/stat : 21805 (java) S 21801 21801 19095 0 -1 1077944384 512 0 0 0 1 1 0 0 20 0 28 0 510625448 29527990272 88478 33554432000 4194304 4196468 140725973617920 139813212633872 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21806] ppid=21801 vsize=28835928 memory=358004 CPUtime=0.02 cores=0-7 /proc/21803/task/21806/stat : 21806 (java) S 21801 21801 19095 0 -1 1077944384 150 0 0 0 2 0 0 0 20 0 28 0 510625448 29527990272 88478 33554432000 4194304 4196468 140725973617920 139813211581328 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21807] ppid=21801 vsize=28835928 memory=800 CPUtime=0.03 cores=0-7 /proc/21803/task/21807/stat : 21807 (java) S 21801 21801 19095 0 -1 1077944384 1517 0 0 0 2 1 0 0 20 0 28 0 510625448 29527990272 88478 33554432000 4194304 4196468 140725973617920 139813210528784 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21808] ppid=21801 vsize=28835928 memory=1804 CPUtime=0.03 cores=0-7 /proc/21803/task/21808/stat : 21808 (java) S 21801 21801 19095 0 -1 1077944384 330 0 0 0 2 1 0 0 20 0 28 0 510625448 29527990272 88478 33554432000 4194304 4196468 140725973617920 139813209476240 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21809] ppid=21801 vsize=28835928 memory=920 CPUtime=0.03 cores=0-7 /proc/21803/task/21809/stat : 21809 (java) S 21801 21801 19095 0 -1 1077944384 232 0 0 0 2 1 0 0 20 0 28 0 510625448 29527990272 88478 33554432000 4194304 4196468 140725973617920 139813208422672 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21810] ppid=21801 vsize=28835928 memory=3620 CPUtime=0.03 cores=0-7 /proc/21803/task/21810/stat : 21810 (java) S 21801 21801 19095 0 -1 1077944384 563 0 0 0 2 1 0 0 20 0 28 0 510625448 29527990272 88478 33554432000 4194304 4196468 140725973617920 139813207370128 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21811] ppid=21801 vsize=28835928 memory=1660 CPUtime=0.03 cores=0-7 /proc/21803/task/21811/stat : 21811 (java) S 21801 21801 19095 0 -1 1077944384 696 0 0 0 2 1 0 0 20 0 28 0 510625448 29527990272 88478 33554432000 4194304 4196468 140725973617920 139813206317584 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21812] ppid=21801 vsize=28835928 memory=65080 CPUtime=0.03 cores=0-7 /proc/21803/task/21812/stat : 21812 (java) S 21801 21801 19095 0 -1 1077944384 1424 0 0 0 2 1 0 0 20 0 28 0 510625448 29527990272 88478 33554432000 4194304 4196468 140725973617920 139813205265040 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21813] ppid=21801 vsize=28835928 memory=988 CPUtime=0.02 cores=0-7 /proc/21803/task/21813/stat : 21813 (java) S 21801 21801 19095 0 -1 1077944384 1584 0 0 0 2 0 0 0 20 0 28 0 510625449 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811455166960 139813260024450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21814] ppid=21801 vsize=28835928 memory=2008 CPUtime=0 cores=0-7 /proc/21803/task/21814/stat : 21814 (java) S 21801 21801 19095 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510625450 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811386025440 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21815] ppid=21801 vsize=28835928 memory=1436 CPUtime=0 cores=0-7 /proc/21803/task/21815/stat : 21815 (java) S 21801 21801 19095 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510625450 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811384972800 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21816] ppid=21801 vsize=28835928 memory=580 CPUtime=0 cores=0-7 /proc/21803/task/21816/stat : 21816 (java) S 21801 21801 19095 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510625452 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811383921360 139813260031899 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21817] ppid=21801 vsize=28835928 memory=1716 CPUtime=1.95 cores=0-7 /proc/21803/task/21817/stat : 21817 (java) S 21801 21801 19095 0 -1 1077944384 9375 0 0 0 194 1 0 0 20 0 28 0 510625452 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811382867952 139813260024450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21818] ppid=21801 vsize=28835928 memory=1760 CPUtime=2 cores=0-7 /proc/21803/task/21818/stat : 21818 (java) S 21801 21801 19095 0 -1 1077944384 5454 0 0 0 199 1 0 0 20 0 28 0 510625452 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811381815408 139813260024450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21819] ppid=21801 vsize=28835928 memory=111636 CPUtime=2.03 cores=0-7 /proc/21803/task/21819/stat : 21819 (java) S 21801 21801 19095 0 -1 1077944384 9760 0 0 0 202 1 0 0 20 0 28 0 510625452 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811380762864 139813260024450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21820] ppid=21801 vsize=28835928 memory=800 CPUtime=0.73 cores=0-7 /proc/21803/task/21820/stat : 21820 (java) S 21801 21801 19095 0 -1 1077944384 4730 0 0 0 72 1 0 0 20 0 28 0 510625452 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811379710320 139813260024450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21821] ppid=21801 vsize=28835928 memory=1804 CPUtime=0 cores=0-7 /proc/21803/task/21821/stat : 21821 (java) S 21801 21801 19095 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510625453 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811378658016 139813260023509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=21822] ppid=21801 vsize=28835928 memory=920 CPUtime=0 cores=0-7 /proc/21803/task/21822/stat : 21822 (java) S 21801 21801 19095 0 -1 1077944384 390 0 0 0 0 0 0 0 20 0 28 0 510625453 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811377605552 139813260024450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=22282] ppid=21801 vsize=28835928 memory=4408 CPUtime=21.21 cores=0-7 /proc/21803/task/22282/stat : 22282 (java) R 21801 21801 19095 0 -1 4202560 724 0 0 0 2121 0 0 0 20 0 28 0 510627921 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811361254712 139812884105932 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=22283] ppid=21801 vsize=28835928 memory=4104 CPUtime=21.23 cores=0-7 /proc/21803/task/22283/stat : 22283 (java) R 21801 21801 19095 0 -1 4202560 383 0 0 0 2123 0 0 0 20 0 28 0 510627921 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811367571696 139812885042132 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=22284] ppid=21801 vsize=28835928 memory=1408 CPUtime=21.23 cores=0-7 /proc/21803/task/22284/stat : 22284 (java) R 21801 21801 19095 0 -1 4202560 739 0 0 0 2123 0 0 0 20 0 28 0 510627921 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811357052216 139812884106028 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=22285] ppid=21801 vsize=28835928 memory=3272 CPUtime=21.22 cores=0-7 /proc/21803/task/22285/stat : 22285 (java) R 21801 21801 19095 0 -1 4202560 1544 0 0 0 2120 2 0 0 20 0 28 0 510627921 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811363360568 139812884105652 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=22286] ppid=21801 vsize=28835928 memory=1456 CPUtime=21.01 cores=0-7 /proc/21803/task/22286/stat : 22286 (java) R 21801 21801 19095 0 -1 4202560 969 0 0 0 2100 1 0 0 20 0 28 0 510627921 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811360202680 139812885714587 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=22287] ppid=21801 vsize=28835928 memory=358004 CPUtime=21.01 cores=0-7 /proc/21803/task/22287/stat : 22287 (java) R 21801 21801 19095 0 -1 4202560 621 0 0 0 2101 0 0 0 20 0 28 0 510627921 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811366518648 139812884105623 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=22288] ppid=21801 vsize=28835928 memory=1456 CPUtime=21.2 cores=0-7 /proc/21803/task/22288/stat : 22288 (java) R 21801 21801 19095 0 -1 4202560 698 0 0 0 2120 0 0 0 20 0 28 0 510627921 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811364414024 139812884572557 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 [pid=21803/tid=22289] ppid=21801 vsize=28835928 memory=288230574492221466 CPUtime=21.22 cores=0-7 /proc/21803/task/22289/stat : 22289 (java) R 21801 21801 19095 0 -1 4202560 703 0 0 0 2122 0 0 0 20 0 28 0 510627921 29527990272 88478 33554432000 4194304 4196468 140725973617920 139811368624200 139812884083318 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35348480 140725973623772 140725973623947 140725973623947 140725973626831 0 Current children cumulated CPU time: 361.72 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 355368 KiB [startup+46.401 s] /proc/loadavg: 8.44 8.22 8.00 9/220 22290 /proc/meminfo: memFree=23883740/32770624 swapFree=66976772/67108860 [pid=21801] ppid=21798 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21801/stat : 21801 (xcsp3-exec) S 21798 21801 19095 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510625446 115843072 364 33554432000 4194304 5098028 140723989190720 140723989188824 140680765817468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38543360 140723989197655 140723989197914 140723989197914 140723989200838 0 /proc/21801/statm: 28282 364 305 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1456 KiB Child status: 0 Real time (s): 46.405 CPU time (s): 364.768 CPU user time (s): 364.315 CPU system time (s): 0.452602 CPU usage (%): 786.052 Max. virtual memory (cumulated for all children) (KiB): 28949056 Max. memory (cumulated for all children) (KiB): 359952 getrusage(RUSAGE_CHILDREN,...) data: user time used= 364.315 system time used= 0.452602 maximum resident set size= 364672 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68850 page faults= 0 swaps= 0 block input operations= 0 block output operations= 232 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9481 involuntary context switches= 5142 # summary of solver processes directly reported to runsolver: # pid: 21801 # total CPU time (s): 364.768 # total CPU user time (s): 364.315 # total CPU system time (s): 0.452602 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.382479 second user time and 0.553173 second system time The end
Begin job on node124 at 2019-09-24 19:40:13 IDJOB=4407254 IDBENCH=123028 IDSOLVER=2872 FILE ID=node124/4407254-1569346854 RUNJOBID= node124-1569335938-19122 PBS_JOBID= 21705061 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-chr22a.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 /var/tmp/evaluation-result-4407254-1569346854/watcher-4407254-1569346854 -o /var/tmp/evaluation-result-4407254-1569346854/solver-4407254-1569346854 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569335938-19122 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1201978005 HOME/instance-4407254-1569346854.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 8cf591d8b3ba65ef1650a88ec52af52c RANDOM SEED=1201978005 node124.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.47 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.47 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.47 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.47 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: 24224708 kB MemAvailable: 31812556 kB Buffers: 140224 kB Cached: 7533264 kB SwapCached: 29076 kB Active: 3827128 kB Inactive: 3880852 kB Active(anon): 3516 kB Inactive(anon): 89624 kB Active(file): 3823612 kB Inactive(file): 3791228 kB Unevictable: 108336 kB Mlocked: 108336 kB SwapTotal: 67108860 kB SwapFree: 66976772 kB Dirty: 26340 kB Writeback: 0 kB AnonPages: 280880 kB Mapped: 57776 kB Shmem: 49092 kB Slab: 430384 kB SReclaimable: 401468 kB SUnreclaim: 28916 kB KernelStack: 3888 kB PageTables: 5492 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514892 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 235520 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /var/tmp at the end= 13484 MiB End job on node124 at 2019-09-24 19:40:59