Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | SAT (TO) | 2828 | 20093.8 | 2520.12 |
Name | TravelingTournament/ TravelingTournament-a3-galaxy08_c18.xml |
MD5SUM | 999d72664bbc4f113c6ae8b8cae55b16 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 2828 |
Best CPU time to get the best result obtained on this benchmark | 20093.8 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 456 |
Number of constraints | 1111 |
Number of domains | 3 |
Minimum domain size | 2 |
Maximum domain size | 24 |
Distribution of domain sizes | [{"size":2,"count":224},{"size":8,"count":112},{"size":24,"count":120}] |
Minimum variable degree | 2 |
Maximum variable degree | 26 |
Distribution of variable degrees | [{"degree":2,"count":232},{"degree":23,"count":96},{"degree":24,"count":112},{"degree":25,"count":14},{"degree":26,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 14 |
Distribution of constraint arities | [{"arity":2,"count":113},{"arity":3,"count":16},{"arity":4,"count":624},{"arity":5,"count":104},{"arity":8,"count":126},{"arity":10,"count":112},{"arity":14,"count":16}] |
Number of extensional constraints | 120 |
Number of intensional constraints | 737 |
Distribution of constraint types | [{"type":"extension","count":120},{"type":"intension","count":737},{"type":"regular","count":8},{"type":"allDifferent","count":14},{"type":"cardinality","count":8},{"type":"element","count":224}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297429-1532725546.xml" -tl '20160s' -p 8 0.11/0.17 c Choco e747e1e 0.11/0.18 c [HOME/instance-4297429-1532725546.xml, -tl, 20160s, -p, 8] 0.11/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 7.66/2.19 c solve instance... 11.94/2.79 o 4282 11.94/2.79 o 4272 12.68/2.80 o 4205 12.68/2.87 o 4195 12.68/2.90 o 4192 12.68/2.90 o 4182 13.38/2.91 o 4179 13.38/2.92 o 4156 13.38/2.94 o 3491 14.17/3.09 o 3472 20.46/3.84 o 3377 20.46/3.85 o 3365 20.46/3.85 o 3348 22.05/4.07 o 3341 22.05/4.09 o 3339 22.82/4.11 o 3320 22.82/4.12 o 3313 29.92/5.09 o 3275 30.73/5.17 o 3240 32.18/5.36 o 3239 50.44/7.61 o 3218 50.44/7.66 o 3212 51.20/7.73 o 3112 75.05/10.72 o 3108 218.55/28.76 o 3064 341.35/44.13 o 3054 399.44/51.48 o 3025 400.22/51.50 o 2936 402.40/51.83 o 2926 403.85/52.07 o 2906 404.60/52.18 o 2884 10858.09/1362.41 o 2828 20092.98/2520.09 s SATISFIABLE 20092.98/2520.09 v <instantiation> 20092.98/2520.09 v <list>o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] </list> 20092.98/2520.09 v <values>2 7 6 5 2 1 1 4 3 5 4 7 3 6 7 6 5 3 5 0 0 6 4 4 2 3 7 2 0 4 7 4 0 6 3 3 5 7 1 5 6 1 5 5 4 1 6 4 2 2 0 6 7 1 0 7 6 2 3 2 7 3 7 0 1 1 0 6 5 5 3 3 1 0 1 7 6 7 2 0 6 2 4 4 4 1 0 7 3 2 5 1 7 3 5 4 2 0 1 0 2 6 4 5 4 5 6 2 3 0 1 3 0 1 0 0 1 1 0 1 1 1 0 0 0 1 1 0 0 1 1 0 1 1 1 0 1 0 0 0 1 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 1 1 0 0 0 1 0 0 1 1 1 0 1 0 1 1 1 0 0 1 1 0 0 0 1 1 0 1 1 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 1 0 1 1 0 0 0 1 0 1 0 0 0 1 1 0 0 1 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 0 1 0 0 0 15 15 44 27 39 0 10 10 0 0 36 64 14 34 0 0 39 27 40 0 10 10 0 0 31 31 32 14 56 22 0 45 45 0 15 44 47 47 0 56 44 40 50 0 0 0 41 35 31 32 0 0 47 15 44 47 0 0 14 14 18 18 0 45 56 14 51 36 10 31 0 0 35 35 0 41 41 0 0 40 44 48 0 50 15 44 27 0 35 35 0 0 0 59 14 47 27 40 39 0 0 18 45 15 44 44 10 15 56 0 0 64 35 27 59 14 14 0 0 0 </values> 20092.98/2520.09 v </instantiation> 20092.98/2520.09 c Unexpected resolution interruption!
OK 2828
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 (13152 MiB free) memory of node 1: 16384 MiB (13708 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297429-1532725546/watcher-4297429-1532725546 -o /tmp/evaluation-result-4297429-1532725546/solver-4297429-1532725546 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532723020-21326 --watchdog 2580 HOME/xcsp3-exec -seed 2085671099 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297429-1532725546.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 solver pid=21925, runsolver pid=21922 Current StackSize limit: 8192 KiB [startup+0.100061 s]* /proc/loadavg: 7.59 8.22 8.35 3/204 21946 /proc/meminfo: memFree=27490292/32770624 swapFree=67108856/67108860 [pid=21925] ppid=21922 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21925/stat : 21925 (xcsp3-exec) S 21922 21925 21299 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90117723 115843072 364 33554432000 4194304 5098028 140729837869072 140729837867176 140696290312828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39206912 140729837876277 140729837876480 140729837876480 140729837879242 0 /proc/21925/statm: 28282 364 306 221 0 87 0 [pid=21927] ppid=21925 vsize=26104152 memory=27292 CPUtime=0.11 cores=0-7 /proc/21927/stat : 21927 (java) S 21925 21925 21299 0 -1 1077944320 5698 0 0 0 10 1 0 0 20 0 20 0 90117723 26730651648 6823 33554432000 4194304 4196468 140735290833088 140735290815632 140286392930039 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 /proc/21927/statm: 6526038 6823 3027 1 0 6488315 0 [pid=21927/tid=21928] ppid=21925 vsize=26104152 memory=8328733993519194265 CPUtime=0.09 cores=0-7 /proc/21927/task/21928/stat : 21928 (java) R 21925 21925 21299 0 -1 4202560 3703 0 0 0 8 1 0 0 20 0 20 0 90117724 26730651648 6823 33554432000 4194304 4196468 140735290833088 140286397156400 140286376973669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21929] ppid=21925 vsize=26104152 memory=732370841601620965 CPUtime=0 cores=0-7 /proc/21927/task/21929/stat : 21929 (java) S 21925 21925 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90117725 26730651648 6823 33554432000 4194304 4196468 140735290833088 140285951629584 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21930] ppid=21925 vsize=26104152 memory=140703264167552 CPUtime=0 cores=0-7 /proc/21927/task/21930/stat : 21930 (java) S 21925 21925 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90117725 26730651648 6823 33554432000 4194304 4196468 140735290833088 140285950577040 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21931] ppid=21925 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21931/stat : 21931 (java) S 21925 21925 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90117725 26730651648 6823 33554432000 4194304 4196468 140735290833088 140285949524496 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21932] ppid=21925 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21932/stat : 21932 (java) S 21925 21925 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90117725 26730651648 6823 33554432000 4194304 4196468 140735290833088 140285948471952 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21933] ppid=21925 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21933/stat : 21933 (java) S 21925 21925 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90117725 26730651648 6823 33554432000 4194304 4196468 140735290833088 140285947419408 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21934] ppid=21925 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/21927/task/21934/stat : 21934 (java) S 21925 21925 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90117725 26730651648 6823 33554432000 4194304 4196468 140735290833088 140285946366864 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21935] ppid=21925 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21935/stat : 21935 (java) S 21925 21925 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90117725 26730651648 6823 33554432000 4194304 4196468 140735290833088 140285945314320 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21936] ppid=21925 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21936/stat : 21936 (java) S 21925 21925 21299 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90117725 26730651648 6823 33554432000 4194304 4196468 140735290833088 140285944261776 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21937] ppid=21925 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21937/stat : 21937 (java) S 21925 21925 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90117726 26730651648 6823 33554432000 4194304 4196468 140735290833088 140285135046640 140286392941186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21938] ppid=21925 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21938/stat : 21938 (java) S 21925 21925 21299 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90117726 26730651648 6823 33554432000 4194304 4196468 140735290833088 140285133992864 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21939] ppid=21925 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21939/stat : 21939 (java) S 21925 21925 21299 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90117727 26730651648 6823 33554432000 4194304 4196468 140735290833088 140285132940272 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21940] ppid=21925 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21940/stat : 21940 (java) S 21925 21925 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90117729 26730651648 6823 33554432000 4194304 4196468 140735290833088 140285131888848 140286392948635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21941] ppid=21925 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21941/stat : 21941 (java) S 21925 21925 21299 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 20 0 90117729 26730651648 6823 33554432000 4194304 4196468 140735290833088 140285130836464 140286392941186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21942] ppid=21925 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21942/stat : 21942 (java) S 21925 21925 21299 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 90117729 26730651648 6823 33554432000 4194304 4196468 140735290833088 140285129783920 140286392941186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21943] ppid=21925 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21943/stat : 21943 (java) S 21925 21925 21299 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90117729 26730651648 6823 33554432000 4194304 4196468 140735290833088 140285128731376 140286392941186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21944] ppid=21925 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/21927/task/21944/stat : 21944 (java) S 21925 21925 21299 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 20 0 90117729 26730651648 6823 33554432000 4194304 4196468 140735290833088 140285127678832 140286392941186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21945] ppid=21925 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21945/stat : 21945 (java) S 21925 21925 21299 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90117729 26730651648 6823 33554432000 4194304 4196468 140735290833088 140285126625504 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21946] ppid=21925 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/21927/task/21946/stat : 21946 (java) S 21925 21925 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90117730 26730651648 6823 33554432000 4194304 4196468 140735290833088 140285125573040 140286392941186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 28748 KiB [startup+0.210839 s]* /proc/loadavg: 7.59 8.22 8.35 3/204 21946 /proc/meminfo: memFree=27478820/32770624 swapFree=67108856/67108860 [pid=21925] ppid=21922 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21925/stat : 21925 (xcsp3-exec) S 21922 21925 21299 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90117723 115843072 364 33554432000 4194304 5098028 140729837869072 140729837867176 140696290312828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39206912 140729837876277 140729837876480 140729837876480 140729837879242 0 /proc/21925/statm: 28282 364 306 221 0 87 0 [pid=21927] ppid=21925 vsize=26104152 memory=39764 CPUtime=0.34 cores=0-7 /proc/21927/stat : 21927 (java) S 21925 21925 21299 0 -1 1077944320 8505 0 0 0 31 3 0 0 20 0 20 0 90117723 26730651648 9941 33554432000 4194304 4196468 140735290833088 140735290815632 140286392930039 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 /proc/21927/statm: 6526038 9941 3180 1 0 6488315 0 [pid=21927/tid=21928] ppid=21925 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7 /proc/21927/task/21928/stat : 21928 (java) R 21925 21925 21299 0 -1 4202560 5591 0 0 0 18 1 0 0 20 0 20 0 90117724 26730651648 9941 33554432000 4194304 4196468 140735290833088 140286397165024 140286377010526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21929] ppid=21925 vsize=26104152 memory=281406392784632 CPUtime=0 cores=0-7 /proc/21927/task/21929/stat : 21929 (java) S 21925 21925 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90117725 26730651648 9941 33554432000 4194304 4196468 140735290833088 140285951629584 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21930] ppid=21925 vsize=26104152 memory=140703264167552 CPUtime=0 cores=0-7 /proc/21927/task/21930/stat : 21930 (java) S 21925 21925 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90117725 26730651648 9941 33554432000 4194304 4196468 140735290833088 140285950577040 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21931] ppid=21925 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21931/stat : 21931 (java) S 21925 21925 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90117725 26730651648 9941 33554432000 4194304 4196468 140735290833088 140285949524496 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21932] ppid=21925 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21932/stat : 21932 (java) S 21925 21925 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90117725 26730651648 9941 33554432000 4194304 4196468 140735290833088 140285948471952 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21933] ppid=21925 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21933/stat : 21933 (java) S 21925 21925 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90117725 26730651648 9941 33554432000 4194304 4196468 140735290833088 140285947419408 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21934] ppid=21925 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/21927/task/21934/stat : 21934 (java) S 21925 21925 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90117725 26730651648 9941 33554432000 4194304 4196468 140735290833088 140285946366864 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21935] ppid=21925 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21935/stat : 21935 (java) S 21925 21925 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90117725 26730651648 9941 33554432000 4194304 4196468 140735290833088 140285945314320 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21936] ppid=21925 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21936/stat : 21936 (java) S 21925 21925 21299 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90117725 26730651648 9941 33554432000 4194304 4196468 140735290833088 140285944261776 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21937] ppid=21925 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21937/stat : 21937 (java) S 21925 21925 21299 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 90117726 26730651648 9941 33554432000 4194304 4196468 140735290833088 140285135046640 140286392941186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21938] ppid=21925 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21938/stat : 21938 (java) S 21925 21925 21299 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90117726 26730651648 9941 33554432000 4194304 4196468 140735290833088 140285133992864 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21939] ppid=21925 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21939/stat : 21939 (java) S 21925 21925 21299 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90117727 26730651648 9941 33554432000 4194304 4196468 140735290833088 140285132940272 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21940] ppid=21925 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21940/stat : 21940 (java) S 21925 21925 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90117729 26730651648 9941 33554432000 4194304 4196468 140735290833088 140285131888848 140286392948635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21941] ppid=21925 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/21927/task/21941/stat : 21941 (java) S 21925 21925 21299 0 -1 1077944384 438 0 0 0 1 0 0 0 20 0 20 0 90117729 26730651648 9941 33554432000 4194304 4196468 140735290833088 140285130836464 140286392941186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21942] ppid=21925 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/21927/task/21942/stat : 21942 (java) S 21925 21925 21299 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 20 0 90117729 26730651648 9941 33554432000 4194304 4196468 140735290833088 140285129783920 140286392941186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21943] ppid=21925 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/21927/task/21943/stat : 21943 (java) S 21925 21925 21299 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 20 0 90117729 26730651648 9941 33554432000 4194304 4196468 140735290833088 140285128731376 140286392941186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21944] ppid=21925 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7 /proc/21927/task/21944/stat : 21944 (java) S 21925 21925 21299 0 -1 1077944384 800 0 0 0 7 0 0 0 20 0 20 0 90117729 26730651648 9941 33554432000 4194304 4196468 140735290833088 140285127678832 140286392941186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21945] ppid=21925 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21945/stat : 21945 (java) S 21925 21925 21299 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90117729 26730651648 9941 33554432000 4194304 4196468 140735290833088 140285126625504 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21946] ppid=21925 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/21927/task/21946/stat : 21946 (java) S 21925 21925 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90117730 26730651648 9941 33554432000 4194304 4196468 140735290833088 140285125573040 140286392941186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 41220 KiB [startup+0.310789 s]* /proc/loadavg: 7.59 8.22 8.35 4/204 21946 /proc/meminfo: memFree=27471996/32770624 swapFree=67108856/67108860 [pid=21925] ppid=21922 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21925/stat : 21925 (xcsp3-exec) S 21922 21925 21299 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90117723 115843072 364 33554432000 4194304 5098028 140729837869072 140729837867176 140696290312828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39206912 140729837876277 140729837876480 140729837876480 140729837879242 0 /proc/21925/statm: 28282 364 306 221 0 87 0 [pid=21927] ppid=21925 vsize=26108408 memory=46852 CPUtime=0.51 cores=0-7 /proc/21927/stat : 21927 (java) S 21925 21925 21299 0 -1 1077944320 9425 0 0 0 47 4 0 0 20 0 20 0 90117723 26735009792 11713 33554432000 4194304 4196468 140735290833088 140735290815632 140286392930039 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 /proc/21927/statm: 6527102 11713 3242 1 0 6488315 0 [pid=21927/tid=21928] ppid=21925 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/21927/task/21928/stat : 21928 (java) R 21925 21925 21299 0 -1 4202560 6298 0 0 0 27 2 0 0 20 0 20 0 90117724 26735009792 11713 33554432000 4194304 4196468 140735290833088 140286397161152 140286377010526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21929] ppid=21925 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21929/stat : 21929 (java) S 21925 21925 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90117725 26735009792 11713 33554432000 4194304 4196468 140735290833088 140285951629584 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21930] ppid=21925 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21930/stat : 21930 (java) S 21925 21925 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90117725 26735009792 11713 33554432000 4194304 4196468 140735290833088 140285950577040 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21931] ppid=21925 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21931/stat : 21931 (java) S 21925 21925 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90117725 26735009792 11713 33554432000 4194304 4196468 140735290833088 140285949524496 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21932] ppid=21925 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21932/stat : 21932 (java) S 21925 21925 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90117725 26735009792 11713 33554432000 4194304 4196468 140735290833088 140285948471952 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21933] ppid=21925 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/21927/task/21933/stat : 21933 (java) S 21925 21925 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90117725 26735009792 11713 33554432000 4194304 4196468 140735290833088 140285947419408 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21934] ppid=21925 vsize=26108408 memory=140703128712111 CPUtime=0 cores=0-7 /proc/21927/task/21934/stat : 21934 (java) S 21925 21925 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90117725 26735009792 11713 33554432000 4194304 4196468 140735290833088 140285946366864 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21935] ppid=21925 vsize=26108408 memory=140703128714416 CPUtime=0 cores=0-7 /proc/21927/task/21935/stat : 21935 (java) S 21925 21925 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90117725 26735009792 11713 33554432000 4194304 4196468 140735290833088 140285945314320 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21936] ppid=21925 vsize=26108408 memory=140703128716720 CPUtime=0 cores=0-7 /proc/21927/task/21936/stat : 21936 (java) S 21925 21925 21299 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90117725 26735009792 11713 33554432000 4194304 4196468 140735290833088 140285944261776 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21937] ppid=21925 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21937/stat : 21937 (java) S 21925 21925 21299 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 90117726 26735009792 11713 33554432000 4194304 4196468 140735290833088 140285135046640 140286392941186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21938] ppid=21925 vsize=26108408 memory=281406257440400 CPUtime=0 cores=0-7 /proc/21927/task/21938/stat : 21938 (java) S 21925 21925 21299 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 90117726 26735009792 11713 33554432000 4194304 4196468 140735290833088 140285133992864 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21939] ppid=21925 vsize=26108408 memory=281406257447312 CPUtime=0 cores=0-7 /proc/21927/task/21939/stat : 21939 (java) S 21925 21925 21299 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90117727 26735009792 11713 33554432000 4194304 4196468 140735290833088 140285132940272 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21940] ppid=21925 vsize=26108408 memory=281406257388592 CPUtime=0 cores=0-7 /proc/21927/task/21940/stat : 21940 (java) S 21925 21925 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90117729 26735009792 11713 33554432000 4194304 4196468 140735290833088 140285131888848 140286392948635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21941] ppid=21925 vsize=26108408 memory=281406257461136 CPUtime=0.03 cores=0-7 /proc/21927/task/21941/stat : 21941 (java) S 21925 21925 21299 0 -1 1077944384 547 0 0 0 3 0 0 0 20 0 20 0 90117729 26735009792 11713 33554432000 4194304 4196468 140735290833088 140285130836464 140286392941186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21942] ppid=21925 vsize=26108408 memory=281406257468048 CPUtime=0.02 cores=0-7 /proc/21927/task/21942/stat : 21942 (java) S 21925 21925 21299 0 -1 1077944384 270 0 0 0 2 0 0 0 20 0 20 0 90117729 26735009792 11713 33554432000 4194304 4196468 140735290833088 140285129783920 140286392941186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21943] ppid=21925 vsize=26108408 memory=281406257465744 CPUtime=0.02 cores=0-7 /proc/21927/task/21943/stat : 21943 (java) S 21925 21925 21299 0 -1 1077944384 115 0 0 0 2 0 0 0 20 0 20 0 90117729 26735009792 11713 33554432000 4194304 4196468 140735290833088 140285128731376 140286392941186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21944] ppid=21925 vsize=26108408 memory=281406257481904 CPUtime=0.12 cores=0-7 /proc/21927/task/21944/stat : 21944 (java) S 21925 21925 21299 0 -1 1077944384 885 0 0 0 12 0 0 0 20 0 20 0 90117729 26735009792 11713 33554432000 4194304 4196468 140735290833088 140285127678832 140286392941186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21945] ppid=21925 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/21927/task/21945/stat : 21945 (java) S 21925 21925 21299 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90117729 26735009792 11713 33554432000 4194304 4196468 140735290833088 140285126625504 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21946] ppid=21925 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/21927/task/21946/stat : 21946 (java) S 21925 21925 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90117730 26735009792 11713 33554432000 4194304 4196468 140735290833088 140285125573040 140286392941186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 48308 KiB [startup+0.700986 s] /proc/loadavg: 7.59 8.22 8.35 5/204 21946 /proc/meminfo: memFree=27445464/32770624 swapFree=67108856/67108860 [pid=21925] ppid=21922 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21925/stat : 21925 (xcsp3-exec) S 21922 21925 21299 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90117723 115843072 364 33554432000 4194304 5098028 140729837869072 140729837867176 140696290312828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39206912 140729837876277 140729837876480 140729837876480 140729837879242 0 /proc/21925/statm: 28282 364 306 221 0 87 0 [pid=21927] ppid=21925 vsize=26110532 memory=91856 CPUtime=1.98 cores=0-7 /proc/21927/stat : 21927 (java) S 21925 21925 21299 0 -1 1077944320 14599 0 0 0 191 7 0 0 20 0 20 0 90117723 26737184768 22964 33554432000 4194304 4196468 140735290833088 140735290815632 140286392930039 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 /proc/21927/statm: 6527633 22964 3364 1 0 6488827 0 [pid=21927/tid=21928] ppid=21925 vsize=26110532 memory=281406257776768 CPUtime=0.67 cores=0-7 /proc/21927/task/21928/stat : 21928 (java) R 21925 21925 21299 0 -1 4202560 7166 0 0 0 63 4 0 0 20 0 20 0 90117724 26737184768 22964 33554432000 4194304 4196468 140735290833088 140286397165328 140286349531956 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21929] ppid=21925 vsize=26110532 memory=796 CPUtime=0 cores=0-7 /proc/21927/task/21929/stat : 21929 (java) S 21925 21925 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90117725 26737184768 22964 33554432000 4194304 4196468 140735290833088 140285951629584 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21930] ppid=21925 vsize=26110532 memory=1712 CPUtime=0 cores=0-7 /proc/21927/task/21930/stat : 21930 (java) S 21925 21925 21299 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90117725 26737184768 22964 33554432000 4194304 4196468 140735290833088 140285950577040 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21931] ppid=21925 vsize=26110532 memory=11860 CPUtime=0 cores=0-7 /proc/21927/task/21931/stat : 21931 (java) S 21925 21925 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90117725 26737184768 22964 33554432000 4194304 4196468 140735290833088 140285949524496 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 ################ # More data... # ################ [pid=21927/tid=22232] ppid=21925 vsize=26712684 memory=1456 CPUtime=1074.34 cores=0-7 /proc/21927/task/22232/stat : 22232 (java) R 21925 21925 21299 0 -1 4202560 4114 0 0 0 107430 4 0 0 20 0 28 0 90253965 27353788416 577517 33554432000 4194304 4196468 140735290833088 140285112586184 140286007303877 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 Current children cumulated CPU time: 19473.3 s Current children cumulated vsize: 26825812 KiB Current children cumulated memory: 2311524 KiB [startup+2502.3 s] /proc/loadavg: 8.31 8.40 8.41 9/212 22251 /proc/meminfo: memFree=25200324/32770624 swapFree=67108856/67108860 [pid=21925] ppid=21922 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21925/stat : 21925 (xcsp3-exec) S 21922 21925 21299 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90117723 115843072 364 33554432000 4194304 5098028 140729837869072 140729837867176 140696290312828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39206912 140729837876277 140729837876480 140729837876480 140729837879242 0 /proc/21925/statm: 28282 364 306 221 0 87 0 [pid=21927] ppid=21925 vsize=26712684 memory=2310608 CPUtime=19951.7 cores=0-7 /proc/21927/stat : 21927 (java) S 21925 21925 21299 0 -1 1077944320 297315 0 0 0 1994819 352 0 0 20 0 28 0 90117723 27353788416 577652 33554432000 4194304 4196468 140735290833088 140735290815632 140286392930039 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 /proc/21927/statm: 6678171 577652 3450 1 0 6639365 0 [pid=21927/tid=21928] ppid=21925 vsize=26712684 memory=1456 CPUtime=2.13 cores=0-7 /proc/21927/task/21928/stat : 21928 (java) S 21925 21925 21299 0 -1 1077944384 11482 0 0 0 206 7 0 0 20 0 28 0 90117724 27353788416 577652 33554432000 4194304 4196468 140735290833088 140286397170816 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21929] ppid=21925 vsize=26712684 memory=2308560 CPUtime=0.31 cores=0-7 /proc/21927/task/21929/stat : 21929 (java) S 21925 21925 21299 0 -1 1077944384 5438 0 0 0 22 9 0 0 20 0 28 0 90117725 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285951629584 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21930] ppid=21925 vsize=26712684 memory=1456 CPUtime=0.28 cores=0-7 /proc/21927/task/21930/stat : 21930 (java) S 21925 21925 21299 0 -1 1077944384 5432 0 0 0 20 8 0 0 20 0 28 0 90117725 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285950577040 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21931] ppid=21925 vsize=26712684 memory=2310608 CPUtime=0.27 cores=0-7 /proc/21927/task/21931/stat : 21931 (java) S 21925 21925 21299 0 -1 1077944384 6767 0 0 0 19 8 0 0 20 0 28 0 90117725 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285949524496 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21932] ppid=21925 vsize=26712684 memory=2308012 CPUtime=0.26 cores=0-7 /proc/21927/task/21932/stat : 21932 (java) S 21925 21925 21299 0 -1 1077944384 3970 0 0 0 18 8 0 0 20 0 28 0 90117725 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285948471952 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21933] ppid=21925 vsize=26712684 memory=1456 CPUtime=0.27 cores=0-7 /proc/21927/task/21933/stat : 21933 (java) S 21925 21925 21299 0 -1 1077944384 4020 0 0 0 20 7 0 0 20 0 28 0 90117725 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285947419408 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21934] ppid=21925 vsize=26712684 memory=1456 CPUtime=0.25 cores=0-7 /proc/21927/task/21934/stat : 21934 (java) S 21925 21925 21299 0 -1 1077944384 2846 0 0 0 17 8 0 0 20 0 28 0 90117725 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285946366864 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21935] ppid=21925 vsize=26712684 memory=2310068 CPUtime=0.3 cores=0-7 /proc/21927/task/21935/stat : 21935 (java) S 21925 21925 21299 0 -1 1077944384 3966 0 0 0 21 9 0 0 20 0 28 0 90117725 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285945314320 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21936] ppid=21925 vsize=26712684 memory=1456 CPUtime=0.28 cores=0-7 /proc/21927/task/21936/stat : 21936 (java) S 21925 21925 21299 0 -1 1077944384 3972 0 0 0 19 9 0 0 20 0 28 0 90117725 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285944261776 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21937] ppid=21925 vsize=26712684 memory=2308520 CPUtime=0.16 cores=0-7 /proc/21927/task/21937/stat : 21937 (java) S 21925 21925 21299 0 -1 1077944384 14713 0 0 0 10 6 0 0 20 0 28 0 90117726 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285135046640 140286392941186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21938] ppid=21925 vsize=26712684 memory=26276 CPUtime=0 cores=0-7 /proc/21927/task/21938/stat : 21938 (java) S 21925 21925 21299 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 90117726 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285133992928 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21939] ppid=21925 vsize=26712684 memory=1244 CPUtime=0 cores=0-7 /proc/21927/task/21939/stat : 21939 (java) S 21925 21925 21299 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 90117727 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285132940288 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21940] ppid=21925 vsize=26712684 memory=1232 CPUtime=0 cores=0-7 /proc/21927/task/21940/stat : 21940 (java) S 21925 21925 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90117729 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285131888848 140286392948635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21941] ppid=21925 vsize=26712684 memory=1456 CPUtime=4.78 cores=0-7 /proc/21927/task/21941/stat : 21941 (java) S 21925 21925 21299 0 -1 1077944384 16447 0 0 0 475 3 0 0 20 0 28 0 90117729 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285130836464 140286392941186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21942] ppid=21925 vsize=26712684 memory=1456 CPUtime=4.9 cores=0-7 /proc/21927/task/21942/stat : 21942 (java) S 21925 21925 21299 0 -1 1077944384 24301 0 0 0 486 4 0 0 20 0 28 0 90117729 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285129783920 140286392941186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21943] ppid=21925 vsize=26712684 memory=1456 CPUtime=4.82 cores=0-7 /proc/21927/task/21943/stat : 21943 (java) S 21925 21925 21299 0 -1 1077944384 21381 0 0 0 478 4 0 0 20 0 28 0 90117729 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285128731376 140286392941186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21944] ppid=21925 vsize=26712684 memory=2308012 CPUtime=1.41 cores=0-7 /proc/21927/task/21944/stat : 21944 (java) S 21925 21925 21299 0 -1 1077944384 22594 0 0 0 136 5 0 0 20 0 28 0 90117729 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285127678832 140286392941186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21945] ppid=21925 vsize=26712684 memory=4036 CPUtime=0 cores=0-7 /proc/21927/task/21945/stat : 21945 (java) S 21925 21925 21299 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90117729 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285126625504 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21946] ppid=21925 vsize=26712684 memory=26276 CPUtime=1.02 cores=0-7 /proc/21927/task/21946/stat : 21946 (java) S 21925 21925 21299 0 -1 1077944384 3938 0 0 0 31 71 0 0 20 0 28 0 90117730 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285125573040 140286392941186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=22225] ppid=21925 vsize=26712684 memory=1244 CPUtime=1132.57 cores=0-7 /proc/21927/task/22225/stat : 22225 (java) R 21925 21925 21299 0 -1 4202560 3301 0 0 0 113254 3 0 0 20 0 28 0 90253965 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285113637712 140286007304117 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=22226] ppid=21925 vsize=26712684 memory=1456 CPUtime=1135.61 cores=0-7 /proc/21927/task/22226/stat : 22226 (java) R 21925 21925 21299 0 -1 4202560 6046 0 0 0 113555 6 0 0 20 0 28 0 90253965 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285109428880 140286008829634 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=22227] ppid=21925 vsize=26712684 memory=1456 CPUtime=1135.48 cores=0-7 /proc/21927/task/22227/stat : 22227 (java) R 21925 21925 21299 0 -1 4202560 13477 0 0 0 113533 15 0 0 20 0 28 0 90253965 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285037223848 140286007602966 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=22228] ppid=21925 vsize=26712684 memory=1456 CPUtime=1138.86 cores=0-7 /proc/21927/task/22228/stat : 22228 (java) R 21925 21925 21299 0 -1 4202560 15496 0 0 0 113859 27 0 0 20 0 28 0 90253965 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285114694896 140286007549516 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=22229] ppid=21925 vsize=26712684 memory=1456 CPUtime=1139.01 cores=0-7 /proc/21927/task/22229/stat : 22229 (java) R 21925 21925 21299 0 -1 4202560 7155 0 0 0 113898 3 0 0 20 0 28 0 90253965 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285111533984 140286000469027 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=22230] ppid=21925 vsize=26712684 memory=1456 CPUtime=1139.43 cores=0-7 /proc/21927/task/22230/stat : 22230 (java) R 21925 21925 21299 0 -1 4202560 13387 0 0 0 113925 18 0 0 20 0 28 0 90253965 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285039329624 140286007303829 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=22231] ppid=21925 vsize=26712684 memory=1456 CPUtime=1136.82 cores=0-7 /proc/21927/task/22231/stat : 22231 (java) R 21925 21925 21299 0 -1 4202560 4815 0 0 0 113678 4 0 0 20 0 28 0 90253965 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285040381584 140286007459344 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=22232] ppid=21925 vsize=26712684 memory=2310060 CPUtime=1134.23 cores=0-7 /proc/21927/task/22232/stat : 22232 (java) R 21925 21925 21299 0 -1 4202560 4705 0 0 0 113418 5 0 0 20 0 28 0 90253965 27353788416 577652 33554432000 4194304 4196468 140735290833088 140285112586328 140286000469608 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 Current children cumulated CPU time: 19951.7 s Current children cumulated vsize: 26825812 KiB Current children cumulated memory: 2312064 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.58 8.45 8.42 9/212 22251 /proc/meminfo: memFree=25203040/32770624 swapFree=67108856/67108860 [pid=21925] ppid=21922 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/21925/stat : 21925 (xcsp3-exec) S 21922 21925 21299 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 90117723 115843072 364 33554432000 4194304 5098028 140729837869072 140729837867176 140696290312828 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39206912 140729837876277 140729837876480 140729837876480 140729837879242 0 /proc/21925/statm: 28282 364 306 221 0 87 0 [pid=21927] ppid=21925 vsize=26712684 memory=2309068 CPUtime=20093 cores=0-7 /proc/21927/stat : 21927 (java) S 21925 21925 21299 0 -1 1077944320 300500 0 0 0 2008944 354 0 0 20 0 28 0 90117723 27353788416 577267 33554432000 4194304 4196468 140735290833088 140735290815632 140286392930039 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 /proc/21927/statm: 6678171 577267 3450 1 0 6639365 0 [pid=21927/tid=21928] ppid=21925 vsize=26712684 memory=928 CPUtime=2.13 cores=0-7 /proc/21927/task/21928/stat : 21928 (java) S 21925 21925 21299 0 -1 1077944384 11482 0 0 0 206 7 0 0 20 0 28 0 90117724 27353788416 577267 33554432000 4194304 4196468 140735290833088 140286397170816 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21929] ppid=21925 vsize=26712684 memory=2244 CPUtime=0.31 cores=0-7 /proc/21927/task/21929/stat : 21929 (java) S 21925 21925 21299 0 -1 1077944384 5451 0 0 0 22 9 0 0 20 0 28 0 90117725 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285951629584 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21930] ppid=21925 vsize=26712684 memory=4312 CPUtime=0.28 cores=0-7 /proc/21927/task/21930/stat : 21930 (java) S 21925 21925 21299 0 -1 1077944384 5479 0 0 0 20 8 0 0 20 0 28 0 90117725 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285950577040 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21931] ppid=21925 vsize=26712684 memory=-7003737579269690708 CPUtime=0.27 cores=0-7 /proc/21927/task/21931/stat : 21931 (java) S 21925 21925 21299 0 -1 1077944384 7065 0 0 0 19 8 0 0 20 0 28 0 90117725 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285949524496 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21932] ppid=21925 vsize=26712684 memory=4048 CPUtime=0.26 cores=0-7 /proc/21927/task/21932/stat : 21932 (java) S 21925 21925 21299 0 -1 1077944384 3983 0 0 0 18 8 0 0 20 0 28 0 90117725 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285948471952 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21933] ppid=21925 vsize=26712684 memory=1236 CPUtime=0.28 cores=0-7 /proc/21927/task/21933/stat : 21933 (java) S 21925 21925 21299 0 -1 1077944384 4080 0 0 0 21 7 0 0 20 0 28 0 90117725 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285947419408 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21934] ppid=21925 vsize=26712684 memory=15324 CPUtime=0.25 cores=0-7 /proc/21927/task/21934/stat : 21934 (java) S 21925 21925 21299 0 -1 1077944384 2849 0 0 0 17 8 0 0 20 0 28 0 90117725 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285946366864 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21935] ppid=21925 vsize=26712684 memory=1780 CPUtime=0.3 cores=0-7 /proc/21927/task/21935/stat : 21935 (java) S 21925 21925 21299 0 -1 1077944384 3992 0 0 0 21 9 0 0 20 0 28 0 90117725 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285945314320 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21936] ppid=21925 vsize=26712684 memory=4036 CPUtime=0.28 cores=0-7 /proc/21927/task/21936/stat : 21936 (java) S 21925 21925 21299 0 -1 1077944384 3996 0 0 0 19 9 0 0 20 0 28 0 90117725 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285944261776 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21937] ppid=21925 vsize=26712684 memory=26276 CPUtime=0.16 cores=0-7 /proc/21927/task/21937/stat : 21937 (java) S 21925 21925 21299 0 -1 1077944384 14909 0 0 0 10 6 0 0 20 0 28 0 90117726 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285135046640 140286392941186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21938] ppid=21925 vsize=26712684 memory=1244 CPUtime=0 cores=0-7 /proc/21927/task/21938/stat : 21938 (java) S 21925 21925 21299 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 90117726 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285133992928 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21939] ppid=21925 vsize=26712684 memory=2268 CPUtime=0 cores=0-7 /proc/21927/task/21939/stat : 21939 (java) S 21925 21925 21299 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 90117727 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285132940288 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21940] ppid=21925 vsize=26712684 memory=1804 CPUtime=0 cores=0-7 /proc/21927/task/21940/stat : 21940 (java) S 21925 21925 21299 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90117729 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285131888848 140286392948635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21941] ppid=21925 vsize=26712684 memory=2309068 CPUtime=4.78 cores=0-7 /proc/21927/task/21941/stat : 21941 (java) S 21925 21925 21299 0 -1 1077944384 16451 0 0 0 475 3 0 0 20 0 28 0 90117729 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285130836464 140286392941186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21942] ppid=21925 vsize=26712684 memory=1712 CPUtime=4.9 cores=0-7 /proc/21927/task/21942/stat : 21942 (java) S 21925 21925 21299 0 -1 1077944384 24305 0 0 0 486 4 0 0 20 0 28 0 90117729 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285129783920 140286392941186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21943] ppid=21925 vsize=26712684 memory=11860 CPUtime=4.82 cores=0-7 /proc/21927/task/21943/stat : 21943 (java) S 21925 21925 21299 0 -1 1077944384 21385 0 0 0 478 4 0 0 20 0 28 0 90117729 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285128731376 140286392941186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21944] ppid=21925 vsize=26712684 memory=5772 CPUtime=1.41 cores=0-7 /proc/21927/task/21944/stat : 21944 (java) S 21925 21925 21299 0 -1 1077944384 22598 0 0 0 136 5 0 0 20 0 28 0 90117729 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285127678832 140286392941186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21945] ppid=21925 vsize=26712684 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/21927/task/21945/stat : 21945 (java) S 21925 21925 21299 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90117729 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285126625504 140286392940245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=21946] ppid=21925 vsize=26712684 memory=2309068 CPUtime=1.02 cores=0-7 /proc/21927/task/21946/stat : 21946 (java) S 21925 21925 21299 0 -1 1077944384 3981 0 0 0 31 71 0 0 20 0 28 0 90117730 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285125573040 140286392941186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=22225] ppid=21925 vsize=26712684 memory=1232 CPUtime=1150.28 cores=0-7 /proc/21927/task/22225/stat : 22225 (java) R 21925 21925 21299 0 -1 4202560 3437 0 0 0 115025 3 0 0 20 0 28 0 90253965 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285113637768 140286007304173 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=22226] ppid=21925 vsize=26712684 memory=1012 CPUtime=1153.32 cores=0-7 /proc/21927/task/22226/stat : 22226 (java) R 21925 21925 21299 0 -1 4202560 6311 0 0 0 115326 6 0 0 20 0 28 0 90253965 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285109431376 140286007080915 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=22227] ppid=21925 vsize=26712684 memory=1948 CPUtime=1152.82 cores=0-7 /proc/21927/task/22227/stat : 22227 (java) R 21925 21925 21299 0 -1 4202560 13915 0 0 0 115267 15 0 0 20 0 28 0 90253965 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285037223848 140286007255238 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=22228] ppid=21925 vsize=26712684 memory=1188 CPUtime=1156.56 cores=0-7 /proc/21927/task/22228/stat : 22228 (java) R 21925 21925 21299 0 -1 4202560 16118 0 0 0 115629 27 0 0 20 0 28 0 90253965 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285114692632 140286008343436 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=22229] ppid=21925 vsize=26712684 memory=8440 CPUtime=1156.72 cores=0-7 /proc/21927/task/22229/stat : 22229 (java) R 21925 21925 21299 0 -1 4202560 7373 0 0 0 115668 4 0 0 20 0 28 0 90253965 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285111534120 140286007552641 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=22230] ppid=21925 vsize=26712684 memory=15252 CPUtime=1157.13 cores=0-7 /proc/21927/task/22230/stat : 22230 (java) R 21925 21925 21299 0 -1 4202560 13732 0 0 0 115694 19 0 0 20 0 28 0 90253965 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285039329960 140286008246328 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=22231] ppid=21925 vsize=26712684 memory=16244 CPUtime=1154.53 cores=0-7 /proc/21927/task/22231/stat : 22231 (java) R 21925 21925 21299 0 -1 4202560 5038 0 0 0 115449 4 0 0 20 0 28 0 90253965 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285040381832 140286003456446 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 [pid=21927/tid=22232] ppid=21925 vsize=26712684 memory=6791534058613427641 CPUtime=1151.93 cores=0-7 /proc/21927/task/22232/stat : 22232 (java) R 21925 21925 21299 0 -1 4202560 4904 0 0 0 115188 5 0 0 20 0 28 0 90253965 27353788416 577267 33554432000 4194304 4196468 140735290833088 140285112585936 140286007254338 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 35094528 140735290836097 140735290836269 140735290836269 140735290838991 0 Current children cumulated CPU time: 20093 s Current children cumulated vsize: 26825812 KiB Current children cumulated memory: 2310524 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.05 s] # the end of solver process 21925 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001118 s, system=0.001118 s [startup+2520.12 s] # the end of solver process 21927 was just reported to runsolver # cumulated CPU time of all completed processes: user=20090.2 s, system=3.56323 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2520.12 CPU time (s): 20093.8 CPU user time (s): 20090.2 CPU system time (s): 3.56323 CPU usage (%): 797.334 Max. virtual memory (cumulated for all children) (KiB): 26825812 Max. memory (cumulated for all children) (KiB): 2314620 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20090.2 system time used= 3.56323 maximum resident set size= 2316248 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 301814 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2712 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 67654 involuntary context switches= 236537 # summary of solver processes directly reported to runsolver: # pid: 21925,21927 # total CPU time (s): 20093.8 # total CPU user time (s): 20090.2 # total CPU system time (s): 3.56323 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 21.3446 second user time and 31.0126 second system time The end
Begin job on node133 at 2018-07-27 23:05:46 IDJOB=4297429 IDBENCH=141546 IDSOLVER=2760 FILE ID=node133/4297429-1532725546 RUNJOBID= node133-1532723020-21326 PBS_JOBID= 21022334 Free space on /tmp= 48252 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/TravelingTournament/TravelingTournament-a3-galaxy08_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297429-1532725546/watcher-4297429-1532725546 -o /tmp/evaluation-result-4297429-1532725546/solver-4297429-1532725546 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532723020-21326 --watchdog 2580 HOME/xcsp3-exec -seed 2085671099 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297429-1532725546.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 999d72664bbc4f113c6ae8b8cae55b16 RANDOM SEED=2085671099 node133.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.24 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.24 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.24 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.24 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: 27506200 kB MemAvailable: 31949504 kB Buffers: 161408 kB Cached: 4529276 kB SwapCached: 0 kB Active: 2140608 kB Inactive: 2603564 kB Active(anon): 3744 kB Inactive(anon): 76692 kB Active(file): 2136864 kB Inactive(file): 2526872 kB Unevictable: 7100 kB Mlocked: 7100 kB SwapTotal: 67108860 kB SwapFree: 67108856 kB Dirty: 22012 kB Writeback: 0 kB AnonPages: 59128 kB Mapped: 40180 kB Shmem: 25244 kB Slab: 217872 kB SReclaimable: 190804 kB SUnreclaim: 27068 kB KernelStack: 3360 kB PageTables: 4704 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 325108 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 48228 MiB End job on node133 at 2018-07-27 23:47:46