Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 3078 | 494.438 | 62.7052 |
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.4002 |
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-4406954-1569346147.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4406954-1569346147.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.29 c parse instance... 1.35/0.63 c solve instance... 2.65/0.80 o 10534 2.65/0.82 o 6036 2.65/0.83 o 5810 2.65/0.84 o 5674 2.65/0.86 o 5622 2.65/0.86 o 5496 2.65/0.87 o 4992 2.65/0.87 o 4370 2.65/0.88 o 4280 2.65/0.89 o 4153 2.65/0.89 o 4034 2.65/0.90 o 3990 3.16/0.92 o 3979 3.16/0.93 o 3903 3.16/0.93 o 3854 3.16/0.93 o 3763 3.16/0.94 o 3761 3.16/0.95 o 3752 3.16/0.96 o 3676 3.16/0.97 o 3597 3.16/0.99 o 3572 3.16/1.01 o 3567 3.80/1.02 o 3552 3.80/1.03 o 3533 3.80/1.03 o 3509 3.80/1.04 o 3487 3.80/1.05 o 3424 3.80/1.07 o 3416 3.80/1.08 o 3357 3.80/1.10 o 3339 4.38/1.11 o 3336 4.38/1.11 o 3332 5.83/1.30 o 3321 8.23/1.60 o 3302 9.76/1.85 o 3290 10.47/1.95 o 3286 10.47/1.97 o 3284 11.32/2.08 o 3276 11.32/2.09 o 3274 11.32/2.09 o 3264 11.32/2.09 o 3259 12.79/2.21 o 3258 13.59/2.37 o 3255 13.59/2.37 o 3251 13.59/2.37 o 3246 13.59/2.38 o 3229 13.59/2.38 o 3227 14.30/2.44 o 3222 14.30/2.45 o 3220 14.30/2.49 o 3214 19.11/3.03 o 3213 19.11/3.03 o 3203 21.40/3.40 o 3198 21.40/3.40 o 3190 22.18/3.46 o 3189 22.98/3.59 o 3188 22.98/3.60 o 3185 23.74/3.60 o 3183 23.74/3.60 o 3182 23.74/3.61 o 3176 23.74/3.66 o 3172 24.46/3.72 o 3168 26.89/4.01 o 3148 26.89/4.01 o 3140 150.33/19.55 o 3134 150.33/19.55 o 3132 150.33/19.56 o 3121 161.39/20.91 o 3116 161.39/20.91 o 3105 179.68/23.22 o 3096 315.21/40.29 o 3094 315.21/40.29 o 3089 315.98/40.31 o 3083 315.98/40.31 o 3078 493.78/62.68 s OPTIMUM FOUND 493.78/62.68 v <instantiation> 493.78/62.68 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> 493.78/62.68 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> 493.78/62.68 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 (12742 MiB free) memory of node 1: 16384 MiB (10037 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406954-1569346147/watcher-4406954-1569346147 -o /tmp/evaluation-result-4406954-1569346147/solver-4406954-1569346147 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569335938-8846 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1396051300 HOME/instance-4406954-1569346147.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=12846, runsolver pid=12843 [startup+0.100113 s]* /proc/loadavg: 2.29 2.77 3.51 2/212 12867 /proc/meminfo: memFree=23312628/32770624 swapFree=66956500/67108860 [pid=12846] ppid=12843 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/12846/stat : 12846 (xcsp3-exec) S 12843 12846 8819 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510886036 115843072 364 33554432000 4194304 5098028 140729256020352 140729256018456 140362238386812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27770880 140729256022901 140729256023145 140729256023145 140729256026058 0 /proc/12846/statm: 28282 364 305 221 0 87 0 [pid=12848] ppid=12846 vsize=28227396 memory=27396 CPUtime=0.13 cores=0-7 /proc/12848/stat : 12848 (java) S 12846 12846 8819 0 -1 1077944320 5797 0 0 0 11 2 0 0 20 0 20 0 510886036 28904853504 6849 33554432000 4194304 4196468 140735486289232 140735486271776 140419488403191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 /proc/12848/statm: 7056849 6849 3151 1 0 7019032 0 [pid=12848/tid=12849] ppid=12846 vsize=28227396 memory=8256956774946349467 CPUtime=0.08 cores=0-7 /proc/12848/task/12849/stat : 12849 (java) R 12846 12846 8819 0 -1 4202560 3669 0 0 0 8 0 0 0 20 0 20 0 510886036 28904853504 6849 33554432000 4194304 4196468 140735486289232 140419492639616 140419488415126 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12850] ppid=12846 vsize=28227396 memory=732369941511056357 CPUtime=0 cores=0-7 /proc/12848/task/12850/stat : 12850 (java) S 12846 12846 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510886037 28904853504 6849 33554432000 4194304 4196468 140735486289232 140419039530128 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12851] ppid=12846 vsize=28227396 memory=139803173602944 CPUtime=0 cores=0-7 /proc/12848/task/12851/stat : 12851 (java) S 12846 12846 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510886037 28904853504 6849 33554432000 4194304 4196468 140735486289232 140419038477328 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12852] ppid=12846 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12852/stat : 12852 (java) S 12846 12846 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510886037 28904853504 6849 33554432000 4194304 4196468 140735486289232 140419037424528 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12853] ppid=12846 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12853/stat : 12853 (java) S 12846 12846 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510886037 28904853504 6849 33554432000 4194304 4196468 140735486289232 140419036371728 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12854] ppid=12846 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12854/stat : 12854 (java) S 12846 12846 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510886037 28904853504 6849 33554432000 4194304 4196468 140735486289232 140419035318928 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12855] ppid=12846 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12848/task/12855/stat : 12855 (java) S 12846 12846 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510886037 28904853504 6849 33554432000 4194304 4196468 140735486289232 140419034266128 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12856] ppid=12846 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12856/stat : 12856 (java) S 12846 12846 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510886037 28904853504 6849 33554432000 4194304 4196468 140735486289232 140419033213328 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12857] ppid=12846 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12857/stat : 12857 (java) S 12846 12846 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510886037 28904853504 6849 33554432000 4194304 4196468 140735486289232 140419032160528 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12858] ppid=12846 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12858/stat : 12858 (java) S 12846 12846 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510886038 28904853504 6849 33554432000 4194304 4196468 140735486289232 140418738150256 140419488414338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12859] ppid=12846 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12859/stat : 12859 (java) S 12846 12846 8819 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510886039 28904853504 6849 33554432000 4194304 4196468 140735486289232 140418737096224 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12860] ppid=12846 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12860/stat : 12860 (java) S 12846 12846 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510886039 28904853504 6849 33554432000 4194304 4196468 140735486289232 140418736043376 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12861] ppid=12846 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12861/stat : 12861 (java) S 12846 12846 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510886041 28904853504 6849 33554432000 4194304 4196468 140735486289232 140418734991696 140419488421787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12862] ppid=12846 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12862/stat : 12862 (java) S 12846 12846 8819 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 20 0 510886042 28904853504 6849 33554432000 4194304 4196468 140735486289232 140418733939056 140419488414338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12863] ppid=12846 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12863/stat : 12863 (java) S 12846 12846 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510886042 28904853504 6849 33554432000 4194304 4196468 140735486289232 140418732886256 140419488414338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12864] ppid=12846 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12864/stat : 12864 (java) S 12846 12846 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510886042 28904853504 6849 33554432000 4194304 4196468 140735486289232 140418731833456 140419488414338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12865] ppid=12846 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/12848/task/12865/stat : 12865 (java) R 12846 12846 8819 0 -1 4202560 393 0 0 0 1 0 0 0 20 0 20 0 510886042 28904853504 6849 33554432000 4194304 4196468 140735486289232 140418730779056 140419488424538 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12866] ppid=12846 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12866/stat : 12866 (java) S 12846 12846 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510886042 28904853504 6849 33554432000 4194304 4196468 140735486289232 140418729729120 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12867] ppid=12846 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12848/task/12867/stat : 12867 (java) S 12846 12846 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510886042 28904853504 6849 33554432000 4194304 4196468 140735486289232 140418728676400 140419488414338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 28852 KiB [startup+0.210133 s]* /proc/loadavg: 2.29 2.77 3.51 3/212 12867 /proc/meminfo: memFree=23298168/32770624 swapFree=66956500/67108860 [pid=12846] ppid=12843 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/12846/stat : 12846 (xcsp3-exec) S 12843 12846 8819 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510886036 115843072 364 33554432000 4194304 5098028 140729256020352 140729256018456 140362238386812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27770880 140729256022901 140729256023145 140729256023145 140729256026058 0 /proc/12846/statm: 28282 364 305 221 0 87 0 [pid=12848] ppid=12846 vsize=28227396 memory=40040 CPUtime=0.34 cores=0-7 /proc/12848/stat : 12848 (java) S 12846 12846 8819 0 -1 1077944320 9763 0 0 0 30 4 0 0 20 0 20 0 510886036 28904853504 10010 33554432000 4194304 4196468 140735486289232 140735486271776 140419488403191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 /proc/12848/statm: 7056849 10010 3277 1 0 7019032 0 [pid=12848/tid=12849] ppid=12846 vsize=28227396 memory=0 CPUtime=0.19 cores=0-7 /proc/12848/task/12849/stat : 12849 (java) R 12846 12846 8819 0 -1 4202560 6700 0 0 0 17 2 0 0 20 0 20 0 510886036 28904853504 10010 33554432000 4194304 4196468 140735486289232 140419492632912 140419488425117 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12850] ppid=12846 vsize=28227396 memory=732369941511056357 CPUtime=0 cores=0-7 /proc/12848/task/12850/stat : 12850 (java) S 12846 12846 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510886037 28904853504 10010 33554432000 4194304 4196468 140735486289232 140419039530128 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12851] ppid=12846 vsize=28227396 memory=139803173602944 CPUtime=0 cores=0-7 /proc/12848/task/12851/stat : 12851 (java) S 12846 12846 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510886037 28904853504 10010 33554432000 4194304 4196468 140735486289232 140419038477328 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12852] ppid=12846 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12852/stat : 12852 (java) S 12846 12846 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510886037 28904853504 10010 33554432000 4194304 4196468 140735486289232 140419037424528 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12853] ppid=12846 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12853/stat : 12853 (java) S 12846 12846 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510886037 28904853504 10010 33554432000 4194304 4196468 140735486289232 140419036371728 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12854] ppid=12846 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12854/stat : 12854 (java) S 12846 12846 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510886037 28904853504 10010 33554432000 4194304 4196468 140735486289232 140419035318928 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12855] ppid=12846 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12848/task/12855/stat : 12855 (java) S 12846 12846 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510886037 28904853504 10010 33554432000 4194304 4196468 140735486289232 140419034266128 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12856] ppid=12846 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12856/stat : 12856 (java) S 12846 12846 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510886037 28904853504 10010 33554432000 4194304 4196468 140735486289232 140419033213328 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12857] ppid=12846 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12857/stat : 12857 (java) S 12846 12846 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510886037 28904853504 10010 33554432000 4194304 4196468 140735486289232 140419032160528 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12858] ppid=12846 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12858/stat : 12858 (java) S 12846 12846 8819 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510886038 28904853504 10010 33554432000 4194304 4196468 140735486289232 140418738150256 140419488414338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12859] ppid=12846 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12859/stat : 12859 (java) S 12846 12846 8819 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510886039 28904853504 10010 33554432000 4194304 4196468 140735486289232 140418737096224 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12860] ppid=12846 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12860/stat : 12860 (java) S 12846 12846 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510886039 28904853504 10010 33554432000 4194304 4196468 140735486289232 140418736043376 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12861] ppid=12846 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12861/stat : 12861 (java) S 12846 12846 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510886041 28904853504 10010 33554432000 4194304 4196468 140735486289232 140418734991696 140419488421787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12862] ppid=12846 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/12848/task/12862/stat : 12862 (java) S 12846 12846 8819 0 -1 1077944384 535 0 0 0 2 0 0 0 20 0 20 0 510886042 28904853504 10010 33554432000 4194304 4196468 140735486289232 140418733939056 140419488414338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12863] ppid=12846 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12863/stat : 12863 (java) S 12846 12846 8819 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 510886042 28904853504 10010 33554432000 4194304 4196468 140735486289232 140418732886256 140419488414338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12864] ppid=12846 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/12848/task/12864/stat : 12864 (java) S 12846 12846 8819 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 20 0 510886042 28904853504 10010 33554432000 4194304 4196468 140735486289232 140418731833456 140419488414338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12865] ppid=12846 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7 /proc/12848/task/12865/stat : 12865 (java) S 12846 12846 8819 0 -1 1077944384 887 0 0 0 7 0 0 0 20 0 20 0 510886042 28904853504 10010 33554432000 4194304 4196468 140735486289232 140418730780656 140419488414338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12866] ppid=12846 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12866/stat : 12866 (java) S 12846 12846 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510886042 28904853504 10010 33554432000 4194304 4196468 140735486289232 140418729729120 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12867] ppid=12846 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/12848/task/12867/stat : 12867 (java) S 12846 12846 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510886042 28904853504 10010 33554432000 4194304 4196468 140735486289232 140418728676400 140419488414338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41496 KiB [startup+0.309556 s]* /proc/loadavg: 2.29 2.77 3.51 3/212 12867 /proc/meminfo: memFree=23294012/32770624 swapFree=66956500/67108860 [pid=12846] ppid=12843 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/12846/stat : 12846 (xcsp3-exec) S 12843 12846 8819 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510886036 115843072 364 33554432000 4194304 5098028 140729256020352 140729256018456 140362238386812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27770880 140729256022901 140729256023145 140729256023145 140729256026058 0 /proc/12846/statm: 28282 364 305 221 0 87 0 [pid=12848] ppid=12846 vsize=28231652 memory=48764 CPUtime=0.52 cores=0-7 /proc/12848/stat : 12848 (java) S 12846 12846 8819 0 -1 1077944320 11088 0 0 0 47 5 0 0 20 0 20 0 510886036 28909211648 12191 33554432000 4194304 4196468 140735486289232 140735486271776 140419488403191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 /proc/12848/statm: 7057913 12191 3347 1 0 7019032 0 [pid=12848/tid=12849] ppid=12846 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/12848/task/12849/stat : 12849 (java) R 12846 12846 8819 0 -1 4202560 7768 0 0 0 27 3 0 0 20 0 20 0 510886036 28909211648 12257 33554432000 4194304 4196468 140735486289232 140419492634304 140419481081205 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12850] ppid=12846 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12850/stat : 12850 (java) S 12846 12846 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510886037 28909211648 12257 33554432000 4194304 4196468 140735486289232 140419039530128 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12851] ppid=12846 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12851/stat : 12851 (java) S 12846 12846 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510886037 28909211648 12257 33554432000 4194304 4196468 140735486289232 140419038477328 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12852] ppid=12846 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12852/stat : 12852 (java) S 12846 12846 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510886037 28909211648 12257 33554432000 4194304 4196468 140735486289232 140419037424528 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12853] ppid=12846 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12853/stat : 12853 (java) S 12846 12846 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510886037 28909211648 12257 33554432000 4194304 4196468 140735486289232 140419036371728 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12854] ppid=12846 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/12848/task/12854/stat : 12854 (java) S 12846 12846 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510886037 28909211648 12257 33554432000 4194304 4196468 140735486289232 140419035318928 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12855] ppid=12846 vsize=28231652 memory=139803064628143 CPUtime=0 cores=0-7 /proc/12848/task/12855/stat : 12855 (java) S 12846 12846 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510886037 28909211648 12257 33554432000 4194304 4196468 140735486289232 140419034266128 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12856] ppid=12846 vsize=28231652 memory=139803064630448 CPUtime=0 cores=0-7 /proc/12848/task/12856/stat : 12856 (java) S 12846 12846 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510886037 28909211648 12257 33554432000 4194304 4196468 140735486289232 140419033213328 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12857] ppid=12846 vsize=28231652 memory=139803064632752 CPUtime=0 cores=0-7 /proc/12848/task/12857/stat : 12857 (java) S 12846 12846 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510886037 28909211648 12257 33554432000 4194304 4196468 140735486289232 140419032160528 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12858] ppid=12846 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12858/stat : 12858 (java) S 12846 12846 8819 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510886038 28909211648 12257 33554432000 4194304 4196468 140735486289232 140418738150256 140419488414338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12859] ppid=12846 vsize=28231652 memory=279606129272464 CPUtime=0 cores=0-7 /proc/12848/task/12859/stat : 12859 (java) S 12846 12846 8819 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510886039 28909211648 12257 33554432000 4194304 4196468 140735486289232 140418737096224 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12860] ppid=12846 vsize=28231652 memory=279606129279376 CPUtime=0 cores=0-7 /proc/12848/task/12860/stat : 12860 (java) S 12846 12846 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510886039 28909211648 12289 33554432000 4194304 4196468 140735486289232 140418736043376 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12861] ppid=12846 vsize=28231652 memory=279606129220656 CPUtime=0 cores=0-7 /proc/12848/task/12861/stat : 12861 (java) S 12846 12846 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510886041 28909211648 12289 33554432000 4194304 4196468 140735486289232 140418734991696 140419488421787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12862] ppid=12846 vsize=28231652 memory=279606129293200 CPUtime=0.03 cores=0-7 /proc/12848/task/12862/stat : 12862 (java) S 12846 12846 8819 0 -1 1077944384 550 0 0 0 3 0 0 0 20 0 20 0 510886042 28909211648 12289 33554432000 4194304 4196468 140735486289232 140418733939056 140419488414338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12863] ppid=12846 vsize=28231652 memory=279606129300112 CPUtime=0.01 cores=0-7 /proc/12848/task/12863/stat : 12863 (java) R 12846 12846 8819 0 -1 4202560 144 0 0 0 1 0 0 0 20 0 20 0 510886042 28909211648 12289 33554432000 4194304 4196468 140735486289232 140418732876640 140419474555974 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12864] ppid=12846 vsize=28231652 memory=279606129297808 CPUtime=0.02 cores=0-7 /proc/12848/task/12864/stat : 12864 (java) S 12846 12846 8819 0 -1 1077944384 301 0 0 0 2 0 0 0 20 0 20 0 510886042 28909211648 12289 33554432000 4194304 4196468 140735486289232 140418731833456 140419488414338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12865] ppid=12846 vsize=28231652 memory=279606129313968 CPUtime=0.12 cores=0-7 /proc/12848/task/12865/stat : 12865 (java) S 12846 12846 8819 0 -1 1077944384 1061 0 0 0 12 0 0 0 20 0 20 0 510886042 28909211648 12289 33554432000 4194304 4196468 140735486289232 140418730780656 140419488414338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12866] ppid=12846 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12866/stat : 12866 (java) S 12846 12846 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510886042 28909211648 12289 33554432000 4194304 4196468 140735486289232 140418729729120 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12867] ppid=12846 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/12848/task/12867/stat : 12867 (java) S 12846 12846 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510886042 28909211648 12289 33554432000 4194304 4196468 140735486289232 140418728676400 140419488414338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50220 KiB [startup+0.700833 s] /proc/loadavg: 2.29 2.77 3.51 4/212 12867 /proc/meminfo: memFree=23277676/32770624 swapFree=66956500/67108860 [pid=12846] ppid=12843 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/12846/stat : 12846 (xcsp3-exec) S 12843 12846 8819 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510886036 115843072 364 33554432000 4194304 5098028 140729256020352 140729256018456 140362238386812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27770880 140729256022901 140729256023145 140729256023145 140729256026058 0 /proc/12846/statm: 28282 364 305 221 0 87 0 [pid=12848] ppid=12846 vsize=28766288 memory=101608 CPUtime=1.9 cores=0-7 /proc/12848/stat : 12848 (java) S 12846 12846 8819 0 -1 1077944320 15714 0 0 0 182 8 0 0 20 0 28 0 510886036 29456678912 25402 33554432000 4194304 4196468 140735486289232 140735486271776 140419488403191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 /proc/12848/statm: 7191572 25402 3459 1 0 7152672 0 [pid=12848/tid=12849] ppid=12846 vsize=28766288 memory=279606129608896 CPUtime=0.62 cores=0-7 /proc/12848/task/12849/stat : 12849 (java) S 12846 12846 8819 0 -1 1077944384 9166 0 0 0 58 4 0 0 20 0 28 0 510886036 29456678912 25402 33554432000 4194304 4196468 140735486289232 140419492643968 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12850] ppid=12846 vsize=28766288 memory=1560 CPUtime=0 cores=0-7 /proc/12848/task/12850/stat : 12850 (java) S 12846 12846 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510886037 29456678912 25402 33554432000 4194304 4196468 140735486289232 140419039530128 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12851] ppid=12846 vsize=28766288 memory=976 CPUtime=0 cores=0-7 /proc/12848/task/12851/stat : 12851 (java) S 12846 12846 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510886037 29456678912 25402 33554432000 4194304 4196468 140735486289232 140419038477328 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12852] ppid=12846 vsize=28766288 memory=772 CPUtime=0 cores=0-7 /proc/12848/task/12852/stat : 12852 (java) S 12846 12846 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510886037 29456678912 25402 33554432000 4194304 4196468 140735486289232 140419037424528 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 ################ # More data... # ################ [pid=12848/tid=13463] ppid=12846 vsize=28835928 memory=2532 CPUtime=21.23 cores=0-7 /proc/12848/task/13463/stat : 13463 (java) R 12846 12846 8819 0 -1 4202560 550 0 0 0 2123 0 0 0 20 0 28 0 510890067 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418576503512 140419130299036 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=13464] ppid=12846 vsize=28835928 memory=1440 CPUtime=21.26 cores=0-7 /proc/12848/task/13464/stat : 13464 (java) R 12846 12846 8819 0 -1 4202560 1089 0 0 0 2125 1 0 0 20 0 28 0 510890067 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418584926680 140419132225743 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=13465] ppid=12846 vsize=28835928 memory=800 CPUtime=21.06 cores=0-7 /proc/12848/task/13465/stat : 13465 (java) R 12846 12846 8819 0 -1 4202560 572 0 0 0 2106 0 0 0 20 0 28 0 510890067 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418580713160 140419130262795 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=13466] ppid=12846 vsize=28835928 memory=1772 CPUtime=21.23 cores=0-7 /proc/12848/task/13466/stat : 13466 (java) R 12846 12846 8819 0 -1 4202560 963 0 0 0 2122 1 0 0 20 0 28 0 510890067 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418581767952 140419132019312 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=13467] ppid=12846 vsize=28835928 memory=111632 CPUtime=21.26 cores=0-7 /proc/12848/task/13467/stat : 13467 (java) R 12846 12846 8819 0 -1 4202560 602 0 0 0 2126 0 0 0 20 0 28 0 510890067 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418578608336 140419132130741 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=13468] ppid=12846 vsize=28835928 memory=804 CPUtime=21.25 cores=0-7 /proc/12848/task/13468/stat : 13468 (java) R 12846 12846 8819 0 -1 4202560 831 0 0 0 2125 0 0 0 20 0 28 0 510890067 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418582819336 140419130299005 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 Current children cumulated CPU time: 485.81 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 343128 KiB [startup+62.4015 s] /proc/loadavg: 6.74 4.00 3.88 9/219 13470 /proc/meminfo: memFree=23001708/32770624 swapFree=66956500/67108860 [pid=12846] ppid=12843 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/12846/stat : 12846 (xcsp3-exec) S 12843 12846 8819 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510886036 115843072 364 33554432000 4194304 5098028 140729256020352 140729256018456 140362238386812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27770880 140729256022901 140729256023145 140729256023145 140729256026058 0 /proc/12846/statm: 28282 364 305 221 0 87 0 [pid=12848] ppid=12846 vsize=28835928 memory=341672 CPUtime=492.19 cores=0-7 /proc/12848/stat : 12848 (java) S 12846 12846 8819 0 -1 1077944320 84199 0 0 0 49165 54 0 0 20 0 28 0 510886036 29527990272 85418 33554432000 4194304 4196468 140735486289232 140735486271776 140419488403191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 /proc/12848/statm: 7208982 85418 3520 1 0 7170082 0 [pid=12848/tid=12849] ppid=12846 vsize=28835928 memory=3616 CPUtime=0.66 cores=0-7 /proc/12848/task/12849/stat : 12849 (java) S 12846 12846 8819 0 -1 1077944384 9824 0 0 0 61 5 0 0 20 0 28 0 510886036 29527990272 85418 33554432000 4194304 4196468 140735486289232 140419492643968 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12850] ppid=12846 vsize=28835928 memory=3620 CPUtime=0.03 cores=0-7 /proc/12848/task/12850/stat : 12850 (java) S 12846 12846 8819 0 -1 1077944384 495 0 0 0 2 1 0 0 20 0 28 0 510886037 29527990272 85418 33554432000 4194304 4196468 140735486289232 140419039530128 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12851] ppid=12846 vsize=28835928 memory=341672 CPUtime=0.03 cores=0-7 /proc/12848/task/12851/stat : 12851 (java) S 12846 12846 8819 0 -1 1077944384 1114 0 0 0 2 1 0 0 20 0 28 0 510886037 29527990272 85418 33554432000 4194304 4196468 140735486289232 140419038477328 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12852] ppid=12846 vsize=28835928 memory=52004 CPUtime=0.02 cores=0-7 /proc/12848/task/12852/stat : 12852 (java) S 12846 12846 8819 0 -1 1077944384 130 0 0 0 1 1 0 0 20 0 28 0 510886037 29527990272 85418 33554432000 4194304 4196468 140735486289232 140419037424528 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12853] ppid=12846 vsize=28835928 memory=984 CPUtime=0.03 cores=0-7 /proc/12848/task/12853/stat : 12853 (java) S 12846 12846 8819 0 -1 1077944384 1268 0 0 0 2 1 0 0 20 0 28 0 510886037 29527990272 85418 33554432000 4194304 4196468 140735486289232 140419036371728 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12854] ppid=12846 vsize=28835928 memory=2032 CPUtime=0.02 cores=0-7 /proc/12848/task/12854/stat : 12854 (java) S 12846 12846 8819 0 -1 1077944384 1952 0 0 0 1 1 0 0 20 0 28 0 510886037 29527990272 85418 33554432000 4194304 4196468 140735486289232 140419035318928 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12855] ppid=12846 vsize=28835928 memory=1328 CPUtime=0.02 cores=0-7 /proc/12848/task/12855/stat : 12855 (java) S 12846 12846 8819 0 -1 1077944384 425 0 0 0 1 1 0 0 20 0 28 0 510886037 29527990272 85418 33554432000 4194304 4196468 140735486289232 140419034266128 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12856] ppid=12846 vsize=28835928 memory=1560 CPUtime=0.02 cores=0-7 /proc/12848/task/12856/stat : 12856 (java) S 12846 12846 8819 0 -1 1077944384 1236 0 0 0 1 1 0 0 20 0 28 0 510886037 29527990272 85418 33554432000 4194304 4196468 140735486289232 140419033213328 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12857] ppid=12846 vsize=28835928 memory=976 CPUtime=0.03 cores=0-7 /proc/12848/task/12857/stat : 12857 (java) S 12846 12846 8819 0 -1 1077944384 246 0 0 0 2 1 0 0 20 0 28 0 510886037 29527990272 85418 33554432000 4194304 4196468 140735486289232 140419032160528 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12858] ppid=12846 vsize=28835928 memory=772 CPUtime=0.02 cores=0-7 /proc/12848/task/12858/stat : 12858 (java) S 12846 12846 8819 0 -1 1077944384 2335 0 0 0 2 0 0 0 20 0 28 0 510886038 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418738150256 140419488414338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12859] ppid=12846 vsize=28835928 memory=3616 CPUtime=0 cores=0-7 /proc/12848/task/12859/stat : 12859 (java) S 12846 12846 8819 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510886039 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418737096288 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12860] ppid=12846 vsize=28835928 memory=2832 CPUtime=0 cores=0-7 /proc/12848/task/12860/stat : 12860 (java) S 12846 12846 8819 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510886039 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418736043392 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12861] ppid=12846 vsize=28835928 memory=1548 CPUtime=0 cores=0-7 /proc/12848/task/12861/stat : 12861 (java) S 12846 12846 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510886041 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418734991696 140419488421787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12862] ppid=12846 vsize=28835928 memory=1056 CPUtime=1.95 cores=0-7 /proc/12848/task/12862/stat : 12862 (java) S 12846 12846 8819 0 -1 1077944384 9402 0 0 0 194 1 0 0 20 0 28 0 510886042 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418733939056 140419488414338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12863] ppid=12846 vsize=28835928 memory=744 CPUtime=1.84 cores=0-7 /proc/12848/task/12863/stat : 12863 (java) S 12846 12846 8819 0 -1 1077944384 8890 0 0 0 183 1 0 0 20 0 28 0 510886042 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418732886256 140419488414338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12864] ppid=12846 vsize=28835928 memory=8444 CPUtime=2.16 cores=0-7 /proc/12848/task/12864/stat : 12864 (java) S 12846 12846 8819 0 -1 1077944384 9110 0 0 0 214 2 0 0 20 0 28 0 510886042 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418731833456 140419488414338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12865] ppid=12846 vsize=28835928 memory=6172 CPUtime=0.76 cores=0-7 /proc/12848/task/12865/stat : 12865 (java) S 12846 12846 8819 0 -1 1077944384 7184 0 0 0 74 2 0 0 20 0 28 0 510886042 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418730780656 140419488414338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12866] ppid=12846 vsize=28835928 memory=1124 CPUtime=0 cores=0-7 /proc/12848/task/12866/stat : 12866 (java) S 12846 12846 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510886042 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418729729120 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12867] ppid=12846 vsize=28835928 memory=14008 CPUtime=0.01 cores=0-7 /proc/12848/task/12867/stat : 12867 (java) S 12846 12846 8819 0 -1 1077944384 915 0 0 0 0 1 0 0 20 0 28 0 510886042 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418728676400 140419488414338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=13461] ppid=12846 vsize=28835928 memory=12024 CPUtime=22.03 cores=0-7 /proc/12848/task/13461/stat : 13461 (java) R 12846 12846 8819 0 -1 4202560 819 0 0 0 2203 0 0 0 20 0 28 0 510890067 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418573352216 140419132357922 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=13462] ppid=12846 vsize=28835928 memory=2124 CPUtime=21.84 cores=0-7 /proc/12848/task/13462/stat : 13462 (java) R 12846 12846 8819 0 -1 4202560 500 0 0 0 2184 0 0 0 20 0 28 0 510890067 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418577555608 140419130892530 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=13463] ppid=12846 vsize=28835928 memory=22040 CPUtime=22.03 cores=0-7 /proc/12848/task/13463/stat : 13463 (java) R 12846 12846 8819 0 -1 4202560 554 0 0 0 2203 0 0 0 20 0 28 0 510890067 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418576503512 140419132709392 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=13464] ppid=12846 vsize=28835928 memory=504 CPUtime=22.06 cores=0-7 /proc/12848/task/13464/stat : 13464 (java) R 12846 12846 8819 0 -1 4202560 1099 0 0 0 2205 1 0 0 20 0 28 0 510890067 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418584926680 140419130893059 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=13465] ppid=12846 vsize=28835928 memory=1564 CPUtime=21.84 cores=0-7 /proc/12848/task/13465/stat : 13465 (java) R 12846 12846 8819 0 -1 4202560 621 0 0 0 2184 0 0 0 20 0 28 0 510890067 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418580713160 140419130263431 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=13466] ppid=12846 vsize=28835928 memory=2 CPUtime=22.03 cores=0-7 /proc/12848/task/13466/stat : 13466 (java) R 12846 12846 8819 0 -1 4202560 1005 0 0 0 2202 1 0 0 20 0 28 0 510890067 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418581767952 140419130262451 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=13467] ppid=12846 vsize=28835928 memory=3 CPUtime=22.06 cores=0-7 /proc/12848/task/13467/stat : 13467 (java) R 12846 12846 8819 0 -1 4202560 606 0 0 0 2206 0 0 0 20 0 28 0 510890067 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418578608336 140419130263264 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=13468] ppid=12846 vsize=28835928 memory=2 CPUtime=22.05 cores=0-7 /proc/12848/task/13468/stat : 13468 (java) R 12846 12846 8819 0 -1 4202560 837 0 0 0 2205 0 0 0 20 0 28 0 510890067 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418582819336 140419130263674 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 Current children cumulated CPU time: 492.19 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 343128 KiB [startup+62.6015 s] /proc/loadavg: 6.74 4.00 3.88 9/219 13470 /proc/meminfo: memFree=23001708/32770624 swapFree=66956500/67108860 [pid=12846] ppid=12843 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/12846/stat : 12846 (xcsp3-exec) S 12843 12846 8819 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510886036 115843072 364 33554432000 4194304 5098028 140729256020352 140729256018456 140362238386812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27770880 140729256022901 140729256023145 140729256023145 140729256026058 0 /proc/12846/statm: 28282 364 305 221 0 87 0 [pid=12848] ppid=12846 vsize=28835928 memory=341672 CPUtime=493.78 cores=0-7 /proc/12848/stat : 12848 (java) S 12846 12846 8819 0 -1 1077944320 84208 0 0 0 49324 54 0 0 20 0 28 0 510886036 29527990272 85418 33554432000 4194304 4196468 140735486289232 140735486271776 140419488403191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 /proc/12848/statm: 7208982 85418 3520 1 0 7170082 0 [pid=12848/tid=12849] ppid=12846 vsize=28835928 memory=0 CPUtime=0.66 cores=0-7 /proc/12848/task/12849/stat : 12849 (java) S 12846 12846 8819 0 -1 1077944384 9824 0 0 0 61 5 0 0 20 0 28 0 510886036 29527990272 85418 33554432000 4194304 4196468 140735486289232 140419492643968 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12850] ppid=12846 vsize=28835928 memory=195 CPUtime=0.03 cores=0-7 /proc/12848/task/12850/stat : 12850 (java) S 12846 12846 8819 0 -1 1077944384 495 0 0 0 2 1 0 0 20 0 28 0 510886037 29527990272 85418 33554432000 4194304 4196468 140735486289232 140419039530128 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12851] ppid=12846 vsize=28835928 memory=184 CPUtime=0.03 cores=0-7 /proc/12848/task/12851/stat : 12851 (java) S 12846 12846 8819 0 -1 1077944384 1114 0 0 0 2 1 0 0 20 0 28 0 510886037 29527990272 85418 33554432000 4194304 4196468 140735486289232 140419038477328 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12852] ppid=12846 vsize=28835928 memory=216 CPUtime=0.02 cores=0-7 /proc/12848/task/12852/stat : 12852 (java) S 12846 12846 8819 0 -1 1077944384 130 0 0 0 1 1 0 0 20 0 28 0 510886037 29527990272 85418 33554432000 4194304 4196468 140735486289232 140419037424528 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12853] ppid=12846 vsize=28835928 memory=279606130197600 CPUtime=0.03 cores=0-7 /proc/12848/task/12853/stat : 12853 (java) S 12846 12846 8819 0 -1 1077944384 1268 0 0 0 2 1 0 0 20 0 28 0 510886037 29527990272 85418 33554432000 4194304 4196468 140735486289232 140419036371728 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12854] ppid=12846 vsize=28835928 memory=0 CPUtime=0.02 cores=0-7 /proc/12848/task/12854/stat : 12854 (java) S 12846 12846 8819 0 -1 1077944384 1952 0 0 0 1 1 0 0 20 0 28 0 510886037 29527990272 85418 33554432000 4194304 4196468 140735486289232 140419035318928 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12855] ppid=12846 vsize=28835928 memory=0 CPUtime=0.02 cores=0-7 /proc/12848/task/12855/stat : 12855 (java) S 12846 12846 8819 0 -1 1077944384 425 0 0 0 1 1 0 0 20 0 28 0 510886037 29527990272 85418 33554432000 4194304 4196468 140735486289232 140419034266128 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12856] ppid=12846 vsize=28835928 memory=0 CPUtime=0.02 cores=0-7 /proc/12848/task/12856/stat : 12856 (java) S 12846 12846 8819 0 -1 1077944384 1236 0 0 0 1 1 0 0 20 0 28 0 510886037 29527990272 85418 33554432000 4194304 4196468 140735486289232 140419033213328 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12857] ppid=12846 vsize=28835928 memory=0 CPUtime=0.03 cores=0-7 /proc/12848/task/12857/stat : 12857 (java) S 12846 12846 8819 0 -1 1077944384 246 0 0 0 2 1 0 0 20 0 28 0 510886037 29527990272 85418 33554432000 4194304 4196468 140735486289232 140419032160528 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12858] ppid=12846 vsize=28835928 memory=0 CPUtime=0.02 cores=0-7 /proc/12848/task/12858/stat : 12858 (java) S 12846 12846 8819 0 -1 1077944384 2335 0 0 0 2 0 0 0 20 0 28 0 510886038 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418738150256 140419488414338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12859] ppid=12846 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12859/stat : 12859 (java) S 12846 12846 8819 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 510886039 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418737096288 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12860] ppid=12846 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12860/stat : 12860 (java) S 12846 12846 8819 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 510886039 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418736043392 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12861] ppid=12846 vsize=28835928 memory=0 CPUtime=0 cores=0-7 /proc/12848/task/12861/stat : 12861 (java) S 12846 12846 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510886041 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418734991696 140419488421787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12862] ppid=12846 vsize=28835928 memory=-7003737579269690708 CPUtime=1.95 cores=0-7 /proc/12848/task/12862/stat : 12862 (java) S 12846 12846 8819 0 -1 1077944384 9402 0 0 0 194 1 0 0 20 0 28 0 510886042 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418733939056 140419488414338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12863] ppid=12846 vsize=28835928 memory=4574427238611572054 CPUtime=1.84 cores=0-7 /proc/12848/task/12863/stat : 12863 (java) S 12846 12846 8819 0 -1 1077944384 8890 0 0 0 183 1 0 0 20 0 28 0 510886042 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418732886256 140419488414338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12864] ppid=12846 vsize=28835928 memory=-7313217705584451941 CPUtime=2.16 cores=0-7 /proc/12848/task/12864/stat : 12864 (java) S 12846 12846 8819 0 -1 1077944384 9110 0 0 0 214 2 0 0 20 0 28 0 510886042 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418731833456 140419488414338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12865] ppid=12846 vsize=28835928 memory=307370894433714471 CPUtime=0.76 cores=0-7 /proc/12848/task/12865/stat : 12865 (java) S 12846 12846 8819 0 -1 1077944384 7184 0 0 0 74 2 0 0 20 0 28 0 510886042 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418730780656 140419488414338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12866] ppid=12846 vsize=28835928 memory=14692985157715369 CPUtime=0 cores=0-7 /proc/12848/task/12866/stat : 12866 (java) S 12846 12846 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510886042 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418729729120 140419488413397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=12867] ppid=12846 vsize=28835928 memory=0 CPUtime=0.01 cores=0-7 /proc/12848/task/12867/stat : 12867 (java) S 12846 12846 8819 0 -1 1077944384 915 0 0 0 0 1 0 0 20 0 28 0 510886042 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418728676400 140419488414338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=13461] ppid=12846 vsize=28835928 memory=0 CPUtime=22.23 cores=0-7 /proc/12848/task/13461/stat : 13461 (java) R 12846 12846 8819 0 -1 4202560 819 0 0 0 2223 0 0 0 20 0 28 0 510890067 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418573352216 140419130262911 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=13462] ppid=12846 vsize=28835928 memory=14340 CPUtime=22.04 cores=0-7 /proc/12848/task/13462/stat : 13462 (java) R 12846 12846 8819 0 -1 4202560 500 0 0 0 2204 0 0 0 20 0 28 0 510890067 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418577555608 140419130263446 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=13463] ppid=12846 vsize=28835928 memory=1456 CPUtime=22.23 cores=0-7 /proc/12848/task/13463/stat : 13463 (java) R 12846 12846 8819 0 -1 4202560 554 0 0 0 2223 0 0 0 20 0 28 0 510890067 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418576503512 140419130263465 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=13464] ppid=12846 vsize=28835928 memory=342188 CPUtime=22.26 cores=0-7 /proc/12848/task/13464/stat : 13464 (java) R 12846 12846 8819 0 -1 4202560 1102 0 0 0 2225 1 0 0 20 0 28 0 510890067 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418584926680 140419131994207 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=13465] ppid=12846 vsize=28835928 memory=924 CPUtime=22.04 cores=0-7 /proc/12848/task/13465/stat : 13465 (java) R 12846 12846 8819 0 -1 4202560 624 0 0 0 2204 0 0 0 20 0 28 0 510890067 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418580713160 140419130262804 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=13466] ppid=12846 vsize=28835928 memory=1420 CPUtime=22.23 cores=0-7 /proc/12848/task/13466/stat : 13466 (java) R 12846 12846 8819 0 -1 4202560 1007 0 0 0 2222 1 0 0 20 0 28 0 510890067 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418581767952 140419130262404 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=13467] ppid=12846 vsize=28835928 memory=1984 CPUtime=22.26 cores=0-7 /proc/12848/task/13467/stat : 13467 (java) R 12846 12846 8819 0 -1 4202560 606 0 0 0 2226 0 0 0 20 0 28 0 510890067 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418578608336 140419130263446 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 [pid=12848/tid=13468] ppid=12846 vsize=28835928 memory=2532 CPUtime=22.25 cores=0-7 /proc/12848/task/13468/stat : 13468 (java) R 12846 12846 8819 0 -1 4202560 838 0 0 0 2225 0 0 0 20 0 28 0 510890067 29527990272 85418 33554432000 4194304 4196468 140735486289232 140418582819336 140419130262888 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20844544 140735486292970 140735486293142 140735486293142 140735486296015 0 Current children cumulated CPU time: 493.78 s Current children cumulated vsize: 28949056 KiB Current children cumulated memory: 343128 KiB [startup+62.7011 s] /proc/loadavg: 6.74 4.00 3.88 9/219 13470 /proc/meminfo: memFree=23001708/32770624 swapFree=66956500/67108860 [pid=12846] ppid=12843 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/12846/stat : 12846 (xcsp3-exec) S 12843 12846 8819 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510886036 115843072 364 33554432000 4194304 5098028 140729256020352 140729256018456 140362238386812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27770880 140729256022901 140729256023145 140729256023145 140729256026058 0 /proc/12846/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): 62.7052 CPU time (s): 494.438 CPU user time (s): 493.875 CPU system time (s): 0.562707 CPU usage (%): 788.513 Max. virtual memory (cumulated for all children) (KiB): 28949056 Max. memory (cumulated for all children) (KiB): 359048 getrusage(RUSAGE_CHILDREN,...) data: user time used= 493.875 system time used= 0.562707 maximum resident set size= 363508 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 86367 page faults= 0 swaps= 0 block input operations= 0 block output operations= 184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11480 involuntary context switches= 6630 # summary of solver processes directly reported to runsolver: # pid: 12846 # total CPU time (s): 494.438 # total CPU user time (s): 493.875 # total CPU system time (s): 0.562707 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.513403 second user time and 0.728906 second system time The end
Begin job on node151 at 2019-09-24 19:28:27 IDJOB=4406954 IDBENCH=123028 IDSOLVER=2871 FILE ID=node151/4406954-1569346147 RUNJOBID= node151-1569335938-8846 PBS_JOBID= 21705046 Free space on /tmp= 12412 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 /tmp/evaluation-result-4406954-1569346147/watcher-4406954-1569346147 -o /tmp/evaluation-result-4406954-1569346147/solver-4406954-1569346147 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569335938-8846 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1396051300 HOME/instance-4406954-1569346147.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 8cf591d8b3ba65ef1650a88ec52af52c RANDOM SEED=1396051300 node151.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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 23327284 kB MemAvailable: 31792776 kB Buffers: 96388 kB Cached: 8529388 kB SwapCached: 50740 kB Active: 2762988 kB Inactive: 5919144 kB Active(anon): 4460 kB Inactive(anon): 106476 kB Active(file): 2758528 kB Inactive(file): 5812668 kB Unevictable: 108536 kB Mlocked: 108536 kB SwapTotal: 67108860 kB SwapFree: 66956500 kB Dirty: 26260 kB Writeback: 0 kB AnonPages: 114744 kB Mapped: 53452 kB Shmem: 45964 kB Slab: 352032 kB SReclaimable: 322756 kB SUnreclaim: 29276 kB KernelStack: 3440 kB PageTables: 6384 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514852 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 12388 MiB End job on node151 at 2019-09-24 19:29:30